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 (9682 MiB free)
memory of node 1: 16384 MiB (15635 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395976-1568398143/watcher-4395976-1568398143 -o /tmp/evaluation-result-4395976-1568398143/solver-4395976-1568398143 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568393129-20139 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=776516473 HOME/instance-4395976-1568398143.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
Current StackSize limit: 8192 KiB
solver pid=21387, runsolver pid=21384
[startup+0.107858 s]*
/proc/loadavg: 1.45 1.40 1.41 3/218 21444
/proc/meminfo: memFree=25916032/32770624 swapFree=67020548/67108860
[pid=21387] ppid=21384 vsize=10355560 memory=20780 CPUtime=0.09 cores=1,3,5,7
/proc/21387/stat : 21387 (java) S 21384 21387 17678 0 -1 1077944320 4948 13251 0 0 2 0 5 2 20 0 9 0 416086945 10604093440 5195 33554432000 4194304 4196468 140725485002496 140725484985040 139994328260343 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
/proc/21387/statm: 2588890 5195 2102 1 0 2551431 0
[pid=21387/tid=21440] ppid=21384 vsize=10355560 memory=4351193297951294599 CPUtime=0.08 cores=1,3,5,7
/proc/21387/task/21440/stat : 21440 (java) R 21384 21387 17678 0 -1 4202560 2711 13251 0 0 1 0 5 2 20 0 9 0 416086954 10604093440 5195 33554432000 4194304 4196468 140725485002496 139994300096368 139994313942835 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21441] ppid=21384 vsize=10355560 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21441/stat : 21441 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 9 0 416086955 10604093440 5195 33554432000 4194304 4196468 140725485002496 139994332502800 139994328270549 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21442] ppid=21384 vsize=10355560 memory=139738284689024 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21442/stat : 21442 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 9 0 416086955 10604093440 5195 33554432000 4194304 4196468 140725485002496 139993901882256 139994328270549 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21443] ppid=21384 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21443/stat : 21443 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 9 0 416086955 10604093440 5195 33554432000 4194304 4196468 140725485002496 139993900829712 139994328270549 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21444] ppid=21384 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21444/stat : 21444 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 9 0 416086955 10604093440 5195 33554432000 4194304 4196468 140725485002496 139993899777168 139994328270549 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21445] ppid=21384 vsize=10355560 memory=139738284689024 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21445/stat : 21445 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 9 0 416086956 10604093440 5195 33554432000 4194304 4196468 140725485002496 139993786865648 139994328271490 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21446] ppid=21384 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21446/stat : 21446 (java) S 21384 21387 17678 0 -1 1077944384 33 13251 0 0 0 0 5 2 20 0 9 0 416086957 10604093440 5195 33554432000 4194304 4196468 140725485002496 139993785811872 139994328270549 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21447] ppid=21384 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21447/stat : 21447 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 9 0 416086957 10604093440 5195 33554432000 4194304 4196468 140725485002496 139993653699632 139994328270549 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 20780 KiB
[startup+0.211431 s]*
/proc/loadavg: 1.45 1.40 1.41 3/227 21453
/proc/meminfo: memFree=25896552/32770624 swapFree=67020548/67108860
[pid=21387] ppid=21384 vsize=10819664 memory=44328 CPUtime=0.26 cores=1,3,5,7
/proc/21387/stat : 21387 (java) S 21384 21387 17678 0 -1 1077944320 7388 13251 0 0 18 1 5 2 20 0 15 0 416086945 11079335936 11082 33554432000 4194304 4196468 140725485002496 140725484985040 139994328260343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
/proc/21387/statm: 2704916 11082 3172 1 0 2667149 0
[pid=21387/tid=21440] ppid=21384 vsize=10819808 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/21387/task/21440/stat : 21440 (java) R 21384 21387 17678 0 -1 4202560 3889 13251 0 0 11 0 5 2 20 0 15 0 416086954 11079483392 11082 33554432000 4194304 4196468 140725485002496 139994300075344 139994328282269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21441] ppid=21384 vsize=10819808 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21441/stat : 21441 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 15 0 416086955 11079483392 11082 33554432000 4194304 4196468 140725485002496 139994332502800 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21442] ppid=21384 vsize=10819808 memory=139738284689024 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21442/stat : 21442 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 15 0 416086955 11079483392 11082 33554432000 4194304 4196468 140725485002496 139993901882256 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21443] ppid=21384 vsize=10819808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21443/stat : 21443 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 15 0 416086955 11079483392 11082 33554432000 4194304 4196468 140725485002496 139993900829712 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21444] ppid=21384 vsize=10819808 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21444/stat : 21444 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086955 11079483392 11082 33554432000 4194304 4196468 140725485002496 139993899777168 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21445] ppid=21384 vsize=10819808 memory=139738284689024 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21445/stat : 21445 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086956 11079483392 11082 33554432000 4194304 4196468 140725485002496 139993786865648 139994328271490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21446] ppid=21384 vsize=10819972 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21446/stat : 21446 (java) S 21384 21387 17678 0 -1 1077944384 33 13251 0 0 0 0 5 2 20 0 15 0 416086957 11079651328 11082 33554432000 4194304 4196468 140725485002496 139993785811872 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21447] ppid=21384 vsize=10819972 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21447/stat : 21447 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 15 0 416086957 11079651328 11082 33554432000 4194304 4196468 140725485002496 139993653699568 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21448] ppid=21384 vsize=10819972 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21448/stat : 21448 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086960 11079651328 11082 33554432000 4194304 4196468 140725485002496 139993049721040 139994328278939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21449] ppid=21384 vsize=10819972 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21387/task/21449/stat : 21449 (java) S 21384 21387 17678 0 -1 1077944384 616 13251 0 0 1 0 5 2 20 0 15 0 416086960 11079651328 11148 33554432000 4194304 4196468 140725485002496 139993752254960 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21450] ppid=21384 vsize=10819972 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21450/stat : 21450 (java) S 21384 21387 17678 0 -1 1077944384 45 13251 0 0 0 0 5 2 20 0 15 0 416086960 11079651328 11148 33554432000 4194304 4196468 140725485002496 139993751202416 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21451] ppid=21384 vsize=10819972 memory=139738284689024 CPUtime=0.1 cores=1,3,5,7
/proc/21387/task/21451/stat : 21451 (java) S 21384 21387 17678 0 -1 1077944384 619 13251 0 0 3 0 5 2 20 0 15 0 416086960 11079651328 11148 33554432000 4194304 4196468 140725485002496 139993750149872 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21452] ppid=21384 vsize=10819972 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21452/stat : 21452 (java) S 21384 21387 17678 0 -1 1077944384 3 13251 0 0 0 0 5 2 20 0 15 0 416086960 11079651328 11148 33554432000 4194304 4196468 140725485002496 139992579959904 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21453] ppid=21384 vsize=10819972 memory=139738284689024 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21453/stat : 21453 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 15 0 416086960 11079651328 11148 33554432000 4194304 4196468 140725485002496 139993749096752 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 44328 KiB
[startup+0.310881 s]*
/proc/loadavg: 1.45 1.40 1.41 3/227 21453
/proc/meminfo: memFree=25883712/32770624 swapFree=67020548/67108860
[pid=21387] ppid=21384 vsize=10820148 memory=52960 CPUtime=0.4 cores=1,3,5,7
/proc/21387/stat : 21387 (java) S 21384 21387 17678 0 -1 1077944320 11005 13251 0 0 30 3 5 2 20 0 15 0 416086945 11079831552 13240 33554432000 4194304 4196468 140725485002496 140725484985040 139994328260343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
/proc/21387/statm: 2705037 13240 3304 1 0 2667149 0
[pid=21387/tid=21440] ppid=21384 vsize=10820148 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/21387/task/21440/stat : 21440 (java) R 21384 21387 17678 0 -1 4202560 7452 13251 0 0 19 2 5 2 20 0 15 0 416086954 11079831552 13240 33554432000 4194304 4196468 140725485002496 139994300080560 139994328282269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21441] ppid=21384 vsize=10820148 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21441/stat : 21441 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 15 0 416086955 11079831552 13240 33554432000 4194304 4196468 140725485002496 139994332502800 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21442] ppid=21384 vsize=10820148 memory=139738284696017 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21442/stat : 21442 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 15 0 416086955 11079831552 13240 33554432000 4194304 4196468 140725485002496 139993901882256 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21443] ppid=21384 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21443/stat : 21443 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 15 0 416086955 11079831552 13240 33554432000 4194304 4196468 140725485002496 139993900829712 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21444] ppid=21384 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21444/stat : 21444 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086955 11079831552 13240 33554432000 4194304 4196468 140725485002496 139993899777168 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21445] ppid=21384 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21445/stat : 21445 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086956 11079831552 13240 33554432000 4194304 4196468 140725485002496 139993786865648 139994328271490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21446] ppid=21384 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21446/stat : 21446 (java) S 21384 21387 17678 0 -1 1077944384 33 13251 0 0 0 0 5 2 20 0 15 0 416086957 11079831552 13240 33554432000 4194304 4196468 140725485002496 139993785811872 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21447] ppid=21384 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21447/stat : 21447 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 15 0 416086957 11079831552 13240 33554432000 4194304 4196468 140725485002496 139993653699568 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21448] ppid=21384 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21448/stat : 21448 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086960 11079831552 13240 33554432000 4194304 4196468 140725485002496 139993049721040 139994328278939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21449] ppid=21384 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21387/task/21449/stat : 21449 (java) S 21384 21387 17678 0 -1 1077944384 625 13251 0 0 2 0 5 2 20 0 15 0 416086960 11079831552 13240 33554432000 4194304 4196468 140725485002496 139993752254960 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21450] ppid=21384 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21387/task/21450/stat : 21450 (java) S 21384 21387 17678 0 -1 1077944384 46 13251 0 0 1 0 5 2 20 0 15 0 416086960 11079831552 13240 33554432000 4194304 4196468 140725485002496 139993751202416 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21451] ppid=21384 vsize=10820148 memory=139738284689024 CPUtime=0.12 cores=1,3,5,7
/proc/21387/task/21451/stat : 21451 (java) S 21384 21387 17678 0 -1 1077944384 626 13251 0 0 5 0 5 2 20 0 15 0 416086960 11079831552 13240 33554432000 4194304 4196468 140725485002496 139993750149872 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21452] ppid=21384 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21452/stat : 21452 (java) S 21384 21387 17678 0 -1 1077944384 3 13251 0 0 0 0 5 2 20 0 15 0 416086960 11079831552 13240 33554432000 4194304 4196468 140725485002496 139992579959904 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21453] ppid=21384 vsize=10820148 memory=139738284689024 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21453/stat : 21453 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 15 0 416086960 11079831552 13240 33554432000 4194304 4196468 140725485002496 139993749096752 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 52960 KiB
[startup+0.700895 s]
/proc/loadavg: 1.45 1.40 1.41 3/227 21453
/proc/meminfo: memFree=25868824/32770624 swapFree=67020548/67108860
[pid=21387] ppid=21384 vsize=10824360 memory=85824 CPUtime=1.13 cores=1,3,5,7
/proc/21387/stat : 21387 (java) S 21384 21387 17678 0 -1 1077944320 15201 13251 0 0 101 5 5 2 20 0 15 0 416086945 11084144640 21456 33554432000 4194304 4196468 140725485002496 140725484985040 139994328260343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
/proc/21387/statm: 2706090 21456 3512 1 0 2668173 0
[pid=21387/tid=21440] ppid=21384 vsize=10824360 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/21387/task/21440/stat : 21440 (java) R 21384 21387 17678 0 -1 4202560 10453 13251 0 0 55 4 5 2 20 0 15 0 416086954 11084144640 21456 33554432000 4194304 4196468 140725485002496 139994300087232 139994328274230 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21441] ppid=21384 vsize=10824360 memory=139738170282006 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21441/stat : 21441 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 15 0 416086955 11084144640 21456 33554432000 4194304 4196468 140725485002496 139994332502800 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21442] ppid=21384 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21442/stat : 21442 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 15 0 416086955 11084144640 21456 33554432000 4194304 4196468 140725485002496 139993901882256 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21443] ppid=21384 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21443/stat : 21443 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 15 0 416086955 11084144640 21456 33554432000 4194304 4196468 140725485002496 139993900829712 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21444] ppid=21384 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21444/stat : 21444 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086955 11084144640 21456 33554432000 4194304 4196468 140725485002496 139993899777168 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21445] ppid=21384 vsize=10824360 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21445/stat : 21445 (java) S 21384 21387 17678 0 -1 1077944384 6 13251 0 0 0 0 5 2 20 0 15 0 416086956 11084144640 21456 33554432000 4194304 4196468 140725485002496 139993786865648 139994328271490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21446] ppid=21384 vsize=10824360 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21446/stat : 21446 (java) S 21384 21387 17678 0 -1 1077944384 33 13251 0 0 0 0 5 2 20 0 15 0 416086957 11084144640 21456 33554432000 4194304 4196468 140725485002496 139993785811872 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21447] ppid=21384 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21447/stat : 21447 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 15 0 416086957 11084144640 21456 33554432000 4194304 4196468 140725485002496 139993653699568 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21448] ppid=21384 vsize=10824360 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21448/stat : 21448 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086960 11084144640 21456 33554432000 4194304 4196468 140725485002496 139993049721040 139994328278939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21449] ppid=21384 vsize=10824360 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/21387/task/21449/stat : 21449 (java) S 21384 21387 17678 0 -1 1077944384 1061 13251 0 0 12 0 5 2 20 0 15 0 416086960 11084144640 21456 33554432000 4194304 4196468 140725485002496 139993752254960 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21450] ppid=21384 vsize=10824360 memory=11076 CPUtime=0.22 cores=1,3,5,7
/proc/21387/task/21450/stat : 21450 (java) R 21384 21387 17678 0 -1 4202560 657 13251 0 0 15 0 5 2 20 0 15 0 416086960 11084144640 21456 33554432000 4194304 4196468 140725485002496 139993751202416 139994308113881 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21451] ppid=21384 vsize=10824360 memory=139738170291344 CPUtime=0.24 cores=1,3,5,7
/proc/21387/task/21451/stat : 21451 (java) S 21384 21387 17678 0 -1 1077944384 770 13251 0 0 17 0 5 2 20 0 15 0 416086960 11084144640 21456 33554432000 4194304 4196468 140725485002496 139993750149872 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21452] ppid=21384 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21452/stat : 21452 (java) S 21384 21387 17678 0 -1 1077944384 3 13251 0 0 0 0 5 2 20 0 15 0 416086960 11084144640 21456 33554432000 4194304 4196468 140725485002496 139992579959904 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21453] ppid=21384 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21453/stat : 21453 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 15 0 416086960 11084144640 21456 33554432000 4194304 4196468 140725485002496 139993749096752 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85824 KiB
[startup+1.50785 s]
/proc/loadavg: 1.45 1.40 1.41 3/227 21453
/proc/meminfo: memFree=25824776/32770624 swapFree=67020548/67108860
[pid=21387] ppid=21384 vsize=10834676 memory=174076 CPUtime=2.46 cores=1,3,5,7
/proc/21387/stat : 21387 (java) S 21384 21387 17678 0 -1 1077944320 22187 13251 0 0 229 10 5 2 20 0 15 0 416086945 11094708224 43519 33554432000 4194304 4196468 140725485002496 140725484985040 139994328260343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
/proc/21387/statm: 2708669 43519 3581 1 0 2670733 0
[pid=21387/tid=21440] ppid=21384 vsize=10834676 memory=100260 CPUtime=1.43 cores=1,3,5,7
/proc/21387/task/21440/stat : 21440 (java) R 21384 21387 17678 0 -1 4202560 15435 13251 0 0 131 5 5 2 20 0 15 0 416086954 11094708224 43519 33554432000 4194304 4196468 140725485002496 139994300073504 139993932442906 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21441] ppid=21384 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21387/task/21441/stat : 21441 (java) S 21384 21387 17678 0 -1 1077944384 26 13251 0 0 1 0 5 2 20 0 15 0 416086955 11094708224 43519 33554432000 4194304 4196468 140725485002496 139994332502800 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21442] ppid=21384 vsize=10834676 memory=7893295687695687954 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21442/stat : 21442 (java) S 21384 21387 17678 0 -1 1077944384 62 13251 0 0 0 0 5 2 20 0 15 0 416086955 11094708224 43519 33554432000 4194304 4196468 140725485002496 139993901882256 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21443] ppid=21384 vsize=10834676 memory=6994781559841273980 CPUtime=0.08 cores=1,3,5,7
/proc/21387/task/21443/stat : 21443 (java) S 21384 21387 17678 0 -1 1077944384 403 13251 0 0 1 0 5 2 20 0 15 0 416086955 11094708224 43519 33554432000 4194304 4196468 140725485002496 139993900829712 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21444] ppid=21384 vsize=10834676 memory=4498404016631593314 CPUtime=0.08 cores=1,3,5,7
/proc/21387/task/21444/stat : 21444 (java) S 21384 21387 17678 0 -1 1077944384 78 13251 0 0 1 0 5 2 20 0 15 0 416086955 11094708224 43519 33554432000 4194304 4196468 140725485002496 139993899777168 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21445] ppid=21384 vsize=10834676 memory=11495918512 CPUtime=0.08 cores=1,3,5,7
/proc/21387/task/21445/stat : 21445 (java) S 21384 21387 17678 0 -1 1077944384 189 13251 0 0 1 0 5 2 20 0 15 0 416086956 11094708224 43519 33554432000 4194304 4196468 140725485002496 139993786865648 139994328271490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21446] ppid=21384 vsize=10834676 memory=279476340558360 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21446/stat : 21446 (java) S 21384 21387 17678 0 -1 1077944384 34 13251 0 0 0 0 5 2 20 0 15 0 416086957 11094708224 43519 33554432000 4194304 4196468 140725485002496 139993785811936 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21447] ppid=21384 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21447/stat : 21447 (java) S 21384 21387 17678 0 -1 1077944384 1 13251 0 0 0 0 5 2 20 0 15 0 416086957 11094708224 43519 33554432000 4194304 4196468 140725485002496 139993653699584 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21448] ppid=21384 vsize=10834676 memory=288230583166042426 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21448/stat : 21448 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086960 11094708224 43519 33554432000 4194304 4196468 140725485002496 139993049721040 139994328278939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21449] ppid=21384 vsize=10834676 memory=15819993182898827 CPUtime=0.31 cores=1,3,5,7
/proc/21387/task/21449/stat : 21449 (java) S 21384 21387 17678 0 -1 1077944384 1151 13251 0 0 24 0 5 2 20 0 15 0 416086960 11094708224 43519 33554432000 4194304 4196468 140725485002496 139993752254960 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21450] ppid=21384 vsize=10834676 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/21387/task/21450/stat : 21450 (java) S 21384 21387 17678 0 -1 1077944384 986 13251 0 0 25 0 5 2 20 0 15 0 416086960 11094708224 43519 33554432000 4194304 4196468 140725485002496 139993751202416 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21451] ppid=21384 vsize=10834676 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/21387/task/21451/stat : 21451 (java) R 21384 21387 17678 0 -1 4202560 1607 13251 0 0 41 1 5 2 20 0 15 0 416086960 11094708224 43519 33554432000 4194304 4196468 140725485002496 139993750146808 139994306772543 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
################
# More data... #
################
/proc/21387/task/21440/stat : 21440 (java) R 21384 21387 17678 0 -1 4202560 64153 13251 0 0 235920 43 5 2 20 0 15 0 416086954 11109421056 169803 33554432000 4194304 4196468 140725485002496 139994300094752 139993945844812 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21441] ppid=21384 vsize=10849044 memory=6791534058613427641 CPUtime=10.98 cores=1,3,5,7
/proc/21387/task/21441/stat : 21441 (java) S 21384 21387 17678 0 -1 1077944384 12728 13251 0 0 1039 52 5 2 20 0 15 0 416086955 11109421056 169803 33554432000 4194304 4196468 140725485002496 139994332502800 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21442] ppid=21384 vsize=10849044 memory=679212 CPUtime=10.94 cores=1,3,5,7
/proc/21387/task/21442/stat : 21442 (java) S 21384 21387 17678 0 -1 1077944384 14078 13251 0 0 1033 54 5 2 20 0 15 0 416086955 11109421056 169803 33554432000 4194304 4196468 140725485002496 139993901882256 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21443] ppid=21384 vsize=10849044 memory=679212 CPUtime=10.93 cores=1,3,5,7
/proc/21387/task/21443/stat : 21443 (java) S 21384 21387 17678 0 -1 1077944384 13210 13251 0 0 1034 52 5 2 20 0 15 0 416086955 11109421056 169803 33554432000 4194304 4196468 140725485002496 139993900829712 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21444] ppid=21384 vsize=10849044 memory=679212 CPUtime=10.95 cores=1,3,5,7
/proc/21387/task/21444/stat : 21444 (java) S 21384 21387 17678 0 -1 1077944384 10653 13251 0 0 1037 51 5 2 20 0 15 0 416086955 11109421056 169803 33554432000 4194304 4196468 140725485002496 139993899777168 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21445] ppid=21384 vsize=10849044 memory=679212 CPUtime=9.36 cores=1,3,5,7
/proc/21387/task/21445/stat : 21445 (java) S 21384 21387 17678 0 -1 1077944384 13606 13251 0 0 876 53 5 2 20 0 15 0 416086956 11109421056 169803 33554432000 4194304 4196468 140725485002496 139993786865648 139994328271490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21446] ppid=21384 vsize=10849044 memory=679212 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21446/stat : 21446 (java) S 21384 21387 17678 0 -1 1077944384 45 13251 0 0 0 0 5 2 20 0 15 0 416086957 11109421056 169803 33554432000 4194304 4196468 140725485002496 139993785811936 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21447] ppid=21384 vsize=10849044 memory=279476342387456 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21447/stat : 21447 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086957 11109421056 169803 33554432000 4194304 4196468 140725485002496 139993653699584 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21448] ppid=21384 vsize=10849044 memory=679212 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21448/stat : 21448 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086960 11109421056 169803 33554432000 4194304 4196468 140725485002496 139993049721040 139994328278939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21449] ppid=21384 vsize=10849044 memory=0 CPUtime=4.89 cores=1,3,5,7
/proc/21387/task/21449/stat : 21449 (java) S 21384 21387 17678 0 -1 1077944384 26671 13251 0 0 476 6 5 2 20 0 15 0 416086960 11109421056 169803 33554432000 4194304 4196468 140725485002496 139993752254960 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21450] ppid=21384 vsize=10849044 memory=164 CPUtime=5.28 cores=1,3,5,7
/proc/21387/task/21450/stat : 21450 (java) S 21384 21387 17678 0 -1 1077944384 32173 13251 0 0 514 7 5 2 20 0 15 0 416086960 11109421056 169803 33554432000 4194304 4196468 140725485002496 139993751202416 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21451] ppid=21384 vsize=10849044 memory=679212 CPUtime=5.08 cores=1,3,5,7
/proc/21387/task/21451/stat : 21451 (java) S 21384 21387 17678 0 -1 1077944384 35679 13251 0 0 492 9 5 2 20 0 15 0 416086960 11109421056 169803 33554432000 4194304 4196468 140725485002496 139993750149872 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21452] ppid=21384 vsize=10849044 memory=4120 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21452/stat : 21452 (java) S 21384 21387 17678 0 -1 1077944384 3 13251 0 0 0 0 5 2 20 0 15 0 416086960 11109421056 169803 33554432000 4194304 4196468 140725485002496 139992579959904 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21453] ppid=21384 vsize=10849044 memory=679212 CPUtime=1.26 cores=1,3,5,7
/proc/21387/task/21453/stat : 21453 (java) S 21384 21387 17678 0 -1 1077944384 777 13251 0 0 57 62 5 2 20 0 15 0 416086960 11109421056 169803 33554432000 4194304 4196468 140725485002496 139993749096752 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
Current children cumulated CPU time: 2428.84 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 679212 KiB
[startup+2442.3 s]
/proc/loadavg: 1.48 1.48 1.44 3/227 21932
/proc/meminfo: memFree=25739052/32770624 swapFree=67020612/67108860
[pid=21387] ppid=21384 vsize=10849044 memory=681260 CPUtime=2489.63 cores=1,3,5,7
/proc/21387/stat : 21387 (java) S 21384 21387 17678 0 -1 1077944320 226872 13251 0 0 248615 341 5 2 20 0 15 0 416086945 11109421056 170315 33554432000 4194304 4196468 140725485002496 140725484985040 139994328260343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
/proc/21387/statm: 2712261 170315 3636 1 0 2674317 0
[pid=21387/tid=21440] ppid=21384 vsize=10849044 memory=681260 CPUtime=2419.18 cores=1,3,5,7
/proc/21387/task/21440/stat : 21440 (java) R 21384 21387 17678 0 -1 4202560 64611 13251 0 0 241867 44 5 2 20 0 15 0 416086954 11109421056 170315 33554432000 4194304 4196468 140725485002496 139994300095856 139993945627940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21441] ppid=21384 vsize=10849044 memory=681260 CPUtime=11.25 cores=1,3,5,7
/proc/21387/task/21441/stat : 21441 (java) S 21384 21387 17678 0 -1 1077944384 12746 13251 0 0 1065 53 5 2 20 0 15 0 416086955 11109421056 170315 33554432000 4194304 4196468 140725485002496 139994332502800 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21442] ppid=21384 vsize=10849044 memory=679212 CPUtime=11.22 cores=1,3,5,7
/proc/21387/task/21442/stat : 21442 (java) S 21384 21387 17678 0 -1 1077944384 14113 13251 0 0 1059 56 5 2 20 0 15 0 416086955 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993901882256 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21443] ppid=21384 vsize=10849044 memory=681260 CPUtime=11.2 cores=1,3,5,7
/proc/21387/task/21443/stat : 21443 (java) S 21384 21387 17678 0 -1 1077944384 13347 13251 0 0 1059 54 5 2 20 0 15 0 416086955 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993900829712 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21444] ppid=21384 vsize=10849044 memory=681260 CPUtime=11.22 cores=1,3,5,7
/proc/21387/task/21444/stat : 21444 (java) S 21384 21387 17678 0 -1 1077944384 10711 13251 0 0 1063 52 5 2 20 0 15 0 416086955 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993899777168 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21445] ppid=21384 vsize=10849044 memory=681260 CPUtime=9.56 cores=1,3,5,7
/proc/21387/task/21445/stat : 21445 (java) S 21384 21387 17678 0 -1 1077944384 13761 13251 0 0 895 54 5 2 20 0 15 0 416086956 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993786865648 139994328271490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21446] ppid=21384 vsize=10849044 memory=681260 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21446/stat : 21446 (java) S 21384 21387 17678 0 -1 1077944384 45 13251 0 0 0 0 5 2 20 0 15 0 416086957 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993785811936 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21447] ppid=21384 vsize=10849044 memory=681260 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21447/stat : 21447 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086957 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993653699584 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21448] ppid=21384 vsize=10849044 memory=681260 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21448/stat : 21448 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993049721040 139994328278939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21449] ppid=21384 vsize=10849044 memory=681260 CPUtime=4.89 cores=1,3,5,7
/proc/21387/task/21449/stat : 21449 (java) S 21384 21387 17678 0 -1 1077944384 26673 13251 0 0 476 6 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993752254960 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21450] ppid=21384 vsize=10849044 memory=681260 CPUtime=5.28 cores=1,3,5,7
/proc/21387/task/21450/stat : 21450 (java) S 21384 21387 17678 0 -1 1077944384 32175 13251 0 0 514 7 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993751202416 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21451] ppid=21384 vsize=10849044 memory=7420 CPUtime=5.08 cores=1,3,5,7
/proc/21387/task/21451/stat : 21451 (java) S 21384 21387 17678 0 -1 1077944384 35681 13251 0 0 492 9 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993750149872 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21452] ppid=21384 vsize=10849044 memory=681260 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21452/stat : 21452 (java) S 21384 21387 17678 0 -1 1077944384 3 13251 0 0 0 0 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139992579959904 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21453] ppid=21384 vsize=10849044 memory=681260 CPUtime=1.28 cores=1,3,5,7
/proc/21387/task/21453/stat : 21453 (java) S 21384 21387 17678 0 -1 1077944384 793 13251 0 0 58 63 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993749096752 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
Current children cumulated CPU time: 2489.63 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 681260 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.3 s]
/proc/loadavg: 1.42 1.47 1.43 3/227 21935
/proc/meminfo: memFree=25726524/32770624 swapFree=67020612/67108860
[pid=21387] ppid=21384 vsize=10849044 memory=681260 CPUtime=2520.07 cores=1,3,5,7
/proc/21387/stat : 21387 (java) S 21384 21387 17678 0 -1 1077944320 228250 13251 0 0 251655 345 5 2 20 0 15 0 416086945 11109421056 170315 33554432000 4194304 4196468 140725485002496 140725484985040 139994328260343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
/proc/21387/statm: 2712261 170315 3636 1 0 2674317 0
[pid=21387/tid=21440] ppid=21384 vsize=10849044 memory=681260 CPUtime=2448.9 cores=1,3,5,7
/proc/21387/task/21440/stat : 21440 (java) R 21384 21387 17678 0 -1 4202560 65110 13251 0 0 244839 44 5 2 20 0 15 0 416086954 11109421056 170315 33554432000 4194304 4196468 140725485002496 139994300094928 139993933531207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21441] ppid=21384 vsize=10849044 memory=681260 CPUtime=11.4 cores=1,3,5,7
/proc/21387/task/21441/stat : 21441 (java) S 21384 21387 17678 0 -1 1077944384 12909 13251 0 0 1079 54 5 2 20 0 15 0 416086955 11109421056 170315 33554432000 4194304 4196468 140725485002496 139994332502800 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21442] ppid=21384 vsize=10849044 memory=681260 CPUtime=11.36 cores=1,3,5,7
/proc/21387/task/21442/stat : 21442 (java) S 21384 21387 17678 0 -1 1077944384 14182 13251 0 0 1072 57 5 2 20 0 15 0 416086955 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993901882256 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21443] ppid=21384 vsize=10849044 memory=681260 CPUtime=11.34 cores=1,3,5,7
/proc/21387/task/21443/stat : 21443 (java) S 21384 21387 17678 0 -1 1077944384 13546 13251 0 0 1073 54 5 2 20 0 15 0 416086955 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993900829712 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21444] ppid=21384 vsize=10849044 memory=681260 CPUtime=11.36 cores=1,3,5,7
/proc/21387/task/21444/stat : 21444 (java) S 21384 21387 17678 0 -1 1077944384 10788 13251 0 0 1076 53 5 2 20 0 15 0 416086955 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993899777168 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21445] ppid=21384 vsize=10849044 memory=681260 CPUtime=9.68 cores=1,3,5,7
/proc/21387/task/21445/stat : 21445 (java) S 21384 21387 17678 0 -1 1077944384 13939 13251 0 0 907 54 5 2 20 0 15 0 416086956 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993786865648 139994328271490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21446] ppid=21384 vsize=10849044 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21446/stat : 21446 (java) S 21384 21387 17678 0 -1 1077944384 45 13251 0 0 0 0 5 2 20 0 15 0 416086957 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993785811936 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21447] ppid=21384 vsize=10849044 memory=681260 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21447/stat : 21447 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086957 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993653699584 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21448] ppid=21384 vsize=10849044 memory=681260 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21448/stat : 21448 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993049721040 139994328278939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21449] ppid=21384 vsize=10849044 memory=4120 CPUtime=4.89 cores=1,3,5,7
/proc/21387/task/21449/stat : 21449 (java) S 21384 21387 17678 0 -1 1077944384 26675 13251 0 0 476 6 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993752254960 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21450] ppid=21384 vsize=10849044 memory=681260 CPUtime=5.28 cores=1,3,5,7
/proc/21387/task/21450/stat : 21450 (java) S 21384 21387 17678 0 -1 1077944384 32177 13251 0 0 514 7 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993751202416 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21451] ppid=21384 vsize=10849044 memory=681260 CPUtime=5.08 cores=1,3,5,7
/proc/21387/task/21451/stat : 21451 (java) S 21384 21387 17678 0 -1 1077944384 35864 13251 0 0 492 9 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993750149872 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21452] ppid=21384 vsize=10849044 memory=681260 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21452/stat : 21452 (java) S 21384 21387 17678 0 -1 1077944384 3 13251 0 0 0 0 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139992579959904 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21453] ppid=21384 vsize=10849044 memory=924 CPUtime=1.3 cores=1,3,5,7
/proc/21387/task/21453/stat : 21453 (java) S 21384 21387 17678 0 -1 1077944384 799 13251 0 0 59 64 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993749096752 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 681260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2472.33 s]
# the end of solver process 21387 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.63 s, system=3.48338 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2472.3 s]
/proc/loadavg: 1.42 1.47 1.43 3/227 21935
/proc/meminfo: memFree=25726524/32770624 swapFree=67020612/67108860
[pid=21387] ppid=21384 vsize=10849044 memory=681260 CPUtime=2520.07 cores=1,3,5,7
/proc/21387/stat : 21387 (java) S 21384 21387 17678 0 -1 1077944320 228250 13251 0 0 251655 345 5 2 20 0 15 0 416086945 11109421056 170315 33554432000 4194304 4196468 140725485002496 140725484985040 139994328260343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
/proc/21387/statm: 2712261 170315 3636 1 0 2674317 0
[pid=21387/tid=21440] ppid=21384 vsize=10849044 memory=681260 CPUtime=2448.9 cores=1,3,5,7
/proc/21387/task/21440/stat : 21440 (java) R 21384 21387 17678 0 -1 4202560 65110 13251 0 0 244839 44 5 2 20 0 15 0 416086954 11109421056 170315 33554432000 4194304 4196468 140725485002496 139994300094928 139993933531207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21441] ppid=21384 vsize=10849044 memory=681260 CPUtime=11.4 cores=1,3,5,7
/proc/21387/task/21441/stat : 21441 (java) S 21384 21387 17678 0 -1 1077944384 12909 13251 0 0 1079 54 5 2 20 0 15 0 416086955 11109421056 170315 33554432000 4194304 4196468 140725485002496 139994332502800 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21442] ppid=21384 vsize=10849044 memory=681260 CPUtime=11.36 cores=1,3,5,7
/proc/21387/task/21442/stat : 21442 (java) S 21384 21387 17678 0 -1 1077944384 14182 13251 0 0 1072 57 5 2 20 0 15 0 416086955 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993901882256 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21443] ppid=21384 vsize=10849044 memory=681260 CPUtime=11.34 cores=1,3,5,7
/proc/21387/task/21443/stat : 21443 (java) S 21384 21387 17678 0 -1 1077944384 13546 13251 0 0 1073 54 5 2 20 0 15 0 416086955 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993900829712 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21444] ppid=21384 vsize=10849044 memory=681260 CPUtime=11.36 cores=1,3,5,7
/proc/21387/task/21444/stat : 21444 (java) S 21384 21387 17678 0 -1 1077944384 10788 13251 0 0 1076 53 5 2 20 0 15 0 416086955 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993899777168 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21445] ppid=21384 vsize=10849044 memory=681260 CPUtime=9.68 cores=1,3,5,7
/proc/21387/task/21445/stat : 21445 (java) S 21384 21387 17678 0 -1 1077944384 13939 13251 0 0 907 54 5 2 20 0 15 0 416086956 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993786865648 139994328271490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21446] ppid=21384 vsize=10849044 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21446/stat : 21446 (java) S 21384 21387 17678 0 -1 1077944384 45 13251 0 0 0 0 5 2 20 0 15 0 416086957 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993785811936 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21447] ppid=21384 vsize=10849044 memory=681260 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21447/stat : 21447 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086957 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993653699584 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21448] ppid=21384 vsize=10849044 memory=681260 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21448/stat : 21448 (java) S 21384 21387 17678 0 -1 1077944384 2 13251 0 0 0 0 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993049721040 139994328278939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21449] ppid=21384 vsize=10849044 memory=4120 CPUtime=4.89 cores=1,3,5,7
/proc/21387/task/21449/stat : 21449 (java) S 21384 21387 17678 0 -1 1077944384 26675 13251 0 0 476 6 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993752254960 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21450] ppid=21384 vsize=10849044 memory=681260 CPUtime=5.28 cores=1,3,5,7
/proc/21387/task/21450/stat : 21450 (java) S 21384 21387 17678 0 -1 1077944384 32177 13251 0 0 514 7 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993751202416 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21451] ppid=21384 vsize=10849044 memory=681260 CPUtime=5.08 cores=1,3,5,7
/proc/21387/task/21451/stat : 21451 (java) S 21384 21387 17678 0 -1 1077944384 35864 13251 0 0 492 9 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993750149872 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21452] ppid=21384 vsize=10849044 memory=681260 CPUtime=0.07 cores=1,3,5,7
/proc/21387/task/21452/stat : 21452 (java) S 21384 21387 17678 0 -1 1077944384 3 13251 0 0 0 0 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139992579959904 139994328270549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
[pid=21387/tid=21453] ppid=21384 vsize=10849044 memory=924 CPUtime=1.3 cores=1,3,5,7
/proc/21387/task/21453/stat : 21453 (java) S 21384 21387 17678 0 -1 1077944384 799 13251 0 0 59 64 5 2 20 0 15 0 416086960 11109421056 170315 33554432000 4194304 4196468 140725485002496 139993749096752 139994328271490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140725485009648 140725485012165 140725485012165 140725485014991 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 681260 KiB
Child status: 143
Real time (s): 2472.33
CPU time (s): 2520.12
CPU user time (s): 2516.63
CPU system time (s): 3.48338
CPU usage (%): 101.933
Max. virtual memory (cumulated for all children) (KiB): 10851996
Max. memory (cumulated for all children) (KiB): 823384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.63
system time used= 3.48338
maximum resident set size= 824408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 274436
involuntary context switches= 5279
# summary of solver processes directly reported to runsolver:
# pid: 21387
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.63
# total CPU system time (s): 3.48338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5766 second user time and 27.762 second system time
The end