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-3455138-1307189150/watcher-3455138-1307189150 -o /tmp/evaluation-result-3455138-1307189150/solver-3455138-1307189150 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455138-1307189150.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: 4.10 3.98 3.75 3/596 1396
/proc/meminfo: memFree=21735568/32951124 swapFree=58940260/67111528
[pid=1396] ppid=1394 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1396/stat : 1396 (java) R 1394 1396 30921 0 -1 4202496 892 0 0 0 0 0 0 0 25 0 1 0 830512714 23580672 636 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212682712832 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1396/statm: 5757 647 476 9 0 124 0
[pid=1396/tid=1397] ppid=1394 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/1396/task/1397/stat : 1397 (java) R 1394 1396 30921 0 -1 4202560 8778 0 1 0 0 1 0 0 25 0 10 0 830512714 10703900672 9603 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 47661405012218 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=1396/tid=1398] ppid=1394 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1398/stat : 1398 (java) R 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830512716 10703900672 9620 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=1396/tid=1399] ppid=1394 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1399/stat : 1399 (java) R 1394 1396 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 830512716 10703900672 9628 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=1396/tid=1400] ppid=1394 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1400/stat : 1400 (java) R 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830512716 10703900672 9635 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=1396/tid=1401] ppid=1394 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1401/stat : 1401 (java) R 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830512716 10703900672 9639 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=1396/tid=1402] ppid=1394 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1402/stat : 1402 (java) R 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830512716 10703900672 9639 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=1396/tid=1403] ppid=1394 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1403/stat : 1403 (java) R 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830512716 10703900672 9640 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=1396/tid=1404] ppid=1394 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1404/stat : 1404 (java) R 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830512716 10703900672 9645 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=1396/tid=1405] ppid=1394 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1405/stat : 1405 (java) R 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830512716 10703900672 9647 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.050907 s]
/proc/loadavg: 4.10 3.98 3.75 3/596 1396
/proc/meminfo: memFree=21735568/32951124 swapFree=58940260/67111528
[pid=1396] ppid=1394 vsize=10533148 CPUtime=0.04 cores=1,3,5,7
/proc/1396/stat : 1396 (java) S 1394 1396 30921 0 -1 4202496 11439 0 1 0 2 2 0 0 25 0 13 0 830512714 10785943552 11136 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699477989 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/1396/statm: 2633287 11136 1684 9 0 2624035 0
[pid=1396/tid=1397] ppid=1394 vsize=10533148 CPUtime=0.03 cores=1,3,5,7
/proc/1396/task/1397/stat : 1397 (java) S 1394 1396 30921 0 -1 4202560 10290 0 1 0 2 1 0 0 25 0 13 0 830512714 10785943552 11136 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699504607 0 2147483391 0 16800971 18446744071699199166 0 0 -1 7 0 0 0
[pid=1396/tid=1398] ppid=1394 vsize=10533148 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1398/stat : 1398 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 830512716 10785943552 11136 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800971 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1399] ppid=1394 vsize=10533148 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1399/stat : 1399 (java) S 1394 1396 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 830512716 10785943552 11136 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800971 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1400] ppid=1394 vsize=10533148 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1400/stat : 1400 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 830512716 10785943552 11136 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800971 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1401] ppid=1394 vsize=10533148 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1401/stat : 1401 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 830512716 10785943552 11136 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800971 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1402] ppid=1394 vsize=10533148 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1402/stat : 1402 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 830512716 10785943552 11136 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800971 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1403] ppid=1394 vsize=10533148 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1403/stat : 1403 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 830512716 10785943552 11136 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800971 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1404] ppid=1394 vsize=10533148 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1404/stat : 1404 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 830512716 10785943552 11136 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800971 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1405] ppid=1394 vsize=10533148 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1405/stat : 1405 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 830512716 10785943552 11136 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800971 18446604469316630656 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10533148
[startup+0.106634 s]
/proc/loadavg: 4.10 3.98 3.75 3/596 1396
/proc/meminfo: memFree=21735568/32951124 swapFree=58940260/67111528
[pid=1396] ppid=1394 vsize=10539948 CPUtime=0.11 cores=1,3,5,7
/proc/1396/stat : 1396 (java) S 1394 1396 30921 0 -1 4202496 13196 0 1 0 9 2 0 0 25 0 18 0 830512714 10792906752 12857 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1396/statm: 2634987 12859 2108 9 0 2625721 0
[pid=1396/tid=1397] ppid=1394 vsize=10539948 CPUtime=0.09 cores=1,3,5,7
/proc/1396/task/1397/stat : 1397 (java) R 1394 1396 30921 0 -1 4202560 11211 0 1 0 7 2 0 0 25 0 18 0 830512714 10792906752 12859 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 47661400503043 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1396/tid=1398] ppid=1394 vsize=10539948 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1398/stat : 1398 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830512716 10792906752 12859 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1399] ppid=1394 vsize=10539948 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1399/stat : 1399 (java) S 1394 1396 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830512716 10792906752 12860 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1400] ppid=1394 vsize=10539948 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1400/stat : 1400 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830512716 10792906752 12860 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1401] ppid=1394 vsize=10539948 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1401/stat : 1401 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830512716 10792906752 12860 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1402] ppid=1394 vsize=10539948 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1402/stat : 1402 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830512716 10792906752 12860 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1403] ppid=1394 vsize=10539948 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1403/stat : 1403 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830512716 10792906752 12860 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1404] ppid=1394 vsize=10539948 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1404/stat : 1404 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830512716 10792906752 12860 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1405] ppid=1394 vsize=10539948 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1405/stat : 1405 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830512716 10792906752 12860 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539948
[startup+0.300559 s]
/proc/loadavg: 4.10 3.98 3.75 3/596 1396
/proc/meminfo: memFree=21735568/32951124 swapFree=58940260/67111528
[pid=1396] ppid=1394 vsize=10542408 CPUtime=0.58 cores=1,3,5,7
/proc/1396/stat : 1396 (java) S 1394 1396 30921 0 -1 4202496 18278 0 1 0 55 3 0 0 25 0 18 0 830512714 10795425792 17018 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1396/statm: 2635602 17019 2205 9 0 2626336 0
[pid=1396/tid=1397] ppid=1394 vsize=10542408 CPUtime=0.28 cores=1,3,5,7
/proc/1396/task/1397/stat : 1397 (java) R 1394 1396 30921 0 -1 4202560 13751 0 1 0 26 2 0 0 25 0 18 0 830512714 10795425792 16975 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 46912505122343 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1396/tid=1398] ppid=1394 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1398/stat : 1398 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830512716 10795425792 16976 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1399] ppid=1394 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1399/stat : 1399 (java) S 1394 1396 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830512716 10795425792 16977 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1400] ppid=1394 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1400/stat : 1400 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830512716 10795425792 16977 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1401] ppid=1394 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1401/stat : 1401 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830512716 10795425792 16978 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1402] ppid=1394 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1402/stat : 1402 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830512716 10795425792 16978 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1403] ppid=1394 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1403/stat : 1403 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830512716 10795425792 16979 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1404] ppid=1394 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1404/stat : 1404 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830512716 10795425792 16979 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1405] ppid=1394 vsize=10542408 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1405/stat : 1405 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830512716 10795425792 16980 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10542408
[startup+0.70049 s]
/proc/loadavg: 4.10 3.98 3.75 3/596 1396
/proc/meminfo: memFree=21735568/32951124 swapFree=58940260/67111528
[pid=1396] ppid=1394 vsize=10547720 CPUtime=1.01 cores=1,3,5,7
/proc/1396/stat : 1396 (java) S 1394 1396 30921 0 -1 4202496 24599 0 1 0 97 4 0 0 25 0 19 0 830512714 10800865280 22184 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1396/statm: 2636930 22184 2231 9 0 2627664 0
[pid=1396/tid=1397] ppid=1394 vsize=10547720 CPUtime=0.39 cores=1,3,5,7
/proc/1396/task/1397/stat : 1397 (java) S 1394 1396 30921 0 -1 4202560 17965 0 1 0 37 2 0 0 25 0 19 0 830512714 10800865280 22184 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1398] ppid=1394 vsize=10547720 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1398/stat : 1398 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830512716 10800865280 22184 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1399] ppid=1394 vsize=10547720 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1399/stat : 1399 (java) S 1394 1396 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830512716 10800865280 22184 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1400] ppid=1394 vsize=10547720 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1400/stat : 1400 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830512716 10800865280 22184 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1401] ppid=1394 vsize=10547720 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1401/stat : 1401 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830512716 10800865280 22184 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1402] ppid=1394 vsize=10547720 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1402/stat : 1402 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830512716 10800865280 22184 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1403] ppid=1394 vsize=10547720 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1403/stat : 1403 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830512716 10800865280 22184 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1404] ppid=1394 vsize=10547720 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1404/stat : 1404 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830512716 10800865280 22184 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1405] ppid=1394 vsize=10547720 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1405/stat : 1405 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830512716 10800865280 22184 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 10547720
[startup+1.50131 s]
/proc/loadavg: 4.10 3.98 3.75 6/618 1421
/proc/meminfo: memFree=21651392/32951124 swapFree=58940260/67111528
[pid=1396] ppid=1394 vsize=10549024 CPUtime=3.02 cores=1,3,5,7
/proc/1396/stat : 1396 (java) S 1394 1396 30921 0 -1 4202496 43853 0 1 0 296 6 0 0 25 0 22 0 830512714 10802200576 38056 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1396/statm: 2637256 38056 2241 9 0 2627990 0
[pid=1396/tid=1397] ppid=1394 vsize=10549024 CPUtime=0.4 cores=1,3,5,7
/proc/1396/task/1397/stat : 1397 (java) S 1394 1396 30921 0 -1 4202560 18078 0 1 0 38 2 0 0 16 0 22 0 830512714 10802200576 38056 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1398] ppid=1394 vsize=10549024 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1398/stat : 1398 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830512716 10802200576 38056 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1399] ppid=1394 vsize=10549024 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1399/stat : 1399 (java) S 1394 1396 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830512716 10802200576 38056 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1400] ppid=1394 vsize=10549024 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1400/stat : 1400 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830512716 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1401] ppid=1394 vsize=10549024 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1401/stat : 1401 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830512716 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1402] ppid=1394 vsize=10549024 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1402/stat : 1402 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830512716 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1403] ppid=1394 vsize=10549024 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1403/stat : 1403 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830512716 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1404] ppid=1394 vsize=10549024 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1404/stat : 1404 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830512716 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1405] ppid=1394 vsize=10549024 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1405/stat : 1405 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830512716 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1407] ppid=1394 vsize=10549024 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1407/stat : 1407 (java) S 1394 1396 30921 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830512717 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 0 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=1396/tid=1408] ppid=1394 vsize=10549024 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1408/stat : 1408 (java) S 1394 1396 30921 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830512718 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1409] ppid=1394 vsize=10549024 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1409/stat : 1409 (java) S 1394 1396 30921 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830512718 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=1396/tid=1410] ppid=1394 vsize=10549024 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1410/stat : 1410 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830512720 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699498929 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1411] ppid=1394 vsize=10549024 CPUtime=0.62 cores=1,3,5,7
/proc/1396/task/1411/stat : 1411 (java) R 1394 1396 30921 0 -1 4202560 3986 0 0 0 62 0 0 0 15 0 22 0 830512720 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 47661403376789 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1396/tid=1412] ppid=1394 vsize=10549024 CPUtime=0.78 cores=1,3,5,7
/proc/1396/task/1412/stat : 1412 (java) R 1394 1396 30921 0 -1 4202560 6687 0 0 0 77 1 0 0 16 0 22 0 830512720 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 47661404049947 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1396/tid=1413] ppid=1394 vsize=10549024 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1413/stat : 1413 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830512720 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1414] ppid=1394 vsize=10549024 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1414/stat : 1414 (java) S 1394 1396 30921 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830512720 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1417] ppid=1394 vsize=10549024 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1417/stat : 1417 (java) S 1394 1396 30921 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830512756 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 4 0 16800975 18446604469316630656 0 0 -1 3 0 0 0
[pid=1396/tid=1419] ppid=1394 vsize=10549024 CPUtime=0.57 cores=1,3,5,7
/proc/1396/task/1419/stat : 1419 (java) R 1394 1396 30921 0 -1 4202560 463 0 0 0 57 0 0 0 23 0 22 0 830512807 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 47661404998483 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1396/tid=1420] ppid=1394 vsize=10549024 CPUtime=0.54 cores=1,3,5,7
/proc/1396/task/1420/stat : 1420 (java) R 1394 1396 30921 0 -1 4202560 13282 0 0 0 53 1 0 0 25 0 22 0 830512807 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 46912505870545 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=1396/tid=1421] ppid=1394 vsize=10549024 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1421/stat : 1421 (java) S 1394 1396 30921 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 22 0 830512807 10802200576 38057 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 4 0 16800975 18446604469316630656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 10549024
[startup+3.10102 s]
/proc/loadavg: 4.09 3.98 3.76 5/618 1421
/proc/meminfo: memFree=21459036/32951124 swapFree=58940260/67111528
[pid=1396] ppid=1394 vsize=10549828 CPUtime=6.5 cores=1,3,5,7
/proc/1396/stat : 1396 (java) S 1394 1396 30921 0 -1 4202496 94740 0 1 0 638 12 0 0 25 0 22 0 830512714 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1396/statm: 2637457 87869 2269 9 0 2628191 0
[pid=1396/tid=1397] ppid=1394 vsize=10549828 CPUtime=0.4 cores=1,3,5,7
/proc/1396/task/1397/stat : 1397 (java) S 1394 1396 30921 0 -1 4202560 18078 0 1 0 38 2 0 0 15 0 22 0 830512714 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1398] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1398/stat : 1398 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1399] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1399/stat : 1399 (java) S 1394 1396 30921 0 -1 4202560 199 0 0 0 0 0 0 0 16 0 22 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1400] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1400/stat : 1400 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1401] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1401/stat : 1401 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1402] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1402/stat : 1402 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1403] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1403/stat : 1403 (java) S 1394 1396 30921 0 -1 4202560 589 0 0 0 0 0 0 0 16 0 22 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 5 0 0 0
[pid=1396/tid=1404] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1404/stat : 1404 (java) S 1394 1396 30921 0 -1 4202560 725 0 0 0 0 0 0 0 16 0 22 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1405] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1405/stat : 1405 (java) S 1394 1396 30921 0 -1 4202560 279 0 0 0 0 0 0 0 15 0 22 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1407] ppid=1394 vsize=10549828 CPUtime=0.03 cores=1,3,5,7
/proc/1396/task/1407/stat : 1407 (java) S 1394 1396 30921 0 -1 4202560 1371 0 0 0 3 0 0 0 16 0 22 0 830512717 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 0 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=1396/tid=1408] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1408/stat : 1408 (java) S 1394 1396 30921 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830512718 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1409] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1409/stat : 1409 (java) S 1394 1396 30921 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830512718 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=1396/tid=1410] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1410/stat : 1410 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830512720 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699498929 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1411] ppid=1394 vsize=10549828 CPUtime=0.82 cores=1,3,5,7
/proc/1396/task/1411/stat : 1411 (java) S 1394 1396 30921 0 -1 4202560 5204 0 0 0 82 0 0 0 15 0 22 0 830512720 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 3 0 0 0
[pid=1396/tid=1412] ppid=1394 vsize=10549828 CPUtime=0.91 cores=1,3,5,7
/proc/1396/task/1412/stat : 1412 (java) S 1394 1396 30921 0 -1 4202560 6770 0 0 0 90 1 0 0 15 0 22 0 830512720 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 5 0 0 0
[pid=1396/tid=1413] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1413/stat : 1413 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830512720 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1414] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1414/stat : 1414 (java) S 1394 1396 30921 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830512720 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1417] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1417/stat : 1417 (java) S 1394 1396 30921 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830512756 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 4 0 16800975 18446604469316630656 0 0 -1 3 0 0 0
[pid=1396/tid=1419] ppid=1394 vsize=10549828 CPUtime=2.12 cores=1,3,5,7
/proc/1396/task/1419/stat : 1419 (java) R 1394 1396 30921 0 -1 4202560 1470 0 0 0 212 0 0 0 18 0 22 0 830512807 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 46912505861018 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1396/tid=1420] ppid=1394 vsize=10549828 CPUtime=2.09 cores=1,3,5,7
/proc/1396/task/1420/stat : 1420 (java) R 1394 1396 30921 0 -1 4202560 58703 0 0 0 203 6 0 0 25 0 22 0 830512807 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 46912506101686 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=1396/tid=1421] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1421/stat : 1421 (java) S 1394 1396 30921 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 22 0 830512807 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 4 0 16800975 18446604469316630656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 10549828
Solver just ended. Dumping a history of the last processes samples
[startup+3.32201 s]
/proc/loadavg: 4.09 3.98 3.76 3/615 1421
/proc/meminfo: memFree=21389496/32951124 swapFree=58940260/67111528
[pid=1396] ppid=1394 vsize=10549828 CPUtime=6.62 cores=1,3,5,7
/proc/1396/stat : 1396 (java) S 1394 1396 30921 0 -1 4202496 94740 0 1 0 650 12 0 0 25 0 19 0 830512714 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1396/statm: 2637457 87869 2269 9 0 2628191 0
[pid=1396/tid=1397] ppid=1394 vsize=10549828 CPUtime=0.4 cores=1,3,5,7
/proc/1396/task/1397/stat : 1397 (java) S 1394 1396 30921 0 -1 4202560 18078 0 1 0 38 2 0 0 15 0 19 0 830512714 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1398] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1398/stat : 1398 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1399] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1399/stat : 1399 (java) S 1394 1396 30921 0 -1 4202560 199 0 0 0 0 0 0 0 16 0 19 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1400] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1400/stat : 1400 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1401] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1401/stat : 1401 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1402] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1402/stat : 1402 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1403] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1403/stat : 1403 (java) S 1394 1396 30921 0 -1 4202560 589 0 0 0 0 0 0 0 16 0 19 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 5 0 0 0
[pid=1396/tid=1404] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1404/stat : 1404 (java) S 1394 1396 30921 0 -1 4202560 725 0 0 0 0 0 0 0 16 0 19 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1405] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1405/stat : 1405 (java) S 1394 1396 30921 0 -1 4202560 279 0 0 0 0 0 0 0 15 0 19 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1407] ppid=1394 vsize=10549828 CPUtime=0.03 cores=1,3,5,7
/proc/1396/task/1407/stat : 1407 (java) S 1394 1396 30921 0 -1 4202560 1371 0 0 0 3 0 0 0 16 0 19 0 830512717 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 0 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=1396/tid=1408] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1408/stat : 1408 (java) S 1394 1396 30921 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830512718 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1409] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1409/stat : 1409 (java) S 1394 1396 30921 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 830512718 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=1396/tid=1410] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1410/stat : 1410 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830512720 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699498929 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1411] ppid=1394 vsize=10549828 CPUtime=0.82 cores=1,3,5,7
/proc/1396/task/1411/stat : 1411 (java) S 1394 1396 30921 0 -1 4202560 5204 0 0 0 82 0 0 0 15 0 19 0 830512720 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 3 0 0 0
[pid=1396/tid=1412] ppid=1394 vsize=10549828 CPUtime=0.91 cores=1,3,5,7
/proc/1396/task/1412/stat : 1412 (java) S 1394 1396 30921 0 -1 4202560 6770 0 0 0 90 1 0 0 15 0 19 0 830512720 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 5 0 0 0
[pid=1396/tid=1413] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1413/stat : 1413 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830512720 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1414] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1414/stat : 1414 (java) S 1394 1396 30921 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 830512720 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1421] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1421/stat : 1421 (java) S 1394 1396 30921 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 19 0 830512807 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 4 0 16800975 18446604469316630656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (KiB) 10549828
[startup+3.401 s]
/proc/loadavg: 4.09 3.98 3.76 3/615 1421
/proc/meminfo: memFree=21389496/32951124 swapFree=58940260/67111528
[pid=1396] ppid=1394 vsize=10549828 CPUtime=6.62 cores=1,3,5,7
/proc/1396/stat : 1396 (java) S 1394 1396 30921 0 -1 4202496 94740 0 1 0 650 12 0 0 25 0 19 0 830512714 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1396/statm: 2637457 87869 2269 9 0 2628191 0
[pid=1396/tid=1397] ppid=1394 vsize=10549828 CPUtime=0.4 cores=1,3,5,7
/proc/1396/task/1397/stat : 1397 (java) S 1394 1396 30921 0 -1 4202560 18078 0 1 0 38 2 0 0 15 0 19 0 830512714 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1398] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1398/stat : 1398 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1399] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1399/stat : 1399 (java) S 1394 1396 30921 0 -1 4202560 199 0 0 0 0 0 0 0 16 0 19 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1400] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1400/stat : 1400 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1401] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1401/stat : 1401 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1402] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1402/stat : 1402 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1403] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1403/stat : 1403 (java) S 1394 1396 30921 0 -1 4202560 589 0 0 0 0 0 0 0 16 0 19 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 5 0 0 0
[pid=1396/tid=1404] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1404/stat : 1404 (java) S 1394 1396 30921 0 -1 4202560 725 0 0 0 0 0 0 0 16 0 19 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1405] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1405/stat : 1405 (java) S 1394 1396 30921 0 -1 4202560 279 0 0 0 0 0 0 0 15 0 19 0 830512716 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1407] ppid=1394 vsize=10549828 CPUtime=0.03 cores=1,3,5,7
/proc/1396/task/1407/stat : 1407 (java) S 1394 1396 30921 0 -1 4202560 1371 0 0 0 3 0 0 0 16 0 19 0 830512717 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 0 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=1396/tid=1408] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1408/stat : 1408 (java) S 1394 1396 30921 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830512718 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1409] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1409/stat : 1409 (java) S 1394 1396 30921 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 830512718 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=1396/tid=1410] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1410/stat : 1410 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830512720 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699498929 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1411] ppid=1394 vsize=10549828 CPUtime=0.82 cores=1,3,5,7
/proc/1396/task/1411/stat : 1411 (java) S 1394 1396 30921 0 -1 4202560 5204 0 0 0 82 0 0 0 15 0 19 0 830512720 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 3 0 0 0
[pid=1396/tid=1412] ppid=1394 vsize=10549828 CPUtime=0.91 cores=1,3,5,7
/proc/1396/task/1412/stat : 1412 (java) S 1394 1396 30921 0 -1 4202560 6770 0 0 0 90 1 0 0 15 0 19 0 830512720 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 5 0 0 0
[pid=1396/tid=1413] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1413/stat : 1413 (java) S 1394 1396 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830512720 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1414] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1414/stat : 1414 (java) S 1394 1396 30921 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 830512720 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=1396/tid=1421] ppid=1394 vsize=10549828 CPUtime=0 cores=1,3,5,7
/proc/1396/task/1421/stat : 1421 (java) S 1394 1396 30921 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 19 0 830512807 10803023872 87869 33554432000 1073741824 1073778376 140737386988720 18446744073709551615 212699491840 0 4 0 16800975 18446604469316630656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (KiB) 10549828
Child status: 30
Real time (s): 3.47557
CPU time (s): 6.68298
CPU user time (s): 6.53601
CPU system time (s): 0.146977
CPU usage (%): 192.285
Max. virtual memory (cumulated for all children) (KiB): 10553228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.53601
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94768
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= 473
involuntary context switches= 158
runsolver used 0.019996 second user time and 0.068989 second system time
The end