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 (10898 MiB free)
memory of node 1: 16384 MiB (14481 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395829-1568410804/watcher-4395829-1568410804 -o /tmp/evaluation-result-4395829-1568410804/solver-4395829-1568410804 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568406191-8564 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=83511311 HOME/instance-4395829-1568410804.xml
running on 4 cores: 0,2,4,6
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=9082, runsolver pid=9079
[startup+0.100057 s]*
/proc/loadavg: 1.29 1.35 1.34 3/218 9139
/proc/meminfo: memFree=25983280/32770624 swapFree=66977616/67108860
[pid=9082] ppid=9079 vsize=9972712 memory=16552 CPUtime=0.1 cores=0,2,4,6
/proc/9082/stat : 9082 (java) S 9079 9082 5944 0 -1 1077944320 4412 13415 0 0 1 1 5 3 20 0 6 0 417337695 10212057088 4138 33554432000 4194304 4196468 140727475481888 140727475464432 139739670163191 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
/proc/9082/statm: 2493178 4138 1933 1 0 2481616 0
[pid=9082/tid=9135] ppid=9079 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9135/stat : 9135 (java) R 9079 9082 5944 0 -1 4202560 2232 13415 0 0 0 0 5 3 20 0 6 0 417337704 10212057088 4204 33554432000 4194304 4196468 140727475481888 139739641999952 139739654243678 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9136] ppid=9079 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9136/stat : 9136 (java) S 9079 9082 5944 0 -1 1077944384 1 13415 0 0 0 0 5 3 20 0 6 0 417337705 10212057088 4204 33554432000 4194304 4196468 140727475481888 139739674405776 139739670173397 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9137] ppid=9079 vsize=9972712 memory=15963349925254808 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9137/stat : 9137 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 6 0 417337705 10212057088 4204 33554432000 4194304 4196468 140727475481888 139739589225232 139739670173397 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9138] ppid=9079 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9138/stat : 9138 (java) S 9079 9082 5944 0 -1 1077944384 1 13415 0 0 0 0 5 3 20 0 6 0 417337705 10212057088 4204 33554432000 4194304 4196468 140727475481888 139739588172944 139739670173397 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9139] ppid=9079 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9139/stat : 9139 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 6 0 417337705 10212057088 4204 33554432000 4194304 4196468 140727475481888 139739587120144 139739670173397 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16552 KiB
[startup+0.210276 s]*
/proc/loadavg: 1.29 1.35 1.34 4/227 9148
/proc/meminfo: memFree=25960224/32770624 swapFree=66977616/67108860
[pid=9082] ppid=9079 vsize=10819664 memory=42892 CPUtime=0.26 cores=0,2,4,6
/proc/9082/stat : 9082 (java) S 9079 9082 5944 0 -1 1077944320 7030 13415 0 0 17 1 5 3 20 0 15 0 417337695 11079335936 10723 33554432000 4194304 4196468 140727475481888 140727475464432 139739670163191 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
/proc/9082/statm: 2704916 10723 3159 1 0 2667149 0
[pid=9082/tid=9135] ppid=9079 vsize=10819664 memory=729618466009055537 CPUtime=0.2 cores=0,2,4,6
/proc/9082/task/9135/stat : 9135 (java) R 9079 9082 5944 0 -1 4202560 3517 13415 0 0 11 1 5 3 20 0 15 0 417337704 11079335936 10723 33554432000 4194304 4196468 140727475481888 139739641970776 139739653350000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9136] ppid=9079 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9136/stat : 9136 (java) S 9079 9082 5944 0 -1 1077944384 1 13415 0 0 0 0 5 3 20 0 15 0 417337705 11079335936 10723 33554432000 4194304 4196468 140727475481888 139739674405776 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9137] ppid=9079 vsize=10819664 memory=15963349925254808 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9137/stat : 9137 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 15 0 417337705 11079335936 10723 33554432000 4194304 4196468 140727475481888 139739589225232 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9138] ppid=9079 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9138/stat : 9138 (java) S 9079 9082 5944 0 -1 1077944384 1 13415 0 0 0 0 5 3 20 0 15 0 417337705 11079335936 10723 33554432000 4194304 4196468 140727475481888 139739588172944 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9139] ppid=9079 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9139/stat : 9139 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 15 0 417337705 11079335936 10723 33554432000 4194304 4196468 140727475481888 139739587120144 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9140] ppid=9079 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9140/stat : 9140 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 15 0 417337707 11079335936 10723 33554432000 4194304 4196468 140727475481888 139739196741744 139739670174338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9141] ppid=9079 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9141/stat : 9141 (java) S 9079 9082 5944 0 -1 1077944384 13 13415 0 0 0 0 5 3 20 0 15 0 417337707 11079335936 10723 33554432000 4194304 4196468 140727475481888 139739109778208 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9142] ppid=9079 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9142/stat : 9142 (java) S 9079 9082 5944 0 -1 1077944384 1 13415 0 0 0 0 5 3 20 0 15 0 417337707 11079335936 10723 33554432000 4194304 4196468 140727475481888 139738975560816 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9143] ppid=9079 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9143/stat : 9143 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 15 0 417337710 11079335936 10723 33554432000 4194304 4196468 140727475481888 139738371582032 139739670181787 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9144] ppid=9079 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9082/task/9144/stat : 9144 (java) S 9079 9082 5944 0 -1 1077944384 476 13415 0 0 1 0 5 3 20 0 15 0 417337710 11079335936 10723 33554432000 4194304 4196468 140727475481888 139739195689584 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9145] ppid=9079 vsize=10819664 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/9082/task/9145/stat : 9145 (java) S 9079 9082 5944 0 -1 1077944384 188 13415 0 0 1 0 5 3 20 0 15 0 417337710 11079335936 10723 33554432000 4194304 4196468 140727475481888 139739194636784 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9146] ppid=9079 vsize=10819664 memory=140070974936704 CPUtime=0.11 cores=0,2,4,6
/proc/9082/task/9146/stat : 9146 (java) S 9079 9082 5944 0 -1 1077944384 613 13415 0 0 3 0 5 3 20 0 15 0 417337710 11079335936 10723 33554432000 4194304 4196468 140727475481888 139739193584496 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9147] ppid=9079 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9147/stat : 9147 (java) S 9079 9082 5944 0 -1 1077944384 3 13415 0 0 0 0 5 3 20 0 15 0 417337710 11079335936 10723 33554432000 4194304 4196468 140727475481888 139737901820896 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9148] ppid=9079 vsize=10819664 memory=140070974936704 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9148/stat : 9148 (java) S 9079 9082 5944 0 -1 1077944384 1 13415 0 0 0 0 5 3 20 0 15 0 417337711 11079335936 10723 33554432000 4194304 4196468 140727475481888 139739192531376 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 42892 KiB
[startup+0.310467 s]*
/proc/loadavg: 1.29 1.35 1.34 5/227 9148
/proc/meminfo: memFree=25946596/32770624 swapFree=66977616/67108860
[pid=9082] ppid=9079 vsize=10820148 memory=54040 CPUtime=0.4 cores=0,2,4,6
/proc/9082/stat : 9082 (java) S 9079 9082 5944 0 -1 1077944320 10750 13415 0 0 29 3 5 3 20 0 15 0 417337695 11079831552 13510 33554432000 4194304 4196468 140727475481888 140727475464432 139739670163191 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
/proc/9082/statm: 2705037 13510 3291 1 0 2667149 0
[pid=9082/tid=9135] ppid=9079 vsize=10820148 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/9082/task/9135/stat : 9135 (java) R 9079 9082 5944 0 -1 4202560 7203 13415 0 0 19 2 5 3 20 0 15 0 417337704 11079831552 13510 33554432000 4194304 4196468 140727475481888 139739641963104 139739654243678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9136] ppid=9079 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9136/stat : 9136 (java) S 9079 9082 5944 0 -1 1077944384 1 13415 0 0 0 0 5 3 20 0 15 0 417337705 11079831552 13510 33554432000 4194304 4196468 140727475481888 139739674405776 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9137] ppid=9079 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9137/stat : 9137 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 15 0 417337705 11079831552 13510 33554432000 4194304 4196468 140727475481888 139739589225232 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9138] ppid=9079 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9138/stat : 9138 (java) S 9079 9082 5944 0 -1 1077944384 1 13415 0 0 0 0 5 3 20 0 15 0 417337705 11079831552 13510 33554432000 4194304 4196468 140727475481888 139739588172944 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9139] ppid=9079 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9139/stat : 9139 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 15 0 417337705 11079831552 13510 33554432000 4194304 4196468 140727475481888 139739587120144 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9140] ppid=9079 vsize=10820148 memory=140070974936703 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9140/stat : 9140 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 15 0 417337707 11079831552 13510 33554432000 4194304 4196468 140727475481888 139739196741744 139739670174338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9141] ppid=9079 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9141/stat : 9141 (java) S 9079 9082 5944 0 -1 1077944384 13 13415 0 0 0 0 5 3 20 0 15 0 417337707 11079831552 13510 33554432000 4194304 4196468 140727475481888 139739109778208 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9142] ppid=9079 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9142/stat : 9142 (java) S 9079 9082 5944 0 -1 1077944384 1 13415 0 0 0 0 5 3 20 0 15 0 417337707 11079831552 13510 33554432000 4194304 4196468 140727475481888 139738975560816 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9143] ppid=9079 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9143/stat : 9143 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 15 0 417337710 11079831552 13510 33554432000 4194304 4196468 140727475481888 139738371582032 139739670181787 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9144] ppid=9079 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9082/task/9144/stat : 9144 (java) S 9079 9082 5944 0 -1 1077944384 477 13415 0 0 1 0 5 3 20 0 15 0 417337710 11079831552 13510 33554432000 4194304 4196468 140727475481888 139739195689584 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9145] ppid=9079 vsize=10820148 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/9082/task/9145/stat : 9145 (java) S 9079 9082 5944 0 -1 1077944384 197 13415 0 0 2 0 5 3 20 0 15 0 417337710 11079831552 13510 33554432000 4194304 4196468 140727475481888 139739194636784 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9146] ppid=9079 vsize=10820148 memory=140070974936704 CPUtime=0.13 cores=0,2,4,6
/proc/9082/task/9146/stat : 9146 (java) S 9079 9082 5944 0 -1 1077944384 636 13415 0 0 5 0 5 3 20 0 15 0 417337710 11079831552 13510 33554432000 4194304 4196468 140727475481888 139739193584496 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9147] ppid=9079 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9147/stat : 9147 (java) S 9079 9082 5944 0 -1 1077944384 3 13415 0 0 0 0 5 3 20 0 15 0 417337710 11079831552 13510 33554432000 4194304 4196468 140727475481888 139737901820896 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9148] ppid=9079 vsize=10820148 memory=140070974936704 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9148/stat : 9148 (java) S 9079 9082 5944 0 -1 1077944384 1 13415 0 0 0 0 5 3 20 0 15 0 417337711 11079831552 13510 33554432000 4194304 4196468 140727475481888 139739192531376 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 54040 KiB
[startup+0.70073 s]
/proc/loadavg: 1.29 1.35 1.34 3/227 9148
/proc/meminfo: memFree=25932680/32770624 swapFree=66977616/67108860
[pid=9082] ppid=9079 vsize=10824360 memory=87136 CPUtime=1.14 cores=0,2,4,6
/proc/9082/stat : 9082 (java) S 9079 9082 5944 0 -1 1077944320 15024 13415 0 0 101 5 5 3 20 0 15 0 417337695 11084144640 21784 33554432000 4194304 4196468 140727475481888 140727475464432 139739670163191 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
/proc/9082/statm: 2706090 21784 3506 1 0 2668173 0
[pid=9082/tid=9135] ppid=9079 vsize=10824360 memory=7810487918915055718 CPUtime=0.67 cores=0,2,4,6
/proc/9082/task/9135/stat : 9135 (java) R 9079 9082 5944 0 -1 4202560 10247 13415 0 0 55 4 5 3 20 0 15 0 417337704 11084144640 21784 33554432000 4194304 4196468 140727475481888 139739641992736 139739670185117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9136] ppid=9079 vsize=10824360 memory=1428 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9136/stat : 9136 (java) S 9079 9082 5944 0 -1 1077944384 1 13415 0 0 0 0 5 3 20 0 15 0 417337705 11084144640 21784 33554432000 4194304 4196468 140727475481888 139739674405776 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9137] ppid=9079 vsize=10824360 memory=1724 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9137/stat : 9137 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 15 0 417337705 11084144640 21784 33554432000 4194304 4196468 140727475481888 139739589225232 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9138] ppid=9079 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9138/stat : 9138 (java) S 9079 9082 5944 0 -1 1077944384 1 13415 0 0 0 0 5 3 20 0 15 0 417337705 11084144640 21784 33554432000 4194304 4196468 140727475481888 139739588172944 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9139] ppid=9079 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9139/stat : 9139 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 15 0 417337705 11084144640 21784 33554432000 4194304 4196468 140727475481888 139739587120144 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9140] ppid=9079 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9140/stat : 9140 (java) S 9079 9082 5944 0 -1 1077944384 5 13415 0 0 0 0 5 3 20 0 15 0 417337707 11084144640 21784 33554432000 4194304 4196468 140727475481888 139739196741744 139739670174338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9141] ppid=9079 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9141/stat : 9141 (java) S 9079 9082 5944 0 -1 1077944384 13 13415 0 0 0 0 5 3 20 0 15 0 417337707 11084144640 21784 33554432000 4194304 4196468 140727475481888 139739109778208 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9142] ppid=9079 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9142/stat : 9142 (java) S 9079 9082 5944 0 -1 1077944384 1 13415 0 0 0 0 5 3 20 0 15 0 417337707 11084144640 21784 33554432000 4194304 4196468 140727475481888 139738975560816 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9143] ppid=9079 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9143/stat : 9143 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 15 0 417337710 11084144640 21784 33554432000 4194304 4196468 140727475481888 139738371582032 139739670181787 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9144] ppid=9079 vsize=10824360 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/9082/task/9144/stat : 9144 (java) S 9079 9082 5944 0 -1 1077944384 974 13415 0 0 14 0 5 3 20 0 15 0 417337710 11084144640 21784 33554432000 4194304 4196468 140727475481888 139739195689584 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9145] ppid=9079 vsize=10824360 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/9082/task/9145/stat : 9145 (java) R 9079 9082 5944 0 -1 4202560 652 13415 0 0 13 0 5 3 20 0 15 0 417337710 11084144640 21784 33554432000 4194304 4196468 140727475481888 139739194636784 139739655047641 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9146] ppid=9079 vsize=10824360 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/9082/task/9146/stat : 9146 (java) S 9079 9082 5944 0 -1 1077944384 909 13415 0 0 17 0 5 3 20 0 15 0 417337710 11084144640 21784 33554432000 4194304 4196468 140727475481888 139739193584496 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9147] ppid=9079 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9147/stat : 9147 (java) S 9079 9082 5944 0 -1 1077944384 3 13415 0 0 0 0 5 3 20 0 15 0 417337710 11084144640 21784 33554432000 4194304 4196468 140727475481888 139737901820896 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9148] ppid=9079 vsize=10824360 memory=3616 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9148/stat : 9148 (java) S 9079 9082 5944 0 -1 1077944384 1 13415 0 0 0 0 5 3 20 0 15 0 417337711 11084144640 21784 33554432000 4194304 4196468 140727475481888 139739192531376 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 87136 KiB
[startup+1.50503 s]
/proc/loadavg: 1.29 1.35 1.34 5/227 9148
/proc/meminfo: memFree=25887828/32770624 swapFree=66977616/67108860
[pid=9082] ppid=9079 vsize=10834676 memory=197008 CPUtime=3.09 cores=0,2,4,6
/proc/9082/stat : 9082 (java) S 9079 9082 5944 0 -1 1077944320 24620 13415 0 0 291 10 5 3 20 0 15 0 417337695 11094708224 49252 33554432000 4194304 4196468 140727475481888 140727475464432 139739670163191 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
/proc/9082/statm: 2708669 49252 3581 1 0 2670733 0
[pid=9082/tid=9135] ppid=9079 vsize=10834676 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/9082/task/9135/stat : 9135 (java) R 9079 9082 5944 0 -1 4202560 15401 13415 0 0 129 6 5 3 20 0 15 0 417337704 11094708224 49252 33554432000 4194304 4196468 140727475481888 139739641994320 139739670185117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9136] ppid=9079 vsize=10834676 memory=-7531822216213012384 CPUtime=0.09 cores=0,2,4,6
/proc/9082/task/9136/stat : 9136 (java) S 9079 9082 5944 0 -1 1077944384 282 13415 0 0 1 0 5 3 20 0 15 0 417337705 11094708224 49252 33554432000 4194304 4196468 140727475481888 139739674405776 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9137] ppid=9079 vsize=10834676 memory=7014751519650437478 CPUtime=0.09 cores=0,2,4,6
/proc/9082/task/9137/stat : 9137 (java) S 9079 9082 5944 0 -1 1077944384 63 13415 0 0 1 0 5 3 20 0 15 0 417337705 11094708224 49252 33554432000 4194304 4196468 140727475481888 139739589225232 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9138] ppid=9079 vsize=10834676 memory=7302413512799315545 CPUtime=0.09 cores=0,2,4,6
/proc/9082/task/9138/stat : 9138 (java) S 9079 9082 5944 0 -1 1077944384 36 13415 0 0 1 0 5 3 20 0 15 0 417337705 11094708224 49252 33554432000 4194304 4196468 140727475481888 139739588172944 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9139] ppid=9079 vsize=10834676 memory=280141658237280 CPUtime=0.09 cores=0,2,4,6
/proc/9082/task/9139/stat : 9139 (java) S 9079 9082 5944 0 -1 1077944384 56 13415 0 0 1 0 5 3 20 0 15 0 417337705 11094708224 49252 33554432000 4194304 4196468 140727475481888 139739587120144 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9140] ppid=9079 vsize=10834676 memory=179061481555763 CPUtime=0.09 cores=0,2,4,6
/proc/9082/task/9140/stat : 9140 (java) S 9079 9082 5944 0 -1 1077944384 100 13415 0 0 1 0 5 3 20 0 15 0 417337707 11094708224 49252 33554432000 4194304 4196468 140727475481888 139739196741744 139739670174338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9141] ppid=9079 vsize=10834676 memory=179061481555764 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9141/stat : 9141 (java) S 9079 9082 5944 0 -1 1077944384 14 13415 0 0 0 0 5 3 20 0 15 0 417337707 11094708224 49252 33554432000 4194304 4196468 140727475481888 139739109778272 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9142] ppid=9079 vsize=10834676 memory=179061481555765 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9142/stat : 9142 (java) S 9079 9082 5944 0 -1 1077944384 1 13415 0 0 0 0 5 3 20 0 15 0 417337707 11094708224 49252 33554432000 4194304 4196468 140727475481888 139738975560816 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9143] ppid=9079 vsize=10834676 memory=179061481555766 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9143/stat : 9143 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 15 0 417337710 11094708224 49252 33554432000 4194304 4196468 140727475481888 139738371582032 139739670181787 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9144] ppid=9079 vsize=10834676 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/9082/task/9144/stat : 9144 (java) S 9079 9082 5944 0 -1 1077944384 2075 13415 0 0 50 0 5 3 20 0 15 0 417337710 11094708224 49252 33554432000 4194304 4196468 140727475481888 139739195689584 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9145] ppid=9079 vsize=10834676 memory=280141657831344 CPUtime=0.68 cores=0,2,4,6
/proc/9082/task/9145/stat : 9145 (java) S 9079 9082 5944 0 -1 1077944384 2614 13415 0 0 60 0 5 3 20 0 15 0 417337710 11094708224 49252 33554432000 4194304 4196468 140727475481888 139739194636784 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9146] ppid=9079 vsize=10834676 memory=280141657829488 CPUtime=0.5 cores=0,2,4,6
/proc/9082/task/9146/stat : 9146 (java) S 9079 9082 5944 0 -1 1077944384 1761 13415 0 0 42 0 5 3 20 0 15 0 417337710 11094708224 49252 33554432000 4194304 4196468 140727475481888 139739193584496 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9147] ppid=9079 vsize=10834676 memory=280141657829552 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9147/stat : 9147 (java) S 9079 9082 5944 0 -1 1077944384 3 13415 0 0 0 0 5 3 20 0 15 0 417337710 11094708224 49252 33554432000 4194304 4196468 140727475481888 139737901820896 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9148] ppid=9079 vsize=10834676 memory=280141658277072 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9148/stat : 9148 (java) S 9079 9082 5944 0 -1 1077944384 1 13415 0 0 0 0 5 3 20 0 15 0 417337711 11094708224 49252 33554432000 4194304 4196468 140727475481888 139739192531376 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/9082/task/9135/stat : 9135 (java) R 9079 9082 5944 0 -1 4202560 192096 13415 0 0 228942 70 5 3 20 0 15 0 417337704 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739641998256 139739275319625 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9136] ppid=9079 vsize=10846984 memory=6592120 CPUtime=26.77 cores=0,2,4,6
/proc/9082/task/9136/stat : 9136 (java) S 9079 9082 5944 0 -1 1077944384 111528 13415 0 0 2564 105 5 3 20 0 15 0 417337705 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739674405776 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9137] ppid=9079 vsize=10846984 memory=6592120 CPUtime=26.68 cores=0,2,4,6
/proc/9082/task/9137/stat : 9137 (java) S 9079 9082 5944 0 -1 1077944384 113829 13415 0 0 2555 105 5 3 20 0 15 0 417337705 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739589225232 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9138] ppid=9079 vsize=10846984 memory=6592120 CPUtime=26.68 cores=0,2,4,6
/proc/9082/task/9138/stat : 9138 (java) S 9079 9082 5944 0 -1 1077944384 110283 13415 0 0 2551 109 5 3 20 0 15 0 417337705 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739588172944 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9139] ppid=9079 vsize=10846984 memory=6592120 CPUtime=26.85 cores=0,2,4,6
/proc/9082/task/9139/stat : 9139 (java) S 9079 9082 5944 0 -1 1077944384 108367 13415 0 0 2571 106 5 3 20 0 15 0 417337705 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739587120144 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9140] ppid=9079 vsize=10846984 memory=6592120 CPUtime=4.75 cores=0,2,4,6
/proc/9082/task/9140/stat : 9140 (java) S 9079 9082 5944 0 -1 1077944384 58685 13415 0 0 459 8 5 3 20 0 15 0 417337707 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739196741744 139739670174338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9141] ppid=9079 vsize=10846984 memory=6592120 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9141/stat : 9141 (java) S 9079 9082 5944 0 -1 1077944384 21 13415 0 0 0 0 5 3 20 0 15 0 417337707 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739109778336 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9142] ppid=9079 vsize=10846984 memory=6592120 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9142/stat : 9142 (java) S 9079 9082 5944 0 -1 1077944384 16 13415 0 0 0 0 5 3 20 0 15 0 417337707 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139738975560832 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9143] ppid=9079 vsize=10846984 memory=6592120 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9143/stat : 9143 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139738371582032 139739670181787 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9144] ppid=9079 vsize=10846984 memory=6592120 CPUtime=5.71 cores=0,2,4,6
/proc/9082/task/9144/stat : 9144 (java) S 9079 9082 5944 0 -1 1077944384 36010 13415 0 0 559 4 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739195689584 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9145] ppid=9079 vsize=10846984 memory=6592120 CPUtime=6.55 cores=0,2,4,6
/proc/9082/task/9145/stat : 9145 (java) S 9079 9082 5944 0 -1 1077944384 58572 13415 0 0 640 7 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739194636784 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9146] ppid=9079 vsize=10846984 memory=3616 CPUtime=2.19 cores=0,2,4,6
/proc/9082/task/9146/stat : 9146 (java) S 9079 9082 5944 0 -1 1077944384 29910 13415 0 0 207 4 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739193584496 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9147] ppid=9079 vsize=10846984 memory=780 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9147/stat : 9147 (java) S 9079 9082 5944 0 -1 1077944384 3 13415 0 0 0 0 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139737901820896 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9148] ppid=9079 vsize=10846984 memory=3252 CPUtime=1.47 cores=0,2,4,6
/proc/9082/task/9148/stat : 9148 (java) S 9079 9082 5944 0 -1 1077944384 1719 13415 0 0 64 75 5 3 20 0 15 0 417337711 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739192531376 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
Current children cumulated CPU time: 2417.24 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 6592120 KiB
[startup+2382.3 s]
/proc/loadavg: 1.38 1.54 1.58 3/226 9526
/proc/meminfo: memFree=18627456/32770624 swapFree=66977616/67108860
[pid=9082] ppid=9079 vsize=10846984 memory=6592120 CPUtime=2477.58 cores=0,2,4,6
/proc/9082/stat : 9082 (java) S 9079 9082 5944 0 -1 1077944320 840281 13415 0 0 247175 575 5 3 20 0 15 0 417337695 11107311616 1648030 33554432000 4194304 4196468 140727475481888 140727475464432 139739670163191 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
/proc/9082/statm: 2711746 1648030 3637 1 0 2673805 0
[pid=9082/tid=9135] ppid=9079 vsize=10846984 memory=780 CPUtime=2350.07 cores=0,2,4,6
/proc/9082/task/9135/stat : 9135 (java) R 9079 9082 5944 0 -1 4202560 196300 13415 0 0 234928 71 5 3 20 0 15 0 417337704 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739641998448 139739276175595 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9136] ppid=9079 vsize=10846984 memory=6592120 CPUtime=26.88 cores=0,2,4,6
/proc/9082/task/9136/stat : 9136 (java) S 9079 9082 5944 0 -1 1077944384 113803 13415 0 0 2575 105 5 3 20 0 15 0 417337705 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739674405776 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9137] ppid=9079 vsize=10846984 memory=6592120 CPUtime=26.78 cores=0,2,4,6
/proc/9082/task/9137/stat : 9137 (java) S 9079 9082 5944 0 -1 1077944384 116317 13415 0 0 2565 105 5 3 20 0 15 0 417337705 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739589225232 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9138] ppid=9079 vsize=10846984 memory=6592120 CPUtime=26.78 cores=0,2,4,6
/proc/9082/task/9138/stat : 9138 (java) S 9079 9082 5944 0 -1 1077944384 112962 13415 0 0 2561 109 5 3 20 0 15 0 417337705 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739588172944 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9139] ppid=9079 vsize=10846984 memory=6592120 CPUtime=26.96 cores=0,2,4,6
/proc/9082/task/9139/stat : 9139 (java) S 9079 9082 5944 0 -1 1077944384 111737 13415 0 0 2581 107 5 3 20 0 15 0 417337705 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739587120144 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9140] ppid=9079 vsize=10846984 memory=55 CPUtime=4.75 cores=0,2,4,6
/proc/9082/task/9140/stat : 9140 (java) S 9079 9082 5944 0 -1 1077944384 58989 13415 0 0 459 8 5 3 20 0 15 0 417337707 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739196741744 139739670174338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9141] ppid=9079 vsize=10846984 memory=6592120 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9141/stat : 9141 (java) S 9079 9082 5944 0 -1 1077944384 21 13415 0 0 0 0 5 3 20 0 15 0 417337707 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739109778336 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9142] ppid=9079 vsize=10846984 memory=6592120 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9142/stat : 9142 (java) S 9079 9082 5944 0 -1 1077944384 16 13415 0 0 0 0 5 3 20 0 15 0 417337707 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139738975560832 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9143] ppid=9079 vsize=10846984 memory=6592120 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9143/stat : 9143 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139738371582032 139739670181787 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9144] ppid=9079 vsize=10846984 memory=6592120 CPUtime=5.71 cores=0,2,4,6
/proc/9082/task/9144/stat : 9144 (java) S 9079 9082 5944 0 -1 1077944384 37248 13415 0 0 559 4 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739195689584 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9145] ppid=9079 vsize=10846984 memory=8 CPUtime=6.55 cores=0,2,4,6
/proc/9082/task/9145/stat : 9145 (java) S 9079 9082 5944 0 -1 1077944384 59006 13415 0 0 640 7 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739194636784 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9146] ppid=9079 vsize=10846984 memory=1428 CPUtime=2.19 cores=0,2,4,6
/proc/9082/task/9146/stat : 9146 (java) S 9079 9082 5944 0 -1 1077944384 29912 13415 0 0 207 4 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739193584496 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9147] ppid=9079 vsize=10846984 memory=6592120 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9147/stat : 9147 (java) S 9079 9082 5944 0 -1 1077944384 3 13415 0 0 0 0 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139737901820896 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9148] ppid=9079 vsize=10846984 memory=3616 CPUtime=1.51 cores=0,2,4,6
/proc/9082/task/9148/stat : 9148 (java) S 9079 9082 5944 0 -1 1077944384 1754 13415 0 0 66 77 5 3 20 0 15 0 417337711 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739192531376 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
Current children cumulated CPU time: 2477.58 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 6592120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2424.5 s]
/proc/loadavg: 1.41 1.53 1.58 3/227 9538
/proc/meminfo: memFree=18670552/32770624 swapFree=66977616/67108860
[pid=9082] ppid=9079 vsize=10846984 memory=6592120 CPUtime=2520.02 cores=0,2,4,6
/proc/9082/stat : 9082 (java) S 9079 9082 5944 0 -1 1077944320 853895 13415 0 0 251417 577 5 3 20 0 15 0 417337695 11107311616 1648030 33554432000 4194304 4196468 140727475481888 140727475464432 139739670163191 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
/proc/9082/statm: 2711746 1648030 3637 1 0 2673805 0
[pid=9082/tid=9135] ppid=9079 vsize=10846984 memory=6592120 CPUtime=2392.19 cores=0,2,4,6
/proc/9082/task/9135/stat : 9135 (java) R 9079 9082 5944 0 -1 4202560 200153 13415 0 0 239139 72 5 3 20 0 15 0 417337704 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739641998160 139739275319405 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9136] ppid=9079 vsize=10846984 memory=6592120 CPUtime=26.96 cores=0,2,4,6
/proc/9082/task/9136/stat : 9136 (java) S 9079 9082 5944 0 -1 1077944384 116979 13415 0 0 2582 106 5 3 20 0 15 0 417337705 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739674405776 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9137] ppid=9079 vsize=10846984 memory=6592120 CPUtime=26.86 cores=0,2,4,6
/proc/9082/task/9137/stat : 9137 (java) S 9079 9082 5944 0 -1 1077944384 118610 13415 0 0 2573 105 5 3 20 0 15 0 417337705 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739589225232 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9138] ppid=9079 vsize=10846984 memory=6592120 CPUtime=26.86 cores=0,2,4,6
/proc/9082/task/9138/stat : 9138 (java) S 9079 9082 5944 0 -1 1077944384 115012 13415 0 0 2569 109 5 3 20 0 15 0 417337705 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739588172944 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9139] ppid=9079 vsize=10846984 memory=6592120 CPUtime=27.03 cores=0,2,4,6
/proc/9082/task/9139/stat : 9139 (java) S 9079 9082 5944 0 -1 1077944384 113809 13415 0 0 2588 107 5 3 20 0 15 0 417337705 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739587120144 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9140] ppid=9079 vsize=10846984 memory=6592120 CPUtime=4.77 cores=0,2,4,6
/proc/9082/task/9140/stat : 9140 (java) S 9079 9082 5944 0 -1 1077944384 59113 13415 0 0 460 9 5 3 20 0 15 0 417337707 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739196741744 139739670174338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9141] ppid=9079 vsize=10846984 memory=6592120 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9141/stat : 9141 (java) S 9079 9082 5944 0 -1 1077944384 21 13415 0 0 0 0 5 3 20 0 15 0 417337707 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739109778336 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9142] ppid=9079 vsize=10846984 memory=6592120 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9142/stat : 9142 (java) S 9079 9082 5944 0 -1 1077944384 16 13415 0 0 0 0 5 3 20 0 15 0 417337707 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139738975560832 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9143] ppid=9079 vsize=10846984 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9143/stat : 9143 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139738371582032 139739670181787 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9144] ppid=9079 vsize=10846984 memory=6592120 CPUtime=5.71 cores=0,2,4,6
/proc/9082/task/9144/stat : 9144 (java) S 9079 9082 5944 0 -1 1077944384 37252 13415 0 0 559 4 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739195689584 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9145] ppid=9079 vsize=10846984 memory=6592120 CPUtime=6.55 cores=0,2,4,6
/proc/9082/task/9145/stat : 9145 (java) S 9079 9082 5944 0 -1 1077944384 59008 13415 0 0 640 7 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739194636784 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9146] ppid=9079 vsize=10846984 memory=6592120 CPUtime=2.19 cores=0,2,4,6
/proc/9082/task/9146/stat : 9146 (java) S 9079 9082 5944 0 -1 1077944384 29914 13415 0 0 207 4 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739193584496 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9147] ppid=9079 vsize=10846984 memory=6592120 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9147/stat : 9147 (java) S 9079 9082 5944 0 -1 1077944384 3 13415 0 0 0 0 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139737901820896 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9148] ppid=9079 vsize=10846984 memory=6592120 CPUtime=1.53 cores=0,2,4,6
/proc/9082/task/9148/stat : 9148 (java) S 9079 9082 5944 0 -1 1077944384 1792 13415 0 0 67 78 5 3 20 0 15 0 417337711 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739192531376 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 6592120 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2424.56 s]
# the end of solver process 9082 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.26 s, system=5.8469 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2424.5 s]
/proc/loadavg: 1.41 1.53 1.58 3/227 9538
/proc/meminfo: memFree=18670552/32770624 swapFree=66977616/67108860
[pid=9082] ppid=9079 vsize=10846984 memory=6592120 CPUtime=2520.02 cores=0,2,4,6
/proc/9082/stat : 9082 (java) S 9079 9082 5944 0 -1 1077944320 853895 13415 0 0 251417 577 5 3 20 0 15 0 417337695 11107311616 1648030 33554432000 4194304 4196468 140727475481888 140727475464432 139739670163191 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
/proc/9082/statm: 2711746 1648030 3637 1 0 2673805 0
[pid=9082/tid=9135] ppid=9079 vsize=10846984 memory=6592120 CPUtime=2392.19 cores=0,2,4,6
/proc/9082/task/9135/stat : 9135 (java) R 9079 9082 5944 0 -1 4202560 200153 13415 0 0 239139 72 5 3 20 0 15 0 417337704 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739641998160 139739275319405 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9136] ppid=9079 vsize=10846984 memory=6592120 CPUtime=26.96 cores=0,2,4,6
/proc/9082/task/9136/stat : 9136 (java) S 9079 9082 5944 0 -1 1077944384 116979 13415 0 0 2582 106 5 3 20 0 15 0 417337705 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739674405776 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9137] ppid=9079 vsize=10846984 memory=6592120 CPUtime=26.86 cores=0,2,4,6
/proc/9082/task/9137/stat : 9137 (java) S 9079 9082 5944 0 -1 1077944384 118610 13415 0 0 2573 105 5 3 20 0 15 0 417337705 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739589225232 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9138] ppid=9079 vsize=10846984 memory=6592120 CPUtime=26.86 cores=0,2,4,6
/proc/9082/task/9138/stat : 9138 (java) S 9079 9082 5944 0 -1 1077944384 115012 13415 0 0 2569 109 5 3 20 0 15 0 417337705 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739588172944 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9139] ppid=9079 vsize=10846984 memory=6592120 CPUtime=27.03 cores=0,2,4,6
/proc/9082/task/9139/stat : 9139 (java) S 9079 9082 5944 0 -1 1077944384 113809 13415 0 0 2588 107 5 3 20 0 15 0 417337705 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739587120144 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9140] ppid=9079 vsize=10846984 memory=6592120 CPUtime=4.77 cores=0,2,4,6
/proc/9082/task/9140/stat : 9140 (java) S 9079 9082 5944 0 -1 1077944384 59113 13415 0 0 460 9 5 3 20 0 15 0 417337707 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739196741744 139739670174338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9141] ppid=9079 vsize=10846984 memory=6592120 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9141/stat : 9141 (java) S 9079 9082 5944 0 -1 1077944384 21 13415 0 0 0 0 5 3 20 0 15 0 417337707 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739109778336 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9142] ppid=9079 vsize=10846984 memory=6592120 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9142/stat : 9142 (java) S 9079 9082 5944 0 -1 1077944384 16 13415 0 0 0 0 5 3 20 0 15 0 417337707 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139738975560832 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9143] ppid=9079 vsize=10846984 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9143/stat : 9143 (java) S 9079 9082 5944 0 -1 1077944384 2 13415 0 0 0 0 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139738371582032 139739670181787 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9144] ppid=9079 vsize=10846984 memory=6592120 CPUtime=5.71 cores=0,2,4,6
/proc/9082/task/9144/stat : 9144 (java) S 9079 9082 5944 0 -1 1077944384 37252 13415 0 0 559 4 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739195689584 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9145] ppid=9079 vsize=10846984 memory=6592120 CPUtime=6.55 cores=0,2,4,6
/proc/9082/task/9145/stat : 9145 (java) S 9079 9082 5944 0 -1 1077944384 59008 13415 0 0 640 7 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739194636784 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9146] ppid=9079 vsize=10846984 memory=6592120 CPUtime=2.19 cores=0,2,4,6
/proc/9082/task/9146/stat : 9146 (java) S 9079 9082 5944 0 -1 1077944384 29914 13415 0 0 207 4 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739193584496 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9147] ppid=9079 vsize=10846984 memory=6592120 CPUtime=0.08 cores=0,2,4,6
/proc/9082/task/9147/stat : 9147 (java) S 9079 9082 5944 0 -1 1077944384 3 13415 0 0 0 0 5 3 20 0 15 0 417337710 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139737901820896 139739670173397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
[pid=9082/tid=9148] ppid=9079 vsize=10846984 memory=6592120 CPUtime=1.53 cores=0,2,4,6
/proc/9082/task/9148/stat : 9148 (java) S 9079 9082 5944 0 -1 1077944384 1792 13415 0 0 67 78 5 3 20 0 15 0 417337711 11107311616 1648030 33554432000 4194304 4196468 140727475481888 139739192531376 139739670174338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30371840 140727475485425 140727475487941 140727475487941 140727475490767 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 6592120 KiB
Child status: 143
Real time (s): 2424.56
CPU time (s): 2520.11
CPU user time (s): 2514.26
CPU system time (s): 5.8469
CPU usage (%): 103.941
Max. virtual memory (cumulated for all children) (KiB): 10849744
Max. memory (cumulated for all children) (KiB): 6592120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.26
system time used= 5.8469
maximum resident set size= 6596272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 870610
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70322
involuntary context switches= 4188
# summary of solver processes directly reported to runsolver:
# pid: 9082
# total CPU time (s): 2520.11
# total CPU user time (s): 2514.26
# total CPU system time (s): 5.8469
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5522 second user time and 20.2742 second system time
The end