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 (12199 MiB free)
memory of node 1: 16384 MiB (10354 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308121-1534349101/watcher-4308121-1534349101 -o /tmp/evaluation-result-4308121-1534349101/solver-4308121-1534349101 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534346584-22043 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1004803138 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308121-1534349101.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=22418, runsolver pid=22415
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 1.61 1.42 1.43 3/217 22433
/proc/meminfo: memFree=23077044/32770624 swapFree=67108368/67108860
[pid=22418] ppid=22415 vsize=14082736 memory=30220 CPUtime=0.12 cores=1,3,5,7
/proc/22418/stat : 22418 (java) S 22415 22418 20173 0 -1 1077944320 6525 0 0 0 10 2 0 0 20 0 15 0 252473292 14420721664 7555 33554432000 4194304 4196468 140736332954336 140736332936880 140246216769271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
/proc/22418/statm: 3520684 7555 3152 1 0 3482761 0
[pid=22418/tid=22420] ppid=22415 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=1,3,5,7
/proc/22418/task/22420/stat : 22420 (java) R 22415 22418 20173 0 -1 4202560 4540 0 0 0 8 1 0 0 20 0 15 0 252473292 14420721664 7620 33554432000 4194304 4196468 140736332954336 140246220964608 140246200849758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22421] ppid=22415 vsize=14082736 memory=5793855095403927993 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22421/stat : 22421 (java) S 22415 22418 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252473293 14420721664 7620 33554432000 4194304 4196468 140736332954336 140246186482576 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22422] ppid=22415 vsize=14082736 memory=139844394034816 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22422/stat : 22422 (java) S 22415 22418 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252473293 14420721664 7620 33554432000 4194304 4196468 140736332954336 140246185429776 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22423] ppid=22415 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22423/stat : 22423 (java) S 22415 22418 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252473293 14420721664 7620 33554432000 4194304 4196468 140736332954336 140245810945168 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22424] ppid=22415 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22424/stat : 22424 (java) S 22415 22418 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252473293 14420721664 7620 33554432000 4194304 4196468 140736332954336 140245809892368 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22425] ppid=22415 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22425/stat : 22425 (java) S 22415 22418 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252473294 14420721664 7620 33554432000 4194304 4196468 140736332954336 140245691467888 140246216780418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22426] ppid=22415 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22426/stat : 22426 (java) S 22415 22418 20173 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252473294 14420721664 7620 33554432000 4194304 4196468 140736332954336 140245690413856 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22427] ppid=22415 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22427/stat : 22427 (java) S 22415 22418 20173 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252473295 14420721664 7620 33554432000 4194304 4196468 140736332954336 140245689361520 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22428] ppid=22415 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22428/stat : 22428 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14420721664 7620 33554432000 4194304 4196468 140736332954336 140245688309840 140246216787867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22429] ppid=22415 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22429/stat : 22429 (java) S 22415 22418 20173 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 252473297 14420721664 7620 33554432000 4194304 4196468 140736332954336 140245687257712 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22430] ppid=22415 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22430/stat : 22430 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14420721664 7620 33554432000 4194304 4196468 140736332954336 140245686204912 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22431] ppid=22415 vsize=14082736 memory=139844394034816 CPUtime=0.01 cores=1,3,5,7
/proc/22418/task/22431/stat : 22431 (java) S 22415 22418 20173 0 -1 1077944384 308 0 0 0 1 0 0 0 20 0 15 0 252473297 14420721664 7620 33554432000 4194304 4196468 140736332954336 140245685152624 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22432] ppid=22415 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22432/stat : 22432 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14420721664 7620 33554432000 4194304 4196468 140736332954336 140245684100064 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22433] ppid=22415 vsize=14082736 memory=139844394034816 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22433/stat : 22433 (java) S 22415 22418 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252473297 14420721664 7620 33554432000 4194304 4196468 140736332954336 140245683046832 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30220 KiB
[startup+0.210469 s]*
/proc/loadavg: 1.61 1.42 1.43 6/217 22433
/proc/meminfo: memFree=23062036/32770624 swapFree=67108368/67108860
[pid=22418] ppid=22415 vsize=14082736 memory=46824 CPUtime=0.31 cores=1,3,5,7
/proc/22418/stat : 22418 (java) S 22415 22418 20173 0 -1 1077944320 10259 0 0 0 28 3 0 0 20 0 15 0 252473292 14420721664 11706 33554432000 4194304 4196468 140736332954336 140736332936880 140246216769271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
/proc/22418/statm: 3520684 11706 3413 1 0 3482761 0
[pid=22418/tid=22420] ppid=22415 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/22418/task/22420/stat : 22420 (java) R 22415 22418 20173 0 -1 1077944384 7847 0 0 0 18 2 0 0 20 0 15 0 252473292 14420721664 11706 33554432000 4194304 4196468 140736332954336 140246220996176 140246216781206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22421] ppid=22415 vsize=14082736 memory=4211973570598825354 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22421/stat : 22421 (java) S 22415 22418 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252473293 14420721664 11706 33554432000 4194304 4196468 140736332954336 140246186482576 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22422] ppid=22415 vsize=14082736 memory=139844394034816 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22422/stat : 22422 (java) S 22415 22418 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252473293 14420721664 11706 33554432000 4194304 4196468 140736332954336 140246185429776 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22423] ppid=22415 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22423/stat : 22423 (java) S 22415 22418 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252473293 14420721664 11706 33554432000 4194304 4196468 140736332954336 140245810945168 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22424] ppid=22415 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22424/stat : 22424 (java) S 22415 22418 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252473293 14420721664 11706 33554432000 4194304 4196468 140736332954336 140245809892368 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22425] ppid=22415 vsize=14082736 memory=139844394034816 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22425/stat : 22425 (java) S 22415 22418 20173 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252473294 14420721664 11706 33554432000 4194304 4196468 140736332954336 140245691467888 140246216780418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22426] ppid=22415 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22426/stat : 22426 (java) S 22415 22418 20173 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252473294 14420721664 11706 33554432000 4194304 4196468 140736332954336 140245690413856 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22427] ppid=22415 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22427/stat : 22427 (java) S 22415 22418 20173 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252473295 14420721664 11706 33554432000 4194304 4196468 140736332954336 140245689361520 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22428] ppid=22415 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22428/stat : 22428 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14420721664 11706 33554432000 4194304 4196468 140736332954336 140245688309840 140246216787867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22429] ppid=22415 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22418/task/22429/stat : 22429 (java) R 22415 22418 20173 0 -1 4202560 530 0 0 0 2 0 0 0 20 0 15 0 252473297 14420721664 11706 33554432000 4194304 4196468 140736332954336 140245687249360 140246196026514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22430] ppid=22415 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22418/task/22430/stat : 22430 (java) R 22415 22418 20173 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 15 0 252473297 14420721664 11706 33554432000 4194304 4196468 140736332954336 140245686205008 140246216779477 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22431] ppid=22415 vsize=14082736 memory=139844394034816 CPUtime=0.06 cores=1,3,5,7
/proc/22418/task/22431/stat : 22431 (java) R 22415 22418 20173 0 -1 4202560 405 0 0 0 6 0 0 0 20 0 15 0 252473297 14420721664 11706 33554432000 4194304 4196468 140736332954336 140245685150160 140246195714882 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22432] ppid=22415 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22432/stat : 22432 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14420721664 11706 33554432000 4194304 4196468 140736332954336 140245684100064 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22433] ppid=22415 vsize=14082736 memory=139844394034816 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22433/stat : 22433 (java) S 22415 22418 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252473297 14420721664 11706 33554432000 4194304 4196468 140736332954336 140245683046832 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46824 KiB
[startup+0.310541 s]*
/proc/loadavg: 1.61 1.42 1.43 3/217 22433
/proc/meminfo: memFree=23058128/32770624 swapFree=67108368/67108860
[pid=22418] ppid=22415 vsize=14082736 memory=50176 CPUtime=0.44 cores=1,3,5,7
/proc/22418/stat : 22418 (java) S 22415 22418 20173 0 -1 1077944320 10667 0 0 0 41 3 0 0 20 0 15 0 252473292 14420721664 12544 33554432000 4194304 4196468 140736332954336 140736332936880 140246216769271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
/proc/22418/statm: 3520684 12544 3416 1 0 3482761 0
[pid=22418/tid=22420] ppid=22415 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/22418/task/22420/stat : 22420 (java) R 22415 22418 20173 0 -1 4202560 8181 0 0 0 28 2 0 0 20 0 15 0 252473292 14420721664 12544 33554432000 4194304 4196468 140736332954336 140246220977104 140246198332823 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22421] ppid=22415 vsize=14082736 memory=4211973570598825354 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22421/stat : 22421 (java) S 22415 22418 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252473293 14420721664 12544 33554432000 4194304 4196468 140736332954336 140246186482576 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22422] ppid=22415 vsize=14082736 memory=139844394037167 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22422/stat : 22422 (java) S 22415 22418 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252473293 14420721664 12544 33554432000 4194304 4196468 140736332954336 140246185429776 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22423] ppid=22415 vsize=14082736 memory=139844269504733 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22423/stat : 22423 (java) S 22415 22418 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252473293 14420721664 12544 33554432000 4194304 4196468 140736332954336 140245810945168 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22424] ppid=22415 vsize=14082736 memory=139844269493711 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22424/stat : 22424 (java) S 22415 22418 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252473293 14420721664 12544 33554432000 4194304 4196468 140736332954336 140245809892368 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22425] ppid=22415 vsize=14082736 memory=139844394055016 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22425/stat : 22425 (java) S 22415 22418 20173 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252473294 14420721664 12544 33554432000 4194304 4196468 140736332954336 140245691467888 140246216780418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22426] ppid=22415 vsize=14082736 memory=139844269502895 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22426/stat : 22426 (java) S 22415 22418 20173 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252473294 14420721664 12544 33554432000 4194304 4196468 140736332954336 140245690413856 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22427] ppid=22415 vsize=14082736 memory=279688538996624 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22427/stat : 22427 (java) S 22415 22418 20173 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252473295 14420721664 12544 33554432000 4194304 4196468 140736332954336 140245689361520 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22428] ppid=22415 vsize=14082736 memory=279688538994320 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22428/stat : 22428 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14420721664 12544 33554432000 4194304 4196468 140736332954336 140245688309840 140246216787867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22429] ppid=22415 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22418/task/22429/stat : 22429 (java) S 22415 22418 20173 0 -1 1077944384 536 0 0 0 2 0 0 0 20 0 15 0 252473297 14420721664 12544 33554432000 4194304 4196468 140736332954336 140245687257712 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22430] ppid=22415 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22418/task/22430/stat : 22430 (java) S 22415 22418 20173 0 -1 1077944384 120 0 0 0 2 0 0 0 20 0 15 0 252473297 14420721664 12544 33554432000 4194304 4196468 140736332954336 140245686204912 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22431] ppid=22415 vsize=14082736 memory=139844394034816 CPUtime=0.08 cores=1,3,5,7
/proc/22418/task/22431/stat : 22431 (java) S 22415 22418 20173 0 -1 1077944384 446 0 0 0 8 0 0 0 20 0 15 0 252473297 14420721664 12544 33554432000 4194304 4196468 140736332954336 140245685152624 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22432] ppid=22415 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22432/stat : 22432 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14420721664 12544 33554432000 4194304 4196468 140736332954336 140245684100064 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22433] ppid=22415 vsize=14082736 memory=139844394034816 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22433/stat : 22433 (java) S 22415 22418 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252473297 14420721664 12544 33554432000 4194304 4196468 140736332954336 140245683046832 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50176 KiB
[startup+0.700741 s]
/proc/loadavg: 1.61 1.42 1.43 3/217 22433
/proc/meminfo: memFree=23033812/32770624 swapFree=67108368/67108860
[pid=22418] ppid=22415 vsize=14084804 memory=88144 CPUtime=0.99 cores=1,3,5,7
/proc/22418/stat : 22418 (java) S 22415 22418 20173 0 -1 1077944320 17450 0 0 0 94 5 0 0 20 0 15 0 252473292 14422839296 22036 33554432000 4194304 4196468 140736332954336 140736332936880 140246216769271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
/proc/22418/statm: 3521201 22036 3496 1 0 3483273 0
[pid=22418/tid=22420] ppid=22415 vsize=14084804 memory=872 CPUtime=0.67 cores=1,3,5,7
/proc/22418/task/22420/stat : 22420 (java) R 22415 22418 20173 0 -1 4202560 14522 0 0 0 63 4 0 0 20 0 15 0 252473292 14422839296 22036 33554432000 4194304 4196468 140736332954336 140246220975120 140246216791197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22421] ppid=22415 vsize=14084804 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22421/stat : 22421 (java) S 22415 22418 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252473293 14422839296 22036 33554432000 4194304 4196468 140736332954336 140246186482576 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22422] ppid=22415 vsize=14084804 memory=6284 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22422/stat : 22422 (java) S 22415 22418 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252473293 14422839296 22036 33554432000 4194304 4196468 140736332954336 140246185429776 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22423] ppid=22415 vsize=14084804 memory=7014751519600366929 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22423/stat : 22423 (java) S 22415 22418 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252473293 14422839296 22036 33554432000 4194304 4196468 140736332954336 140245810945168 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22424] ppid=22415 vsize=14084804 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22424/stat : 22424 (java) S 22415 22418 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252473293 14422839296 22036 33554432000 4194304 4196468 140736332954336 140245809892368 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22425] ppid=22415 vsize=14084804 memory=5787213857196369745 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22425/stat : 22425 (java) S 22415 22418 20173 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252473294 14422839296 22036 33554432000 4194304 4196468 140736332954336 140245691467888 140246216780418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22426] ppid=22415 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22426/stat : 22426 (java) S 22415 22418 20173 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252473294 14422839296 22036 33554432000 4194304 4196468 140736332954336 140245690413856 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22427] ppid=22415 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22427/stat : 22427 (java) S 22415 22418 20173 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252473295 14422839296 22036 33554432000 4194304 4196468 140736332954336 140245689361520 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22428] ppid=22415 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22428/stat : 22428 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14422839296 22036 33554432000 4194304 4196468 140736332954336 140245688309840 140246216787867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22429] ppid=22415 vsize=14084804 memory=226 CPUtime=0.07 cores=1,3,5,7
/proc/22418/task/22429/stat : 22429 (java) S 22415 22418 20173 0 -1 1077944384 688 0 0 0 7 0 0 0 20 0 15 0 252473297 14422839296 22036 33554432000 4194304 4196468 140736332954336 140245687257712 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22430] ppid=22415 vsize=14084804 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/22418/task/22430/stat : 22430 (java) S 22415 22418 20173 0 -1 1077944384 287 0 0 0 7 0 0 0 20 0 15 0 252473297 14422839296 22036 33554432000 4194304 4196468 140736332954336 140245686204912 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22431] ppid=22415 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/22418/task/22431/stat : 22431 (java) S 22415 22418 20173 0 -1 1077944384 569 0 0 0 15 0 0 0 20 0 15 0 252473297 14422839296 22036 33554432000 4194304 4196468 140736332954336 140245685152624 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22432] ppid=22415 vsize=14084804 memory=279688539180528 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22432/stat : 22432 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14422839296 22036 33554432000 4194304 4196468 140736332954336 140245684100064 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22433] ppid=22415 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22433/stat : 22433 (java) S 22415 22418 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252473297 14422839296 22036 33554432000 4194304 4196468 140736332954336 140245683046832 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88144 KiB
[startup+1.50147 s]
/proc/loadavg: 1.61 1.42 1.43 5/217 22433
/proc/meminfo: memFree=22984124/32770624 swapFree=67108368/67108860
[pid=22418] ppid=22415 vsize=14090948 memory=161096 CPUtime=3.29 cores=1,3,5,7
/proc/22418/stat : 22418 (java) S 22415 22418 20173 0 -1 1077944320 26457 0 0 0 321 8 0 0 20 0 15 0 252473292 14429130752 40274 33554432000 4194304 4196468 140736332954336 140736332936880 140246216769271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
/proc/22418/statm: 3522737 40274 3548 1 0 3484809 0
[pid=22418/tid=22420] ppid=22415 vsize=14090948 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/22418/task/22420/stat : 22420 (java) R 22415 22418 20173 0 -1 4202560 19506 0 0 0 142 6 0 0 20 0 15 0 252473292 14429130752 40274 33554432000 4194304 4196468 140736332954336 140246221004456 140245858201482 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22421] ppid=22415 vsize=14090948 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22421/stat : 22421 (java) S 22415 22418 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252473293 14429130752 40274 33554432000 4194304 4196468 140736332954336 140246186482576 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22422] ppid=22415 vsize=14090948 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22422/stat : 22422 (java) S 22415 22418 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252473293 14429130752 40274 33554432000 4194304 4196468 140736332954336 140246185429776 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22423] ppid=22415 vsize=14090948 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22423/stat : 22423 (java) S 22415 22418 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252473293 14429130752 40274 33554432000 4194304 4196468 140736332954336 140245810945168 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22424] ppid=22415 vsize=14090948 memory=-7377569474603340334 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22424/stat : 22424 (java) S 22415 22418 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252473293 14429130752 40274 33554432000 4194304 4196468 140736332954336 140245809892368 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22425] ppid=22415 vsize=14090948 memory=-6295010320508740452 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22425/stat : 22425 (java) S 22415 22418 20173 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 252473294 14429130752 40274 33554432000 4194304 4196468 140736332954336 140245691467888 140246216780418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
################
# More data... #
################
/proc/22418/task/22420/stat : 22420 (java) R 22415 22418 20173 0 -1 4202560 37794 0 0 0 243287 16 0 0 20 0 15 0 252473292 14429130752 64823 33554432000 4194304 4196468 140736332954336 140246221007536 140245858413427 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22421] ppid=22415 vsize=14090948 memory=259292 CPUtime=3.68 cores=1,3,5,7
/proc/22418/task/22421/stat : 22421 (java) S 22415 22418 20173 0 -1 1077944384 10429 0 0 0 340 28 0 0 20 0 15 0 252473293 14429130752 64823 33554432000 4194304 4196468 140736332954336 140246186482576 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22422] ppid=22415 vsize=14090948 memory=258180 CPUtime=3.68 cores=1,3,5,7
/proc/22418/task/22422/stat : 22422 (java) S 22415 22418 20173 0 -1 1077944384 4800 0 0 0 340 28 0 0 20 0 15 0 252473293 14429130752 64823 33554432000 4194304 4196468 140736332954336 140246185429776 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22423] ppid=22415 vsize=14090948 memory=258136 CPUtime=3.66 cores=1,3,5,7
/proc/22418/task/22423/stat : 22423 (java) S 22415 22418 20173 0 -1 1077944384 6019 0 0 0 340 26 0 0 20 0 15 0 252473293 14429130752 64823 33554432000 4194304 4196468 140736332954336 140245810945168 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22424] ppid=22415 vsize=14090948 memory=259292 CPUtime=3.67 cores=1,3,5,7
/proc/22418/task/22424/stat : 22424 (java) S 22415 22418 20173 0 -1 1077944384 5215 0 0 0 339 28 0 0 20 0 15 0 252473293 14429130752 64823 33554432000 4194304 4196468 140736332954336 140245809892368 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22425] ppid=22415 vsize=14090948 memory=259292 CPUtime=3.64 cores=1,3,5,7
/proc/22418/task/22425/stat : 22425 (java) S 22415 22418 20173 0 -1 1077944384 6981 0 0 0 339 25 0 0 20 0 15 0 252473294 14429130752 64823 33554432000 4194304 4196468 140736332954336 140245691467888 140246216780418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22426] ppid=22415 vsize=14090948 memory=259292 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22426/stat : 22426 (java) S 22415 22418 20173 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 252473294 14429130752 64823 33554432000 4194304 4196468 140736332954336 140245690413920 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22427] ppid=22415 vsize=14090948 memory=259292 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22427/stat : 22427 (java) S 22415 22418 20173 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 252473295 14429130752 64823 33554432000 4194304 4196468 140736332954336 140245689361536 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22428] ppid=22415 vsize=14090948 memory=259292 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22428/stat : 22428 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14429130752 64823 33554432000 4194304 4196468 140736332954336 140245688309840 140246216787867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22429] ppid=22415 vsize=14090948 memory=259292 CPUtime=1 cores=1,3,5,7
/proc/22418/task/22429/stat : 22429 (java) S 22415 22418 20173 0 -1 1077944384 3902 0 0 0 99 1 0 0 20 0 15 0 252473297 14429130752 64823 33554432000 4194304 4196468 140736332954336 140245687257712 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22430] ppid=22415 vsize=14090948 memory=259292 CPUtime=0.98 cores=1,3,5,7
/proc/22418/task/22430/stat : 22430 (java) S 22415 22418 20173 0 -1 1077944384 3309 0 0 0 97 1 0 0 20 0 15 0 252473297 14429130752 64823 33554432000 4194304 4196468 140736332954336 140245686204912 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22431] ppid=22415 vsize=14090948 memory=259292 CPUtime=0.58 cores=1,3,5,7
/proc/22418/task/22431/stat : 22431 (java) S 22415 22418 20173 0 -1 1077944384 3255 0 0 0 57 1 0 0 20 0 15 0 252473297 14429130752 64823 33554432000 4194304 4196468 140736332954336 140245685152624 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22432] ppid=22415 vsize=14090948 memory=259292 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22432/stat : 22432 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14429130752 64823 33554432000 4194304 4196468 140736332954336 140245684100064 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22433] ppid=22415 vsize=14090948 memory=259292 CPUtime=0.67 cores=1,3,5,7
/proc/22418/task/22433/stat : 22433 (java) S 22415 22418 20173 0 -1 1077944384 1592 0 0 0 29 38 0 0 20 0 15 0 252473297 14429130752 64823 33554432000 4194304 4196468 140736332954336 140245683046832 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
Current children cumulated CPU time: 2454.68 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 259292 KiB
[startup+2502.3 s]
/proc/loadavg: 1.25 1.36 1.41 2/194 22556
/proc/meminfo: memFree=23547948/32770624 swapFree=67108368/67108860
[pid=22418] ppid=22415 vsize=14090948 memory=261356 CPUtime=2514.97 cores=1,3,5,7
/proc/22418/stat : 22418 (java) S 22415 22418 20173 0 -1 1077944320 84953 0 0 0 251341 156 0 0 20 0 15 0 252473292 14429130752 65339 33554432000 4194304 4196468 140736332954336 140736332936880 140246216769271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
/proc/22418/statm: 3522737 65339 3586 1 0 3484809 0
[pid=22418/tid=22420] ppid=22415 vsize=14090948 memory=261356 CPUtime=2492.79 cores=1,3,5,7
/proc/22418/task/22420/stat : 22420 (java) R 22415 22418 20173 0 -1 4202560 37947 0 0 0 249263 16 0 0 20 0 15 0 252473292 14429130752 65339 33554432000 4194304 4196468 140736332954336 140246221007536 140245858814376 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22421] ppid=22415 vsize=14090948 memory=261356 CPUtime=3.78 cores=1,3,5,7
/proc/22418/task/22421/stat : 22421 (java) S 22415 22418 20173 0 -1 1077944384 10434 0 0 0 350 28 0 0 20 0 15 0 252473293 14429130752 65339 33554432000 4194304 4196468 140736332954336 140246186482576 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22422] ppid=22415 vsize=14090948 memory=261356 CPUtime=3.78 cores=1,3,5,7
/proc/22418/task/22422/stat : 22422 (java) S 22415 22418 20173 0 -1 1077944384 4848 0 0 0 349 29 0 0 20 0 15 0 252473293 14429130752 65339 33554432000 4194304 4196468 140736332954336 140246185429776 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22423] ppid=22415 vsize=14090948 memory=261356 CPUtime=3.77 cores=1,3,5,7
/proc/22418/task/22423/stat : 22423 (java) S 22415 22418 20173 0 -1 1077944384 6030 0 0 0 350 27 0 0 20 0 15 0 252473293 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245810945168 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22424] ppid=22415 vsize=14090948 memory=261356 CPUtime=3.78 cores=1,3,5,7
/proc/22418/task/22424/stat : 22424 (java) S 22415 22418 20173 0 -1 1077944384 5217 0 0 0 349 29 0 0 20 0 15 0 252473293 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245809892368 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22425] ppid=22415 vsize=14090948 memory=261356 CPUtime=3.72 cores=1,3,5,7
/proc/22418/task/22425/stat : 22425 (java) S 22415 22418 20173 0 -1 1077944384 6985 0 0 0 347 25 0 0 20 0 15 0 252473294 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245691467888 140246216780418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22426] ppid=22415 vsize=14090948 memory=924 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22426/stat : 22426 (java) S 22415 22418 20173 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 252473294 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245690413920 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22427] ppid=22415 vsize=14090948 memory=261356 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22427/stat : 22427 (java) S 22415 22418 20173 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 252473295 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245689361536 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22428] ppid=22415 vsize=14090948 memory=261356 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22428/stat : 22428 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245688309840 140246216787867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22429] ppid=22415 vsize=14090948 memory=261356 CPUtime=1.01 cores=1,3,5,7
/proc/22418/task/22429/stat : 22429 (java) S 22415 22418 20173 0 -1 1077944384 3902 0 0 0 100 1 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245687257712 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22430] ppid=22415 vsize=14090948 memory=261356 CPUtime=0.98 cores=1,3,5,7
/proc/22418/task/22430/stat : 22430 (java) S 22415 22418 20173 0 -1 1077944384 3309 0 0 0 97 1 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245686204912 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22431] ppid=22415 vsize=14090948 memory=261356 CPUtime=0.58 cores=1,3,5,7
/proc/22418/task/22431/stat : 22431 (java) S 22415 22418 20173 0 -1 1077944384 3255 0 0 0 57 1 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245685152624 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22432] ppid=22415 vsize=14090948 memory=261356 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22432/stat : 22432 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245684100064 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22433] ppid=22415 vsize=14090948 memory=2148 CPUtime=0.68 cores=1,3,5,7
/proc/22418/task/22433/stat : 22433 (java) S 22415 22418 20173 0 -1 1077944384 1596 0 0 0 30 38 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245683046832 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
Current children cumulated CPU time: 2514.97 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 261356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.3 s]
/proc/loadavg: 1.23 1.35 1.40 2/194 22556
/proc/meminfo: memFree=23547948/32770624 swapFree=67108368/67108860
[pid=22418] ppid=22415 vsize=14090948 memory=261356 CPUtime=2520 cores=1,3,5,7
/proc/22418/stat : 22418 (java) S 22415 22418 20173 0 -1 1077944320 84970 0 0 0 251844 156 0 0 20 0 15 0 252473292 14429130752 65339 33554432000 4194304 4196468 140736332954336 140736332936880 140246216769271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
/proc/22418/statm: 3522737 65339 3586 1 0 3484809 0
[pid=22418/tid=22420] ppid=22415 vsize=14090948 memory=261356 CPUtime=2497.78 cores=1,3,5,7
/proc/22418/task/22420/stat : 22420 (java) R 22415 22418 20173 0 -1 4202560 37960 0 0 0 249762 16 0 0 20 0 15 0 252473292 14429130752 65339 33554432000 4194304 4196468 140736332954336 140246221007424 140245858436670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22421] ppid=22415 vsize=14090948 memory=261356 CPUtime=3.79 cores=1,3,5,7
/proc/22418/task/22421/stat : 22421 (java) S 22415 22418 20173 0 -1 1077944384 10434 0 0 0 351 28 0 0 20 0 15 0 252473293 14429130752 65339 33554432000 4194304 4196468 140736332954336 140246186482576 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22422] ppid=22415 vsize=14090948 memory=261356 CPUtime=3.79 cores=1,3,5,7
/proc/22418/task/22422/stat : 22422 (java) S 22415 22418 20173 0 -1 1077944384 4848 0 0 0 350 29 0 0 20 0 15 0 252473293 14429130752 65339 33554432000 4194304 4196468 140736332954336 140246185429776 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22423] ppid=22415 vsize=14090948 memory=261356 CPUtime=3.78 cores=1,3,5,7
/proc/22418/task/22423/stat : 22423 (java) S 22415 22418 20173 0 -1 1077944384 6030 0 0 0 351 27 0 0 20 0 15 0 252473293 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245810945168 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22424] ppid=22415 vsize=14090948 memory=261356 CPUtime=3.79 cores=1,3,5,7
/proc/22418/task/22424/stat : 22424 (java) S 22415 22418 20173 0 -1 1077944384 5217 0 0 0 350 29 0 0 20 0 15 0 252473293 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245809892368 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22425] ppid=22415 vsize=14090948 memory=261356 CPUtime=3.73 cores=1,3,5,7
/proc/22418/task/22425/stat : 22425 (java) S 22415 22418 20173 0 -1 1077944384 6987 0 0 0 348 25 0 0 20 0 15 0 252473294 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245691467888 140246216780418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22426] ppid=22415 vsize=14090948 memory=261356 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22426/stat : 22426 (java) S 22415 22418 20173 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 252473294 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245690413920 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22427] ppid=22415 vsize=14090948 memory=261356 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22427/stat : 22427 (java) S 22415 22418 20173 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 252473295 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245689361536 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22428] ppid=22415 vsize=14090948 memory=261356 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22428/stat : 22428 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245688309840 140246216787867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22429] ppid=22415 vsize=14090948 memory=924 CPUtime=1.01 cores=1,3,5,7
/proc/22418/task/22429/stat : 22429 (java) S 22415 22418 20173 0 -1 1077944384 3902 0 0 0 100 1 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245687257712 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22430] ppid=22415 vsize=14090948 memory=261356 CPUtime=0.98 cores=1,3,5,7
/proc/22418/task/22430/stat : 22430 (java) S 22415 22418 20173 0 -1 1077944384 3309 0 0 0 97 1 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245686204912 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22431] ppid=22415 vsize=14090948 memory=3684 CPUtime=0.58 cores=1,3,5,7
/proc/22418/task/22431/stat : 22431 (java) S 22415 22418 20173 0 -1 1077944384 3255 0 0 0 57 1 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245685152624 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22432] ppid=22415 vsize=14090948 memory=261356 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22432/stat : 22432 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245684100064 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22433] ppid=22415 vsize=14090948 memory=261356 CPUtime=0.69 cores=1,3,5,7
/proc/22418/task/22433/stat : 22433 (java) S 22415 22418 20173 0 -1 1077944384 1598 0 0 0 30 39 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245683046832 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 261356 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.31 s]
# the end of solver process 22418 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.45 s, system=1.5656 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2507.3 s]
/proc/loadavg: 1.23 1.35 1.40 2/194 22556
/proc/meminfo: memFree=23547948/32770624 swapFree=67108368/67108860
[pid=22418] ppid=22415 vsize=14090948 memory=261356 CPUtime=2520 cores=1,3,5,7
/proc/22418/stat : 22418 (java) S 22415 22418 20173 0 -1 1077944320 84970 0 0 0 251844 156 0 0 20 0 15 0 252473292 14429130752 65339 33554432000 4194304 4196468 140736332954336 140736332936880 140246216769271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
/proc/22418/statm: 3522737 65339 3586 1 0 3484809 0
[pid=22418/tid=22420] ppid=22415 vsize=14090948 memory=261356 CPUtime=2497.78 cores=1,3,5,7
/proc/22418/task/22420/stat : 22420 (java) R 22415 22418 20173 0 -1 4202560 37960 0 0 0 249762 16 0 0 20 0 15 0 252473292 14429130752 65339 33554432000 4194304 4196468 140736332954336 140246221007424 140245858436670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22421] ppid=22415 vsize=14090948 memory=261356 CPUtime=3.79 cores=1,3,5,7
/proc/22418/task/22421/stat : 22421 (java) S 22415 22418 20173 0 -1 1077944384 10434 0 0 0 351 28 0 0 20 0 15 0 252473293 14429130752 65339 33554432000 4194304 4196468 140736332954336 140246186482576 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22422] ppid=22415 vsize=14090948 memory=261356 CPUtime=3.79 cores=1,3,5,7
/proc/22418/task/22422/stat : 22422 (java) S 22415 22418 20173 0 -1 1077944384 4848 0 0 0 350 29 0 0 20 0 15 0 252473293 14429130752 65339 33554432000 4194304 4196468 140736332954336 140246185429776 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22423] ppid=22415 vsize=14090948 memory=261356 CPUtime=3.78 cores=1,3,5,7
/proc/22418/task/22423/stat : 22423 (java) S 22415 22418 20173 0 -1 1077944384 6030 0 0 0 351 27 0 0 20 0 15 0 252473293 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245810945168 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22424] ppid=22415 vsize=14090948 memory=261356 CPUtime=3.79 cores=1,3,5,7
/proc/22418/task/22424/stat : 22424 (java) S 22415 22418 20173 0 -1 1077944384 5217 0 0 0 350 29 0 0 20 0 15 0 252473293 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245809892368 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22425] ppid=22415 vsize=14090948 memory=261356 CPUtime=3.73 cores=1,3,5,7
/proc/22418/task/22425/stat : 22425 (java) S 22415 22418 20173 0 -1 1077944384 6987 0 0 0 348 25 0 0 20 0 15 0 252473294 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245691467888 140246216780418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22426] ppid=22415 vsize=14090948 memory=261356 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22426/stat : 22426 (java) S 22415 22418 20173 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 252473294 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245690413920 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22427] ppid=22415 vsize=14090948 memory=261356 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22427/stat : 22427 (java) S 22415 22418 20173 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 252473295 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245689361536 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22428] ppid=22415 vsize=14090948 memory=261356 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22428/stat : 22428 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245688309840 140246216787867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22429] ppid=22415 vsize=14090948 memory=924 CPUtime=1.01 cores=1,3,5,7
/proc/22418/task/22429/stat : 22429 (java) S 22415 22418 20173 0 -1 1077944384 3902 0 0 0 100 1 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245687257712 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22430] ppid=22415 vsize=14090948 memory=261356 CPUtime=0.98 cores=1,3,5,7
/proc/22418/task/22430/stat : 22430 (java) S 22415 22418 20173 0 -1 1077944384 3309 0 0 0 97 1 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245686204912 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22431] ppid=22415 vsize=14090948 memory=3684 CPUtime=0.58 cores=1,3,5,7
/proc/22418/task/22431/stat : 22431 (java) S 22415 22418 20173 0 -1 1077944384 3255 0 0 0 57 1 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245685152624 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22432] ppid=22415 vsize=14090948 memory=261356 CPUtime=0 cores=1,3,5,7
/proc/22418/task/22432/stat : 22432 (java) S 22415 22418 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245684100064 140246216779477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
[pid=22418/tid=22433] ppid=22415 vsize=14090948 memory=261356 CPUtime=0.69 cores=1,3,5,7
/proc/22418/task/22433/stat : 22433 (java) S 22415 22418 20173 0 -1 1077944384 1598 0 0 0 30 39 0 0 20 0 15 0 252473297 14429130752 65339 33554432000 4194304 4196468 140736332954336 140245683046832 140246216780418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 13459456 140736332956744 140736332956937 140736332956937 140736332959695 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 261356 KiB
Child status: 143
Real time (s): 2507.31
CPU time (s): 2520.02
CPU user time (s): 2518.45
CPU system time (s): 1.5656
CPU usage (%): 100.507
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 261356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.45
system time used= 1.5656
maximum resident set size= 261740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85163
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= 151723
involuntary context switches= 4292
# summary of solver processes directly reported to runsolver:
# pid: 22418
# total CPU time (s): 2520.02
# total CPU user time (s): 2518.45
# total CPU system time (s): 1.5656
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2117 second user time and 23.3128 second system time
The end