runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (11519 MiB free)
memory of node 1: 16384 MiB (10443 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308540-1534275577/watcher-4308540-1534275577 -o /tmp/evaluation-result-4308540-1534275577/solver-4308540-1534275577 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534270673-20078 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 348128883 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308540-1534275577.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20539, runsolver pid=20536
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 1.48 1.47 1.49 3/215 20554
/proc/meminfo: memFree=22471664/32770624 swapFree=67108796/67108860
[pid=20539] ppid=20536 vsize=14082736 memory=33696 CPUtime=0.11 cores=1,3,5,7
/proc/20539/stat : 20539 (java) S 20536 20539 18471 0 -1 1077944320 7352 0 0 0 10 1 0 0 20 0 15 0 245120921 14420721664 8424 33554432000 4194304 4196468 140724411597072 140724411579616 140049832095479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
/proc/20539/statm: 3520684 8424 3139 1 0 3482761 0
[pid=20539/tid=20541] ppid=20536 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/20539/task/20541/stat : 20541 (java) R 20536 20539 18471 0 -1 4202560 5430 0 0 0 8 1 0 0 20 0 15 0 245120922 14420721664 8424 33554432000 4194304 4196468 140724411597072 140049836321168 140049832117405 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20542] ppid=20536 vsize=14082736 memory=5793855768672774585 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20542/stat : 20542 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120923 14420721664 8424 33554432000 4194304 4196468 140724411597072 140049762183952 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20543] ppid=20536 vsize=14082736 memory=140517662881408 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20543/stat : 20543 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120923 14420721664 8424 33554432000 4194304 4196468 140724411597072 140049761131408 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20544] ppid=20536 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20544/stat : 20544 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120923 14420721664 8424 33554432000 4194304 4196468 140724411597072 140049760078864 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20545] ppid=20536 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20545/stat : 20545 (java) S 20536 20539 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245120923 14420721664 8424 33554432000 4194304 4196468 140724411597072 140049759026320 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20546] ppid=20536 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20546/stat : 20546 (java) S 20536 20539 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245120924 14420721664 8424 33554432000 4194304 4196468 140724411597072 140048744814576 140049832106626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20547] ppid=20536 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20547/stat : 20547 (java) S 20536 20539 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245120925 14420721664 8424 33554432000 4194304 4196468 140724411597072 140048743760800 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20548] ppid=20536 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20548/stat : 20548 (java) S 20536 20539 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245120925 14420721664 8424 33554432000 4194304 4196468 140724411597072 140048742708208 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20549] ppid=20536 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20549/stat : 20549 (java) S 20536 20539 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245120927 14420721664 8424 33554432000 4194304 4196468 140724411597072 140048741656784 140049832114075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20550] ppid=20536 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20550/stat : 20550 (java) S 20536 20539 18471 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 245120927 14420721664 8424 33554432000 4194304 4196468 140724411597072 140048740604400 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20551] ppid=20536 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20551/stat : 20551 (java) R 20536 20539 18471 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 245120927 14420721664 8424 33554432000 4194304 4196468 140724411597072 140048739551856 140049832106626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20552] ppid=20536 vsize=14082736 memory=140517662881408 CPUtime=0.01 cores=1,3,5,7
/proc/20539/task/20552/stat : 20552 (java) R 20536 20539 18471 0 -1 4202560 249 0 0 0 1 0 0 0 20 0 15 0 245120927 14420721664 8424 33554432000 4194304 4196468 140724411597072 140048738499312 140049816342777 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20553] ppid=20536 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20553/stat : 20553 (java) S 20536 20539 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245120927 14420721664 8424 33554432000 4194304 4196468 140724411597072 140048737447008 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20554] ppid=20536 vsize=14082736 memory=140517662881408 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20554/stat : 20554 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120928 14420721664 8424 33554432000 4194304 4196468 140724411597072 140048736393520 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33696 KiB
[startup+0.210293 s]*
/proc/loadavg: 1.48 1.47 1.49 4/215 20554
/proc/meminfo: memFree=22456268/32770624 swapFree=67108796/67108860
[pid=20539] ppid=20536 vsize=14082736 memory=47080 CPUtime=0.3 cores=1,3,5,7
/proc/20539/stat : 20539 (java) S 20536 20539 18471 0 -1 1077944320 10384 0 0 0 28 2 0 0 20 0 15 0 245120921 14420721664 11770 33554432000 4194304 4196468 140724411597072 140724411579616 140049832095479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
/proc/20539/statm: 3520684 11770 3382 1 0 3482761 0
[pid=20539/tid=20541] ppid=20536 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/20539/task/20541/stat : 20541 (java) R 20536 20539 18471 0 -1 1077944384 8121 0 0 0 18 2 0 0 20 0 15 0 245120922 14420721664 11770 33554432000 4194304 4196468 140724411597072 140049836323824 140049832105685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20542] ppid=20536 vsize=14082736 memory=4211974243867671946 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20542/stat : 20542 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120923 14420721664 11770 33554432000 4194304 4196468 140724411597072 140049762183952 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20543] ppid=20536 vsize=14082736 memory=140517662881408 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20543/stat : 20543 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120923 14420721664 11770 33554432000 4194304 4196468 140724411597072 140049761131408 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20544] ppid=20536 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20544/stat : 20544 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120923 14420721664 11770 33554432000 4194304 4196468 140724411597072 140049760078864 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20545] ppid=20536 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20545/stat : 20545 (java) S 20536 20539 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245120923 14420721664 11770 33554432000 4194304 4196468 140724411597072 140049759026320 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20546] ppid=20536 vsize=14082736 memory=140517662881408 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20546/stat : 20546 (java) S 20536 20539 18471 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245120924 14420721664 11770 33554432000 4194304 4196468 140724411597072 140048744814576 140049832106626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20547] ppid=20536 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20547/stat : 20547 (java) S 20536 20539 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245120925 14420721664 11770 33554432000 4194304 4196468 140724411597072 140048743760800 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20548] ppid=20536 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20548/stat : 20548 (java) S 20536 20539 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245120925 14420721664 11770 33554432000 4194304 4196468 140724411597072 140048742708208 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20549] ppid=20536 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20549/stat : 20549 (java) S 20536 20539 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245120927 14420721664 11770 33554432000 4194304 4196468 140724411597072 140048741656784 140049832114075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20550] ppid=20536 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20539/task/20550/stat : 20550 (java) S 20536 20539 18471 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 15 0 245120927 14420721664 11770 33554432000 4194304 4196468 140724411597072 140048740604400 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20551] ppid=20536 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20539/task/20551/stat : 20551 (java) R 20536 20539 18471 0 -1 4202560 152 0 0 0 1 0 0 0 20 0 15 0 245120927 14420721664 11770 33554432000 4194304 4196468 140724411597072 140048739551856 140049813271431 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20552] ppid=20536 vsize=14082736 memory=140517662881408 CPUtime=0.06 cores=1,3,5,7
/proc/20539/task/20552/stat : 20552 (java) S 20536 20539 18471 0 -1 1077944384 278 0 0 0 6 0 0 0 20 0 15 0 245120927 14420721664 11770 33554432000 4194304 4196468 140724411597072 140048738499312 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20553] ppid=20536 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20553/stat : 20553 (java) S 20536 20539 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245120927 14420721664 11770 33554432000 4194304 4196468 140724411597072 140048737447008 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20554] ppid=20536 vsize=14082736 memory=140517662881408 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20554/stat : 20554 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120928 14420721664 11770 33554432000 4194304 4196468 140724411597072 140048736393520 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47080 KiB
[startup+0.310428 s]*
/proc/loadavg: 1.48 1.47 1.49 4/215 20554
/proc/meminfo: memFree=22452856/32770624 swapFree=67108796/67108860
[pid=20539] ppid=20536 vsize=14082736 memory=50328 CPUtime=0.43 cores=1,3,5,7
/proc/20539/stat : 20539 (java) S 20536 20539 18471 0 -1 1077944320 10732 0 0 0 40 3 0 0 20 0 15 0 245120921 14420721664 12582 33554432000 4194304 4196468 140724411597072 140724411579616 140049832095479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
/proc/20539/statm: 3520684 12582 3384 1 0 3482761 0
[pid=20539/tid=20541] ppid=20536 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/20539/task/20541/stat : 20541 (java) R 20536 20539 18471 0 -1 4202560 8454 0 0 0 27 2 0 0 20 0 15 0 245120922 14420721664 12582 33554432000 4194304 4196468 140724411597072 140049836257216 140049817261123 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20542] ppid=20536 vsize=14082736 memory=4211974243867671946 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20542/stat : 20542 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120923 14420721664 12582 33554432000 4194304 4196468 140724411597072 140049762183952 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20543] ppid=20536 vsize=14082736 memory=140517662883772 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20543/stat : 20543 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120923 14420721664 12582 33554432000 4194304 4196468 140724411597072 140049761131408 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20544] ppid=20536 vsize=14082736 memory=140517505626679 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20544/stat : 20544 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120923 14420721664 12582 33554432000 4194304 4196468 140724411597072 140049760078864 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20545] ppid=20536 vsize=14082736 memory=140517505617359 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20545/stat : 20545 (java) S 20536 20539 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245120923 14420721664 12582 33554432000 4194304 4196468 140724411597072 140049759026320 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20546] ppid=20536 vsize=14082736 memory=140517662899906 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20546/stat : 20546 (java) S 20536 20539 18471 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245120924 14420721664 12582 33554432000 4194304 4196468 140724411597072 140048744814576 140049832106626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20547] ppid=20536 vsize=14082736 memory=140517505626575 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20547/stat : 20547 (java) S 20536 20539 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245120925 14420721664 12582 33554432000 4194304 4196468 140724411597072 140048743760800 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20548] ppid=20536 vsize=14082736 memory=281035011243920 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20548/stat : 20548 (java) S 20536 20539 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245120925 14420721664 12582 33554432000 4194304 4196468 140724411597072 140048742708208 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20549] ppid=20536 vsize=14082736 memory=281035011241584 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20549/stat : 20549 (java) S 20536 20539 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245120927 14420721664 12582 33554432000 4194304 4196468 140724411597072 140048741656784 140049832114075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20550] ppid=20536 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20539/task/20550/stat : 20550 (java) S 20536 20539 18471 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 15 0 245120927 14420721664 12582 33554432000 4194304 4196468 140724411597072 140048740604400 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20551] ppid=20536 vsize=14082736 memory=2240 CPUtime=0.01 cores=1,3,5,7
/proc/20539/task/20551/stat : 20551 (java) S 20536 20539 18471 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 15 0 245120927 14420721664 12582 33554432000 4194304 4196468 140724411597072 140048739551856 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20552] ppid=20536 vsize=14082736 memory=140517662881408 CPUtime=0.08 cores=1,3,5,7
/proc/20539/task/20552/stat : 20552 (java) S 20536 20539 18471 0 -1 1077944384 287 0 0 0 8 0 0 0 20 0 15 0 245120927 14420721664 12582 33554432000 4194304 4196468 140724411597072 140048738499312 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20553] ppid=20536 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20553/stat : 20553 (java) S 20536 20539 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245120927 14420721664 12582 33554432000 4194304 4196468 140724411597072 140048737447008 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20554] ppid=20536 vsize=14082736 memory=140517662881408 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20554/stat : 20554 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120928 14420721664 12582 33554432000 4194304 4196468 140724411597072 140048736393520 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50328 KiB
[startup+0.700783 s]
/proc/loadavg: 1.48 1.47 1.49 3/215 20554
/proc/meminfo: memFree=22431092/32770624 swapFree=67108796/67108860
[pid=20539] ppid=20536 vsize=14084804 memory=88584 CPUtime=0.99 cores=1,3,5,7
/proc/20539/stat : 20539 (java) S 20536 20539 18471 0 -1 1077944320 17570 0 0 0 94 5 0 0 20 0 15 0 245120921 14422839296 22146 33554432000 4194304 4196468 140724411597072 140724411579616 140049832095479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
/proc/20539/statm: 3521201 22146 3504 1 0 3483273 0
[pid=20539/tid=20541] ppid=20536 vsize=14084804 memory=796 CPUtime=0.67 cores=1,3,5,7
/proc/20539/task/20541/stat : 20541 (java) R 20536 20539 18471 0 -1 4202560 14873 0 0 0 63 4 0 0 20 0 15 0 245120922 14422839296 22146 33554432000 4194304 4196468 140724411597072 140049836319472 140049816175966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20542] ppid=20536 vsize=14084804 memory=1592 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20542/stat : 20542 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120923 14422839296 22146 33554432000 4194304 4196468 140724411597072 140049762183952 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20543] ppid=20536 vsize=14084804 memory=3780 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20543/stat : 20543 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120923 14422839296 22146 33554432000 4194304 4196468 140724411597072 140049761131408 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20544] ppid=20536 vsize=14084804 memory=7236533984234661184 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20544/stat : 20544 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120923 14422839296 22146 33554432000 4194304 4196468 140724411597072 140049760078864 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20545] ppid=20536 vsize=14084804 memory=8099279071866868837 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20545/stat : 20545 (java) S 20536 20539 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245120923 14422839296 22146 33554432000 4194304 4196468 140724411597072 140049759026320 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20546] ppid=20536 vsize=14084804 memory=4641330296368681042 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20546/stat : 20546 (java) S 20536 20539 18471 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245120924 14422839296 22146 33554432000 4194304 4196468 140724411597072 140048744814576 140049832106626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20547] ppid=20536 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20547/stat : 20547 (java) S 20536 20539 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245120925 14422839296 22146 33554432000 4194304 4196468 140724411597072 140048743760800 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20548] ppid=20536 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20548/stat : 20548 (java) S 20536 20539 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245120925 14422839296 22146 33554432000 4194304 4196468 140724411597072 140048742708208 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20549] ppid=20536 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20549/stat : 20549 (java) S 20536 20539 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245120927 14422839296 22146 33554432000 4194304 4196468 140724411597072 140048741656784 140049832114075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20550] ppid=20536 vsize=14084804 memory=570 CPUtime=0.08 cores=1,3,5,7
/proc/20539/task/20550/stat : 20550 (java) S 20536 20539 18471 0 -1 1077944384 606 0 0 0 8 0 0 0 20 0 15 0 245120927 14422839296 22146 33554432000 4194304 4196468 140724411597072 140048740604400 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20551] ppid=20536 vsize=14084804 memory=7 CPUtime=0.06 cores=1,3,5,7
/proc/20539/task/20551/stat : 20551 (java) S 20536 20539 18471 0 -1 1077944384 324 0 0 0 6 0 0 0 20 0 15 0 245120927 14422839296 22146 33554432000 4194304 4196468 140724411597072 140048739551856 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20552] ppid=20536 vsize=14084804 memory=701 CPUtime=0.15 cores=1,3,5,7
/proc/20539/task/20552/stat : 20552 (java) R 20536 20539 18471 0 -1 4202560 386 0 0 0 15 0 0 0 20 0 15 0 245120927 14422839296 22146 33554432000 4194304 4196468 140724411597072 140048738499312 140049810721936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20553] ppid=20536 vsize=14084804 memory=281035011427824 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20553/stat : 20553 (java) S 20536 20539 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245120927 14422839296 22146 33554432000 4194304 4196468 140724411597072 140048737447008 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20554] ppid=20536 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20554/stat : 20554 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120928 14422839296 22146 33554432000 4194304 4196468 140724411597072 140048736393520 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88584 KiB
[startup+1.51017 s]
/proc/loadavg: 1.52 1.48 1.49 6/215 20554
/proc/meminfo: memFree=22388344/32770624 swapFree=67108796/67108860
[pid=20539] ppid=20536 vsize=14088900 memory=184004 CPUtime=3.51 cores=1,3,5,7
/proc/20539/stat : 20539 (java) S 20536 20539 18471 0 -1 1077944320 24760 0 0 0 343 8 0 0 20 0 15 0 245120921 14427033600 45976 33554432000 4194304 4196468 140724411597072 140724411579616 140049832095479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
/proc/20539/statm: 3522225 46001 3549 1 0 3484297 0
[pid=20539/tid=20541] ppid=20536 vsize=14088900 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/20539/task/20541/stat : 20541 (java) R 20536 20539 18471 0 -1 4202560 17835 0 0 0 142 5 0 0 20 0 15 0 245120922 14427033600 46001 33554432000 4194304 4196468 140724411597072 140049836329056 140049444368732 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20542] ppid=20536 vsize=14088900 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20542/stat : 20542 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120923 14427033600 46001 33554432000 4194304 4196468 140724411597072 140049762183952 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20543] ppid=20536 vsize=14088900 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20543/stat : 20543 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120923 14427033600 46001 33554432000 4194304 4196468 140724411597072 140049761131408 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20544] ppid=20536 vsize=14088900 memory=4947939328470588288 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20544/stat : 20544 (java) S 20536 20539 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245120923 14427033600 46001 33554432000 4194304 4196468 140724411597072 140049760078864 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20545] ppid=20536 vsize=14088900 memory=-3472574513799858003 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20545/stat : 20545 (java) S 20536 20539 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245120923 14427033600 46001 33554432000 4194304 4196468 140724411597072 140049759026320 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20546] ppid=20536 vsize=14088900 memory=-6305710624476718208 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20546/stat : 20546 (java) S 20536 20539 18471 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 245120924 14427033600 46001 33554432000 4194304 4196468 140724411597072 140048744814576 140049832106626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
################
# More data... #
################
/proc/20539/task/20541/stat : 20541 (java) R 20536 20539 18471 0 -1 4202560 68535 0 0 0 237486 29 0 0 20 0 15 0 245120922 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049836333760 140049439067147 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20542] ppid=20536 vsize=14092996 memory=1332808 CPUtime=4.43 cores=1,3,5,7
/proc/20539/task/20542/stat : 20542 (java) S 20536 20539 18471 0 -1 1077944384 14416 0 0 0 422 21 0 0 20 0 15 0 245120923 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049762183952 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20543] ppid=20536 vsize=14092996 memory=1332808 CPUtime=4.37 cores=1,3,5,7
/proc/20539/task/20543/stat : 20543 (java) S 20536 20539 18471 0 -1 1077944384 13131 0 0 0 417 20 0 0 20 0 15 0 245120923 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049761131408 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20544] ppid=20536 vsize=14092996 memory=1332808 CPUtime=4.41 cores=1,3,5,7
/proc/20539/task/20544/stat : 20544 (java) S 20536 20539 18471 0 -1 1077944384 15733 0 0 0 419 22 0 0 20 0 15 0 245120923 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049760078864 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20545] ppid=20536 vsize=14092996 memory=281035011621024 CPUtime=4.4 cores=1,3,5,7
/proc/20539/task/20545/stat : 20545 (java) S 20536 20539 18471 0 -1 1077944384 13608 0 0 0 418 22 0 0 20 0 15 0 245120923 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049759026320 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20546] ppid=20536 vsize=14092996 memory=1332808 CPUtime=1.63 cores=1,3,5,7
/proc/20539/task/20546/stat : 20546 (java) S 20536 20539 18471 0 -1 1077944384 13507 0 0 0 152 11 0 0 20 0 15 0 245120924 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048744814576 140049832106626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20547] ppid=20536 vsize=14092996 memory=1332808 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20547/stat : 20547 (java) S 20536 20539 18471 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 245120925 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048743760864 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20548] ppid=20536 vsize=14092996 memory=1332808 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20548/stat : 20548 (java) S 20536 20539 18471 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 245120925 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048742708224 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20549] ppid=20536 vsize=14092996 memory=1332808 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20549/stat : 20549 (java) S 20536 20539 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048741656784 140049832114075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20550] ppid=20536 vsize=14092996 memory=1332808 CPUtime=3.1 cores=1,3,5,7
/proc/20539/task/20550/stat : 20550 (java) S 20536 20539 18471 0 -1 1077944384 7073 0 0 0 309 1 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048740604400 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20551] ppid=20536 vsize=14092996 memory=1332808 CPUtime=3.02 cores=1,3,5,7
/proc/20539/task/20551/stat : 20551 (java) S 20536 20539 18471 0 -1 1077944384 7530 0 0 0 300 2 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048739551856 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20552] ppid=20536 vsize=14092996 memory=2056 CPUtime=1.29 cores=1,3,5,7
/proc/20539/task/20552/stat : 20552 (java) S 20536 20539 18471 0 -1 1077944384 6253 0 0 0 127 2 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048738499312 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20553] ppid=20536 vsize=14092996 memory=932 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20553/stat : 20553 (java) S 20536 20539 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048737447008 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20554] ppid=20536 vsize=14092996 memory=796 CPUtime=0.58 cores=1,3,5,7
/proc/20539/task/20554/stat : 20554 (java) S 20536 20539 18471 0 -1 1077944384 1334 0 0 0 23 35 0 0 20 0 15 0 245120928 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048736393520 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
Current children cumulated CPU time: 2402.48 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1332808 KiB
[startup+2442.3 s]
/proc/loadavg: 1.37 1.42 1.47 3/215 20734
/proc/meminfo: memFree=22463752/32770624 swapFree=67108796/67108860
[pid=20539] ppid=20536 vsize=14092996 memory=1332808 CPUtime=2462.88 cores=1,3,5,7
/proc/20539/stat : 20539 (java) S 20536 20539 18471 0 -1 1077944320 164444 0 0 0 246135 153 0 0 20 0 15 0 245120921 14431227904 333202 33554432000 4194304 4196468 140724411597072 140724411579616 140049832095479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
/proc/20539/statm: 3523249 333202 3616 1 0 3485321 0
[pid=20539/tid=20541] ppid=20536 vsize=14092996 memory=1332808 CPUtime=2434.93 cores=1,3,5,7
/proc/20539/task/20541/stat : 20541 (java) R 20536 20539 18471 0 -1 4202560 69269 0 0 0 243464 29 0 0 20 0 15 0 245120922 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049836333776 140049452482520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20542] ppid=20536 vsize=14092996 memory=1332808 CPUtime=4.57 cores=1,3,5,7
/proc/20539/task/20542/stat : 20542 (java) S 20536 20539 18471 0 -1 1077944384 14603 0 0 0 436 21 0 0 20 0 15 0 245120923 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049762183952 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20543] ppid=20536 vsize=14092996 memory=1332808 CPUtime=4.5 cores=1,3,5,7
/proc/20539/task/20543/stat : 20543 (java) S 20536 20539 18471 0 -1 1077944384 13571 0 0 0 430 20 0 0 20 0 15 0 245120923 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049761131408 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20544] ppid=20536 vsize=14092996 memory=1332808 CPUtime=4.56 cores=1,3,5,7
/proc/20539/task/20544/stat : 20544 (java) S 20536 20539 18471 0 -1 1077944384 15923 0 0 0 433 23 0 0 20 0 15 0 245120923 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049760078864 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20545] ppid=20536 vsize=14092996 memory=1332808 CPUtime=4.53 cores=1,3,5,7
/proc/20539/task/20545/stat : 20545 (java) S 20536 20539 18471 0 -1 1077944384 13724 0 0 0 431 22 0 0 20 0 15 0 245120923 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049759026320 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20546] ppid=20536 vsize=14092996 memory=1332808 CPUtime=1.68 cores=1,3,5,7
/proc/20539/task/20546/stat : 20546 (java) S 20536 20539 18471 0 -1 1077944384 13693 0 0 0 157 11 0 0 20 0 15 0 245120924 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048744814576 140049832106626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20547] ppid=20536 vsize=14092996 memory=1332808 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20547/stat : 20547 (java) S 20536 20539 18471 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 245120925 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048743760864 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20548] ppid=20536 vsize=14092996 memory=1332808 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20548/stat : 20548 (java) S 20536 20539 18471 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 245120925 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048742708224 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20549] ppid=20536 vsize=14092996 memory=1332808 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20549/stat : 20549 (java) S 20536 20539 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048741656784 140049832114075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20550] ppid=20536 vsize=14092996 memory=1332808 CPUtime=3.1 cores=1,3,5,7
/proc/20539/task/20550/stat : 20550 (java) S 20536 20539 18471 0 -1 1077944384 7077 0 0 0 309 1 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048740604400 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20551] ppid=20536 vsize=14092996 memory=1332808 CPUtime=3.02 cores=1,3,5,7
/proc/20539/task/20551/stat : 20551 (java) S 20536 20539 18471 0 -1 1077944384 7534 0 0 0 300 2 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048739551856 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20552] ppid=20536 vsize=14092996 memory=1332808 CPUtime=1.29 cores=1,3,5,7
/proc/20539/task/20552/stat : 20552 (java) S 20536 20539 18471 0 -1 1077944384 6257 0 0 0 127 2 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048738499312 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20553] ppid=20536 vsize=14092996 memory=1332808 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20553/stat : 20553 (java) S 20536 20539 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048737447008 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20554] ppid=20536 vsize=14092996 memory=1332808 CPUtime=0.6 cores=1,3,5,7
/proc/20539/task/20554/stat : 20554 (java) S 20536 20539 18471 0 -1 1077944384 1351 0 0 0 24 36 0 0 20 0 15 0 245120928 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048736393520 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
Current children cumulated CPU time: 2462.88 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1332808 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499.11 s]
/proc/loadavg: 1.08 1.33 1.44 3/215 20735
/proc/meminfo: memFree=22461960/32770624 swapFree=67108796/67108860
[pid=20539] ppid=20536 vsize=14092996 memory=1332808 CPUtime=2520.1 cores=1,3,5,7
/proc/20539/stat : 20539 (java) S 20536 20539 18471 0 -1 1077944320 166476 0 0 0 251855 155 0 0 20 0 15 0 245120921 14431227904 333202 33554432000 4194304 4196468 140724411597072 140724411579616 140049832095479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
/proc/20539/statm: 3523249 333202 3616 1 0 3485321 0
[pid=20539/tid=20541] ppid=20536 vsize=14092996 memory=1332808 CPUtime=2491.54 cores=1,3,5,7
/proc/20539/task/20541/stat : 20541 (java) R 20536 20539 18471 0 -1 4202560 69982 0 0 0 249125 29 0 0 20 0 15 0 245120922 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049836333680 140049439067147 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20542] ppid=20536 vsize=14092996 memory=1332808 CPUtime=4.71 cores=1,3,5,7
/proc/20539/task/20542/stat : 20542 (java) S 20536 20539 18471 0 -1 1077944384 14832 0 0 0 449 22 0 0 20 0 15 0 245120923 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049762183952 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20543] ppid=20536 vsize=14092996 memory=1332808 CPUtime=4.64 cores=1,3,5,7
/proc/20539/task/20543/stat : 20543 (java) S 20536 20539 18471 0 -1 1077944384 13756 0 0 0 443 21 0 0 20 0 15 0 245120923 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049761131408 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20544] ppid=20536 vsize=14092996 memory=1332808 CPUtime=4.69 cores=1,3,5,7
/proc/20539/task/20544/stat : 20544 (java) S 20536 20539 18471 0 -1 1077944384 16359 0 0 0 446 23 0 0 20 0 15 0 245120923 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049760078864 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20545] ppid=20536 vsize=14092996 memory=1332808 CPUtime=4.66 cores=1,3,5,7
/proc/20539/task/20545/stat : 20545 (java) S 20536 20539 18471 0 -1 1077944384 13837 0 0 0 444 22 0 0 20 0 15 0 245120923 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049759026320 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20546] ppid=20536 vsize=14092996 memory=1332808 CPUtime=1.74 cores=1,3,5,7
/proc/20539/task/20546/stat : 20546 (java) S 20536 20539 18471 0 -1 1077944384 14019 0 0 0 162 12 0 0 20 0 15 0 245120924 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048744814576 140049832106626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20547] ppid=20536 vsize=14092996 memory=1332808 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20547/stat : 20547 (java) S 20536 20539 18471 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 245120925 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048743760864 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20548] ppid=20536 vsize=14092996 memory=1332808 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20548/stat : 20548 (java) S 20536 20539 18471 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 245120925 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048742708224 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20549] ppid=20536 vsize=14092996 memory=3632 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20549/stat : 20549 (java) S 20536 20539 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048741656784 140049832114075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20550] ppid=20536 vsize=14092996 memory=33 CPUtime=3.1 cores=1,3,5,7
/proc/20539/task/20550/stat : 20550 (java) S 20536 20539 18471 0 -1 1077944384 7079 0 0 0 309 1 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048740604400 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20551] ppid=20536 vsize=14092996 memory=1332808 CPUtime=3.02 cores=1,3,5,7
/proc/20539/task/20551/stat : 20551 (java) S 20536 20539 18471 0 -1 1077944384 7536 0 0 0 300 2 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048739551856 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20552] ppid=20536 vsize=14092996 memory=800 CPUtime=1.29 cores=1,3,5,7
/proc/20539/task/20552/stat : 20552 (java) S 20536 20539 18471 0 -1 1077944384 6259 0 0 0 127 2 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048738499312 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20553] ppid=20536 vsize=14092996 memory=3632 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20553/stat : 20553 (java) S 20536 20539 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048737447008 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20554] ppid=20536 vsize=14092996 memory=66528 CPUtime=0.61 cores=1,3,5,7
/proc/20539/task/20554/stat : 20554 (java) S 20536 20539 18471 0 -1 1077944384 1375 0 0 0 24 37 0 0 20 0 15 0 245120928 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048736393520 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1332808 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.12 s]
# the end of solver process 20539 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.56 s, system=1.56319 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2499.11 s]
/proc/loadavg: 1.08 1.33 1.44 3/215 20735
/proc/meminfo: memFree=22461960/32770624 swapFree=67108796/67108860
[pid=20539] ppid=20536 vsize=14092996 memory=1332808 CPUtime=2520.1 cores=1,3,5,7
/proc/20539/stat : 20539 (java) S 20536 20539 18471 0 -1 1077944320 166476 0 0 0 251855 155 0 0 20 0 15 0 245120921 14431227904 333202 33554432000 4194304 4196468 140724411597072 140724411579616 140049832095479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
/proc/20539/statm: 3523249 333202 3616 1 0 3485321 0
[pid=20539/tid=20541] ppid=20536 vsize=14092996 memory=1332808 CPUtime=2491.54 cores=1,3,5,7
/proc/20539/task/20541/stat : 20541 (java) R 20536 20539 18471 0 -1 4202560 69982 0 0 0 249125 29 0 0 20 0 15 0 245120922 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049836333680 140049439067147 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20542] ppid=20536 vsize=14092996 memory=1332808 CPUtime=4.71 cores=1,3,5,7
/proc/20539/task/20542/stat : 20542 (java) S 20536 20539 18471 0 -1 1077944384 14832 0 0 0 449 22 0 0 20 0 15 0 245120923 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049762183952 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20543] ppid=20536 vsize=14092996 memory=1332808 CPUtime=4.64 cores=1,3,5,7
/proc/20539/task/20543/stat : 20543 (java) S 20536 20539 18471 0 -1 1077944384 13756 0 0 0 443 21 0 0 20 0 15 0 245120923 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049761131408 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20544] ppid=20536 vsize=14092996 memory=1332808 CPUtime=4.69 cores=1,3,5,7
/proc/20539/task/20544/stat : 20544 (java) S 20536 20539 18471 0 -1 1077944384 16359 0 0 0 446 23 0 0 20 0 15 0 245120923 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049760078864 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20545] ppid=20536 vsize=14092996 memory=1332808 CPUtime=4.66 cores=1,3,5,7
/proc/20539/task/20545/stat : 20545 (java) S 20536 20539 18471 0 -1 1077944384 13837 0 0 0 444 22 0 0 20 0 15 0 245120923 14431227904 333202 33554432000 4194304 4196468 140724411597072 140049759026320 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20546] ppid=20536 vsize=14092996 memory=1332808 CPUtime=1.74 cores=1,3,5,7
/proc/20539/task/20546/stat : 20546 (java) S 20536 20539 18471 0 -1 1077944384 14019 0 0 0 162 12 0 0 20 0 15 0 245120924 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048744814576 140049832106626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20547] ppid=20536 vsize=14092996 memory=1332808 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20547/stat : 20547 (java) S 20536 20539 18471 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 245120925 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048743760864 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20548] ppid=20536 vsize=14092996 memory=1332808 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20548/stat : 20548 (java) S 20536 20539 18471 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 245120925 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048742708224 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20549] ppid=20536 vsize=14092996 memory=3632 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20549/stat : 20549 (java) S 20536 20539 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048741656784 140049832114075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20550] ppid=20536 vsize=14092996 memory=33 CPUtime=3.1 cores=1,3,5,7
/proc/20539/task/20550/stat : 20550 (java) S 20536 20539 18471 0 -1 1077944384 7079 0 0 0 309 1 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048740604400 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20551] ppid=20536 vsize=14092996 memory=1332808 CPUtime=3.02 cores=1,3,5,7
/proc/20539/task/20551/stat : 20551 (java) S 20536 20539 18471 0 -1 1077944384 7536 0 0 0 300 2 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048739551856 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20552] ppid=20536 vsize=14092996 memory=800 CPUtime=1.29 cores=1,3,5,7
/proc/20539/task/20552/stat : 20552 (java) S 20536 20539 18471 0 -1 1077944384 6259 0 0 0 127 2 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048738499312 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20553] ppid=20536 vsize=14092996 memory=3632 CPUtime=0 cores=1,3,5,7
/proc/20539/task/20553/stat : 20553 (java) S 20536 20539 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245120927 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048737447008 140049832105685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
[pid=20539/tid=20554] ppid=20536 vsize=14092996 memory=66528 CPUtime=0.61 cores=1,3,5,7
/proc/20539/task/20554/stat : 20554 (java) S 20536 20539 18471 0 -1 1077944384 1375 0 0 0 24 37 0 0 20 0 15 0 245120928 14431227904 333202 33554432000 4194304 4196468 140724411597072 140048736393520 140049832106626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 7393280 140724411602005 140724411602185 140724411602185 140724411604943 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1332808 KiB
Child status: 143
Real time (s): 2499.12
CPU time (s): 2520.12
CPU user time (s): 2518.56
CPU system time (s): 1.56319
CPU usage (%): 100.84
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 1662532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.56
system time used= 1.56319
maximum resident set size= 1664632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166750
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99784
involuntary context switches= 2055
# summary of solver processes directly reported to runsolver:
# pid: 20539
# total CPU time (s): 2520.12
# total CPU user time (s): 2518.56
# total CPU system time (s): 1.56319
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4471 second user time and 22.1231 second system time
The end