runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/randc192b7.cudf.easy.log.runsolver ./p2cudf-paranoid-1.9 /home/misc2010/data/2010/easy//randc192b7.cudf /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/randc192b7.cudf.easy.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.62 1.40 1.29 4/46 2095
/proc/meminfo: memFree=622444/1048576 swapFree=2078696/2097144
[pid=2094] ppid=2093 vsize=2572 CPUtime=0
/proc/2094/stat : 2094 (p2cudf-paranoid) S 2093 2094 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 876717838 2633728 273 1283457024 134512640 135304128 4286806624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2094/statm: 643 273 233 194 0 29 0
[pid=2095] ppid=2094 vsize=2564 CPUtime=0
/proc/2095/stat : 2095 (p2cudf) R 2094 2094 2059 34821 2220 4202496 320 0 0 0 0 0 0 0 25 0 1 0 876717838 2625536 246 1283457024 134512640 135304128 4293363888 18446744073709551615 4159810739 0 0 4 65536 0 0 0 17 0 0 0 0
/proc/2095/statm: 641 246 208 194 0 27 0

[startup+0.162848 s]
/proc/loadavg: 1.62 1.40 1.29 4/46 2095
/proc/meminfo: memFree=622444/1048576 swapFree=2078696/2097144
[pid=2094] ppid=2093 vsize=2572 CPUtime=0
/proc/2094/stat : 2094 (p2cudf-paranoid) S 2093 2094 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 876717838 2633728 273 1283457024 134512640 135304128 4286806624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2094/statm: 643 273 233 194 0 29 0
[pid=2095] ppid=2094 vsize=2576 CPUtime=0.02
/proc/2095/stat : 2095 (p2cudf) S 2094 2094 2059 34821 2220 4202496 392 2999 0 1 0 0 2 0 25 0 1 0 876717838 2637824 282 1283457024 134512640 135304128 4293363888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2095/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.212863 s]
/proc/loadavg: 1.62 1.40 1.29 4/46 2095
/proc/meminfo: memFree=622444/1048576 swapFree=2078696/2097144
[pid=2094] ppid=2093 vsize=2572 CPUtime=0
/proc/2094/stat : 2094 (p2cudf-paranoid) S 2093 2094 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 876717838 2633728 273 1283457024 134512640 135304128 4286806624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2094/statm: 643 273 233 194 0 29 0
[pid=2095] ppid=2094 vsize=2576 CPUtime=0.02
/proc/2095/stat : 2095 (p2cudf) S 2094 2094 2059 34821 2220 4202496 392 2999 0 1 0 0 2 0 25 0 1 0 876717838 2637824 282 1283457024 134512640 135304128 4293363888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2095/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.302866 s]
/proc/loadavg: 1.62 1.40 1.29 4/46 2095
/proc/meminfo: memFree=622444/1048576 swapFree=2078696/2097144
[pid=2094] ppid=2093 vsize=2572 CPUtime=0
/proc/2094/stat : 2094 (p2cudf-paranoid) S 2093 2094 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 876717838 2633728 273 1283457024 134512640 135304128 4286806624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2094/statm: 643 273 233 194 0 29 0
[pid=2095] ppid=2094 vsize=2576 CPUtime=0.02
/proc/2095/stat : 2095 (p2cudf) S 2094 2094 2059 34821 2220 4202496 392 2999 0 1 0 0 2 0 25 0 1 0 876717838 2637824 282 1283457024 134512640 135304128 4293363888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2095/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.702928 s]
/proc/loadavg: 1.62 1.40 1.29 4/46 2095
/proc/meminfo: memFree=622444/1048576 swapFree=2078696/2097144
[pid=2094] ppid=2093 vsize=2572 CPUtime=0
/proc/2094/stat : 2094 (p2cudf-paranoid) S 2093 2094 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 876717838 2633728 273 1283457024 134512640 135304128 4286806624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2094/statm: 643 273 233 194 0 29 0
[pid=2095] ppid=2094 vsize=2576 CPUtime=0.02
/proc/2095/stat : 2095 (p2cudf) S 2094 2094 2059 34821 2220 4202496 392 2999 0 1 0 0 2 0 25 0 1 0 876717838 2637824 282 1283457024 134512640 135304128 4293363888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2095/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+1.50306 s]
/proc/loadavg: 1.62 1.40 1.29 4/57 2117
/proc/meminfo: memFree=584716/1048576 swapFree=2078696/2097144
[pid=2094] ppid=2093 vsize=2572 CPUtime=0
/proc/2094/stat : 2094 (p2cudf-paranoid) S 2093 2094 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 876717838 2633728 273 1283457024 134512640 135304128 4286806624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2094/statm: 643 273 233 194 0 29 0
[pid=2095] ppid=2094 vsize=2576 CPUtime=0.02
/proc/2095/stat : 2095 (p2cudf) S 2094 2094 2059 34821 2220 4202496 392 2999 0 1 0 0 2 0 25 0 1 0 876717838 2637824 282 1283457024 134512640 135304128 4293363888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2095/statm: 644 282 241 194 0 30 0
[pid=2108] ppid=2095 vsize=866624 CPUtime=1.46
/proc/2108/stat : 2108 (java) S 2095 2094 2059 34821 2220 4202496 19478 0 1 0 138 8 0 0 25 0 10 0 876717842 887422976 18195 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2108/statm: 216656 18195 1732 10 0 213746 0
[pid=2108/tid=2109] ppid=2095 vsize=866624 CPUtime=0.91
/proc/2108/task/2109/stat : 2109 (java) R 2095 2094 2059 34821 2220 4202560 14229 0 1 0 84 7 0 0 25 0 10 0 876717843 887422976 18195 1283457024 134512640 134550932 4294273072 18446744073709551615 4095198956 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2108/tid=2110] ppid=2095 vsize=866624 CPUtime=0
/proc/2108/task/2110/stat : 2110 (java) S 2095 2094 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876717844 887422976 18195 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2111] ppid=2095 vsize=866624 CPUtime=0
/proc/2108/task/2111/stat : 2111 (java) S 2095 2094 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876717845 887422976 18195 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2112] ppid=2095 vsize=866624 CPUtime=0
/proc/2108/task/2112/stat : 2112 (java) S 2095 2094 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876717845 887422976 18195 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2113] ppid=2095 vsize=866624 CPUtime=0
/proc/2108/task/2113/stat : 2113 (java) S 2095 2094 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876717847 887422976 18195 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2114] ppid=2095 vsize=866624 CPUtime=0.28
/proc/2108/task/2114/stat : 2114 (java) R 2095 2094 2059 34821 2220 4202560 2364 0 0 0 28 0 0 0 21 0 10 0 876717847 887422976 18195 1283457024 134512640 134550932 4294273072 18446744073709551615 4148530560 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2108/tid=2115] ppid=2095 vsize=866624 CPUtime=0.24
/proc/2108/task/2115/stat : 2115 (java) R 2095 2094 2059 34821 2220 4202560 1771 0 0 0 23 1 0 0 25 0 10 0 876717847 887422976 18195 1283457024 134512640 134550932 4294273072 18446744073709551615 4149633752 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2108/tid=2116] ppid=2095 vsize=866624 CPUtime=0
/proc/2108/task/2116/stat : 2116 (java) S 2095 2094 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876717847 887422976 18195 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2117] ppid=2095 vsize=866624 CPUtime=0
/proc/2108/task/2117/stat : 2117 (java) S 2095 2094 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 10 0 876717847 887422976 18195 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 871772

