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-3455368-1307196284/watcher-3455368-1307196284 -o /tmp/evaluation-result-3455368-1307196284/solver-3455368-1307196284 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455368-1307196284.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.43 3.11 2/589 4458
/proc/meminfo: memFree=27910472/32950928 swapFree=43925852/67111528
[pid=4458] ppid=4456 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/4458/stat : 4458 (java) S 4456 4458 4403 0 -1 4202496 3306 0 1 0 0 0 0 0 25 0 2 0 831228222 10694979584 3008 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/4458/statm: 2611079 3022 917 9 0 2602235 0
[pid=4458/tid=4459] ppid=4456 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4459/stat : 4459 (java) R 4456 4458 4403 0 -1 4202560 8868 0 1 0 0 0 0 0 25 0 10 0 831228222 10703900672 9693 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 47918234652000 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=4458/tid=4460] ppid=4456 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4460/stat : 4460 (java) R 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831228224 10703900672 9695 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=4458/tid=4461] ppid=4456 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4461/stat : 4461 (java) R 4456 4458 4403 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 831228224 10703900672 9695 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=4458/tid=4462] ppid=4456 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4462/stat : 4462 (java) R 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831228224 10703900672 9697 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=4458/tid=4463] ppid=4456 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4463/stat : 4463 (java) R 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831228224 10703900672 9698 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=4458/tid=4464] ppid=4456 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4464/stat : 4464 (java) R 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831228224 10703900672 9698 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=4458/tid=4465] ppid=4456 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4465/stat : 4465 (java) R 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831228224 10703900672 9699 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=4458/tid=4466] ppid=4456 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4466/stat : 4466 (java) R 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831228224 10703900672 9699 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=4458/tid=4467] ppid=4456 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4467/stat : 4467 (java) R 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831228224 10703900672 9700 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0309209 s]
/proc/loadavg: 2.11 2.43 3.11 2/589 4458
/proc/meminfo: memFree=27910472/32950928 swapFree=43925852/67111528
[pid=4458] ppid=4456 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/4458/stat : 4458 (java) S 4456 4458 4403 0 -1 4202496 10945 0 1 0 1 1 0 0 25 0 11 0 831228222 10716594176 10644 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/4458/statm: 2616356 10647 1599 9 0 2607104 0
[pid=4458/tid=4459] ppid=4456 vsize=10465424 CPUtime=0.01 cores=1,3,5,7
/proc/4458/task/4459/stat : 4459 (java) R 4456 4458 4403 0 -1 4202560 9823 0 1 0 1 0 0 0 25 0 11 0 831228222 10716594176 10647 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 47918235966544 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=4458/tid=4460] ppid=4456 vsize=10465424 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4460/stat : 4460 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 11 0 831228224 10716594176 10648 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16784584 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4461] ppid=4456 vsize=10465424 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4461/stat : 4461 (java) S 4456 4458 4403 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 11 0 831228224 10716594176 10648 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16784584 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4462] ppid=4456 vsize=10465424 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4462/stat : 4462 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 11 0 831228224 10716594176 10648 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16784584 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4463] ppid=4456 vsize=10465424 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4463/stat : 4463 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 11 0 831228224 10716594176 10649 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16784584 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4464] ppid=4456 vsize=10465424 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4464/stat : 4464 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 11 0 831228224 10716594176 10649 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16784584 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4465] ppid=4456 vsize=10465424 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4465/stat : 4465 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 11 0 831228224 10716594176 10650 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16784584 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4466] ppid=4456 vsize=10465424 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4466/stat : 4466 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 11 0 831228224 10716594176 10651 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16784584 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4467] ppid=4456 vsize=10465424 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4467/stat : 4467 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 11 0 831228224 10716594176 10651 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16784584 18446604461457815680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.112094 s]
/proc/loadavg: 2.11 2.43 3.11 2/589 4458
/proc/meminfo: memFree=27910472/32950928 swapFree=43925852/67111528
[pid=4458] ppid=4456 vsize=10540340 CPUtime=0.13 cores=1,3,5,7
/proc/4458/stat : 4458 (java) S 4456 4458 4403 0 -1 4202496 13296 0 1 0 11 2 0 0 25 0 18 0 831228222 10793308160 12944 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4458/statm: 2635085 12944 2133 9 0 2625819 0
[pid=4458/tid=4459] ppid=4456 vsize=10540340 CPUtime=0.09 cores=1,3,5,7
/proc/4458/task/4459/stat : 4459 (java) R 4456 4458 4403 0 -1 4202560 11328 0 1 0 8 1 0 0 18 0 18 0 831228222 10793308160 12944 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 47918237119120 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4458/tid=4460] ppid=4456 vsize=10540340 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4460/stat : 4460 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793308160 12944 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4461] ppid=4456 vsize=10540340 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4461/stat : 4461 (java) S 4456 4458 4403 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831228224 10793308160 12944 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4462] ppid=4456 vsize=10540340 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4462/stat : 4462 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793308160 12944 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4463] ppid=4456 vsize=10540340 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4463/stat : 4463 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793308160 12944 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4464] ppid=4456 vsize=10540340 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4464/stat : 4464 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793308160 12944 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4465] ppid=4456 vsize=10540340 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4465/stat : 4465 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793308160 12944 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4466] ppid=4456 vsize=10540340 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4466/stat : 4466 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793308160 12944 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4467] ppid=4456 vsize=10540340 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4467/stat : 4467 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793308160 12944 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10540340
[startup+0.300877 s]
/proc/loadavg: 2.11 2.43 3.11 2/589 4458
/proc/meminfo: memFree=27910472/32950928 swapFree=43925852/67111528
[pid=4458] ppid=4456 vsize=10540340 CPUtime=0.36 cores=1,3,5,7
/proc/4458/stat : 4458 (java) S 4456 4458 4403 0 -1 4202496 100125 0 1 0 26 10 0 0 25 0 18 0 831228222 10793308160 99728 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4458/statm: 2635085 99728 2174 9 0 2625819 0
[pid=4458/tid=4459] ppid=4456 vsize=10540340 CPUtime=0.28 cores=1,3,5,7
/proc/4458/task/4459/stat : 4459 (java) R 4456 4458 4403 0 -1 4202560 97888 0 1 0 18 10 0 0 18 0 18 0 831228222 10793308160 99728 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 47918240045907 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4458/tid=4460] ppid=4456 vsize=10540340 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4460/stat : 4460 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793308160 99728 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4461] ppid=4456 vsize=10540340 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4461/stat : 4461 (java) S 4456 4458 4403 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831228224 10793308160 99729 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4462] ppid=4456 vsize=10540340 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4462/stat : 4462 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793308160 99729 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4463] ppid=4456 vsize=10540340 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4463/stat : 4463 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793308160 99729 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4464] ppid=4456 vsize=10540340 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4464/stat : 4464 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793308160 99729 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4465] ppid=4456 vsize=10540340 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4465/stat : 4465 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793308160 99729 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4466] ppid=4456 vsize=10540340 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4466/stat : 4466 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793308160 99730 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4467] ppid=4456 vsize=10540340 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4467/stat : 4467 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793308160 99730 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10540340
[startup+0.700866 s]
/proc/loadavg: 2.11 2.43 3.11 2/589 4458
/proc/meminfo: memFree=27910472/32950928 swapFree=43925852/67111528
[pid=4458] ppid=4456 vsize=10540988 CPUtime=0.85 cores=1,3,5,7
/proc/4458/stat : 4458 (java) S 4456 4458 4403 0 -1 4202496 127687 0 1 0 72 13 0 0 25 0 18 0 831228222 10793971712 127141 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4458/statm: 2635247 127144 2199 9 0 2625981 0
[pid=4458/tid=4459] ppid=4456 vsize=10540988 CPUtime=0.69 cores=1,3,5,7
/proc/4458/task/4459/stat : 4459 (java) R 4456 4458 4403 0 -1 4202560 124958 0 1 0 56 13 0 0 18 0 18 0 831228222 10793971712 127146 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 46912505365719 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4458/tid=4460] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4460/stat : 4460 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793971712 127148 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4461] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4461/stat : 4461 (java) S 4456 4458 4403 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831228224 10793971712 127150 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4462] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4462/stat : 4462 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793971712 127152 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4463] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4463/stat : 4463 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793971712 127153 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4464] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4464/stat : 4464 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793971712 127155 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4465] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4465/stat : 4465 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793971712 127157 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4466] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4466/stat : 4466 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793971712 127159 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4467] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4467/stat : 4467 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793971712 127161 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 10540988
[startup+1.50066 s]
/proc/loadavg: 2.11 2.43 3.11 3/607 4476
/proc/meminfo: memFree=27319912/32950928 swapFree=43925852/67111528
[pid=4458] ppid=4456 vsize=10540988 CPUtime=1.65 cores=1,3,5,7
/proc/4458/stat : 4458 (java) S 4456 4458 4403 0 -1 4202496 187887 0 1 0 146 19 0 0 25 0 18 0 831228222 10793971712 187340 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4458/statm: 2635247 187343 2199 9 0 2625981 0
[pid=4458/tid=4459] ppid=4456 vsize=10540988 CPUtime=1.49 cores=1,3,5,7
/proc/4458/task/4459/stat : 4459 (java) R 4456 4458 4403 0 -1 4202560 185157 0 1 0 130 19 0 0 19 0 18 0 831228222 10793971712 187345 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 46912505574273 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4458/tid=4460] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4460/stat : 4460 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793971712 187347 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4461] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4461/stat : 4461 (java) S 4456 4458 4403 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831228224 10793971712 187348 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4462] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4462/stat : 4462 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793971712 187350 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4463] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4463/stat : 4463 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793971712 187352 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4464] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4464/stat : 4464 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793971712 187354 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4465] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4465/stat : 4465 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793971712 187356 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4466] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4466/stat : 4466 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793971712 187357 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4467] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4467/stat : 4467 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228224 10793971712 187359 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4469] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4469/stat : 4469 (java) S 4456 4458 4403 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 831228225 10793971712 187361 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284505600 0 0 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4470] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4470/stat : 4470 (java) S 4456 4458 4403 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 831228225 10793971712 187363 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4471] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4471/stat : 4471 (java) S 4456 4458 4403 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 831228225 10793971712 187365 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4472] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4472/stat : 4472 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228227 10793971712 187367 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284512689 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4473] ppid=4456 vsize=10540988 CPUtime=0.07 cores=1,3,5,7
/proc/4458/task/4473/stat : 4473 (java) S 4456 4458 4403 0 -1 4202560 491 0 0 0 7 0 0 0 23 0 18 0 831228227 10793971712 187368 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 5 0 0 0
[pid=4458/tid=4474] ppid=4456 vsize=10540988 CPUtime=0.09 cores=1,3,5,7
/proc/4458/task/4474/stat : 4474 (java) S 4456 4458 4403 0 -1 4202560 1093 0 0 0 9 0 0 0 24 0 18 0 831228227 10793971712 187370 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4475] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4475/stat : 4475 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228227 10793971712 187372 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4476] ppid=4456 vsize=10540988 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4476/stat : 4476 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 831228227 10793971712 187374 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284505600 0 4 0 16800975 18446604461457815680 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10540988
[startup+3.10138 s]
/proc/loadavg: 2.11 2.43 3.11 3/607 4476
/proc/meminfo: memFree=27319912/32950928 swapFree=43925852/67111528
################
# More data... #
################
[pid=4458/tid=4475] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4475/stat : 4475 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4476] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4476/stat : 4476 (java) S 4456 4458 4403 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284505600 0 4 0 16800975 18446604461457815680 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1760.81
Current children cumulated vsize (KiB) 10616364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1761.5 s]
/proc/loadavg: 1.01 1.39 1.98 2/584 4547
/proc/meminfo: memFree=21730724/32950928 swapFree=43925852/67111528
[pid=4458] ppid=4456 vsize=10616364 CPUtime=1800.02 cores=1,3,5,7
/proc/4458/stat : 4458 (java) S 4456 4458 4403 0 -1 4202496 2426513 0 1 0 179674 328 0 0 25 0 18 0 831228222 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4458/statm: 2654091 2394907 2244 9 0 2644825 0
[pid=4458/tid=4459] ppid=4456 vsize=10616364 CPUtime=73.42 cores=1,3,5,7
/proc/4458/task/4459/stat : 4459 (java) S 4456 4458 4403 0 -1 4202560 651198 0 1 0 7254 88 0 0 18 0 18 0 831228222 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 1 0 0 0
[pid=4458/tid=4460] ppid=4456 vsize=10616364 CPUtime=8.06 cores=1,3,5,7
/proc/4458/task/4460/stat : 4460 (java) S 4456 4458 4403 0 -1 4202560 307211 0 0 0 763 43 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 1 0 0 0
[pid=4458/tid=4461] ppid=4456 vsize=10616364 CPUtime=4.87 cores=1,3,5,7
/proc/4458/task/4461/stat : 4461 (java) S 4456 4458 4403 0 -1 4202560 127552 0 0 0 470 17 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4462] ppid=4456 vsize=10616364 CPUtime=6.01 cores=1,3,5,7
/proc/4458/task/4462/stat : 4462 (java) S 4456 4458 4403 0 -1 4202560 153976 0 0 0 582 19 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4463] ppid=4456 vsize=10616364 CPUtime=4.64 cores=1,3,5,7
/proc/4458/task/4463/stat : 4463 (java) S 4456 4458 4403 0 -1 4202560 156255 0 0 0 441 23 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 1 0 0 0
[pid=4458/tid=4464] ppid=4456 vsize=10616364 CPUtime=6.77 cores=1,3,5,7
/proc/4458/task/4464/stat : 4464 (java) S 4456 4458 4403 0 -1 4202560 234510 0 0 0 647 30 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4465] ppid=4456 vsize=10616364 CPUtime=6.43 cores=1,3,5,7
/proc/4458/task/4465/stat : 4465 (java) S 4456 4458 4403 0 -1 4202560 224903 0 0 0 614 29 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4466] ppid=4456 vsize=10616364 CPUtime=8.04 cores=1,3,5,7
/proc/4458/task/4466/stat : 4466 (java) S 4456 4458 4403 0 -1 4202560 334024 0 0 0 760 44 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4467] ppid=4456 vsize=10616364 CPUtime=5.74 cores=1,3,5,7
/proc/4458/task/4467/stat : 4467 (java) S 4456 4458 4403 0 -1 4202560 191488 0 0 0 551 23 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4469] ppid=4456 vsize=10616364 CPUtime=1675.29 cores=1,3,5,7
/proc/4458/task/4469/stat : 4469 (java) R 4456 4458 4403 0 -1 4202560 40498 0 0 0 167523 6 0 0 25 0 18 0 831228225 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 47918238408059 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=4458/tid=4470] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4470/stat : 4470 (java) S 4456 4458 4403 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 831228225 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4471] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4471/stat : 4471 (java) S 4456 4458 4403 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 831228225 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4472] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4472/stat : 4472 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284512689 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4473] ppid=4456 vsize=10616364 CPUtime=0.34 cores=1,3,5,7
/proc/4458/task/4473/stat : 4473 (java) S 4456 4458 4403 0 -1 4202560 977 0 0 0 34 0 0 0 16 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 5 0 0 0
[pid=4458/tid=4474] ppid=4456 vsize=10616364 CPUtime=0.31 cores=1,3,5,7
/proc/4458/task/4474/stat : 4474 (java) S 4456 4458 4403 0 -1 4202560 2675 0 0 0 31 0 0 0 15 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4475] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4475/stat : 4475 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4476] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4476/stat : 4476 (java) S 4456 4458 4403 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284505600 0 4 0 16800975 18446604461457815680 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10616364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4458
Solver just ended. Dumping a history of the last processes samples
[startup+1762.7 s]
/proc/loadavg: 1.01 1.39 1.98 2/585 4548
/proc/meminfo: memFree=21730716/32950928 swapFree=43925852/67111528
[pid=4458] ppid=4456 vsize=10616364 CPUtime=1801.21 cores=1,3,5,7
/proc/4458/stat : 4458 (java) S 4456 4458 4403 0 -1 4202496 2426514 0 1 0 179793 328 0 0 18 0 18 0 831228222 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4458/statm: 2654091 2394907 2244 9 0 2644825 0
[pid=4458/tid=4459] ppid=4456 vsize=10616364 CPUtime=73.42 cores=1,3,5,7
/proc/4458/task/4459/stat : 4459 (java) S 4456 4458 4403 0 -1 4202560 651198 0 1 0 7254 88 0 0 18 0 18 0 831228222 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 1 0 0 0
[pid=4458/tid=4460] ppid=4456 vsize=10616364 CPUtime=8.06 cores=1,3,5,7
/proc/4458/task/4460/stat : 4460 (java) S 4456 4458 4403 0 -1 4202560 307211 0 0 0 763 43 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 1 0 0 0
[pid=4458/tid=4461] ppid=4456 vsize=10616364 CPUtime=4.87 cores=1,3,5,7
/proc/4458/task/4461/stat : 4461 (java) S 4456 4458 4403 0 -1 4202560 127552 0 0 0 470 17 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4462] ppid=4456 vsize=10616364 CPUtime=6.01 cores=1,3,5,7
/proc/4458/task/4462/stat : 4462 (java) S 4456 4458 4403 0 -1 4202560 153976 0 0 0 582 19 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4463] ppid=4456 vsize=10616364 CPUtime=4.64 cores=1,3,5,7
/proc/4458/task/4463/stat : 4463 (java) S 4456 4458 4403 0 -1 4202560 156255 0 0 0 441 23 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 1 0 0 0
[pid=4458/tid=4464] ppid=4456 vsize=10616364 CPUtime=6.77 cores=1,3,5,7
/proc/4458/task/4464/stat : 4464 (java) S 4456 4458 4403 0 -1 4202560 234510 0 0 0 647 30 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4465] ppid=4456 vsize=10616364 CPUtime=6.43 cores=1,3,5,7
/proc/4458/task/4465/stat : 4465 (java) S 4456 4458 4403 0 -1 4202560 224903 0 0 0 614 29 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4466] ppid=4456 vsize=10616364 CPUtime=8.04 cores=1,3,5,7
/proc/4458/task/4466/stat : 4466 (java) S 4456 4458 4403 0 -1 4202560 334024 0 0 0 760 44 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4467] ppid=4456 vsize=10616364 CPUtime=5.74 cores=1,3,5,7
/proc/4458/task/4467/stat : 4467 (java) S 4456 4458 4403 0 -1 4202560 191488 0 0 0 551 23 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4469] ppid=4456 vsize=10616364 CPUtime=1676.47 cores=1,3,5,7
/proc/4458/task/4469/stat : 4469 (java) R 4456 4458 4403 0 -1 4202560 40498 0 0 0 167641 6 0 0 25 0 18 0 831228225 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 47918239135967 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=4458/tid=4470] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4470/stat : 4470 (java) S 4456 4458 4403 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 831228225 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4471] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4471/stat : 4471 (java) S 4456 4458 4403 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 831228225 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4472] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4472/stat : 4472 (java) S 4456 4458 4403 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4473] ppid=4456 vsize=10616364 CPUtime=0.34 cores=1,3,5,7
/proc/4458/task/4473/stat : 4473 (java) S 4456 4458 4403 0 -1 4202560 977 0 0 0 34 0 0 0 16 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 5 0 0 0
[pid=4458/tid=4474] ppid=4456 vsize=10616364 CPUtime=0.31 cores=1,3,5,7
/proc/4458/task/4474/stat : 4474 (java) S 4456 4458 4403 0 -1 4202560 2675 0 0 0 31 0 0 0 15 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4475] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4475/stat : 4475 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4476] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4476/stat : 4476 (java) S 4456 4458 4403 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284505600 0 4 0 16800975 18446604461457815680 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1801.21
Current children cumulated vsize (KiB) 10616364
[startup+1763.52 s]
/proc/loadavg: 1.01 1.39 1.98 2/585 4548
/proc/meminfo: memFree=21729848/32950928 swapFree=43925852/67111528
[pid=4458] ppid=4456 vsize=10616364 CPUtime=1802.03 cores=1,3,5,7
/proc/4458/stat : 4458 (java) S 4456 4458 4403 0 -1 4202496 2426514 0 1 0 179875 328 0 0 18 0 18 0 831228222 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4458/statm: 2654091 2394907 2244 9 0 2644825 0
[pid=4458/tid=4459] ppid=4456 vsize=10616364 CPUtime=73.42 cores=1,3,5,7
/proc/4458/task/4459/stat : 4459 (java) S 4456 4458 4403 0 -1 4202560 651198 0 1 0 7254 88 0 0 18 0 18 0 831228222 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 1 0 0 0
[pid=4458/tid=4460] ppid=4456 vsize=10616364 CPUtime=8.06 cores=1,3,5,7
/proc/4458/task/4460/stat : 4460 (java) S 4456 4458 4403 0 -1 4202560 307211 0 0 0 763 43 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 1 0 0 0
[pid=4458/tid=4461] ppid=4456 vsize=10616364 CPUtime=4.87 cores=1,3,5,7
/proc/4458/task/4461/stat : 4461 (java) S 4456 4458 4403 0 -1 4202560 127552 0 0 0 470 17 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4462] ppid=4456 vsize=10616364 CPUtime=6.01 cores=1,3,5,7
/proc/4458/task/4462/stat : 4462 (java) S 4456 4458 4403 0 -1 4202560 153976 0 0 0 582 19 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4463] ppid=4456 vsize=10616364 CPUtime=4.64 cores=1,3,5,7
/proc/4458/task/4463/stat : 4463 (java) S 4456 4458 4403 0 -1 4202560 156255 0 0 0 441 23 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 1 0 0 0
[pid=4458/tid=4464] ppid=4456 vsize=10616364 CPUtime=6.77 cores=1,3,5,7
/proc/4458/task/4464/stat : 4464 (java) S 4456 4458 4403 0 -1 4202560 234510 0 0 0 647 30 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4465] ppid=4456 vsize=10616364 CPUtime=6.43 cores=1,3,5,7
/proc/4458/task/4465/stat : 4465 (java) S 4456 4458 4403 0 -1 4202560 224903 0 0 0 614 29 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4466] ppid=4456 vsize=10616364 CPUtime=8.04 cores=1,3,5,7
/proc/4458/task/4466/stat : 4466 (java) S 4456 4458 4403 0 -1 4202560 334024 0 0 0 760 44 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4467] ppid=4456 vsize=10616364 CPUtime=5.74 cores=1,3,5,7
/proc/4458/task/4467/stat : 4467 (java) S 4456 4458 4403 0 -1 4202560 191488 0 0 0 551 23 0 0 16 0 18 0 831228224 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4469] ppid=4456 vsize=10616364 CPUtime=1677.29 cores=1,3,5,7
/proc/4458/task/4469/stat : 4469 (java) R 4456 4458 4403 0 -1 4202560 40498 0 0 0 167723 6 0 0 25 0 18 0 831228225 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 47918238405740 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=4458/tid=4470] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4470/stat : 4470 (java) S 4456 4458 4403 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 831228225 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4471] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4471/stat : 4471 (java) S 4456 4458 4403 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 831228225 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4472] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4472/stat : 4472 (java) S 4456 4458 4403 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4473] ppid=4456 vsize=10616364 CPUtime=0.34 cores=1,3,5,7
/proc/4458/task/4473/stat : 4473 (java) S 4456 4458 4403 0 -1 4202560 977 0 0 0 34 0 0 0 16 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 5 0 0 0
[pid=4458/tid=4474] ppid=4456 vsize=10616364 CPUtime=0.31 cores=1,3,5,7
/proc/4458/task/4474/stat : 4474 (java) S 4456 4458 4403 0 -1 4202560 2675 0 0 0 31 0 0 0 15 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 7 0 0 0
[pid=4458/tid=4475] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4475/stat : 4475 (java) S 4456 4458 4403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284504985 0 4 0 16800975 18446604461457815680 0 0 -1 3 0 0 0
[pid=4458/tid=4476] ppid=4456 vsize=10616364 CPUtime=0 cores=1,3,5,7
/proc/4458/task/4476/stat : 4476 (java) S 4456 4458 4403 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 18 0 831228227 10871156736 2394907 33554432000 1073741824 1073778376 140734179028064 18446744073709551615 268284505600 0 4 0 16800975 18446604461457815680 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 10616364
[startup+1763.72 s]
/proc/loadavg: 1.01 1.39 1.98 2/585 4548
/proc/meminfo: memFree=21729848/32950928 swapFree=43925852/67111528
[pid=4458] ppid=4456 vsize=0 CPUtime=1802.23 cores=1,3,5,7
/proc/4458/stat : 4458 (java) Z 4456 4458 4403 0 -1 4203548 2426514 0 1 0 179876 347 0 0 18 0 2 0 831228222 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4458/statm: 0 0 0 0 0 0 0
[pid=4458/tid=4474] ppid=4456 vsize=0 CPUtime=0.5 cores=1,3,5,7
/proc/4458/task/4474/stat : 4474 (java) R 4456 4458 4403 0 -1 4203588 2675 0 0 0 31 19 0 0 16 0 2 0 831228227 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) 1802.23
Current children cumulated vsize (KiB) 0
[startup+1763.8 s]
/proc/loadavg: 1.01 1.39 1.98 2/585 4548
/proc/meminfo: memFree=21729848/32950928 swapFree=43925852/67111528
[pid=4458] ppid=4456 vsize=0 CPUtime=1802.31 cores=1,3,5,7
/proc/4458/stat : 4458 (java) Z 4456 4458 4403 0 -1 4203548 2426514 0 1 0 179876 355 0 0 18 0 2 0 831228222 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4458/statm: 0 0 0 0 0 0 0
[pid=4458/tid=4474] ppid=4456 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/4458/task/4474/stat : 4474 (java) R 4456 4458 4403 0 -1 4203588 2675 0 0 0 31 27 0 0 16 0 2 0 831228227 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) 1802.31
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1763.86
CPU time (s): 1802.38
CPU user time (s): 1798.77
CPU system time (s): 3.61445
CPU usage (%): 102.184
Max. virtual memory (cumulated for all children) (KiB): 10630152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 3.61445
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2426514
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= 51044
involuntary context switches= 39200
runsolver used 9.07262 second user time and 24.8312 second system time
The end