runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454006-1307194801/watcher-3454006-1307194801 -o /tmp/evaluation-result-3454006-1307194801/solver-3454006-1307194801 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454006-1307194801.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.63 2.93 3.49 5/497 2246
/proc/meminfo: memFree=26438376/32950928 swapFree=34421304/67111528
[pid=2244] ppid=2241 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/2244/stat : 2244 (java) S 2241 2244 29288 0 -1 4202496 235 0 0 0 0 0 0 0 18 0 1 0 909710785 9318400 170 33554432000 1073741824 1073778376 140734626358032 18446744073709551615 251367542629 0 2147483391 4096 0 18446744071699199166 0 0 17 2 0 0 0
/proc/2244/statm: 2275 170 130 9 0 67 0
[pid=2244/tid=2248] ppid=2241 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2248/stat : 2248 (java) R 2241 2244 29288 0 -1 4202560 4051 0 1 0 0 0 0 0 17 0 2 0 909710786 10694979584 4867 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251367240763 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.082853 s]
/proc/loadavg: 1.63 2.93 3.49 5/497 2246
/proc/meminfo: memFree=26438376/32950928 swapFree=34421304/67111528
[pid=2244] ppid=2241 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/2244/stat : 2244 (java) S 2241 2244 29288 0 -1 4202496 11979 0 1 0 5 1 0 0 18 0 18 0 909710785 10724442112 11675 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2244/statm: 2618272 11675 1755 9 0 2609006 0
[pid=2244/tid=2248] ppid=2241 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/2244/task/2248/stat : 2248 (java) R 2241 2244 29288 0 -1 4202560 10803 0 1 0 5 1 0 0 25 0 18 0 909710786 10724442112 11675 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379373515 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.104834 s]
/proc/loadavg: 1.63 2.93 3.49 5/497 2246
/proc/meminfo: memFree=26438376/32950928 swapFree=34421304/67111528
[pid=2244] ppid=2241 vsize=10539688 CPUtime=0.1 cores=0,2,4,6
/proc/2244/stat : 2244 (java) S 2241 2244 29288 0 -1 4202496 12904 0 1 0 9 1 0 0 18 0 18 0 909710785 10792640512 12600 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2244/statm: 2634922 12600 2092 9 0 2625656 0
[pid=2244/tid=2248] ppid=2241 vsize=10539688 CPUtime=0.08 cores=0,2,4,6
/proc/2244/task/2248/stat : 2248 (java) R 2241 2244 29288 0 -1 4202560 11125 0 1 0 7 1 0 0 18 0 18 0 909710786 10792640512 12600 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539688
[startup+0.300858 s]
/proc/loadavg: 1.63 2.93 3.49 5/497 2246
/proc/meminfo: memFree=26438376/32950928 swapFree=34421304/67111528
[pid=2244] ppid=2241 vsize=10546232 CPUtime=0.45 cores=0,2,4,6
/proc/2244/stat : 2244 (java) S 2241 2244 29288 0 -1 4202496 15281 0 1 0 43 2 0 0 18 0 20 0 909710785 10799341568 14800 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2244/statm: 2636558 14800 2205 9 0 2627292 0
[pid=2244/tid=2248] ppid=2241 vsize=10546232 CPUtime=0.25 cores=0,2,4,6
/proc/2244/task/2248/stat : 2248 (java) S 2241 2244 29288 0 -1 4202560 12444 0 1 0 24 1 0 0 19 0 20 0 909710786 10799341568 14800 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379363328 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10546232
[startup+0.700781 s]
/proc/loadavg: 1.63 2.93 3.49 5/497 2246
/proc/meminfo: memFree=26438376/32950928 swapFree=34421304/67111528
[pid=2244] ppid=2241 vsize=10546232 CPUtime=0.45 cores=0,2,4,6
/proc/2244/stat : 2244 (java) S 2241 2244 29288 0 -1 4202496 15281 0 1 0 43 2 0 0 18 0 20 0 909710785 10799341568 14800 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2244/statm: 2636558 14800 2205 9 0 2627292 0
[pid=2244/tid=2248] ppid=2241 vsize=10546232 CPUtime=0.25 cores=0,2,4,6
/proc/2244/task/2248/stat : 2248 (java) S 2241 2244 29288 0 -1 4202560 12444 0 1 0 24 1 0 0 19 0 20 0 909710786 10799341568 14800 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379363328 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10546232
[startup+1.50164 s]
/proc/loadavg: 1.63 2.93 3.49 1/537 2307
/proc/meminfo: memFree=26330556/32950928 swapFree=34421304/67111528
[pid=2244] ppid=2241 vsize=10550868 CPUtime=0.84 cores=0,2,4,6
/proc/2244/stat : 2244 (java) S 2241 2244 29288 0 -1 4202496 19899 0 1 0 82 2 0 0 18 0 19 0 909710785 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2244/statm: 2637717 17677 2220 9 0 2628451 0
[pid=2244/tid=2248] ppid=2241 vsize=10550868 CPUtime=0.25 cores=0,2,4,6
/proc/2244/task/2248/stat : 2248 (java) S 2241 2244 29288 0 -1 4202560 12462 0 1 0 24 1 0 0 16 0 19 0 909710786 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379363328 0 4 0 16800975 18446604453636423936 0 0 -1 6 0 0 0
[pid=2244/tid=2263] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2263/stat : 2263 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909710787 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2265] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2265/stat : 2265 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909710787 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2267] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2267/stat : 2267 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909710787 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2270] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2270/stat : 2270 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909710787 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2272] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2272/stat : 2272 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909710787 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2273] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2273/stat : 2273 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909710787 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2274] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2274/stat : 2274 (java) S 2241 2244 29288 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 909710787 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2275] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2275/stat : 2275 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909710787 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2276] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2276/stat : 2276 (java) S 2241 2244 29288 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909710788 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379363328 0 0 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2279] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2279/stat : 2279 (java) S 2241 2244 29288 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 909710789 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2281] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2281/stat : 2281 (java) S 2241 2244 29288 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909710789 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2282] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2282/stat : 2282 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 909710791 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379370417 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2284] ppid=2241 vsize=10550868 CPUtime=0.19 cores=0,2,4,6
/proc/2244/task/2284/stat : 2284 (java) S 2241 2244 29288 0 -1 4202560 2656 0 0 0 19 0 0 0 16 0 19 0 909710791 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 6 0 0 0
[pid=2244/tid=2286] ppid=2241 vsize=10550868 CPUtime=0.24 cores=0,2,4,6
/proc/2244/task/2286/stat : 2286 (java) S 2241 2244 29288 0 -1 4202560 2768 0 0 0 24 0 0 0 16 0 19 0 909710791 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2288] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2288/stat : 2288 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909710791 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2290] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2290/stat : 2290 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909710791 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379363328 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2297] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2297/stat : 2297 (java) S 2241 2244 29288 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 909710813 10804088832 17677 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379363328 0 4 0 16800975 18446604453636423936 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 10550868
Solver just ended. Dumping a history of the last processes samples
[startup+1.90145 s]
/proc/loadavg: 1.63 2.93 3.49 1/537 2307
/proc/meminfo: memFree=26330556/32950928 swapFree=34421304/67111528
[pid=2244] ppid=2241 vsize=10550868 CPUtime=1.03 cores=0,2,4,6
/proc/2244/stat : 2244 (java) S 2241 2244 29288 0 -1 4202496 21207 0 1 0 101 2 0 0 18 0 21 0 909710785 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2244/statm: 2637717 18706 2221 9 0 2628451 0
[pid=2244/tid=2248] ppid=2241 vsize=10550868 CPUtime=0.25 cores=0,2,4,6
/proc/2244/task/2248/stat : 2248 (java) S 2241 2244 29288 0 -1 4202560 12467 0 1 0 24 1 0 0 16 0 21 0 909710786 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379363328 0 4 0 16800975 18446604453636423936 0 0 -1 6 0 0 0
[pid=2244/tid=2263] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2263/stat : 2263 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 21 0 909710787 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2265] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2265/stat : 2265 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 909710787 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2267] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2267/stat : 2267 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 909710787 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2270] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2270/stat : 2270 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 909710787 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2272] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2272/stat : 2272 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 909710787 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2273] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2273/stat : 2273 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 909710787 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2274] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2274/stat : 2274 (java) S 2241 2244 29288 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 21 0 909710787 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2275] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2275/stat : 2275 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 909710787 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2276] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2276/stat : 2276 (java) S 2241 2244 29288 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 21 0 909710788 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379363328 0 0 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2279] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2279/stat : 2279 (java) S 2241 2244 29288 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 909710789 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2281] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2281/stat : 2281 (java) S 2241 2244 29288 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 21 0 909710789 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2282] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2282/stat : 2282 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 21 0 909710791 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379370417 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2284] ppid=2241 vsize=10550868 CPUtime=0.23 cores=0,2,4,6
/proc/2244/task/2284/stat : 2284 (java) R 2241 2244 29288 0 -1 4202560 2660 0 0 0 23 0 0 0 16 0 21 0 909710791 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 47888294328142 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2244/tid=2286] ppid=2241 vsize=10550868 CPUtime=0.33 cores=0,2,4,6
/proc/2244/task/2286/stat : 2286 (java) R 2241 2244 29288 0 -1 4202560 3230 0 0 0 33 0 0 0 16 0 21 0 909710791 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 47888293902667 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2244/tid=2288] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2288/stat : 2288 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 909710791 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2290] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2290/stat : 2290 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 21 0 909710791 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379363328 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2297] ppid=2241 vsize=10550868 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2297/stat : 2297 (java) S 2241 2244 29288 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 909710813 10804088832 18706 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379363328 0 4 0 16800975 18446604453636423936 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 10550868
[startup+2.30148 s]
/proc/loadavg: 1.50 2.88 3.47 4/537 2317
/proc/meminfo: memFree=26265084/32950928 swapFree=34421304/67111528
[pid=2244] ppid=2241 vsize=10555836 CPUtime=1.7 cores=0,2,4,6
/proc/2244/stat : 2244 (java) S 2241 2244 29288 0 -1 4202496 36333 0 1 0 166 4 0 0 18 0 20 0 909710785 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2244/statm: 2638959 31845 2225 9 0 2629693 0
[pid=2244/tid=2248] ppid=2241 vsize=10555836 CPUtime=0.25 cores=0,2,4,6
/proc/2244/task/2248/stat : 2248 (java) S 2241 2244 29288 0 -1 4202560 12467 0 1 0 24 1 0 0 16 0 20 0 909710786 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379363328 0 4 0 16800975 18446604453636423936 0 0 -1 6 0 0 0
[pid=2244/tid=2263] ppid=2241 vsize=10555836 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2263/stat : 2263 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 909710787 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2265] ppid=2241 vsize=10555836 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2265/stat : 2265 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 909710787 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2267] ppid=2241 vsize=10555836 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2267/stat : 2267 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 909710787 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2270] ppid=2241 vsize=10555836 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2270/stat : 2270 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 909710787 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2272] ppid=2241 vsize=10555836 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2272/stat : 2272 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 909710787 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2273] ppid=2241 vsize=10555836 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2273/stat : 2273 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 909710787 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2274] ppid=2241 vsize=10555836 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2274/stat : 2274 (java) S 2241 2244 29288 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 20 0 909710787 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2275] ppid=2241 vsize=10555836 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2275/stat : 2275 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 909710787 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2276] ppid=2241 vsize=10555836 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2276/stat : 2276 (java) S 2241 2244 29288 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 909710788 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379363328 0 0 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2279] ppid=2241 vsize=10555836 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2279/stat : 2279 (java) S 2241 2244 29288 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 909710789 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2281] ppid=2241 vsize=10555836 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2281/stat : 2281 (java) S 2241 2244 29288 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 20 0 909710789 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2282] ppid=2241 vsize=10555836 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2282/stat : 2282 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 909710791 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379370417 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2284] ppid=2241 vsize=10555836 CPUtime=0.42 cores=0,2,4,6
/proc/2244/task/2284/stat : 2284 (java) S 2241 2244 29288 0 -1 4202560 4693 0 0 0 42 0 0 0 15 0 20 0 909710791 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 6 0 0 0
[pid=2244/tid=2286] ppid=2241 vsize=10555836 CPUtime=0.63 cores=0,2,4,6
/proc/2244/task/2286/stat : 2286 (java) S 2241 2244 29288 0 -1 4202560 5454 0 0 0 63 0 0 0 16 0 20 0 909710791 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2288] ppid=2241 vsize=10555836 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2288/stat : 2288 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909710791 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379362713 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2290] ppid=2241 vsize=10555836 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2290/stat : 2290 (java) S 2241 2244 29288 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 909710791 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379363328 0 4 0 16800975 18446604453636423936 0 0 -1 2 0 0 0
[pid=2244/tid=2297] ppid=2241 vsize=10555836 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2297/stat : 2297 (java) S 2241 2244 29288 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 909710813 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379363328 0 4 0 16800975 18446604453636423936 0 0 -1 0 0 0 0
[pid=2244/tid=2317] ppid=2241 vsize=10555836 CPUtime=0 cores=0,2,4,6
/proc/2244/task/2317/stat : 2317 (java) S 2241 2244 29288 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 20 0 909710971 10809176064 31845 33554432000 1073741824 1073778376 140737100157296 18446744073709551615 251379363328 0 4 0 16800975 18446604453636423936 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 10555836
Child status: 30
Real time (s): 2.33142
CPU time (s): 1.72874
CPU user time (s): 1.67774
CPU system time (s): 0.050992
CPU usage (%): 74.1494
Max. virtual memory (cumulated for all children) (KiB): 10555836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.67774
system time used= 0.050992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36346
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 686
involuntary context switches= 189
runsolver used 0.013997 second user time and 0.043993 second system time
The end