[startup+3.10339 s]
/proc/loadavg: 1.62 1.40 1.29 2/57 2117
/proc/meminfo: memFree=482204/1048576 swapFree=2078696/2097144
[pid=2094] ppid=2093 vsize=2572 CPUtime=0
/proc/2094/stat : 2094 (p2cudf-paranoid) S 2093 2094 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 876717838 2633728 273 1283457024 134512640 135304128 4286806624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2094/statm: 643 273 233 194 0 29 0
[pid=2095] ppid=2094 vsize=2576 CPUtime=0.02
/proc/2095/stat : 2095 (p2cudf) S 2094 2094 2059 34821 2220 4202496 392 2999 0 1 0 0 2 0 25 0 1 0 876717838 2637824 282 1283457024 134512640 135304128 4293363888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2095/statm: 644 282 241 194 0 30 0
[pid=2108] ppid=2095 vsize=874788 CPUtime=3.06
/proc/2108/stat : 2108 (java) S 2095 2094 2059 34821 2220 4202496 44614 0 1 0 283 23 0 0 25 0 10 0 876717842 895782912 41951 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2108/statm: 218697 41951 1762 10 0 215787 0
[pid=2108/tid=2109] ppid=2095 vsize=874788 CPUtime=1.47
/proc/2108/task/2109/stat : 2109 (java) R 2095 2094 2059 34821 2220 4202560 35941 0 1 0 128 19 0 0 25 0 10 0 876717843 895782912 41951 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2108/tid=2110] ppid=2095 vsize=874788 CPUtime=0
/proc/2108/task/2110/stat : 2110 (java) S 2095 2094 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 16 0 10 0 876717844 895782912 41951 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2111] ppid=2095 vsize=874788 CPUtime=0
/proc/2108/task/2111/stat : 2111 (java) S 2095 2094 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876717845 895782912 41951 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2112] ppid=2095 vsize=874788 CPUtime=0
/proc/2108/task/2112/stat : 2112 (java) S 2095 2094 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876717845 895782912 41951 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2113] ppid=2095 vsize=874788 CPUtime=0
/proc/2108/task/2113/stat : 2113 (java) S 2095 2094 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876717847 895782912 41951 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2114] ppid=2095 vsize=874788 CPUtime=0.58
/proc/2108/task/2114/stat : 2114 (java) R 2095 2094 2059 34821 2220 4202560 2432 0 0 0 58 0 0 0 16 0 10 0 876717847 895782912 41951 1283457024 134512640 134550932 4294273072 18446744073709551615 4151671404 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2108/tid=2115] ppid=2095 vsize=874788 CPUtime=1
/proc/2108/task/2115/stat : 2115 (java) R 2095 2094 2059 34821 2220 4202560 5127 0 0 0 96 4 0 0 23 0 10 0 876717847 895782912 41951 1283457024 134512640 134550932 4294273072 18446744073709551615 4149635003 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2108/tid=2116] ppid=2095 vsize=874788 CPUtime=0
/proc/2108/task/2116/stat : 2116 (java) S 2095 2094 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876717847 895782912 41951 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2117] ppid=2095 vsize=874788 CPUtime=0
/proc/2108/task/2117/stat : 2117 (java) S 2095 2094 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 10 0 876717847 895782912 41951 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 879936

