runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3735648-1338756767/watcher-3735648-1338756767 -o /tmp/evaluation-result-3735648-1338756767/solver-3735648-1338756767 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3735648-1338756767.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: 2.00 2.00 2.00 2/192 23637
/proc/meminfo: memFree=24765820/32873852 swapFree=6856/6856
[pid=23637] ppid=23635 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/23637/stat : 23637 (java6) D 23635 23637 21377 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 341802159 9515008 182 33554432000 1073741824 1073778376 140737030516400 140737030507432 229355896501 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/23637/statm: 2323 182 140 9 0 71 0
[startup+0.0435771 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 23637
/proc/meminfo: memFree=24765820/32873852 swapFree=6856/6856
[pid=23637] ppid=23635 vsize=2315716 CPUtime=0.01 cores=0,2,4,6
/proc/23637/stat : 23637 (java) S 23635 23637 21377 0 -1 4202496 3624 0 1 0 1 0 0 0 20 0 13 0 341802159 2371293184 4834 33554432000 1073741824 1073778376 140734477161248 140734477152384 229359255613 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23637/statm: 578929 4834 1657 9 0 569630 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2315716
[startup+0.100255 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 23637
/proc/meminfo: memFree=24765820/32873852 swapFree=6856/6856
[pid=23637] ppid=23635 vsize=2648568 CPUtime=0.07 cores=0,2,4,6
/proc/23637/stat : 23637 (java) S 23635 23637 21377 0 -1 4202496 4091 0 1 0 7 0 0 0 20 0 18 0 341802159 2712133632 5810 33554432000 1073741824 1073778376 140734477161248 140734477152384 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23637/statm: 662142 5810 1934 9 0 652835 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2648568
[startup+0.300224 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 23637
/proc/meminfo: memFree=24765820/32873852 swapFree=6856/6856
[pid=23637] ppid=23635 vsize=2648568 CPUtime=0.48 cores=0,2,4,6
/proc/23637/stat : 23637 (java) S 23635 23637 21377 0 -1 4202496 6240 0 1 0 47 1 0 0 20 0 18 0 341802159 2712133632 9366 33554432000 1073741824 1073778376 140734477161248 140734477152384 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23637/statm: 662142 9366 2218 9 0 652835 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2648568
[startup+0.700227 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 23637
/proc/meminfo: memFree=24765820/32873852 swapFree=6856/6856
[pid=23637] ppid=23635 vsize=2715132 CPUtime=1.52 cores=0,2,4,6
/proc/23637/stat : 23637 (java) S 23635 23637 21377 0 -1 4202496 12933 0 1 0 149 3 0 0 20 0 19 0 341802159 2780295168 18090 33554432000 1073741824 1073778376 140734477161248 140734477152384 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23637/statm: 678783 18090 2260 9 0 669476 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 2715132
[startup+1.50062 s]
/proc/loadavg: 2.00 2.00 2.00 4/211 23656
/proc/meminfo: memFree=24701652/32873852 swapFree=6856/6856
[pid=23637] ppid=23635 vsize=2715132 CPUtime=2.54 cores=0,2,4,6
/proc/23637/stat : 23637 (java) S 23635 23637 21377 0 -1 4202496 12938 0 1 0 251 3 0 0 20 0 19 0 341802159 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 140734477152384 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23637/statm: 678783 19627 2260 9 0 669476 0
[pid=23637/tid=23639] ppid=23635 vsize=2715132 CPUtime=1.46 cores=0,2,4,6
/proc/23637/task/23639/stat : 23639 (java) R 23635 23637 21377 0 -1 4202560 2777 0 1 0 145 1 0 0 20 0 19 0 341802160 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742087733864 139741945910715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23640] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23640/stat : 23640 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742072183208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23641] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23641/stat : 23641 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742071130664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23642] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23642/stat : 23642 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742070077608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23637/tid=23643] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23643/stat : 23643 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742069025064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23644] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23644/stat : 23644 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742067973032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23645] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23645/stat : 23645 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742066920488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23646] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23646/stat : 23646 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742065867432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23647] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23647/stat : 23647 (java) S 23635 23637 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742064814888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23648] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23648/stat : 23648 (java) S 23635 23637 21377 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 341802163 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139741933771112 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23649] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23649/stat : 23649 (java) S 23635 23637 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341802164 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139741932717432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23650] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23650/stat : 23650 (java) S 23635 23637 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341802164 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742063760264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23651] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23651/stat : 23651 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802166 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139741931665680 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23652] ppid=23635 vsize=2715132 CPUtime=0.54 cores=0,2,4,6
/proc/23637/task/23652/stat : 23652 (java) S 23635 23637 21377 0 -1 4202560 4712 0 0 0 52 2 0 0 20 0 19 0 341802166 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139741930613560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23653] ppid=23635 vsize=2715132 CPUtime=0.51 cores=0,2,4,6
/proc/23637/task/23653/stat : 23653 (java) S 23635 23637 21377 0 -1 4202560 4253 0 0 0 51 0 0 0 20 0 19 0 341802167 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139741929561016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23654] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23654/stat : 23654 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802167 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139741055937272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23655] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23655/stat : 23655 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802167 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139741054884936 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23656] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23656/stat : 23656 (java) S 23635 23637 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341802206 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139741053830184 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 2715132
[startup+3.10061 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 23656
/proc/meminfo: memFree=24695128/32873852 swapFree=6856/6856
[pid=23637] ppid=23635 vsize=2715132 CPUtime=4.15 cores=0,2,4,6
/proc/23637/stat : 23637 (java) S 23635 23637 21377 0 -1 4202496 12938 0 1 0 412 3 0 0 20 0 19 0 341802159 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 140734477152384 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23637/statm: 678783 19627 2260 9 0 669476 0
[pid=23637/tid=23639] ppid=23635 vsize=2715132 CPUtime=3.05 cores=0,2,4,6
/proc/23637/task/23639/stat : 23639 (java) R 23635 23637 21377 0 -1 4202560 2777 0 1 0 304 1 0 0 20 0 19 0 341802160 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742087733800 139741945938540 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23640] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23640/stat : 23640 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742072183208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23641] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23641/stat : 23641 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742071130664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23642] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23642/stat : 23642 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742070077608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23637/tid=23643] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23643/stat : 23643 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742069025064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23644] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23644/stat : 23644 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742067973032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23645] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23645/stat : 23645 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742066920488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23646] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23646/stat : 23646 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742065867432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23647] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23647/stat : 23647 (java) S 23635 23637 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742064814888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23648] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23648/stat : 23648 (java) S 23635 23637 21377 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 341802163 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139741933771112 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23649] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23649/stat : 23649 (java) S 23635 23637 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341802164 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139741932717432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23650] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23650/stat : 23650 (java) S 23635 23637 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341802164 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139742063760264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23651] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23651/stat : 23651 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802166 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139741931665680 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23652] ppid=23635 vsize=2715132 CPUtime=0.54 cores=0,2,4,6
/proc/23637/task/23652/stat : 23652 (java) S 23635 23637 21377 0 -1 4202560 4712 0 0 0 52 2 0 0 20 0 19 0 341802166 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139741930613560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23653] ppid=23635 vsize=2715132 CPUtime=0.51 cores=0,2,4,6
/proc/23637/task/23653/stat : 23653 (java) S 23635 23637 21377 0 -1 4202560 4253 0 0 0 51 0 0 0 20 0 19 0 341802167 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139741929561016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23654] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23654/stat : 23654 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802167 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139741055937272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23655] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23655/stat : 23655 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802167 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139741054884936 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23656] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23656/stat : 23656 (java) S 23635 23637 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341802206 2780295168 19627 33554432000 1073741824 1073778376 140734477161248 139741053830184 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 2715132
[startup+6.30062 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 23656
/proc/meminfo: memFree=24692956/32873852 swapFree=6856/6856
[pid=23637] ppid=23635 vsize=2715132 CPUtime=7.39 cores=0,2,4,6
/proc/23637/stat : 23637 (java) S 23635 23637 21377 0 -1 4202496 12942 0 1 0 736 3 0 0 20 0 19 0 341802159 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 140734477152384 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23637/statm: 678783 20576 2260 9 0 669476 0
[pid=23637/tid=23639] ppid=23635 vsize=2715132 CPUtime=6.24 cores=0,2,4,6
/proc/23637/task/23639/stat : 23639 (java) R 23635 23637 21377 0 -1 4202560 2781 0 1 0 623 1 0 0 20 0 19 0 341802160 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139742087731760 139741945802344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23640] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23640/stat : 23640 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139742072183208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23641] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23641/stat : 23641 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139742071130664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23642] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23642/stat : 23642 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139742070077608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23637/tid=23643] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23643/stat : 23643 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139742069025064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23644] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23644/stat : 23644 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139742067973032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23645] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23645/stat : 23645 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139742066920488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23646] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23646/stat : 23646 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139742065867432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23647] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23647/stat : 23647 (java) S 23635 23637 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341802162 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139742064814888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23648] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23648/stat : 23648 (java) S 23635 23637 21377 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 341802163 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139741933771112 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23649] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23649/stat : 23649 (java) S 23635 23637 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341802164 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139741932717432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23650] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23650/stat : 23650 (java) S 23635 23637 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341802164 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139742063760264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23651] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23651/stat : 23651 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802166 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139741931665680 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23652] ppid=23635 vsize=2715132 CPUtime=0.56 cores=0,2,4,6
/proc/23637/task/23652/stat : 23652 (java) S 23635 23637 21377 0 -1 4202560 4712 0 0 0 54 2 0 0 20 0 19 0 341802166 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139741930613560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23653] ppid=23635 vsize=2715132 CPUtime=0.53 cores=0,2,4,6
/proc/23637/task/23653/stat : 23653 (java) S 23635 23637 21377 0 -1 4202560 4253 0 0 0 53 0 0 0 20 0 19 0 341802167 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139741929561016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23654] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23654/stat : 23654 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802167 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139741055937272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23655] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23655/stat : 23655 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802167 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139741054884936 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23656] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23656/stat : 23656 (java) S 23635 23637 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341802206 2780295168 20576 33554432000 1073741824 1073778376 140734477161248 139741053830184 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 2715132
[startup+12.7006 s]
################
# More data... #
################
[pid=23637/tid=23652] ppid=23635 vsize=2715132 CPUtime=0.6 cores=0,2,4,6
/proc/23637/task/23652/stat : 23652 (java) S 23635 23637 21377 0 -1 4202560 4718 0 0 0 58 2 0 0 20 0 19 0 341802166 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139741930613560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23653] ppid=23635 vsize=2715132 CPUtime=0.6 cores=0,2,4,6
/proc/23637/task/23653/stat : 23653 (java) S 23635 23637 21377 0 -1 4202560 4259 0 0 0 60 0 0 0 20 0 19 0 341802167 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139741929561016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23654] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23654/stat : 23654 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802167 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139741055937272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23655] ppid=23635 vsize=2715132 CPUtime=0.62 cores=0,2,4,6
/proc/23637/task/23655/stat : 23655 (java) S 23635 23637 21377 0 -1 4202560 103 0 0 0 36 26 0 0 20 0 19 0 341802167 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139741054884936 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23656] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23656/stat : 23656 (java) S 23635 23637 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341802206 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139741053830184 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1786.04
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.31 s]
/proc/loadavg: 2.00 2.03 2.00 3/211 23752
/proc/meminfo: memFree=23530704/32873852 swapFree=6856/6856
[pid=23637] ppid=23635 vsize=2715132 CPUtime=1800.07 cores=0,2,4,6
/proc/23637/stat : 23637 (java) S 23635 23637 21377 0 -1 4202496 15626 0 1 0 179868 139 0 0 20 0 19 0 341802159 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 140734477152384 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23637/statm: 678783 344367 2286 9 0 669476 0
[pid=23637/tid=23639] ppid=23635 vsize=2715132 CPUtime=1789.4 cores=0,2,4,6
/proc/23637/task/23639/stat : 23639 (java) R 23635 23637 21377 0 -1 4202560 2927 0 1 0 178906 34 0 0 20 0 19 0 341802160 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139742087733800 139741945836207 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23640] ppid=23635 vsize=2715132 CPUtime=0.43 cores=0,2,4,6
/proc/23637/task/23640/stat : 23640 (java) S 23635 23637 21377 0 -1 4202560 271 0 0 0 31 12 0 0 20 0 19 0 341802162 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139742072183208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23637/tid=23641] ppid=23635 vsize=2715132 CPUtime=0.34 cores=0,2,4,6
/proc/23637/task/23641/stat : 23641 (java) S 23635 23637 21377 0 -1 4202560 248 0 0 0 23 11 0 0 20 0 19 0 341802162 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139742071130664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23642] ppid=23635 vsize=2715132 CPUtime=0.36 cores=0,2,4,6
/proc/23637/task/23642/stat : 23642 (java) S 23635 23637 21377 0 -1 4202560 220 0 0 0 24 12 0 0 20 0 19 0 341802162 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139742070077608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23643] ppid=23635 vsize=2715132 CPUtime=0.47 cores=0,2,4,6
/proc/23637/task/23643/stat : 23643 (java) S 23635 23637 21377 0 -1 4202560 355 0 0 0 30 17 0 0 20 0 19 0 341802162 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139742069025064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23644] ppid=23635 vsize=2715132 CPUtime=0.54 cores=0,2,4,6
/proc/23637/task/23644/stat : 23644 (java) S 23635 23637 21377 0 -1 4202560 438 0 0 0 35 19 0 0 20 0 19 0 341802162 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139742067973032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23645] ppid=23635 vsize=2715132 CPUtime=0.5 cores=0,2,4,6
/proc/23637/task/23645/stat : 23645 (java) S 23635 23637 21377 0 -1 4202560 379 0 0 0 31 19 0 0 20 0 19 0 341802162 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139742066920488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23646] ppid=23635 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/23637/task/23646/stat : 23646 (java) S 23635 23637 21377 0 -1 4202560 240 0 0 0 20 9 0 0 20 0 19 0 341802162 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139742065867432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23647] ppid=23635 vsize=2715132 CPUtime=0.37 cores=0,2,4,6
/proc/23637/task/23647/stat : 23647 (java) S 23635 23637 21377 0 -1 4202560 230 0 0 0 25 12 0 0 20 0 19 0 341802162 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139742064814888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23648] ppid=23635 vsize=2715132 CPUtime=1.17 cores=0,2,4,6
/proc/23637/task/23648/stat : 23648 (java) S 23635 23637 21377 0 -1 4202560 56 0 0 0 116 1 0 0 20 0 19 0 341802163 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139741933771112 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23649] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23649/stat : 23649 (java) S 23635 23637 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341802164 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139741932717432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23637/tid=23650] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23650/stat : 23650 (java) S 23635 23637 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341802164 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139742063760264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23651] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23651/stat : 23651 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802166 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139741931665680 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23652] ppid=23635 vsize=2715132 CPUtime=0.6 cores=0,2,4,6
/proc/23637/task/23652/stat : 23652 (java) S 23635 23637 21377 0 -1 4202560 4718 0 0 0 58 2 0 0 20 0 19 0 341802166 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139741930613560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23653] ppid=23635 vsize=2715132 CPUtime=0.6 cores=0,2,4,6
/proc/23637/task/23653/stat : 23653 (java) S 23635 23637 21377 0 -1 4202560 4259 0 0 0 60 0 0 0 20 0 19 0 341802167 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139741929561016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23654] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23654/stat : 23654 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341802167 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139741055937272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23655] ppid=23635 vsize=2715132 CPUtime=0.63 cores=0,2,4,6
/proc/23637/task/23655/stat : 23655 (java) S 23635 23637 21377 0 -1 4202560 103 0 0 0 36 27 0 0 20 0 19 0 341802167 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139741054884936 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23656] ppid=23635 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23656/stat : 23656 (java) S 23635 23637 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341802206 2780295168 344367 33554432000 1073741824 1073778376 140734477161248 139741053830184 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.41 s]
/proc/loadavg: 2.00 2.03 2.00 3/211 23752
/proc/meminfo: memFree=23530704/32873852 swapFree=6856/6856
[pid=23637] ppid=23635 vsize=2848260 CPUtime=1800.27 cores=0,2,4,6
/proc/23637/stat : 23637 (java) S 23635 23637 21377 0 -1 4202496 15675 0 1 0 179888 139 0 0 20 0 21 0 341802159 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 140734477152384 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23637/statm: 712065 344413 2286 9 0 702758 0
[pid=23637/tid=23639] ppid=23635 vsize=2848260 CPUtime=1789.49 cores=0,2,4,6
/proc/23637/task/23639/stat : 23639 (java) R 23635 23637 21377 0 -1 4202560 2927 0 1 0 178915 34 0 0 20 0 21 0 341802160 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742087733800 139741945836148 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23640] ppid=23635 vsize=2848260 CPUtime=0.43 cores=0,2,4,6
/proc/23637/task/23640/stat : 23640 (java) S 23635 23637 21377 0 -1 4202560 271 0 0 0 31 12 0 0 20 0 21 0 341802162 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742072183208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23637/tid=23641] ppid=23635 vsize=2848260 CPUtime=0.34 cores=0,2,4,6
/proc/23637/task/23641/stat : 23641 (java) S 23635 23637 21377 0 -1 4202560 248 0 0 0 23 11 0 0 20 0 21 0 341802162 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742071130664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23642] ppid=23635 vsize=2848260 CPUtime=0.36 cores=0,2,4,6
/proc/23637/task/23642/stat : 23642 (java) S 23635 23637 21377 0 -1 4202560 220 0 0 0 24 12 0 0 20 0 21 0 341802162 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742070077608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23643] ppid=23635 vsize=2848260 CPUtime=0.47 cores=0,2,4,6
/proc/23637/task/23643/stat : 23643 (java) S 23635 23637 21377 0 -1 4202560 355 0 0 0 30 17 0 0 20 0 21 0 341802162 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742069025064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23644] ppid=23635 vsize=2848260 CPUtime=0.54 cores=0,2,4,6
/proc/23637/task/23644/stat : 23644 (java) S 23635 23637 21377 0 -1 4202560 438 0 0 0 35 19 0 0 20 0 21 0 341802162 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742067973032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23645] ppid=23635 vsize=2848260 CPUtime=0.5 cores=0,2,4,6
/proc/23637/task/23645/stat : 23645 (java) S 23635 23637 21377 0 -1 4202560 379 0 0 0 31 19 0 0 20 0 21 0 341802162 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742066920488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23646] ppid=23635 vsize=2848260 CPUtime=0.29 cores=0,2,4,6
/proc/23637/task/23646/stat : 23646 (java) S 23635 23637 21377 0 -1 4202560 240 0 0 0 20 9 0 0 20 0 21 0 341802162 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742065867432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23647] ppid=23635 vsize=2848260 CPUtime=0.37 cores=0,2,4,6
/proc/23637/task/23647/stat : 23647 (java) S 23635 23637 21377 0 -1 4202560 230 0 0 0 25 12 0 0 20 0 21 0 341802162 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742064814888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23648] ppid=23635 vsize=2848260 CPUtime=1.17 cores=0,2,4,6
/proc/23637/task/23648/stat : 23648 (java) S 23635 23637 21377 0 -1 4202560 56 0 0 0 116 1 0 0 20 0 21 0 341802163 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139741933771112 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23649] ppid=23635 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23649/stat : 23649 (java) S 23635 23637 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 341802164 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139741932717432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23637/tid=23650] ppid=23635 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23650/stat : 23650 (java) S 23635 23637 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 341802164 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742063760264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23651] ppid=23635 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23651/stat : 23651 (java) S 23635 23637 21377 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 341802166 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139741931665680 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23652] ppid=23635 vsize=2848260 CPUtime=0.6 cores=0,2,4,6
/proc/23637/task/23652/stat : 23652 (java) S 23635 23637 21377 0 -1 4202560 4719 0 0 0 58 2 0 0 20 0 21 0 341802166 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139741930613560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23653] ppid=23635 vsize=2848260 CPUtime=0.62 cores=0,2,4,6
/proc/23637/task/23653/stat : 23653 (java) S 23635 23637 21377 0 -1 4202560 4260 0 0 0 62 0 0 0 20 0 21 0 341802167 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139741929561016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23654] ppid=23635 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23654/stat : 23654 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 341802167 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139741055937272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23655] ppid=23635 vsize=2848260 CPUtime=0.63 cores=0,2,4,6
/proc/23637/task/23655/stat : 23655 (java) S 23635 23637 21377 0 -1 4202560 103 0 0 0 36 27 0 0 20 0 21 0 341802167 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139741054884936 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23656] ppid=23635 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23656/stat : 23656 (java) S 23635 23637 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 341802206 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139741053830184 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 2848260
[startup+1796.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/211 23752
/proc/meminfo: memFree=23530704/32873852 swapFree=6856/6856
[pid=23637] ppid=23635 vsize=2848260 CPUtime=1800.45 cores=0,2,4,6
/proc/23637/stat : 23637 (java) S 23635 23637 21377 0 -1 4202496 15675 0 1 0 179906 139 0 0 20 0 21 0 341802159 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 140734477152384 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23637/statm: 712065 344413 2286 9 0 702758 0
[pid=23637/tid=23639] ppid=23635 vsize=2848260 CPUtime=1789.58 cores=0,2,4,6
/proc/23637/task/23639/stat : 23639 (java) R 23635 23637 21377 0 -1 4202560 2927 0 1 0 178924 34 0 0 20 0 21 0 341802160 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742087733800 139741945836156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23640] ppid=23635 vsize=2848260 CPUtime=0.43 cores=0,2,4,6
/proc/23637/task/23640/stat : 23640 (java) S 23635 23637 21377 0 -1 4202560 271 0 0 0 31 12 0 0 20 0 21 0 341802162 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742072183208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23637/tid=23641] ppid=23635 vsize=2848260 CPUtime=0.34 cores=0,2,4,6
/proc/23637/task/23641/stat : 23641 (java) S 23635 23637 21377 0 -1 4202560 248 0 0 0 23 11 0 0 20 0 21 0 341802162 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742071130664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23642] ppid=23635 vsize=2848260 CPUtime=0.36 cores=0,2,4,6
/proc/23637/task/23642/stat : 23642 (java) S 23635 23637 21377 0 -1 4202560 220 0 0 0 24 12 0 0 20 0 21 0 341802162 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742070077608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23643] ppid=23635 vsize=2848260 CPUtime=0.47 cores=0,2,4,6
/proc/23637/task/23643/stat : 23643 (java) S 23635 23637 21377 0 -1 4202560 355 0 0 0 30 17 0 0 20 0 21 0 341802162 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742069025064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23644] ppid=23635 vsize=2848260 CPUtime=0.54 cores=0,2,4,6
/proc/23637/task/23644/stat : 23644 (java) S 23635 23637 21377 0 -1 4202560 438 0 0 0 35 19 0 0 20 0 21 0 341802162 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742067973032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23645] ppid=23635 vsize=2848260 CPUtime=0.5 cores=0,2,4,6
/proc/23637/task/23645/stat : 23645 (java) S 23635 23637 21377 0 -1 4202560 379 0 0 0 31 19 0 0 20 0 21 0 341802162 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742066920488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23646] ppid=23635 vsize=2848260 CPUtime=0.29 cores=0,2,4,6
/proc/23637/task/23646/stat : 23646 (java) S 23635 23637 21377 0 -1 4202560 240 0 0 0 20 9 0 0 20 0 21 0 341802162 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742065867432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23647] ppid=23635 vsize=2848260 CPUtime=0.37 cores=0,2,4,6
/proc/23637/task/23647/stat : 23647 (java) S 23635 23637 21377 0 -1 4202560 230 0 0 0 25 12 0 0 20 0 21 0 341802162 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742064814888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23648] ppid=23635 vsize=2848260 CPUtime=1.17 cores=0,2,4,6
/proc/23637/task/23648/stat : 23648 (java) S 23635 23637 21377 0 -1 4202560 56 0 0 0 116 1 0 0 20 0 21 0 341802163 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139741933771112 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23649] ppid=23635 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23649/stat : 23649 (java) S 23635 23637 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 341802164 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139741932717432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23637/tid=23650] ppid=23635 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23650/stat : 23650 (java) S 23635 23637 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 341802164 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139742063760264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23651] ppid=23635 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23651/stat : 23651 (java) S 23635 23637 21377 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 341802166 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139741931665680 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23652] ppid=23635 vsize=2848260 CPUtime=0.6 cores=0,2,4,6
/proc/23637/task/23652/stat : 23652 (java) S 23635 23637 21377 0 -1 4202560 4719 0 0 0 58 2 0 0 20 0 21 0 341802166 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139741930613560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23637/tid=23653] ppid=23635 vsize=2848260 CPUtime=0.62 cores=0,2,4,6
/proc/23637/task/23653/stat : 23653 (java) S 23635 23637 21377 0 -1 4202560 4260 0 0 0 62 0 0 0 20 0 21 0 341802167 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139741929561016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23654] ppid=23635 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23654/stat : 23654 (java) S 23635 23637 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 341802167 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139741055937272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23637/tid=23655] ppid=23635 vsize=2848260 CPUtime=0.63 cores=0,2,4,6
/proc/23637/task/23655/stat : 23655 (java) S 23635 23637 21377 0 -1 4202560 103 0 0 0 36 27 0 0 20 0 21 0 341802167 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139741054884936 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23637/tid=23656] ppid=23635 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/23637/task/23656/stat : 23656 (java) S 23635 23637 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 341802206 2916618240 344413 33554432000 1073741824 1073778376 140734477161248 139741053830184 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 2848260
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23637 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=548187
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=891712
# CPU time returned by wait4() is 1796.44
# while last known CPU time is 1800.45
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1796.56
CPU time (s): 1800.45
CPU user time (s): 1799.06
CPU system time (s): 1.39
CPU usage (%): 100.216
Max. virtual memory (cumulated for all children) (KiB): 2848260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.55
system time used= 1.89171
maximum resident set size= 1377660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15679
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38091
involuntary context switches= 15115
runsolver used 6.09007 second user time and 14.6628 second system time
The end