runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3457111-1307633339/watcher-3457111-1307633339 -o /tmp/evaluation-result-3457111-1307633339/solver-3457111-1307633339 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457111-1307633339.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: 0.96 0.22 0.07 2/174 12456
/proc/meminfo: memFree=32173544/32951124 swapFree=67049456/67111528
[pid=12456] ppid=12454 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/12456/stat : 12456 (java) S 12454 12456 12325 0 -1 4202496 1238 0 0 0 0 0 0 0 24 0 2 0 953564630 31260672 957 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296728549 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/12456/statm: 7632 957 730 9 0 383 0
[pid=12456/tid=12457] ppid=12454 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12457/stat : 12457 (java) R 12454 12456 12325 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 953564630 31260672 957 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224284925696 0 0 4096 0 0 0 0 -1 3 0 0 0
[startup+0.089434 s]
/proc/loadavg: 0.96 0.22 0.07 2/174 12456
/proc/meminfo: memFree=32173544/32951124 swapFree=67049456/67111528
[pid=12456] ppid=12454 vsize=10540288 CPUtime=0.09 cores=1,3,5,7
/proc/12456/stat : 12456 (java) S 12454 12456 12325 0 -1 4202496 12981 0 1 0 8 1 0 0 24 0 18 0 953564630 10793254912 12648 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12456/statm: 2635072 12649 2093 9 0 2625806 0
[pid=12456/tid=12457] ppid=12454 vsize=10540288 CPUtime=0.07 cores=1,3,5,7
/proc/12456/task/12457/stat : 12457 (java) R 12454 12456 12325 0 -1 4202560 11032 0 1 0 6 1 0 0 25 0 18 0 953564630 10793254912 12650 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 47679945567059 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540288
[startup+0.100465 s]
/proc/loadavg: 0.96 0.22 0.07 2/174 12456
/proc/meminfo: memFree=32173544/32951124 swapFree=67049456/67111528
[pid=12456] ppid=12454 vsize=10540288 CPUtime=0.1 cores=1,3,5,7
/proc/12456/stat : 12456 (java) S 12454 12456 12325 0 -1 4202496 13158 0 1 0 9 1 0 0 24 0 18 0 953564630 10793254912 12795 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12456/statm: 2635072 12795 2093 9 0 2625806 0
[pid=12456/tid=12457] ppid=12454 vsize=10540288 CPUtime=0.08 cores=1,3,5,7
/proc/12456/task/12457/stat : 12457 (java) R 12454 12456 12325 0 -1 4202560 11208 0 1 0 7 1 0 0 25 0 18 0 953564630 10793254912 12795 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224284969319 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540288
[startup+0.300427 s]
/proc/loadavg: 0.96 0.22 0.07 2/174 12456
/proc/meminfo: memFree=32173544/32951124 swapFree=67049456/67111528
[pid=12456] ppid=12454 vsize=10541892 CPUtime=0.48 cores=1,3,5,7
/proc/12456/stat : 12456 (java) S 12454 12456 12325 0 -1 4202496 16422 0 1 0 46 2 0 0 24 0 18 0 953564630 10794897408 15659 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12456/statm: 2635473 15660 2201 9 0 2626207 0
[pid=12456/tid=12457] ppid=12454 vsize=10541892 CPUtime=0.28 cores=1,3,5,7
/proc/12456/task/12457/stat : 12457 (java) R 12454 12456 12325 0 -1 4202560 13209 0 1 0 27 1 0 0 25 0 18 0 953564630 10794897408 15660 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 47679945567028 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541892
[startup+0.70037 s]
/proc/loadavg: 0.96 0.22 0.07 2/174 12456
/proc/meminfo: memFree=32173544/32951124 swapFree=67049456/67111528
[pid=12456] ppid=12454 vsize=10544908 CPUtime=1.18 cores=1,3,5,7
/proc/12456/stat : 12456 (java) S 12454 12456 12325 0 -1 4202496 55883 0 1 0 111 7 0 0 24 0 18 0 953564630 10797985792 53526 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12456/statm: 2636227 53530 2214 9 0 2626961 0
[pid=12456/tid=12457] ppid=12454 vsize=10544908 CPUtime=0.68 cores=1,3,5,7
/proc/12456/task/12457/stat : 12457 (java) R 12454 12456 12325 0 -1 4202560 49588 0 1 0 63 5 0 0 18 0 18 0 953564630 10797985792 53533 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 46912505650949 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10544908
[startup+1.50124 s]
/proc/loadavg: 0.96 0.22 0.07 3/192 12474
/proc/meminfo: memFree=31830380/32951124 swapFree=67049456/67111528
[pid=12456] ppid=12454 vsize=10544908 CPUtime=1.97 cores=1,3,5,7
/proc/12456/stat : 12456 (java) S 12454 12456 12325 0 -1 4202496 146986 0 1 0 180 17 0 0 24 0 18 0 953564630 10797985792 144629 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12456/statm: 2636227 144633 2214 9 0 2626961 0
[pid=12456/tid=12457] ppid=12454 vsize=10544908 CPUtime=1.48 cores=1,3,5,7
/proc/12456/task/12457/stat : 12457 (java) R 12454 12456 12325 0 -1 4202560 140691 0 1 0 133 15 0 0 19 0 18 0 953564630 10797985792 144636 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 46912505558822 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12456/tid=12459] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12459/stat : 12459 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 144639 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12460] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12460/stat : 12460 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 144641 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12461] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12461/stat : 12461 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 144644 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12462] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12462/stat : 12462 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 144647 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12463] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12463/stat : 12463 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 144650 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12464] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12464/stat : 12464 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 144652 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12465] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12465/stat : 12465 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 144655 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12466] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12466/stat : 12466 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 144658 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12467] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12467/stat : 12467 (java) S 12454 12456 12325 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 953564633 10797985792 144661 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296742400 0 0 0 16800975 18446604471117114432 0 0 -1 1 0 0 0
[pid=12456/tid=12468] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12468/stat : 12468 (java) S 12454 12456 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 953564633 10797985792 144664 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12469] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12469/stat : 12469 (java) S 12454 12456 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 953564633 10797985792 144666 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12470] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12470/stat : 12470 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564636 10797985792 144669 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296749489 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12471] ppid=12454 vsize=10544908 CPUtime=0.24 cores=1,3,5,7
/proc/12456/task/12471/stat : 12471 (java) S 12454 12456 12325 0 -1 4202560 2338 0 0 0 24 0 0 0 16 0 18 0 953564636 10797985792 144672 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 1 0 0 0
[pid=12456/tid=12472] ppid=12454 vsize=10544908 CPUtime=0.22 cores=1,3,5,7
/proc/12456/task/12472/stat : 12472 (java) S 12454 12456 12325 0 -1 4202560 2814 0 0 0 22 0 0 0 17 0 18 0 953564636 10797985792 144675 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 5 0 0 0
[pid=12456/tid=12473] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12473/stat : 12473 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564636 10797985792 144677 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12474] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12474/stat : 12474 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 953564636 10797985792 144680 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296742400 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 10544908
[startup+3.10097 s]
/proc/loadavg: 0.96 0.22 0.07 3/192 12474
/proc/meminfo: memFree=31329100/32951124 swapFree=67049456/67111528
[pid=12456] ppid=12454 vsize=10544908 CPUtime=3.57 cores=1,3,5,7
/proc/12456/stat : 12456 (java) S 12454 12456 12325 0 -1 4202496 328346 0 1 0 320 37 0 0 24 0 18 0 953564630 10797985792 325988 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12456/statm: 2636227 325993 2214 9 0 2626961 0
[pid=12456/tid=12457] ppid=12454 vsize=10544908 CPUtime=3.08 cores=1,3,5,7
/proc/12456/task/12457/stat : 12457 (java) R 12454 12456 12325 0 -1 4202560 322050 0 1 0 272 36 0 0 23 0 18 0 953564630 10797985792 325995 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 46912505558697 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12456/tid=12459] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12459/stat : 12459 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 325998 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12460] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12460/stat : 12460 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 326001 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12461] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12461/stat : 12461 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 326004 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12462] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12462/stat : 12462 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 326006 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12463] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12463/stat : 12463 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 326009 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12464] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12464/stat : 12464 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 326012 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12465] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12465/stat : 12465 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 326014 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12466] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12466/stat : 12466 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 326017 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12467] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12467/stat : 12467 (java) S 12454 12456 12325 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 953564633 10797985792 326018 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296742400 0 0 0 16800975 18446604471117114432 0 0 -1 1 0 0 0
[pid=12456/tid=12468] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12468/stat : 12468 (java) S 12454 12456 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 953564633 10797985792 326019 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12469] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12469/stat : 12469 (java) S 12454 12456 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 953564633 10797985792 326022 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12470] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12470/stat : 12470 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564636 10797985792 326025 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296749489 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12471] ppid=12454 vsize=10544908 CPUtime=0.24 cores=1,3,5,7
/proc/12456/task/12471/stat : 12471 (java) S 12454 12456 12325 0 -1 4202560 2338 0 0 0 24 0 0 0 16 0 18 0 953564636 10797985792 326027 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 1 0 0 0
[pid=12456/tid=12472] ppid=12454 vsize=10544908 CPUtime=0.22 cores=1,3,5,7
/proc/12456/task/12472/stat : 12472 (java) S 12454 12456 12325 0 -1 4202560 2814 0 0 0 22 0 0 0 15 0 18 0 953564636 10797985792 326030 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 5 0 0 0
[pid=12456/tid=12473] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12473/stat : 12473 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564636 10797985792 326033 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12474] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12474/stat : 12474 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 953564636 10797985792 326035 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296742400 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 10544908
Solver just ended. Dumping a history of the last processes samples
[startup+4.7007 s]
/proc/loadavg: 1.05 0.25 0.08 3/192 12474
/proc/meminfo: memFree=30331268/32951124 swapFree=67049456/67111528
[pid=12456] ppid=12454 vsize=10544908 CPUtime=5.17 cores=1,3,5,7
/proc/12456/stat : 12456 (java) S 12454 12456 12325 0 -1 4202496 517349 0 1 0 456 61 0 0 24 0 18 0 953564630 10797985792 514991 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12456/statm: 2636227 514996 2218 9 0 2626961 0
[pid=12456/tid=12457] ppid=12454 vsize=10544908 CPUtime=4.68 cores=1,3,5,7
/proc/12456/task/12457/stat : 12457 (java) R 12454 12456 12325 0 -1 4202560 511051 0 1 0 408 60 0 0 18 0 18 0 953564630 10797985792 514999 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 46912505575478 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12456/tid=12459] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12459/stat : 12459 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 515002 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12460] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12460/stat : 12460 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 515005 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12461] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12461/stat : 12461 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 515008 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12462] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12462/stat : 12462 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 515008 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12463] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12463/stat : 12463 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 515011 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12464] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12464/stat : 12464 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 515014 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12465] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12465/stat : 12465 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 515018 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12466] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12466/stat : 12466 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10797985792 515021 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12467] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12467/stat : 12467 (java) S 12454 12456 12325 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 953564633 10797985792 515024 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296742400 0 0 0 16800975 18446604471117114432 0 0 -1 1 0 0 0
[pid=12456/tid=12468] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12468/stat : 12468 (java) S 12454 12456 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 953564633 10797985792 515027 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12469] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12469/stat : 12469 (java) S 12454 12456 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 953564633 10797985792 515030 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12470] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12470/stat : 12470 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564636 10797985792 515034 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296749489 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12471] ppid=12454 vsize=10544908 CPUtime=0.24 cores=1,3,5,7
/proc/12456/task/12471/stat : 12471 (java) S 12454 12456 12325 0 -1 4202560 2338 0 0 0 24 0 0 0 16 0 18 0 953564636 10797985792 515037 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 1 0 0 0
[pid=12456/tid=12472] ppid=12454 vsize=10544908 CPUtime=0.22 cores=1,3,5,7
/proc/12456/task/12472/stat : 12472 (java) S 12454 12456 12325 0 -1 4202560 2816 0 0 0 22 0 0 0 15 0 18 0 953564636 10797985792 515040 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 5 0 0 0
[pid=12456/tid=12473] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12473/stat : 12473 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564636 10797985792 515043 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12474] ppid=12454 vsize=10544908 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12474/stat : 12474 (java) S 12454 12456 12325 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 953564636 10797985792 515047 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296742400 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.17
Current children cumulated vsize (KiB) 10544908
[startup+5.50657 s]
/proc/loadavg: 1.05 0.25 0.08 4/192 12474
/proc/meminfo: memFree=29760620/32951124 swapFree=67049456/67111528
[pid=12456] ppid=12454 vsize=10551392 CPUtime=6.27 cores=1,3,5,7
/proc/12456/stat : 12456 (java) S 12454 12456 12325 0 -1 4202496 618815 0 1 0 555 72 0 0 24 0 18 0 953564630 10804625408 614172 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12456/statm: 2637848 614176 2227 9 0 2628582 0
[pid=12456/tid=12457] ppid=12454 vsize=10551392 CPUtime=5.48 cores=1,3,5,7
/proc/12456/task/12457/stat : 12457 (java) R 12454 12456 12325 0 -1 4202560 607781 0 1 0 478 70 0 0 19 0 18 0 953564630 10804625408 614179 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 46912505607598 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12456/tid=12459] ppid=12454 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12459/stat : 12459 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10804625408 614182 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12460] ppid=12454 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12460/stat : 12460 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10804625408 614186 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12461] ppid=12454 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12461/stat : 12461 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10804625408 614188 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12462] ppid=12454 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12462/stat : 12462 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10804625408 614191 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12463] ppid=12454 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12463/stat : 12463 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10804625408 614194 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12464] ppid=12454 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12464/stat : 12464 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10804625408 614197 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12465] ppid=12454 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12465/stat : 12465 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10804625408 614200 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12466] ppid=12454 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12466/stat : 12466 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564632 10804625408 614203 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12467] ppid=12454 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12467/stat : 12467 (java) S 12454 12456 12325 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 953564633 10804625408 614206 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296742400 0 0 0 16800975 18446604471117114432 0 0 -1 1 0 0 0
[pid=12456/tid=12468] ppid=12454 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12468/stat : 12468 (java) S 12454 12456 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 953564633 10804625408 614209 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12469] ppid=12454 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12469/stat : 12469 (java) S 12454 12456 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 953564633 10804625408 614212 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12470] ppid=12454 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12470/stat : 12470 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564636 10804625408 614215 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296749489 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12471] ppid=12454 vsize=10551392 CPUtime=0.46 cores=1,3,5,7
/proc/12456/task/12471/stat : 12471 (java) S 12454 12456 12325 0 -1 4202560 5919 0 0 0 45 1 0 0 16 0 18 0 953564636 10804625408 614219 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 1 0 0 0
[pid=12456/tid=12472] ppid=12454 vsize=10551392 CPUtime=0.3 cores=1,3,5,7
/proc/12456/task/12472/stat : 12472 (java) S 12454 12456 12325 0 -1 4202560 3967 0 0 0 30 0 0 0 16 0 18 0 953564636 10804625408 614221 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 5 0 0 0
[pid=12456/tid=12473] ppid=12454 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12473/stat : 12473 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 953564636 10804625408 614224 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12474] ppid=12454 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12474/stat : 12474 (java) S 12454 12456 12325 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 953564636 10804625408 614227 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296742400 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 10551392
[startup+5.90149 s]
/proc/loadavg: 1.05 0.25 0.08 4/192 12474
/proc/meminfo: memFree=29760620/32951124 swapFree=67049456/67111528
[pid=12456] ppid=12454 vsize=10552420 CPUtime=7.11 cores=1,3,5,7
/proc/12456/stat : 12456 (java) S 12454 12456 12325 0 -1 4202496 629994 0 1 0 637 74 0 0 24 0 19 0 953564630 10805678080 623713 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12456/statm: 2638105 623715 2240 9 0 2628839 0
[pid=12456/tid=12457] ppid=12454 vsize=10552420 CPUtime=5.88 cores=1,3,5,7
/proc/12456/task/12457/stat : 12457 (java) R 12454 12456 12325 0 -1 4202560 617187 0 1 0 517 71 0 0 18 0 19 0 953564630 10805678080 623715 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 46912505772449 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12456/tid=12459] ppid=12454 vsize=10552420 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12459/stat : 12459 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564632 10805678080 623716 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12460] ppid=12454 vsize=10552420 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12460/stat : 12460 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564632 10805678080 623717 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12461] ppid=12454 vsize=10552420 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12461/stat : 12461 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564632 10805678080 623718 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12462] ppid=12454 vsize=10552420 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12462/stat : 12462 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564632 10805678080 623719 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12463] ppid=12454 vsize=10552420 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12463/stat : 12463 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564632 10805678080 623720 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12464] ppid=12454 vsize=10552420 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12464/stat : 12464 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564632 10805678080 623721 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12465] ppid=12454 vsize=10552420 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12465/stat : 12465 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564632 10805678080 623722 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12466] ppid=12454 vsize=10552420 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12466/stat : 12466 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564632 10805678080 623723 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12467] ppid=12454 vsize=10552420 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12467/stat : 12467 (java) S 12454 12456 12325 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 953564633 10805678080 623724 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296742400 0 0 0 16800975 18446604471117114432 0 0 -1 1 0 0 0
[pid=12456/tid=12468] ppid=12454 vsize=10552420 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12468/stat : 12468 (java) S 12454 12456 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953564633 10805678080 623725 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12469] ppid=12454 vsize=10552420 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12469/stat : 12469 (java) S 12454 12456 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953564633 10805678080 623726 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12470] ppid=12454 vsize=10552420 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12470/stat : 12470 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564636 10805678080 623728 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296749489 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12471] ppid=12454 vsize=10552420 CPUtime=0.72 cores=1,3,5,7
/proc/12456/task/12471/stat : 12471 (java) S 12454 12456 12325 0 -1 4202560 5981 0 0 0 71 1 0 0 15 0 19 0 953564636 10805678080 623729 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 1 0 0 0
[pid=12456/tid=12472] ppid=12454 vsize=10552420 CPUtime=0.5 cores=1,3,5,7
/proc/12456/task/12472/stat : 12472 (java) R 12454 12456 12325 0 -1 4202560 5665 0 0 0 49 1 0 0 15 0 19 0 953564636 10805678080 623730 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 47679940708440 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12456/tid=12473] ppid=12454 vsize=10552420 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12473/stat : 12473 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564636 10805678080 623731 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12474] ppid=12454 vsize=10552420 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12474/stat : 12474 (java) S 12454 12456 12325 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 953564636 10805678080 623732 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296742400 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 10552420
[startup+6.10146 s]
/proc/loadavg: 1.05 0.25 0.08 4/192 12474
/proc/meminfo: memFree=29760620/32951124 swapFree=67049456/67111528
[pid=12456] ppid=12454 vsize=10553572 CPUtime=7.63 cores=1,3,5,7
/proc/12456/stat : 12456 (java) S 12454 12456 12325 0 -1 4202496 645217 0 1 0 687 76 0 0 24 0 19 0 953564630 10806857728 636387 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12456/statm: 2638393 636389 2240 9 0 2629127 0
[pid=12456/tid=12457] ppid=12454 vsize=10553572 CPUtime=6.08 cores=1,3,5,7
/proc/12456/task/12457/stat : 12457 (java) R 12454 12456 12325 0 -1 4202560 629508 0 1 0 535 73 0 0 18 0 19 0 953564630 10806857728 636391 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 46912505772453 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12456/tid=12459] ppid=12454 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12459/stat : 12459 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564632 10806857728 636391 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12460] ppid=12454 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12460/stat : 12460 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564632 10806857728 636393 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12461] ppid=12454 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12461/stat : 12461 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564632 10806857728 636394 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12462] ppid=12454 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12462/stat : 12462 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564632 10806857728 636394 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12463] ppid=12454 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12463/stat : 12463 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564632 10806857728 636394 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12464] ppid=12454 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12464/stat : 12464 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564632 10806857728 636396 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12465] ppid=12454 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12465/stat : 12465 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564632 10806857728 636399 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12466] ppid=12454 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12466/stat : 12466 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564632 10806857728 636399 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
[pid=12456/tid=12467] ppid=12454 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12467/stat : 12467 (java) S 12454 12456 12325 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 953564633 10806857728 636399 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296742400 0 0 0 16800975 18446604471117114432 0 0 -1 1 0 0 0
[pid=12456/tid=12468] ppid=12454 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12468/stat : 12468 (java) S 12454 12456 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953564633 10806857728 636399 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12469] ppid=12454 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12469/stat : 12469 (java) S 12454 12456 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953564633 10806857728 636399 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12470] ppid=12454 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12470/stat : 12470 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564636 10806857728 636399 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296749489 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12471] ppid=12454 vsize=10553572 CPUtime=0.87 cores=1,3,5,7
/proc/12456/task/12471/stat : 12471 (java) R 12454 12456 12325 0 -1 4202560 6318 0 0 0 86 1 0 0 16 0 19 0 953564636 10806857728 636399 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 47679944258576 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12456/tid=12472] ppid=12454 vsize=10553572 CPUtime=0.65 cores=1,3,5,7
/proc/12456/task/12472/stat : 12472 (java) R 12454 12456 12325 0 -1 4202560 8232 0 0 0 64 1 0 0 16 0 19 0 953564636 10806857728 636400 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 47679944592111 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12456/tid=12473] ppid=12454 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12473/stat : 12473 (java) S 12454 12456 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953564636 10806857728 636401 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296741785 0 4 0 16800975 18446604471117114432 0 0 -1 3 0 0 0
[pid=12456/tid=12474] ppid=12454 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/12456/task/12474/stat : 12474 (java) S 12454 12456 12325 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 953564636 10806857728 636402 33554432000 1073741824 1073778376 140735881844976 18446744073709551615 224296742400 0 4 0 16800975 18446604471117114432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 10553572
[startup+6.20146 s]
/proc/loadavg: 1.05 0.25 0.08 4/192 12474
/proc/meminfo: memFree=29760620/32951124 swapFree=67049456/67111528
[pid=12456] ppid=12454 vsize=0 CPUtime=7.79 cores=1,3,5,7
/proc/12456/stat : 12456 (java) Z 12454 12456 12325 0 -1 4203548 645883 0 1 0 698 81 0 0 18 0 2 0 953564630 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12456/statm: 0 0 0 0 0 0 0
[pid=12456/tid=12466] ppid=12454 vsize=0 CPUtime=0.05 cores=1,3,5,7
/proc/12456/task/12466/stat : 12466 (java) R 12454 12456 12325 0 -1 4203588 1 0 0 0 0 5 0 0 18 0 2 0 953564632 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.79
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 6.2421
CPU time (s): 7.83981
CPU user time (s): 6.98394
CPU system time (s): 0.855869
CPU usage (%): 125.596
Max. virtual memory (cumulated for all children) (KiB): 10554752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.98394
system time used= 0.855869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 645883
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 445
involuntary context switches= 69
runsolver used 0.011998 second user time and 0.024996 second system time
The end