Solver just ended. Dumping a history of the last processes samples

[startup+3.21609 s]
/proc/loadavg: 1.62 1.40 1.29 2/57 2117
/proc/meminfo: memFree=482204/1048576 swapFree=2078696/2097144
[pid=2094] ppid=2093 vsize=2572 CPUtime=0
/proc/2094/stat : 2094 (p2cudf-paranoid) S 2093 2094 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 876717838 2633728 273 1283457024 134512640 135304128 4286806624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2094/statm: 643 273 233 194 0 29 0
[pid=2095] ppid=2094 vsize=2576 CPUtime=0.02
/proc/2095/stat : 2095 (p2cudf) S 2094 2094 2059 34821 2220 4202496 392 2999 0 1 0 0 2 0 25 0 1 0 876717838 2637824 282 1283457024 134512640 135304128 4293363888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2095/statm: 644 282 241 194 0 30 0
[pid=2108] ppid=2095 vsize=874788 CPUtime=3.17
/proc/2108/stat : 2108 (java) S 2095 2094 2059 34821 2220 4202496 45798 0 1 0 293 24 0 0 25 0 10 0 876717842 895782912 43135 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2108/statm: 218697 43135 1763 10 0 215787 0
[pid=2108/tid=2109] ppid=2095 vsize=874788 CPUtime=1.53
/proc/2108/task/2109/stat : 2109 (java) R 2095 2094 2059 34821 2220 4202560 37118 0 1 0 133 20 0 0 25 0 10 0 876717843 895782912 43135 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2108/tid=2110] ppid=2095 vsize=874788 CPUtime=0
/proc/2108/task/2110/stat : 2110 (java) S 2095 2094 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 16 0 10 0 876717844 895782912 43135 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2111] ppid=2095 vsize=874788 CPUtime=0
/proc/2108/task/2111/stat : 2111 (java) S 2095 2094 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876717845 895782912 43135 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2112] ppid=2095 vsize=874788 CPUtime=0
/proc/2108/task/2112/stat : 2112 (java) S 2095 2094 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876717845 895782912 43135 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2113] ppid=2095 vsize=874788 CPUtime=0
/proc/2108/task/2113/stat : 2113 (java) S 2095 2094 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876717847 895782912 43135 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2114] ppid=2095 vsize=874788 CPUtime=0.62
/proc/2108/task/2114/stat : 2114 (java) S 2095 2094 2059 34821 2220 4202560 2439 0 0 0 62 0 0 0 15 0 10 0 876717847 895782912 43135 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2115] ppid=2095 vsize=874788 CPUtime=1
/proc/2108/task/2115/stat : 2115 (java) R 2095 2094 2059 34821 2220 4202560 5127 0 0 0 96 4 0 0 23 0 10 0 876717847 895782912 43135 1283457024 134512640 134550932 4294273072 18446744073709551615 4149635003 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2108/tid=2116] ppid=2095 vsize=874788 CPUtime=0
/proc/2108/task/2116/stat : 2116 (java) S 2095 2094 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876717847 895782912 43135 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2117] ppid=2095 vsize=874788 CPUtime=0
/proc/2108/task/2117/stat : 2117 (java) S 2095 2094 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 10 0 876717847 895782912 43135 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 879936

