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-3732564-1338744621/watcher-3732564-1338744621 -o /tmp/evaluation-result-3732564-1338744621/solver-3732564-1338744621 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3732564-1338744621.opb
running on 4 cores: 1,3,5,7
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.93 1.99 1.99 2/195 27383
/proc/meminfo: memFree=24889816/32873648 swapFree=6864/6864
[pid=27383] ppid=27381 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/27383/stat : 27383 (java) R 27381 27383 26477 0 -1 4202496 1148 0 0 0 0 0 0 0 20 0 1 0 340587565 24780800 867 33554432000 1073741824 1073778376 140736771226128 140736771215192 270707595441 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27383/statm: 38818 870 657 9 0 33153 0
[pid=27383/tid=27384] ppid=27381 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (java) R 27381 27383 26477 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 2 0 340587566 91889664 885 33554432000 1073741824 1073778376 140736771226128 140736771215192 270707540880 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.054139 s]
/proc/loadavg: 1.93 1.99 1.99 2/195 27383
/proc/meminfo: memFree=24889816/32873648 swapFree=6864/6864
[pid=27383] ppid=27381 vsize=2648548 CPUtime=0.03 cores=1,3,5,7
/proc/27383/stat : 27383 (java) S 27381 27383 26477 0 -1 4202496 3803 0 1 0 3 0 0 0 20 0 18 0 340587565 2712113152 5521 33554432000 1073741824 1073778376 140736771226128 140736771217264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27383/statm: 662137 5521 1753 9 0 652835 0
[pid=27383/tid=27384] ppid=27381 vsize=2648548 CPUtime=0.03 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (java) R 27381 27383 26477 0 -1 4202560 2592 0 1 0 3 0 0 0 20 0 18 0 340587566 2712113152 5521 33554432000 1073741824 1073778376 140736771226128 139873379605152 270710924557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2648548
[startup+0.100231 s]
/proc/loadavg: 1.93 1.99 1.99 2/195 27383
/proc/meminfo: memFree=24889816/32873648 swapFree=6864/6864
[pid=27383] ppid=27381 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/27383/stat : 27383 (java) S 27381 27383 26477 0 -1 4202496 4785 0 1 0 10 1 0 0 20 0 18 0 340587565 2712133632 7011 33554432000 1073741824 1073778376 140736771226128 140736771217264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27383/statm: 662142 7011 2142 9 0 652835 0
[pid=27383/tid=27384] ppid=27381 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (java) R 27381 27383 26477 0 -1 4202560 2739 0 1 0 8 0 0 0 20 0 18 0 340587566 2712133632 7011 33554432000 1073741824 1073778376 140736771226128 139873379594008 139873210195174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2648568
[startup+0.300196 s]
/proc/loadavg: 1.93 1.99 1.99 2/195 27383
/proc/meminfo: memFree=24889816/32873648 swapFree=6864/6864
[pid=27383] ppid=27381 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/27383/stat : 27383 (java) S 27381 27383 26477 0 -1 4202496 5683 0 1 0 47 1 0 0 20 0 19 0 340587565 2780295168 9160 33554432000 1073741824 1073778376 140736771226128 140736771217264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27383/statm: 678783 9160 2225 9 0 669476 0
[pid=27383/tid=27384] ppid=27381 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (java) R 27381 27383 26477 0 -1 4202560 2760 0 1 0 28 0 0 0 20 0 19 0 340587566 2780295168 9160 33554432000 1073741824 1073778376 140736771226128 139873379603216 139873210096973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2715132
[startup+0.700177 s]
/proc/loadavg: 1.93 1.99 1.99 2/195 27383
/proc/meminfo: memFree=24889816/32873648 swapFree=6864/6864
[pid=27383] ppid=27381 vsize=2715132 CPUtime=1.25 cores=1,3,5,7
/proc/27383/stat : 27383 (java) S 27381 27383 26477 0 -1 4202496 9744 0 1 0 123 2 0 0 20 0 19 0 340587565 2780295168 11268 33554432000 1073741824 1073778376 140736771226128 140736771217264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27383/statm: 678783 11268 2238 9 0 669476 0
[pid=27383/tid=27384] ppid=27381 vsize=2715132 CPUtime=0.68 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (java) R 27381 27383 26477 0 -1 4202560 2762 0 1 0 68 0 0 0 20 0 19 0 340587566 2780295168 11268 33554432000 1073741824 1073778376 140736771226128 139873379603216 139873210635574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 2715132
[startup+1.50053 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 27402
/proc/meminfo: memFree=24848552/32873648 swapFree=6864/6864
[pid=27383] ppid=27381 vsize=2715132 CPUtime=2.11 cores=1,3,5,7
/proc/27383/stat : 27383 (java) S 27381 27383 26477 0 -1 4202496 9975 0 1 0 209 2 0 0 20 0 19 0 340587565 2780295168 12811 33554432000 1073741824 1073778376 140736771226128 140736771217264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27383/statm: 678783 12811 2244 9 0 669476 0
[pid=27383/tid=27384] ppid=27381 vsize=2715132 CPUtime=1.48 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (java) R 27381 27383 26477 0 -1 4202560 2766 0 1 0 148 0 0 0 20 0 19 0 340587566 2780295168 12811 33554432000 1073741824 1073778376 140736771226128 139873379603160 139873210188200 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 12811 33554432000 1073741824 1073778376 140736771226128 139873364052136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27387] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27387/stat : 27387 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 12811 33554432000 1073741824 1073778376 140736771226128 139873362999592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27388] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27388/stat : 27388 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 12811 33554432000 1073741824 1073778376 140736771226128 139873361947048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27389] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27389/stat : 27389 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 12811 33554432000 1073741824 1073778376 140736771226128 139873360894504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27390] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27390/stat : 27390 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 12811 33554432000 1073741824 1073778376 140736771226128 139873359841960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27391] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27391/stat : 27391 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 12811 33554432000 1073741824 1073778376 140736771226128 139873358789416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27392] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27392/stat : 27392 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 13323 33554432000 1073741824 1073778376 140736771226128 139873357736872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27393] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27393/stat : 27393 (java) S 27381 27383 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 13323 33554432000 1073741824 1073778376 140736771226128 139873356684328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27394] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27394/stat : 27394 (java) S 27381 27383 26477 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340587567 2780295168 13323 33554432000 1073741824 1073778376 140736771226128 139873344272488 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27395] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27395/stat : 27395 (java) S 27381 27383 26477 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340587568 2780295168 13323 33554432000 1073741824 1073778376 140736771226128 139873343218808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27396] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27396/stat : 27396 (java) S 27381 27383 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340587568 2780295168 13323 33554432000 1073741824 1073778376 140736771226128 139873342166152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27397] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27397/stat : 27397 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587570 2780295168 13323 33554432000 1073741824 1073778376 140736771226128 139873341114896 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27398] ppid=27381 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/27383/task/27398/stat : 27398 (java) S 27381 27383 26477 0 -1 4202560 3266 0 0 0 31 0 0 0 20 0 19 0 340587570 2780295168 13323 33554432000 1073741824 1073778376 140736771226128 139873340062264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27399] ppid=27381 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/27383/task/27399/stat : 27399 (java) S 27381 27383 26477 0 -1 4202560 2747 0 0 0 28 0 0 0 20 0 19 0 340587570 2780295168 13323 33554432000 1073741824 1073778376 140736771226128 139873339009720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27400] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27400/stat : 27400 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587570 2780295168 13323 33554432000 1073741824 1073778376 140736771226128 139873337957368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27401] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27401/stat : 27401 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587570 2780295168 13323 33554432000 1073741824 1073778376 140736771226128 139873336905032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27402] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27402/stat : 27402 (java) S 27381 27383 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340587594 2780295168 13323 33554432000 1073741824 1073778376 140736771226128 139873335849768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 2715132
[startup+3.10052 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 27402
/proc/meminfo: memFree=24840484/32873648 swapFree=6864/6864
[pid=27383] ppid=27381 vsize=2715132 CPUtime=3.74 cores=1,3,5,7
/proc/27383/stat : 27383 (java) S 27381 27383 26477 0 -1 4202496 9984 0 1 0 372 2 0 0 20 0 19 0 340587565 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 140736771217264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27383/statm: 678783 16395 2244 9 0 669476 0
[pid=27383/tid=27384] ppid=27381 vsize=2715132 CPUtime=3.08 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (java) R 27381 27383 26477 0 -1 4202560 2775 0 1 0 306 2 0 0 20 0 19 0 340587566 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873379600768 139873210696119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873364052136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27387] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27387/stat : 27387 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873362999592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27388] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27388/stat : 27388 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873361947048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27389] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27389/stat : 27389 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873360894504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27390] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27390/stat : 27390 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873359841960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27391] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27391/stat : 27391 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873358789416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27392] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27392/stat : 27392 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873357736872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27393] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27393/stat : 27393 (java) S 27381 27383 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873356684328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27394] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27394/stat : 27394 (java) S 27381 27383 26477 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340587567 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873344272488 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27395] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27395/stat : 27395 (java) S 27381 27383 26477 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340587568 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873343218808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27396] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27396/stat : 27396 (java) S 27381 27383 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340587568 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873342166152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27397] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27397/stat : 27397 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587570 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873341114896 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27398] ppid=27381 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/27383/task/27398/stat : 27398 (java) S 27381 27383 26477 0 -1 4202560 3266 0 0 0 33 0 0 0 20 0 19 0 340587570 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873340062264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27399] ppid=27381 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/27383/task/27399/stat : 27399 (java) S 27381 27383 26477 0 -1 4202560 2747 0 0 0 30 0 0 0 20 0 19 0 340587570 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873339009720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27400] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27400/stat : 27400 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587570 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873337957368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27401] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27401/stat : 27401 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587570 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873336905032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27402] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27402/stat : 27402 (java) S 27381 27383 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340587594 2780295168 16395 33554432000 1073741824 1073778376 140736771226128 139873335849768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 2715132
[startup+6.3007 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 27402
/proc/meminfo: memFree=24811900/32873648 swapFree=6864/6864
[pid=27383] ppid=27381 vsize=2715132 CPUtime=6.95 cores=1,3,5,7
/proc/27383/stat : 27383 (java) S 27381 27383 26477 0 -1 4202496 9999 0 1 0 692 3 0 0 20 0 19 0 340587565 2780295168 22876 33554432000 1073741824 1073778376 140736771226128 140736771217264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27383/statm: 678783 22876 2245 9 0 669476 0
[pid=27383/tid=27384] ppid=27381 vsize=2715132 CPUtime=6.28 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (java) R 27381 27383 26477 0 -1 4202560 2789 0 1 0 626 2 0 0 20 0 19 0 340587566 2780295168 22876 33554432000 1073741824 1073778376 140736771226128 139873379600768 139873210643988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 22876 33554432000 1073741824 1073778376 140736771226128 139873364052136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27387] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27387/stat : 27387 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 22876 33554432000 1073741824 1073778376 140736771226128 139873362999592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27388] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27388/stat : 27388 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 22876 33554432000 1073741824 1073778376 140736771226128 139873361947048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27389] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27389/stat : 27389 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 22876 33554432000 1073741824 1073778376 140736771226128 139873360894504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27390] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27390/stat : 27390 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 22876 33554432000 1073741824 1073778376 140736771226128 139873359841960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27391] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27391/stat : 27391 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 22876 33554432000 1073741824 1073778376 140736771226128 139873358789416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27392] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27392/stat : 27392 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 22876 33554432000 1073741824 1073778376 140736771226128 139873357736872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27393] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27393/stat : 27393 (java) S 27381 27383 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340587566 2780295168 22876 33554432000 1073741824 1073778376 140736771226128 139873356684328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27394] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27394/stat : 27394 (java) S 27381 27383 26477 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340587567 2780295168 22876 33554432000 1073741824 1073778376 140736771226128 139873344272488 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27395] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27395/stat : 27395 (java) S 27381 27383 26477 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340587568 2780295168 22876 33554432000 1073741824 1073778376 140736771226128 139873343218808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27396] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27396/stat : 27396 (java) S 27381 27383 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340587568 2780295168 22876 33554432000 1073741824 1073778376 140736771226128 139873342166152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27397] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27397/stat : 27397 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587570 2780295168 22876 33554432000 1073741824 1073778376 140736771226128 139873341114896 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27398] ppid=27381 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/27383/task/27398/stat : 27398 (java) S 27381 27383 26477 0 -1 4202560 3266 0 0 0 33 0 0 0 20 0 19 0 340587570 2780295168 22876 33554432000 1073741824 1073778376 140736771226128 139873340062264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27399] ppid=27381 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/27383/task/27399/stat : 27399 (java) S 27381 27383 26477 0 -1 4202560 2747 0 0 0 30 0 0 0 20 0 19 0 340587570 2780295168 22876 33554432000 1073741824 1073778376 140736771226128 139873339009720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=27383/tid=27389] ppid=27381 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/27383/task/27389/stat : 27389 (java) S 27381 27383 26477 0 -1 4202560 348 0 0 0 19 20 0 0 20 0 19 0 340587566 2780295168 342110 33554432000 1073741824 1073778376 140736771226128 139873360894504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27390] ppid=27381 vsize=2715132 CPUtime=0.13 cores=1,3,5,7
/proc/27383/task/27390/stat : 27390 (java) S 27381 27383 26477 0 -1 4202560 143 0 0 0 6 7 0 0 20 0 19 0 340587566 2780295168 342110 33554432000 1073741824 1073778376 140736771226128 139873359841960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27391] ppid=27381 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/27383/task/27391/stat : 27391 (java) S 27381 27383 26477 0 -1 4202560 156 0 0 0 8 8 0 0 20 0 19 0 340587566 2780295168 342110 33554432000 1073741824 1073778376 140736771226128 139873358789416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27392] ppid=27381 vsize=2715132 CPUtime=0.29 cores=1,3,5,7
/proc/27383/task/27392/stat : 27392 (java) S 27381 27383 26477 0 -1 4202560 246 0 0 0 16 13 0 0 20 0 19 0 340587566 2780295168 342110 33554432000 1073741824 1073778376 140736771226128 139873357736872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27393] ppid=27381 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/27383/task/27393/stat : 27393 (java) S 27381 27383 26477 0 -1 4202560 163 0 0 0 8 8 0 0 20 0 19 0 340587566 2780295168 342110 33554432000 1073741824 1073778376 140736771226128 139873356684328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27394] ppid=27381 vsize=2715132 CPUtime=9.79 cores=1,3,5,7
/proc/27383/task/27394/stat : 27394 (java) S 27381 27383 26477 0 -1 4202560 216 0 0 0 973 6 0 0 20 0 19 0 340587567 2780295168 342110 33554432000 1073741824 1073778376 140736771226128 139873344272488 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27395] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27395/stat : 27395 (java) S 27381 27383 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340587568 2780295168 342110 33554432000 1073741824 1073778376 140736771226128 139873343218808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27396] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27396/stat : 27396 (java) S 27381 27383 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340587568 2780295168 342110 33554432000 1073741824 1073778376 140736771226128 139873342166152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27397] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27397/stat : 27397 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587570 2780295168 342110 33554432000 1073741824 1073778376 140736771226128 139873341114896 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27398] ppid=27381 vsize=2715132 CPUtime=0.47 cores=1,3,5,7
/proc/27383/task/27398/stat : 27398 (java) S 27381 27383 26477 0 -1 4202560 3958 0 0 0 47 0 0 0 20 0 19 0 340587570 2780295168 342110 33554432000 1073741824 1073778376 140736771226128 139873340062264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27399] ppid=27381 vsize=2715132 CPUtime=0.78 cores=1,3,5,7
/proc/27383/task/27399/stat : 27399 (java) S 27381 27383 26477 0 -1 4202560 10120 0 0 0 76 2 0 0 20 0 19 0 340587570 2780295168 342110 33554432000 1073741824 1073778376 140736771226128 139873339009720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27400] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27400/stat : 27400 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340587570 2780295168 342110 33554432000 1073741824 1073778376 140736771226128 139873337957368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27401] ppid=27381 vsize=2715132 CPUtime=0.47 cores=1,3,5,7
/proc/27383/task/27401/stat : 27401 (java) S 27381 27383 26477 0 -1 4202560 103 0 0 0 18 29 0 0 20 0 19 0 340587570 2780295168 342110 33554432000 1073741824 1073778376 140736771226128 139873336905032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27402] ppid=27381 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27402/stat : 27402 (java) S 27381 27383 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340587594 2780295168 342110 33554432000 1073741824 1073778376 140736771226128 139873335849768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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+1797.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 27533
/proc/meminfo: memFree=23515184/32873648 swapFree=6864/6864
[pid=27383] ppid=27381 vsize=2781696 CPUtime=1800.31 cores=1,3,5,7
/proc/27383/stat : 27383 (java) S 27381 27383 26477 0 -1 4202496 20049 0 1 0 179911 120 0 0 20 0 20 0 340587565 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 140736771217264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27383/statm: 695424 342130 2271 9 0 686117 0
[pid=27383/tid=27384] ppid=27381 vsize=2781696 CPUtime=1787.04 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (java) S 27381 27383 26477 0 -1 4202560 2955 0 1 0 178669 35 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873379601144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=2781696 CPUtime=0.16 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (java) S 27381 27383 26477 0 -1 4202560 155 0 0 0 7 9 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873364052136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27387] ppid=27381 vsize=2781696 CPUtime=0.16 cores=1,3,5,7
/proc/27383/task/27387/stat : 27387 (java) S 27381 27383 26477 0 -1 4202560 150 0 0 0 8 8 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873362999592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27388] ppid=27381 vsize=2781696 CPUtime=0.15 cores=1,3,5,7
/proc/27383/task/27388/stat : 27388 (java) S 27381 27383 26477 0 -1 4202560 133 0 0 0 8 7 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873361947048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27389] ppid=27381 vsize=2781696 CPUtime=0.39 cores=1,3,5,7
/proc/27383/task/27389/stat : 27389 (java) S 27381 27383 26477 0 -1 4202560 348 0 0 0 19 20 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873360894504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27390] ppid=27381 vsize=2781696 CPUtime=0.13 cores=1,3,5,7
/proc/27383/task/27390/stat : 27390 (java) S 27381 27383 26477 0 -1 4202560 143 0 0 0 6 7 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873359841960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27391] ppid=27381 vsize=2781696 CPUtime=0.16 cores=1,3,5,7
/proc/27383/task/27391/stat : 27391 (java) S 27381 27383 26477 0 -1 4202560 156 0 0 0 8 8 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873358789416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27392] ppid=27381 vsize=2781696 CPUtime=0.29 cores=1,3,5,7
/proc/27383/task/27392/stat : 27392 (java) S 27381 27383 26477 0 -1 4202560 246 0 0 0 16 13 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873357736872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27393] ppid=27381 vsize=2781696 CPUtime=0.16 cores=1,3,5,7
/proc/27383/task/27393/stat : 27393 (java) S 27381 27383 26477 0 -1 4202560 163 0 0 0 8 8 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873356684328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27394] ppid=27381 vsize=2781696 CPUtime=10.08 cores=1,3,5,7
/proc/27383/task/27394/stat : 27394 (java) R 27381 27383 26477 0 -1 4202560 219 0 0 0 1002 6 0 0 20 0 20 0 340587567 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873344272304 139873386111008 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27395] ppid=27381 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27395/stat : 27395 (java) S 27381 27383 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340587568 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873343218808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27396] ppid=27381 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27396/stat : 27396 (java) S 27381 27383 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 340587568 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873342166152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27397] ppid=27381 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27397/stat : 27397 (java) S 27381 27383 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 340587570 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873341114896 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27398] ppid=27381 vsize=2781696 CPUtime=0.47 cores=1,3,5,7
/proc/27383/task/27398/stat : 27398 (java) S 27381 27383 26477 0 -1 4202560 3958 0 0 0 47 0 0 0 20 0 20 0 340587570 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873340062264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27399] ppid=27381 vsize=2781696 CPUtime=0.78 cores=1,3,5,7
/proc/27383/task/27399/stat : 27399 (java) S 27381 27383 26477 0 -1 4202560 10120 0 0 0 76 2 0 0 20 0 20 0 340587570 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873339009720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27400] ppid=27381 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27400/stat : 27400 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340587570 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873337957368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27401] ppid=27381 vsize=2781696 CPUtime=0.47 cores=1,3,5,7
/proc/27383/task/27401/stat : 27401 (java) S 27381 27383 26477 0 -1 4202560 103 0 0 0 18 29 0 0 20 0 20 0 340587570 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873336905032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27402] ppid=27381 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27402/stat : 27402 (java) S 27381 27383 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340587594 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873335849768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 2781696
[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 27533
/proc/meminfo: memFree=23515184/32873648 swapFree=6864/6864
[pid=27383] ppid=27381 vsize=2781696 CPUtime=1800.51 cores=1,3,5,7
/proc/27383/stat : 27383 (java) S 27381 27383 26477 0 -1 4202496 20049 0 1 0 179931 120 0 0 20 0 20 0 340587565 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 140736771217264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27383/statm: 695424 342130 2271 9 0 686117 0
[pid=27383/tid=27384] ppid=27381 vsize=2781696 CPUtime=1787.04 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (java) S 27381 27383 26477 0 -1 4202560 2955 0 1 0 178669 35 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873379601144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=2781696 CPUtime=0.16 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (java) S 27381 27383 26477 0 -1 4202560 155 0 0 0 7 9 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873364052136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27387] ppid=27381 vsize=2781696 CPUtime=0.16 cores=1,3,5,7
/proc/27383/task/27387/stat : 27387 (java) S 27381 27383 26477 0 -1 4202560 150 0 0 0 8 8 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873362999592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27388] ppid=27381 vsize=2781696 CPUtime=0.15 cores=1,3,5,7
/proc/27383/task/27388/stat : 27388 (java) S 27381 27383 26477 0 -1 4202560 133 0 0 0 8 7 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873361947048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27389] ppid=27381 vsize=2781696 CPUtime=0.39 cores=1,3,5,7
/proc/27383/task/27389/stat : 27389 (java) S 27381 27383 26477 0 -1 4202560 348 0 0 0 19 20 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873360894504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27390] ppid=27381 vsize=2781696 CPUtime=0.13 cores=1,3,5,7
/proc/27383/task/27390/stat : 27390 (java) S 27381 27383 26477 0 -1 4202560 143 0 0 0 6 7 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873359841960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27391] ppid=27381 vsize=2781696 CPUtime=0.16 cores=1,3,5,7
/proc/27383/task/27391/stat : 27391 (java) S 27381 27383 26477 0 -1 4202560 156 0 0 0 8 8 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873358789416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27392] ppid=27381 vsize=2781696 CPUtime=0.29 cores=1,3,5,7
/proc/27383/task/27392/stat : 27392 (java) S 27381 27383 26477 0 -1 4202560 246 0 0 0 16 13 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873357736872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27393] ppid=27381 vsize=2781696 CPUtime=0.16 cores=1,3,5,7
/proc/27383/task/27393/stat : 27393 (java) S 27381 27383 26477 0 -1 4202560 163 0 0 0 8 8 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873356684328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27394] ppid=27381 vsize=2781696 CPUtime=10.28 cores=1,3,5,7
/proc/27383/task/27394/stat : 27394 (java) R 27381 27383 26477 0 -1 4202560 219 0 0 0 1022 6 0 0 20 0 20 0 340587567 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873344272304 270707212564 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27395] ppid=27381 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27395/stat : 27395 (java) S 27381 27383 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340587568 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873343218808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27396] ppid=27381 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27396/stat : 27396 (java) S 27381 27383 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 340587568 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873342166152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27397] ppid=27381 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27397/stat : 27397 (java) S 27381 27383 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 340587570 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873341114896 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27398] ppid=27381 vsize=2781696 CPUtime=0.47 cores=1,3,5,7
/proc/27383/task/27398/stat : 27398 (java) S 27381 27383 26477 0 -1 4202560 3958 0 0 0 47 0 0 0 20 0 20 0 340587570 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873340062264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27399] ppid=27381 vsize=2781696 CPUtime=0.78 cores=1,3,5,7
/proc/27383/task/27399/stat : 27399 (java) S 27381 27383 26477 0 -1 4202560 10120 0 0 0 76 2 0 0 20 0 20 0 340587570 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873339009720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27400] ppid=27381 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27400/stat : 27400 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340587570 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873337957368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27401] ppid=27381 vsize=2781696 CPUtime=0.47 cores=1,3,5,7
/proc/27383/task/27401/stat : 27401 (java) S 27381 27383 26477 0 -1 4202560 103 0 0 0 18 29 0 0 20 0 20 0 340587570 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873336905032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27402] ppid=27381 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27402/stat : 27402 (java) S 27381 27383 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340587594 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873335849768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (KiB) 2781696
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 27533
/proc/meminfo: memFree=23515184/32873648 swapFree=6864/6864
[pid=27383] ppid=27381 vsize=2781696 CPUtime=1800.61 cores=1,3,5,7
/proc/27383/stat : 27383 (java) S 27381 27383 26477 0 -1 4202496 20049 0 1 0 179941 120 0 0 20 0 20 0 340587565 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 140736771217264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27383/statm: 695424 342130 2271 9 0 686117 0
[pid=27383/tid=27384] ppid=27381 vsize=2781696 CPUtime=1787.04 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (java) S 27381 27383 26477 0 -1 4202560 2955 0 1 0 178669 35 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873379601144 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=2781696 CPUtime=0.16 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (java) S 27381 27383 26477 0 -1 4202560 155 0 0 0 7 9 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873364052136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27387] ppid=27381 vsize=2781696 CPUtime=0.16 cores=1,3,5,7
/proc/27383/task/27387/stat : 27387 (java) S 27381 27383 26477 0 -1 4202560 150 0 0 0 8 8 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873362999592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27388] ppid=27381 vsize=2781696 CPUtime=0.15 cores=1,3,5,7
/proc/27383/task/27388/stat : 27388 (java) S 27381 27383 26477 0 -1 4202560 133 0 0 0 8 7 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873361947048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27389] ppid=27381 vsize=2781696 CPUtime=0.39 cores=1,3,5,7
/proc/27383/task/27389/stat : 27389 (java) S 27381 27383 26477 0 -1 4202560 348 0 0 0 19 20 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873360894504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27390] ppid=27381 vsize=2781696 CPUtime=0.13 cores=1,3,5,7
/proc/27383/task/27390/stat : 27390 (java) S 27381 27383 26477 0 -1 4202560 143 0 0 0 6 7 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873359841960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27391] ppid=27381 vsize=2781696 CPUtime=0.16 cores=1,3,5,7
/proc/27383/task/27391/stat : 27391 (java) S 27381 27383 26477 0 -1 4202560 156 0 0 0 8 8 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873358789416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27392] ppid=27381 vsize=2781696 CPUtime=0.29 cores=1,3,5,7
/proc/27383/task/27392/stat : 27392 (java) S 27381 27383 26477 0 -1 4202560 246 0 0 0 16 13 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873357736872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27393] ppid=27381 vsize=2781696 CPUtime=0.16 cores=1,3,5,7
/proc/27383/task/27393/stat : 27393 (java) S 27381 27383 26477 0 -1 4202560 163 0 0 0 8 8 0 0 20 0 20 0 340587566 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873356684328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27383/tid=27394] ppid=27381 vsize=2781696 CPUtime=10.38 cores=1,3,5,7
/proc/27383/task/27394/stat : 27394 (java) R 27381 27383 26477 0 -1 4202560 219 0 0 0 1032 6 0 0 20 0 20 0 340587567 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873344272304 270707212628 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27395] ppid=27381 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27395/stat : 27395 (java) S 27381 27383 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340587568 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873343218808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27396] ppid=27381 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27396/stat : 27396 (java) S 27381 27383 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 340587568 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873342166152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27397] ppid=27381 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27397/stat : 27397 (java) S 27381 27383 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 340587570 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873341114896 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27398] ppid=27381 vsize=2781696 CPUtime=0.47 cores=1,3,5,7
/proc/27383/task/27398/stat : 27398 (java) S 27381 27383 26477 0 -1 4202560 3958 0 0 0 47 0 0 0 20 0 20 0 340587570 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873340062264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27383/tid=27399] ppid=27381 vsize=2781696 CPUtime=0.78 cores=1,3,5,7
/proc/27383/task/27399/stat : 27399 (java) S 27381 27383 26477 0 -1 4202560 10120 0 0 0 76 2 0 0 20 0 20 0 340587570 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873339009720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27400] ppid=27381 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27400/stat : 27400 (java) S 27381 27383 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340587570 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873337957368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27383/tid=27401] ppid=27381 vsize=2781696 CPUtime=0.47 cores=1,3,5,7
/proc/27383/task/27401/stat : 27401 (java) S 27381 27383 26477 0 -1 4202560 103 0 0 0 18 29 0 0 20 0 20 0 340587570 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873336905032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27383/tid=27402] ppid=27381 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27402/stat : 27402 (java) S 27381 27383 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340587594 2848456704 342130 33554432000 1073741824 1073778376 140736771226128 139873335849768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (KiB) 2781696
Child status: 143
Real time (s): 1798.19
CPU time (s): 1801.16
CPU user time (s): 1799.5
CPU system time (s): 1.66275
CPU usage (%): 100.165
Max. virtual memory (cumulated for all children) (KiB): 2781696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 1.66275
maximum resident set size= 1380708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20091
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38146
involuntary context switches= 21417
runsolver used 6.01209 second user time and 14.6228 second system time
The end