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-3453975-1307194709/watcher-3453975-1307194709 -o /tmp/evaluation-result-3453975-1307194709/solver-3453975-1307194709 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453975-1307194709.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: 2.11 2.06 2.40 3/535 28782
/proc/meminfo: memFree=21235656/32951124 swapFree=62999000/67111528
[pid=28782] ppid=28780 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/28782/stat : 28782 (java) S 28780 28782 24981 0 -1 4202496 8700 0 1 0 0 0 0 0 25 0 2 0 811886485 10694979584 8403 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/28782/statm: 2611079 8416 917 9 0 2602235 0
[pid=28782/tid=28783] ppid=28780 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28783/stat : 28783 (java) R 28780 28782 24981 0 -1 4202560 7650 0 1 0 0 0 0 0 25 0 2 0 811886486 10694979584 8466 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0890061 s]
/proc/loadavg: 2.11 2.06 2.40 3/535 28782
/proc/meminfo: memFree=21235656/32951124 swapFree=62999000/67111528
[pid=28782] ppid=28780 vsize=10539540 CPUtime=0.09 cores=1,3,5,7
/proc/28782/stat : 28782 (java) S 28780 28782 24981 0 -1 4202496 12942 0 1 0 8 1 0 0 25 0 18 0 811886485 10792488960 12615 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28782/statm: 2634885 12618 2092 9 0 2625619 0
[pid=28782/tid=28783] ppid=28780 vsize=10539540 CPUtime=0.07 cores=1,3,5,7
/proc/28782/task/28783/stat : 28783 (java) R 28780 28782 24981 0 -1 4202560 10993 0 1 0 6 1 0 0 25 0 18 0 811886486 10792488960 12618 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738231755 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539540
[startup+0.100635 s]
/proc/loadavg: 2.11 2.06 2.40 3/535 28782
/proc/meminfo: memFree=21235656/32951124 swapFree=62999000/67111528
[pid=28782] ppid=28780 vsize=10539540 CPUtime=0.1 cores=1,3,5,7
/proc/28782/stat : 28782 (java) S 28780 28782 24981 0 -1 4202496 13117 0 1 0 9 1 0 0 25 0 18 0 811886485 10792488960 12779 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28782/statm: 2634885 12779 2093 9 0 2625619 0
[pid=28782/tid=28783] ppid=28780 vsize=10539540 CPUtime=0.08 cores=1,3,5,7
/proc/28782/task/28783/stat : 28783 (java) R 28780 28782 24981 0 -1 4202560 11164 0 1 0 7 1 0 0 25 0 18 0 811886486 10792488960 12779 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 46912505202506 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539540
[startup+0.300597 s]
/proc/loadavg: 2.11 2.06 2.40 3/535 28782
/proc/meminfo: memFree=21235656/32951124 swapFree=62999000/67111528
[pid=28782] ppid=28780 vsize=10540232 CPUtime=0.48 cores=1,3,5,7
/proc/28782/stat : 28782 (java) S 28780 28782 24981 0 -1 4202496 15706 0 1 0 46 2 0 0 25 0 18 0 811886485 10793197568 15092 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28782/statm: 2635058 15096 2208 9 0 2625792 0
[pid=28782/tid=28783] ppid=28780 vsize=10540232 CPUtime=0.28 cores=1,3,5,7
/proc/28782/task/28783/stat : 28783 (java) R 28780 28782 24981 0 -1 4202560 12839 0 1 0 27 1 0 0 25 0 18 0 811886486 10793197568 15096 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 46912505537228 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10540232
[startup+0.70049 s]
/proc/loadavg: 2.11 2.06 2.40 3/535 28782
/proc/meminfo: memFree=21235656/32951124 swapFree=62999000/67111528
[pid=28782] ppid=28780 vsize=10553696 CPUtime=1.6 cores=1,3,5,7
/proc/28782/stat : 28782 (java) S 28780 28782 24981 0 -1 4202496 35357 0 1 0 156 4 0 0 25 0 18 0 811886485 10806984704 30639 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28782/statm: 2638424 30640 2233 9 0 2629158 0
[pid=28782/tid=28783] ppid=28780 vsize=10553696 CPUtime=0.69 cores=1,3,5,7
/proc/28782/task/28783/stat : 28783 (java) R 28780 28782 24981 0 -1 4202560 20528 0 1 0 66 3 0 0 25 0 18 0 811886486 10806984704 30641 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10553696
[startup+1.50134 s]
/proc/loadavg: 2.11 2.06 2.40 8/556 28803
/proc/meminfo: memFree=21061284/32951124 swapFree=62999000/67111528
[pid=28782] ppid=28780 vsize=10557808 CPUtime=3.2 cores=1,3,5,7
/proc/28782/stat : 28782 (java) S 28780 28782 24981 0 -1 4202496 53240 0 1 0 313 7 0 0 25 0 20 0 811886485 10811195392 47602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28782/statm: 2639452 47604 2246 9 0 2630186 0
[pid=28782/tid=28783] ppid=28780 vsize=10557808 CPUtime=0.92 cores=1,3,5,7
/proc/28782/task/28783/stat : 28783 (java) S 28780 28782 24981 0 -1 4202560 33493 0 1 0 88 4 0 0 21 0 20 0 811886486 10811195392 47605 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28785] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28785/stat : 28785 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811886487 10811195392 47606 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28786] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28786/stat : 28786 (java) S 28780 28782 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 811886487 10811195392 47607 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28787] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28787/stat : 28787 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811886487 10811195392 47607 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28788] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28788/stat : 28788 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811886487 10811195392 47609 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28789] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28789/stat : 28789 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811886487 10811195392 47609 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28790] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28790/stat : 28790 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811886487 10811195392 47610 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28791] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28791/stat : 28791 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811886487 10811195392 47611 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28792] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28792/stat : 28792 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811886487 10811195392 47612 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28793] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28793/stat : 28793 (java) S 28780 28782 24981 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 20 0 811886488 10811195392 47613 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 0 0 16800975 18446604458212748288 0 0 -1 5 0 0 0
[pid=28782/tid=28794] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28794/stat : 28794 (java) S 28780 28782 24981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 811886489 10811195392 47614 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28795] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28795/stat : 28795 (java) S 28780 28782 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 811886489 10811195392 47615 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28796] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28796/stat : 28796 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811886491 10811195392 47615 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738228657 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28797] ppid=28780 vsize=10557808 CPUtime=0.91 cores=1,3,5,7
/proc/28782/task/28797/stat : 28797 (java) R 28780 28782 24981 0 -1 4202560 5818 0 0 0 91 0 0 0 22 0 20 0 811886491 10811195392 47617 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 47470366496120 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28782/tid=28798] ppid=28780 vsize=10557808 CPUtime=0.9 cores=1,3,5,7
/proc/28782/task/28798/stat : 28798 (java) R 28780 28782 24981 0 -1 4202560 8650 0 0 0 90 0 0 0 15 0 20 0 811886491 10811195392 47617 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 47470366500389 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28782/tid=28799] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28799/stat : 28799 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811886491 10811195392 47618 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28800] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28800/stat : 28800 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 811886491 10811195392 47619 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28803] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28803/stat : 28803 (java) S 28780 28782 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 811886583 10811195392 47620 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 10557808
[startup+3.10111 s]
/proc/loadavg: 2.11 2.06 2.40 3/554 28810
/proc/meminfo: memFree=21035136/32951124 swapFree=62999000/67111528
[pid=28782] ppid=28780 vsize=10557808 CPUtime=3.76 cores=1,3,5,7
/proc/28782/stat : 28782 (java) S 28780 28782 24981 0 -1 4202496 61241 0 1 0 368 8 0 0 25 0 19 0 811886485 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28782/statm: 2639452 55602 2247 9 0 2630186 0
[pid=28782/tid=28783] ppid=28780 vsize=10557808 CPUtime=0.93 cores=1,3,5,7
/proc/28782/task/28783/stat : 28783 (java) S 28780 28782 24981 0 -1 4202560 33735 0 1 0 89 4 0 0 16 0 19 0 811886486 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 4 0 16800975 18446604458212748288 0 0 -1 5 0 0 0
[pid=28782/tid=28785] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28785/stat : 28785 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811886487 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28786] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28786/stat : 28786 (java) S 28780 28782 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811886487 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28787] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28787/stat : 28787 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811886487 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28788] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28788/stat : 28788 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811886487 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28789] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28789/stat : 28789 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811886487 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28790] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28790/stat : 28790 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811886487 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28791] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28791/stat : 28791 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811886487 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28792] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28792/stat : 28792 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811886487 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28793] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28793/stat : 28793 (java) S 28780 28782 24981 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 811886488 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 0 0 16800975 18446604458212748288 0 0 -1 5 0 0 0
[pid=28782/tid=28794] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28794/stat : 28794 (java) S 28780 28782 24981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811886489 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28795] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28795/stat : 28795 (java) S 28780 28782 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811886489 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28796] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28796/stat : 28796 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811886491 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738228657 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28797] ppid=28780 vsize=10557808 CPUtime=1.07 cores=1,3,5,7
/proc/28782/task/28797/stat : 28797 (java) S 28780 28782 24981 0 -1 4202560 5833 0 0 0 107 0 0 0 15 0 19 0 811886491 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28798] ppid=28780 vsize=10557808 CPUtime=1.03 cores=1,3,5,7
/proc/28782/task/28798/stat : 28798 (java) S 28780 28782 24981 0 -1 4202560 8676 0 0 0 103 0 0 0 15 0 19 0 811886491 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28799] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28799/stat : 28799 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811886491 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28800] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28800/stat : 28800 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811886491 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28803] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28803/stat : 28803 (java) S 28780 28782 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811886583 10811195392 55602 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 10557808
[startup+6.30143 s]
/proc/loadavg: 2.10 2.06 2.40 3/554 28828
/proc/meminfo: memFree=20921212/32951124 swapFree=62999000/67111528
[pid=28782] ppid=28780 vsize=10557808 CPUtime=6.24 cores=1,3,5,7
/proc/28782/stat : 28782 (java) S 28780 28782 24981 0 -1 4202496 122500 0 1 0 609 15 0 0 25 0 22 0 811886485 10811195392 116842 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28782/statm: 2639452 116842 2250 9 0 2630186 0
[pid=28782/tid=28783] ppid=28780 vsize=10557808 CPUtime=0.95 cores=1,3,5,7
/proc/28782/task/28783/stat : 28783 (java) S 28780 28782 24981 0 -1 4202560 34136 0 1 0 91 4 0 0 15 0 22 0 811886486 10811195392 116842 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28785] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28785/stat : 28785 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811886487 10811195392 116842 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28786] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28786/stat : 28786 (java) S 28780 28782 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811886487 10811195392 116842 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28787] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28787/stat : 28787 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811886487 10811195392 116842 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28788] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28788/stat : 28788 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811886487 10811195392 116842 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28789] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28789/stat : 28789 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811886487 10811195392 116842 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28790] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28790/stat : 28790 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811886487 10811195392 116842 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28791] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28791/stat : 28791 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811886487 10811195392 116842 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28792] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28792/stat : 28792 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811886487 10811195392 116842 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28793] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28793/stat : 28793 (java) S 28780 28782 24981 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 811886488 10811195392 116842 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 0 0 16800975 18446604458212748288 0 0 -1 5 0 0 0
[pid=28782/tid=28794] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28794/stat : 28794 (java) S 28780 28782 24981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811886489 10811195392 116842 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28795] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28795/stat : 28795 (java) S 28780 28782 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811886489 10811195392 116842 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28796] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28796/stat : 28796 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811886491 10811195392 116842 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738228657 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28797] ppid=28780 vsize=10557808 CPUtime=1.22 cores=1,3,5,7
/proc/28782/task/28797/stat : 28797 (java) S 28780 28782 24981 0 -1 4202560 5851 0 0 0 122 0 0 0 15 0 22 0 811886491 10811195392 116842 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28798] ppid=28780 vsize=10557808 CPUtime=1.17 cores=1,3,5,7
/proc/28782/task/28798/stat : 28798 (java) S 28780 28782 24981 0 -1 4202560 8681 0 0 0 117 0 0 0 15 0 22 0 811886491 10811195392 116843 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
################
# More data... #
################
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+941.301 s]
/proc/loadavg: 3.78 3.67 3.23 3/557 28940
/proc/meminfo: memFree=18706588/32951124 swapFree=62999000/67111528
[pid=28782] ppid=28780 vsize=10557808 CPUtime=1800.1 cores=1,3,5,7
/proc/28782/stat : 28782 (java) S 28780 28782 24981 0 -1 4202496 611410 0 1 0 179934 76 0 0 25 0 22 0 811886485 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28782/statm: 2639452 605438 2274 9 0 2630186 0
[pid=28782/tid=28783] ppid=28780 vsize=10557808 CPUtime=0.97 cores=1,3,5,7
/proc/28782/task/28783/stat : 28783 (java) S 28780 28782 24981 0 -1 4202560 34325 0 1 0 93 4 0 0 15 0 22 0 811886486 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28785] ppid=28780 vsize=10557808 CPUtime=1.07 cores=1,3,5,7
/proc/28782/task/28785/stat : 28785 (java) S 28780 28782 24981 0 -1 4202560 2328 0 0 0 106 1 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28786] ppid=28780 vsize=10557808 CPUtime=1.11 cores=1,3,5,7
/proc/28782/task/28786/stat : 28786 (java) S 28780 28782 24981 0 -1 4202560 4404 0 0 0 111 0 0 0 15 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28787] ppid=28780 vsize=10557808 CPUtime=1.07 cores=1,3,5,7
/proc/28782/task/28787/stat : 28787 (java) S 28780 28782 24981 0 -1 4202560 2581 0 0 0 107 0 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28788] ppid=28780 vsize=10557808 CPUtime=1.06 cores=1,3,5,7
/proc/28782/task/28788/stat : 28788 (java) S 28780 28782 24981 0 -1 4202560 3265 0 0 0 106 0 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28789] ppid=28780 vsize=10557808 CPUtime=1.07 cores=1,3,5,7
/proc/28782/task/28789/stat : 28789 (java) S 28780 28782 24981 0 -1 4202560 4491 0 0 0 107 0 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28790] ppid=28780 vsize=10557808 CPUtime=1.07 cores=1,3,5,7
/proc/28782/task/28790/stat : 28790 (java) S 28780 28782 24981 0 -1 4202560 5125 0 0 0 107 0 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28791] ppid=28780 vsize=10557808 CPUtime=1.16 cores=1,3,5,7
/proc/28782/task/28791/stat : 28791 (java) S 28780 28782 24981 0 -1 4202560 7318 0 0 0 115 1 0 0 15 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28792] ppid=28780 vsize=10557808 CPUtime=1.15 cores=1,3,5,7
/proc/28782/task/28792/stat : 28792 (java) S 28780 28782 24981 0 -1 4202560 6553 0 0 0 114 1 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28793] ppid=28780 vsize=10557808 CPUtime=76.22 cores=1,3,5,7
/proc/28782/task/28793/stat : 28793 (java) R 28780 28782 24981 0 -1 4202560 139730 0 0 0 7606 16 0 0 16 0 22 0 811886488 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 47470363849206 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=28782/tid=28794] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28794/stat : 28794 (java) S 28780 28782 24981 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 811886489 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 5 0 0 0
[pid=28782/tid=28795] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28795/stat : 28795 (java) S 28780 28782 24981 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 811886489 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28796] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28796/stat : 28796 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811886491 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738228657 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28797] ppid=28780 vsize=10557808 CPUtime=1.42 cores=1,3,5,7
/proc/28782/task/28797/stat : 28797 (java) S 28780 28782 24981 0 -1 4202560 5879 0 0 0 142 0 0 0 15 0 22 0 811886491 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28798] ppid=28780 vsize=10557808 CPUtime=1.53 cores=1,3,5,7
/proc/28782/task/28798/stat : 28798 (java) S 28780 28782 24981 0 -1 4202560 8716 0 0 0 153 0 0 0 16 0 22 0 811886491 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28799] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28799/stat : 28799 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811886491 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28800] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28800/stat : 28800 (java) S 28780 28782 24981 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811886491 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28803] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28803/stat : 28803 (java) S 28780 28782 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811886583 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28853] ppid=28780 vsize=10557808 CPUtime=461.82 cores=1,3,5,7
/proc/28782/task/28853/stat : 28853 (java) S 28780 28782 24981 0 -1 4202560 145 0 0 0 46182 0 0 0 25 0 22 0 811929781 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28854] ppid=28780 vsize=10557808 CPUtime=461.82 cores=1,3,5,7
/proc/28782/task/28854/stat : 28854 (java) S 28780 28782 24981 0 -1 4202560 65094 0 0 0 46174 8 0 0 25 0 22 0 811929781 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28855] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28855/stat : 28855 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811929782 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10557808
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+941.426 s]
/proc/loadavg: 3.78 3.67 3.23 3/557 28940
/proc/meminfo: memFree=18706588/32951124 swapFree=62999000/67111528
[pid=28782] ppid=28780 vsize=10557808 CPUtime=1800.2 cores=1,3,5,7
/proc/28782/stat : 28782 (java) S 28780 28782 24981 0 -1 4202496 611410 0 1 0 179944 76 0 0 18 0 22 0 811886485 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28782/statm: 2639452 605438 2274 9 0 2630186 0
[pid=28782/tid=28783] ppid=28780 vsize=10557808 CPUtime=0.97 cores=1,3,5,7
/proc/28782/task/28783/stat : 28783 (java) S 28780 28782 24981 0 -1 4202560 34325 0 1 0 93 4 0 0 15 0 22 0 811886486 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28785] ppid=28780 vsize=10557808 CPUtime=1.07 cores=1,3,5,7
/proc/28782/task/28785/stat : 28785 (java) S 28780 28782 24981 0 -1 4202560 2328 0 0 0 106 1 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28786] ppid=28780 vsize=10557808 CPUtime=1.11 cores=1,3,5,7
/proc/28782/task/28786/stat : 28786 (java) S 28780 28782 24981 0 -1 4202560 4404 0 0 0 111 0 0 0 15 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28787] ppid=28780 vsize=10557808 CPUtime=1.07 cores=1,3,5,7
/proc/28782/task/28787/stat : 28787 (java) S 28780 28782 24981 0 -1 4202560 2581 0 0 0 107 0 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28788] ppid=28780 vsize=10557808 CPUtime=1.06 cores=1,3,5,7
/proc/28782/task/28788/stat : 28788 (java) S 28780 28782 24981 0 -1 4202560 3265 0 0 0 106 0 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28789] ppid=28780 vsize=10557808 CPUtime=1.07 cores=1,3,5,7
/proc/28782/task/28789/stat : 28789 (java) S 28780 28782 24981 0 -1 4202560 4491 0 0 0 107 0 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28790] ppid=28780 vsize=10557808 CPUtime=1.07 cores=1,3,5,7
/proc/28782/task/28790/stat : 28790 (java) S 28780 28782 24981 0 -1 4202560 5125 0 0 0 107 0 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28791] ppid=28780 vsize=10557808 CPUtime=1.16 cores=1,3,5,7
/proc/28782/task/28791/stat : 28791 (java) S 28780 28782 24981 0 -1 4202560 7318 0 0 0 115 1 0 0 15 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28792] ppid=28780 vsize=10557808 CPUtime=1.15 cores=1,3,5,7
/proc/28782/task/28792/stat : 28792 (java) S 28780 28782 24981 0 -1 4202560 6553 0 0 0 114 1 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28793] ppid=28780 vsize=10557808 CPUtime=76.32 cores=1,3,5,7
/proc/28782/task/28793/stat : 28793 (java) R 28780 28782 24981 0 -1 4202560 139730 0 0 0 7616 16 0 0 16 0 22 0 811886488 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 47470366195784 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=28782/tid=28794] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28794/stat : 28794 (java) S 28780 28782 24981 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 811886489 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 5 0 0 0
[pid=28782/tid=28795] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28795/stat : 28795 (java) S 28780 28782 24981 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 811886489 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28796] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28796/stat : 28796 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811886491 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28797] ppid=28780 vsize=10557808 CPUtime=1.42 cores=1,3,5,7
/proc/28782/task/28797/stat : 28797 (java) S 28780 28782 24981 0 -1 4202560 5879 0 0 0 142 0 0 0 15 0 22 0 811886491 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28798] ppid=28780 vsize=10557808 CPUtime=1.53 cores=1,3,5,7
/proc/28782/task/28798/stat : 28798 (java) S 28780 28782 24981 0 -1 4202560 8716 0 0 0 153 0 0 0 16 0 22 0 811886491 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28799] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28799/stat : 28799 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811886491 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28800] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28800/stat : 28800 (java) S 28780 28782 24981 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811886491 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28803] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28803/stat : 28803 (java) S 28780 28782 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811886583 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28853] ppid=28780 vsize=10557808 CPUtime=461.82 cores=1,3,5,7
/proc/28782/task/28853/stat : 28853 (java) S 28780 28782 24981 0 -1 4202560 145 0 0 0 46182 0 0 0 25 0 22 0 811929781 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28854] ppid=28780 vsize=10557808 CPUtime=461.82 cores=1,3,5,7
/proc/28782/task/28854/stat : 28854 (java) S 28780 28782 24981 0 -1 4202560 65094 0 0 0 46174 8 0 0 25 0 22 0 811929781 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28855] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28855/stat : 28855 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811929782 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 10557808
[startup+941.62 s]
/proc/loadavg: 3.78 3.67 3.23 4/558 28941
/proc/meminfo: memFree=18706332/32951124 swapFree=62999000/67111528
[pid=28782] ppid=28780 vsize=10557808 CPUtime=1800.4 cores=1,3,5,7
/proc/28782/stat : 28782 (java) S 28780 28782 24981 0 -1 4202496 611410 0 1 0 179964 76 0 0 18 0 22 0 811886485 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28782/statm: 2639452 605438 2274 9 0 2630186 0
[pid=28782/tid=28783] ppid=28780 vsize=10557808 CPUtime=0.97 cores=1,3,5,7
/proc/28782/task/28783/stat : 28783 (java) S 28780 28782 24981 0 -1 4202560 34325 0 1 0 93 4 0 0 15 0 22 0 811886486 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28785] ppid=28780 vsize=10557808 CPUtime=1.07 cores=1,3,5,7
/proc/28782/task/28785/stat : 28785 (java) S 28780 28782 24981 0 -1 4202560 2328 0 0 0 106 1 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28786] ppid=28780 vsize=10557808 CPUtime=1.11 cores=1,3,5,7
/proc/28782/task/28786/stat : 28786 (java) S 28780 28782 24981 0 -1 4202560 4404 0 0 0 111 0 0 0 15 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28787] ppid=28780 vsize=10557808 CPUtime=1.07 cores=1,3,5,7
/proc/28782/task/28787/stat : 28787 (java) S 28780 28782 24981 0 -1 4202560 2581 0 0 0 107 0 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28788] ppid=28780 vsize=10557808 CPUtime=1.06 cores=1,3,5,7
/proc/28782/task/28788/stat : 28788 (java) S 28780 28782 24981 0 -1 4202560 3265 0 0 0 106 0 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28789] ppid=28780 vsize=10557808 CPUtime=1.07 cores=1,3,5,7
/proc/28782/task/28789/stat : 28789 (java) S 28780 28782 24981 0 -1 4202560 4491 0 0 0 107 0 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28790] ppid=28780 vsize=10557808 CPUtime=1.07 cores=1,3,5,7
/proc/28782/task/28790/stat : 28790 (java) S 28780 28782 24981 0 -1 4202560 5125 0 0 0 107 0 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28791] ppid=28780 vsize=10557808 CPUtime=1.16 cores=1,3,5,7
/proc/28782/task/28791/stat : 28791 (java) S 28780 28782 24981 0 -1 4202560 7318 0 0 0 115 1 0 0 15 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28792] ppid=28780 vsize=10557808 CPUtime=1.15 cores=1,3,5,7
/proc/28782/task/28792/stat : 28792 (java) S 28780 28782 24981 0 -1 4202560 6553 0 0 0 114 1 0 0 16 0 22 0 811886487 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28793] ppid=28780 vsize=10557808 CPUtime=76.52 cores=1,3,5,7
/proc/28782/task/28793/stat : 28793 (java) R 28780 28782 24981 0 -1 4202560 139730 0 0 0 7636 16 0 0 16 0 22 0 811886488 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 47470363849159 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=28782/tid=28794] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28794/stat : 28794 (java) S 28780 28782 24981 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 811886489 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 5 0 0 0
[pid=28782/tid=28795] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28795/stat : 28795 (java) S 28780 28782 24981 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 811886489 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28796] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28796/stat : 28796 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811886491 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28797] ppid=28780 vsize=10557808 CPUtime=1.42 cores=1,3,5,7
/proc/28782/task/28797/stat : 28797 (java) S 28780 28782 24981 0 -1 4202560 5879 0 0 0 142 0 0 0 15 0 22 0 811886491 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28798] ppid=28780 vsize=10557808 CPUtime=1.53 cores=1,3,5,7
/proc/28782/task/28798/stat : 28798 (java) S 28780 28782 24981 0 -1 4202560 8716 0 0 0 153 0 0 0 16 0 22 0 811886491 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28799] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28799/stat : 28799 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811886491 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28800] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28800/stat : 28800 (java) S 28780 28782 24981 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811886491 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28803] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28803/stat : 28803 (java) S 28780 28782 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811886583 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 4 0 16800975 18446604458212748288 0 0 -1 7 0 0 0
[pid=28782/tid=28853] ppid=28780 vsize=10557808 CPUtime=461.82 cores=1,3,5,7
/proc/28782/task/28853/stat : 28853 (java) S 28780 28782 24981 0 -1 4202560 145 0 0 0 46182 0 0 0 25 0 22 0 811929781 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 1 0 0 0
[pid=28782/tid=28854] ppid=28780 vsize=10557808 CPUtime=461.82 cores=1,3,5,7
/proc/28782/task/28854/stat : 28854 (java) S 28780 28782 24981 0 -1 4202560 65094 0 0 0 46174 8 0 0 25 0 22 0 811929781 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738220953 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
[pid=28782/tid=28855] ppid=28780 vsize=10557808 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28855/stat : 28855 (java) S 28780 28782 24981 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811929782 10811195392 605438 33554432000 1073741824 1073778376 140735168427664 18446744073709551615 264738221568 0 4 0 16800975 18446604458212748288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 10557808
[startup+941.702 s]
/proc/loadavg: 3.78 3.67 3.23 4/558 28941
/proc/meminfo: memFree=18706332/32951124 swapFree=62999000/67111528
[pid=28782] ppid=28780 vsize=0 CPUtime=1800.52 cores=1,3,5,7
/proc/28782/stat : 28782 (java) Z 28780 28782 24981 0 -1 4203548 611438 0 1 0 179976 76 0 0 15 0 2 0 811886485 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28782/statm: 0 0 0 0 0 0 0
[pid=28782/tid=28855] ppid=28780 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/28782/task/28855/stat : 28855 (java) R 28780 28782 24981 0 -1 4203588 1 0 0 0 0 0 0 0 18 0 2 0 811929782 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 941.794
CPU time (s): 1800.62
CPU user time (s): 1799.76
CPU system time (s): 0.855869
CPU usage (%): 191.19
Max. virtual memory (cumulated for all children) (KiB): 10557808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
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= 611438
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= 25272
involuntary context switches= 22814
runsolver used 4.81727 second user time and 11.6082 second system time
The end