[startup+4.80307 s]
/proc/loadavg: 1.62 1.40 1.29 5/58 2119
/proc/meminfo: memFree=420692/1048576 swapFree=2078696/2097144
[pid=2094] ppid=2093 vsize=2572 CPUtime=0
/proc/2094/stat : 2094 (p2cudf-paranoid) S 2093 2094 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 876717838 2633728 273 1283457024 134512640 135304128 4286806624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2094/statm: 643 273 233 194 0 29 0
[pid=2095] ppid=2094 vsize=2576 CPUtime=0.02
/proc/2095/stat : 2095 (p2cudf) S 2094 2094 2059 34821 2220 4202496 392 2999 0 1 0 0 2 0 25 0 1 0 876717838 2637824 282 1283457024 134512640 135304128 4293363888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2095/statm: 644 282 241 194 0 30 0
[pid=2108] ppid=2095 vsize=873660 CPUtime=4.72
/proc/2108/stat : 2108 (java) S 2095 2094 2059 34821 2220 4202496 55751 0 1 0 443 29 0 0 25 0 11 0 876717842 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2108/statm: 218415 51771 1789 10 0 215505 0
[pid=2108/tid=2109] ppid=2095 vsize=873660 CPUtime=1.99
/proc/2108/task/2109/stat : 2109 (java) S 2095 2094 2059 34821 2220 4202560 45986 0 1 0 176 23 0 0 25 0 11 0 876717843 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2110] ppid=2095 vsize=873660 CPUtime=0.01
/proc/2108/task/2110/stat : 2110 (java) S 2095 2094 2059 34821 2220 4202560 5 0 0 0 0 1 0 0 16 0 11 0 876717844 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2111] ppid=2095 vsize=873660 CPUtime=0
/proc/2108/task/2111/stat : 2111 (java) S 2095 2094 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 11 0 876717845 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2112] ppid=2095 vsize=873660 CPUtime=0
/proc/2108/task/2112/stat : 2112 (java) S 2095 2094 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 11 0 876717845 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2113] ppid=2095 vsize=873660 CPUtime=0
/proc/2108/task/2113/stat : 2113 (java) S 2095 2094 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876717847 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2114] ppid=2095 vsize=873660 CPUtime=1.39
/proc/2108/task/2114/stat : 2114 (java) S 2095 2094 2059 34821 2220 4202560 2530 0 0 0 139 0 0 0 15 0 11 0 876717847 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2115] ppid=2095 vsize=873660 CPUtime=1.3
/proc/2108/task/2115/stat : 2115 (java) S 2095 2094 2059 34821 2220 4202560 6109 0 0 0 126 4 0 0 25 0 11 0 876717847 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2116] ppid=2095 vsize=873660 CPUtime=0
/proc/2108/task/2116/stat : 2116 (java) S 2095 2094 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876717847 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2117] ppid=2095 vsize=873660 CPUtime=0
/proc/2108/task/2117/stat : 2117 (java) S 2095 2094 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 876717847 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 878808

[startup+5.20713 s]
/proc/loadavg: 1.62 1.40 1.29 5/58 2119
/proc/meminfo: memFree=420692/1048576 swapFree=2078696/2097144
[pid=2094] ppid=2093 vsize=2572 CPUtime=0
/proc/2094/stat : 2094 (p2cudf-paranoid) S 2093 2094 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 876717838 2633728 273 1283457024 134512640 135304128 4286806624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2094/statm: 643 273 233 194 0 29 0
[pid=2095] ppid=2094 vsize=2576 CPUtime=0.02
/proc/2095/stat : 2095 (p2cudf) S 2094 2094 2059 34821 2220 4202496 392 2999 0 1 0 0 2 0 25 0 1 0 876717838 2637824 282 1283457024 134512640 135304128 4293363888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2095/statm: 644 282 241 194 0 30 0
[pid=2108] ppid=2095 vsize=873660 CPUtime=4.72
/proc/2108/stat : 2108 (java) S 2095 2094 2059 34821 2220 4202496 55751 0 1 0 443 29 0 0 25 0 11 0 876717842 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2108/statm: 218415 51771 1789 10 0 215505 0
[pid=2108/tid=2109] ppid=2095 vsize=873660 CPUtime=1.99
/proc/2108/task/2109/stat : 2109 (java) S 2095 2094 2059 34821 2220 4202560 45986 0 1 0 176 23 0 0 25 0 11 0 876717843 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2110] ppid=2095 vsize=873660 CPUtime=0.01
/proc/2108/task/2110/stat : 2110 (java) S 2095 2094 2059 34821 2220 4202560 5 0 0 0 0 1 0 0 16 0 11 0 876717844 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2111] ppid=2095 vsize=873660 CPUtime=0
/proc/2108/task/2111/stat : 2111 (java) S 2095 2094 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 11 0 876717845 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2112] ppid=2095 vsize=873660 CPUtime=0
/proc/2108/task/2112/stat : 2112 (java) S 2095 2094 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 11 0 876717845 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2113] ppid=2095 vsize=873660 CPUtime=0
/proc/2108/task/2113/stat : 2113 (java) S 2095 2094 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876717847 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2114] ppid=2095 vsize=873660 CPUtime=1.39
/proc/2108/task/2114/stat : 2114 (java) S 2095 2094 2059 34821 2220 4202560 2530 0 0 0 139 0 0 0 15 0 11 0 876717847 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2115] ppid=2095 vsize=873660 CPUtime=1.3
/proc/2108/task/2115/stat : 2115 (java) S 2095 2094 2059 34821 2220 4202560 6109 0 0 0 126 4 0 0 25 0 11 0 876717847 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2116] ppid=2095 vsize=873660 CPUtime=0
/proc/2108/task/2116/stat : 2116 (java) S 2095 2094 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876717847 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2117] ppid=2095 vsize=873660 CPUtime=0
/proc/2108/task/2117/stat : 2117 (java) S 2095 2094 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 876717847 894627840 51771 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 878808

[startup+5.41715 s]
/proc/loadavg: 1.62 1.40 1.29 5/58 2119
/proc/meminfo: memFree=420692/1048576 swapFree=2078696/2097144
[pid=2094] ppid=2093 vsize=2572 CPUtime=0
/proc/2094/stat : 2094 (p2cudf-paranoid) S 2093 2094 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 876717838 2633728 273 1283457024 134512640 135304128 4286806624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2094/statm: 643 273 233 194 0 29 0
[pid=2095] ppid=2094 vsize=2576 CPUtime=0.02
/proc/2095/stat : 2095 (p2cudf) S 2094 2094 2059 34821 2220 4202496 392 2999 0 1 0 0 2 0 25 0 1 0 876717838 2637824 282 1283457024 134512640 135304128 4293363888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2095/statm: 644 282 241 194 0 30 0
[pid=2108] ppid=2095 vsize=873660 CPUtime=4.86
/proc/2108/stat : 2108 (java) S 2095 2094 2059 34821 2220 4202496 56019 0 1 0 455 31 0 0 25 0 10 0 876717842 894627840 52039 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2108/statm: 218415 52039 1789 10 0 215505 0
[pid=2108/tid=2109] ppid=2095 vsize=873660 CPUtime=1.99
/proc/2108/task/2109/stat : 2109 (java) S 2095 2094 2059 34821 2220 4202560 45986 0 1 0 176 23 0 0 19 0 10 0 876717843 894627840 52039 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2110] ppid=2095 vsize=873660 CPUtime=0.01
/proc/2108/task/2110/stat : 2110 (java) S 2095 2094 2059 34821 2220 4202560 5 0 0 0 0 1 0 0 16 0 10 0 876717844 894627840 52039 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2111] ppid=2095 vsize=873660 CPUtime=0
/proc/2108/task/2111/stat : 2111 (java) S 2095 2094 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876717845 894627840 52039 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2112] ppid=2095 vsize=873660 CPUtime=0
/proc/2108/task/2112/stat : 2112 (java) S 2095 2094 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876717845 894627840 52039 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2113] ppid=2095 vsize=873660 CPUtime=0
/proc/2108/task/2113/stat : 2113 (java) S 2095 2094 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876717847 894627840 52039 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2114] ppid=2095 vsize=873660 CPUtime=1.41
/proc/2108/task/2114/stat : 2114 (java) R 2095 2094 2059 34821 2220 4202560 2531 0 0 0 141 0 0 0 15 0 10 0 876717847 894627840 52039 1283457024 134512640 134550932 4294273072 18446744073709551615 4151675500 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2108/tid=2115] ppid=2095 vsize=873660 CPUtime=1.31
/proc/2108/task/2115/stat : 2115 (java) R 2095 2094 2059 34821 2220 4202560 6109 0 0 0 127 4 0 0 20 0 10 0 876717847 894627840 52039 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2108/tid=2116] ppid=2095 vsize=873660 CPUtime=0
/proc/2108/task/2116/stat : 2116 (java) S 2095 2094 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876717847 894627840 52039 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=2108/tid=2117] ppid=2095 vsize=873660 CPUtime=0
/proc/2108/task/2117/stat : 2117 (java) S 2095 2094 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 10 0 876717847 894627840 52039 1283457024 134512640 134550932 4294273072 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 878808

Child status: 0
Real time (s): 5.47328
CPU time (s): 4.95631
CPU user time (s): 4.62429
CPU system time (s): 0.33202
CPU usage (%): 90.5546
Max. virtual memory (cumulated for all children) (KiB): 880328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.62429
system time used= 0.33202
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59815
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 645
involuntary context switches= 645

runsolver used 0 second user time and 0 second system time

The end