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 (15111 MiB free)
memory of node 1: 16384 MiB (13448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395899-1568401446/watcher-4395899-1568401446 -o /tmp/evaluation-result-4395899-1568401446/solver-4395899-1568401446 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568394139-25059 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=243526212 HOME/instance-4395899-1568401446.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=26514, runsolver pid=26511
[startup+0.100117 s]*
/proc/loadavg: 1.33 1.26 1.35 3/220 26571
/proc/meminfo: memFree=29239844/32770624 swapFree=66958232/67108860
[pid=26514] ppid=26511 vsize=9972712 memory=17080 CPUtime=0.1 cores=1,3,5,7
/proc/26514/stat : 26514 (java) S 26511 26514 25027 0 -1 1077944320 4492 13252 0 0 1 1 5 3 20 0 6 0 416081115 10212057088 4270 33554432000 4194304 4196468 140726243404096 140726243386640 139931141582583 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
/proc/26514/statm: 2493178 4270 1935 1 0 2481616 0
[pid=26514/tid=26567] ppid=26511 vsize=9972712 memory=4279135703913364878 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26567/stat : 26567 (java) R 26511 26514 25027 0 -1 4202560 2283 13252 0 0 0 0 5 3 20 0 6 0 416081124 10212057088 4270 33554432000 4194304 4196468 140726243404096 139931113419344 139931125663070 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26568] ppid=26511 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26568/stat : 26568 (java) S 26511 26514 25027 0 -1 1077944384 1 13252 0 0 0 0 5 3 20 0 6 0 416081125 10212057088 4270 33554432000 4194304 4196468 140726243404096 139931145825168 139931141592789 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26569] ppid=26511 vsize=9972712 memory=140660050085504 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26569/stat : 26569 (java) S 26511 26514 25027 0 -1 1077944384 2 13252 0 0 0 0 5 3 20 0 6 0 416081125 10212057088 4270 33554432000 4194304 4196468 140726243404096 139931044715280 139931141592789 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26570] ppid=26511 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26570/stat : 26570 (java) S 26511 26514 25027 0 -1 1077944384 1 13252 0 0 0 0 5 3 20 0 6 0 416081125 10212057088 4270 33554432000 4194304 4196468 140726243404096 139931043662992 139931141592789 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26571] ppid=26511 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26571/stat : 26571 (java) S 26511 26514 25027 0 -1 1077944384 2 13252 0 0 0 0 5 3 20 0 6 0 416081125 10212057088 4270 33554432000 4194304 4196468 140726243404096 139931042610192 139931141592789 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.210666 s]*
/proc/loadavg: 1.33 1.26 1.35 3/229 26580
/proc/meminfo: memFree=29219060/32770624 swapFree=66958232/67108860
[pid=26514] ppid=26511 vsize=10819664 memory=39512 CPUtime=0.27 cores=1,3,5,7
/proc/26514/stat : 26514 (java) S 26511 26514 25027 0 -1 1077944320 7192 13252 0 0 18 1 5 3 20 0 15 0 416081115 11079335936 9878 33554432000 4194304 4196468 140726243404096 140726243386640 139931141582583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
/proc/26514/statm: 2704916 9878 3166 1 0 2667149 0
[pid=26514/tid=26567] ppid=26511 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/26514/task/26567/stat : 26567 (java) R 26511 26514 25027 0 -1 4202560 3705 13252 0 0 11 0 5 3 20 0 15 0 416081124 11079335936 9878 33554432000 4194304 4196468 140726243404096 139931113405744 139931125663070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26568] ppid=26511 vsize=10819664 memory=331 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26568/stat : 26568 (java) S 26511 26514 25027 0 -1 1077944384 1 13252 0 0 0 0 5 3 20 0 15 0 416081125 11079335936 9878 33554432000 4194304 4196468 140726243404096 139931145825168 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26569] ppid=26511 vsize=10819664 memory=288371036201797248 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26569/stat : 26569 (java) S 26511 26514 25027 0 -1 1077944384 2 13252 0 0 0 0 5 3 20 0 15 0 416081125 11079335936 9878 33554432000 4194304 4196468 140726243404096 139931044715280 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26570] ppid=26511 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26570/stat : 26570 (java) S 26511 26514 25027 0 -1 1077944384 1 13252 0 0 0 0 5 3 20 0 15 0 416081125 11079335936 9878 33554432000 4194304 4196468 140726243404096 139931043662992 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26571] ppid=26511 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26571/stat : 26571 (java) S 26511 26514 25027 0 -1 1077944384 2 13252 0 0 0 0 5 3 20 0 15 0 416081125 11079335936 9878 33554432000 4194304 4196468 140726243404096 139931042610192 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26572] ppid=26511 vsize=10819664 memory=140660050085504 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26572/stat : 26572 (java) S 26511 26514 25027 0 -1 1077944384 2 13252 0 0 0 0 5 3 20 0 15 0 416081126 11079335936 9878 33554432000 4194304 4196468 140726243404096 139930600990832 139931141593730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26573] ppid=26511 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26573/stat : 26573 (java) S 26511 26514 25027 0 -1 1077944384 13 13252 0 0 0 0 5 3 20 0 15 0 416081127 11079335936 9878 33554432000 4194304 4196468 140726243404096 139930504258336 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26574] ppid=26511 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26574/stat : 26574 (java) S 26511 26514 25027 0 -1 1077944384 1 13252 0 0 0 0 5 3 20 0 15 0 416081127 11079335936 9878 33554432000 4194304 4196468 140726243404096 139929900278896 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26575] ppid=26511 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26575/stat : 26575 (java) S 26511 26514 25027 0 -1 1077944384 3 13252 0 0 0 0 5 3 20 0 15 0 416081130 11079335936 9878 33554432000 4194304 4196468 140726243404096 139929659988048 139931141601179 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26576] ppid=26511 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26514/task/26576/stat : 26576 (java) R 26511 26514 25027 0 -1 4202560 473 13252 0 0 1 0 5 3 20 0 15 0 416081130 11079335936 9878 33554432000 4194304 4196468 140726243404096 139930599938672 139931141594518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26577] ppid=26511 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/26514/task/26577/stat : 26577 (java) S 26511 26514 25027 0 -1 1077944384 179 13252 0 0 1 0 5 3 20 0 15 0 416081130 11079335936 9878 33554432000 4194304 4196468 140726243404096 139930598885872 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26578] ppid=26511 vsize=10819664 memory=140660050085504 CPUtime=0.11 cores=1,3,5,7
/proc/26514/task/26578/stat : 26578 (java) R 26511 26514 25027 0 -1 4202560 600 13252 0 0 3 0 5 3 20 0 15 0 416081130 11079335936 9878 33554432000 4194304 4196468 140726243404096 139930597833584 139931141594518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26579] ppid=26511 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26579/stat : 26579 (java) S 26511 26514 25027 0 -1 1077944384 3 13252 0 0 0 0 5 3 20 0 15 0 416081130 11079335936 9878 33554432000 4194304 4196468 140726243404096 139929626430432 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26580] ppid=26511 vsize=10819664 memory=140660050085504 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26580/stat : 26580 (java) S 26511 26514 25027 0 -1 1077944384 1 13252 0 0 0 0 5 3 20 0 15 0 416081130 11079335936 9878 33554432000 4194304 4196468 140726243404096 139930596780464 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39512 KiB
[startup+0.310328 s]*
/proc/loadavg: 1.33 1.26 1.35 3/229 26580
/proc/meminfo: memFree=29206120/32770624 swapFree=66958232/67108860
[pid=26514] ppid=26511 vsize=10820148 memory=50628 CPUtime=0.41 cores=1,3,5,7
/proc/26514/stat : 26514 (java) S 26511 26514 25027 0 -1 1077944320 10886 13252 0 0 30 3 5 3 20 0 15 0 416081115 11079831552 12657 33554432000 4194304 4196468 140726243404096 140726243386640 139931141582583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
/proc/26514/statm: 2705037 12657 3298 1 0 2667149 0
[pid=26514/tid=26567] ppid=26511 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26514/task/26567/stat : 26567 (java) R 26511 26514 25027 0 -1 4202560 7376 13252 0 0 19 2 5 3 20 0 15 0 416081124 11079831552 12657 33554432000 4194304 4196468 140726243404096 139931113382496 139931126949864 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26568] ppid=26511 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26568/stat : 26568 (java) S 26511 26514 25027 0 -1 1077944384 1 13252 0 0 0 0 5 3 20 0 15 0 416081125 11079831552 12657 33554432000 4194304 4196468 140726243404096 139931145825168 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26569] ppid=26511 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26569/stat : 26569 (java) S 26511 26514 25027 0 -1 1077944384 2 13252 0 0 0 0 5 3 20 0 15 0 416081125 11079831552 12657 33554432000 4194304 4196468 140726243404096 139931044715280 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26570] ppid=26511 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26570/stat : 26570 (java) S 26511 26514 25027 0 -1 1077944384 1 13252 0 0 0 0 5 3 20 0 15 0 416081125 11079831552 12657 33554432000 4194304 4196468 140726243404096 139931043662992 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26571] ppid=26511 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26571/stat : 26571 (java) S 26511 26514 25027 0 -1 1077944384 2 13252 0 0 0 0 5 3 20 0 15 0 416081125 11079831552 12657 33554432000 4194304 4196468 140726243404096 139931042610192 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26572] ppid=26511 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26572/stat : 26572 (java) S 26511 26514 25027 0 -1 1077944384 2 13252 0 0 0 0 5 3 20 0 15 0 416081126 11079831552 12657 33554432000 4194304 4196468 140726243404096 139930600990832 139931141593730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26573] ppid=26511 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26573/stat : 26573 (java) S 26511 26514 25027 0 -1 1077944384 13 13252 0 0 0 0 5 3 20 0 15 0 416081127 11079831552 12657 33554432000 4194304 4196468 140726243404096 139930504258336 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26574] ppid=26511 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26574/stat : 26574 (java) S 26511 26514 25027 0 -1 1077944384 1 13252 0 0 0 0 5 3 20 0 15 0 416081127 11079831552 12657 33554432000 4194304 4196468 140726243404096 139929900278896 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26575] ppid=26511 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26575/stat : 26575 (java) S 26511 26514 25027 0 -1 1077944384 3 13252 0 0 0 0 5 3 20 0 15 0 416081130 11079831552 12657 33554432000 4194304 4196468 140726243404096 139929659988048 139931141601179 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26576] ppid=26511 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26514/task/26576/stat : 26576 (java) S 26511 26514 25027 0 -1 1077944384 482 13252 0 0 2 0 5 3 20 0 15 0 416081130 11079831552 12657 33554432000 4194304 4196468 140726243404096 139930599938672 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26577] ppid=26511 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/26514/task/26577/stat : 26577 (java) S 26511 26514 25027 0 -1 1077944384 180 13252 0 0 1 0 5 3 20 0 15 0 416081130 11079831552 12657 33554432000 4194304 4196468 140726243404096 139930598885872 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26578] ppid=26511 vsize=10820148 memory=140660050085504 CPUtime=0.13 cores=1,3,5,7
/proc/26514/task/26578/stat : 26578 (java) S 26511 26514 25027 0 -1 1077944384 609 13252 0 0 5 0 5 3 20 0 15 0 416081130 11079831552 12657 33554432000 4194304 4196468 140726243404096 139930597833584 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26579] ppid=26511 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26579/stat : 26579 (java) S 26511 26514 25027 0 -1 1077944384 3 13252 0 0 0 0 5 3 20 0 15 0 416081130 11079831552 12657 33554432000 4194304 4196468 140726243404096 139929626430432 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26580] ppid=26511 vsize=10820148 memory=140660050085504 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26580/stat : 26580 (java) S 26511 26514 25027 0 -1 1077944384 1 13252 0 0 0 0 5 3 20 0 15 0 416081130 11079831552 12657 33554432000 4194304 4196468 140726243404096 139930596780464 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50628 KiB
[startup+0.700724 s]
/proc/loadavg: 1.33 1.26 1.35 3/229 26580
/proc/meminfo: memFree=29191944/32770624 swapFree=66958232/67108860
[pid=26514] ppid=26511 vsize=10824360 memory=83544 CPUtime=1.13 cores=1,3,5,7
/proc/26514/stat : 26514 (java) S 26511 26514 25027 0 -1 1077944320 15075 13252 0 0 100 5 5 3 20 0 15 0 416081115 11084144640 20886 33554432000 4194304 4196468 140726243404096 140726243386640 139931141582583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
/proc/26514/statm: 2706090 20886 3510 1 0 2668173 0
[pid=26514/tid=26567] ppid=26511 vsize=10824360 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/26514/task/26567/stat : 26567 (java) R 26511 26514 25027 0 -1 4202560 10311 13252 0 0 54 4 5 3 20 0 15 0 416081124 11084144640 20886 33554432000 4194304 4196468 140726243404096 139931113409456 139931141604509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26568] ppid=26511 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26568/stat : 26568 (java) S 26511 26514 25027 0 -1 1077944384 1 13252 0 0 0 0 5 3 20 0 15 0 416081125 11084144640 20886 33554432000 4194304 4196468 140726243404096 139931145825168 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26569] ppid=26511 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26569/stat : 26569 (java) S 26511 26514 25027 0 -1 1077944384 2 13252 0 0 0 0 5 3 20 0 15 0 416081125 11084144640 20886 33554432000 4194304 4196468 140726243404096 139931044715280 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26570] ppid=26511 vsize=10824360 memory=140659910652688 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26570/stat : 26570 (java) S 26511 26514 25027 0 -1 1077944384 1 13252 0 0 0 0 5 3 20 0 15 0 416081125 11084144640 20886 33554432000 4194304 4196468 140726243404096 139931043662992 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26571] ppid=26511 vsize=10824360 memory=140660178944590 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26571/stat : 26571 (java) S 26511 26514 25027 0 -1 1077944384 2 13252 0 0 0 0 5 3 20 0 15 0 416081125 11084144640 20886 33554432000 4194304 4196468 140726243404096 139931042610192 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26572] ppid=26511 vsize=10824360 memory=7976 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26572/stat : 26572 (java) S 26511 26514 25027 0 -1 1077944384 5 13252 0 0 0 0 5 3 20 0 15 0 416081126 11084144640 20886 33554432000 4194304 4196468 140726243404096 139930600990832 139931141593730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26573] ppid=26511 vsize=10824360 memory=7518026621751088994 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26573/stat : 26573 (java) S 26511 26514 25027 0 -1 1077944384 13 13252 0 0 0 0 5 3 20 0 15 0 416081127 11084144640 20886 33554432000 4194304 4196468 140726243404096 139930504258336 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26574] ppid=26511 vsize=10824360 memory=6081102367496366441 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26574/stat : 26574 (java) S 26511 26514 25027 0 -1 1077944384 1 13252 0 0 0 0 5 3 20 0 15 0 416081127 11084144640 20886 33554432000 4194304 4196468 140726243404096 139929900278896 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26575] ppid=26511 vsize=10824360 memory=14080 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26575/stat : 26575 (java) S 26511 26514 25027 0 -1 1077944384 3 13252 0 0 0 0 5 3 20 0 15 0 416081130 11084144640 20886 33554432000 4194304 4196468 140726243404096 139929659988048 139931141601179 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26576] ppid=26511 vsize=10824360 memory=21476 CPUtime=0.23 cores=1,3,5,7
/proc/26514/task/26576/stat : 26576 (java) S 26511 26514 25027 0 -1 1077944384 1030 13252 0 0 15 0 5 3 20 0 15 0 416081130 11084144640 20886 33554432000 4194304 4196468 140726243404096 139930599938672 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26577] ppid=26511 vsize=10824360 memory=2120 CPUtime=0.2 cores=1,3,5,7
/proc/26514/task/26577/stat : 26577 (java) S 26511 26514 25027 0 -1 1077944384 629 13252 0 0 12 0 5 3 20 0 15 0 416081130 11084144640 20886 33554432000 4194304 4196468 140726243404096 139930598885872 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26578] ppid=26511 vsize=10824360 memory=508 CPUtime=0.25 cores=1,3,5,7
/proc/26514/task/26578/stat : 26578 (java) S 26511 26514 25027 0 -1 1077944384 863 13252 0 0 17 0 5 3 20 0 15 0 416081130 11084144640 20886 33554432000 4194304 4196468 140726243404096 139930597833584 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26579] ppid=26511 vsize=10824360 memory=1560 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26579/stat : 26579 (java) S 26511 26514 25027 0 -1 1077944384 3 13252 0 0 0 0 5 3 20 0 15 0 416081130 11084144640 20886 33554432000 4194304 4196468 140726243404096 139929626430432 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26580] ppid=26511 vsize=10824360 memory=932 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26580/stat : 26580 (java) S 26511 26514 25027 0 -1 1077944384 1 13252 0 0 0 0 5 3 20 0 15 0 416081130 11084144640 20886 33554432000 4194304 4196468 140726243404096 139930596780464 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83544 KiB
[startup+1.5007 s]
/proc/loadavg: 1.38 1.27 1.36 3/229 26580
/proc/meminfo: memFree=29147068/32770624 swapFree=66958232/67108860
[pid=26514] ppid=26511 vsize=10834676 memory=171636 CPUtime=2.46 cores=1,3,5,7
/proc/26514/stat : 26514 (java) S 26511 26514 25027 0 -1 1077944320 22063 13252 0 0 227 11 5 3 20 0 15 0 416081115 11094708224 42909 33554432000 4194304 4196468 140726243404096 140726243386640 139931141582583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
/proc/26514/statm: 2708669 42909 3585 1 0 2670733 0
[pid=26514/tid=26567] ppid=26511 vsize=10834676 memory=67668 CPUtime=1.43 cores=1,3,5,7
/proc/26514/task/26567/stat : 26567 (java) R 26511 26514 25027 0 -1 4202560 15344 13252 0 0 129 6 5 3 20 0 15 0 416081124 11094708224 42909 33554432000 4194304 4196468 140726243404096 139931113377136 139930722474951 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26568] ppid=26511 vsize=10834676 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/26514/task/26568/stat : 26568 (java) S 26511 26514 25027 0 -1 1077944384 78 13252 0 0 1 0 5 3 20 0 15 0 416081125 11094708224 42909 33554432000 4194304 4196468 140726243404096 139931145825168 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26569] ppid=26511 vsize=10834676 memory=281319821336736 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26569/stat : 26569 (java) S 26511 26514 25027 0 -1 1077944384 75 13252 0 0 0 0 5 3 20 0 15 0 416081125 11094708224 42909 33554432000 4194304 4196468 140726243404096 139931044715280 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26570] ppid=26511 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26570/stat : 26570 (java) S 26511 26514 25027 0 -1 1077944384 397 13252 0 0 0 0 5 3 20 0 15 0 416081125 11094708224 42909 33554432000 4194304 4196468 140726243404096 139931043662992 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26571] ppid=26511 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26571/stat : 26571 (java) S 26511 26514 25027 0 -1 1077944384 21 13252 0 0 0 0 5 3 20 0 15 0 416081125 11094708224 42909 33554432000 4194304 4196468 140726243404096 139931042610192 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26572] ppid=26511 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26514/task/26572/stat : 26572 (java) S 26511 26514 25027 0 -1 1077944384 189 13252 0 0 1 0 5 3 20 0 15 0 416081126 11094708224 42909 33554432000 4194304 4196468 140726243404096 139930600990832 139931141593730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26573] ppid=26511 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26573/stat : 26573 (java) S 26511 26514 25027 0 -1 1077944384 13 13252 0 0 0 0 5 3 20 0 15 0 416081127 11094708224 42909 33554432000 4194304 4196468 140726243404096 139930504258400 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26574] ppid=26511 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26574/stat : 26574 (java) S 26511 26514 25027 0 -1 1077944384 2 13252 0 0 0 0 5 3 20 0 15 0 416081127 11094708224 42909 33554432000 4194304 4196468 140726243404096 139929900278912 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26575] ppid=26511 vsize=10834676 memory=-2245088631185882904 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26575/stat : 26575 (java) S 26511 26514 25027 0 -1 1077944384 3 13252 0 0 0 0 5 3 20 0 15 0 416081130 11094708224 42909 33554432000 4194304 4196468 140726243404096 139929659988048 139931141601179 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26576] ppid=26511 vsize=10834676 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/26514/task/26576/stat : 26576 (java) S 26511 26514 25027 0 -1 1077944384 1241 13252 0 0 27 0 5 3 20 0 15 0 416081130 11094708224 42909 33554432000 4194304 4196468 140726243404096 139930599938672 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26577] ppid=26511 vsize=10834676 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/26514/task/26577/stat : 26577 (java) S 26511 26514 25027 0 -1 1077944384 928 13252 0 0 24 0 5 3 20 0 15 0 416081130 11094708224 42909 33554432000 4194304 4196468 140726243404096 139930598885872 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26578] ppid=26511 vsize=10834676 memory=6791534058613427641 CPUtime=0.47 cores=1,3,5,7
/proc/26514/task/26578/stat : 26578 (java) S 26511 26514 25027 0 -1 1077944384 1558 13252 0 0 39 0 5 3 20 0 15 0 416081130 11094708224 42909 33554432000 4194304 4196468 140726243404096 139930597833584 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26579] ppid=26511 vsize=10834676 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26579/stat : 26579 (java) S 26511 26514 25027 0 -1 1077944384 3 13252 0 0 0 0 5 3 20 0 15 0 416081130 11094708224 42909 33554432000 4194304 4196468 140726243404096 139929626430432 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26580] ppid=26511 vsize=10834676 memory=281319821581184 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26580/stat : 26580 (java) S 26511 26514 25027 0 -1 1077944384 1 13252 0 0 0 0 5 3 20 0 15 0 416081130 11094708224 42909 33554432000 4194304 4196468 140726243404096 139930596780464 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/26514/task/26567/stat : 26567 (java) R 26511 26514 25027 0 -1 4202560 77781 13252 0 0 235431 61 5 3 20 0 15 0 416081124 11107311616 287831 33554432000 4194304 4196468 140726243404096 139931113417312 139930737545247 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26568] ppid=26511 vsize=10846984 memory=1151324 CPUtime=12.68 cores=1,3,5,7
/proc/26514/task/26568/stat : 26568 (java) S 26511 26514 25027 0 -1 1077944384 14978 13252 0 0 1197 63 5 3 20 0 15 0 416081125 11107311616 287831 33554432000 4194304 4196468 140726243404096 139931145825168 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26569] ppid=26511 vsize=10846984 memory=1149276 CPUtime=12.66 cores=1,3,5,7
/proc/26514/task/26569/stat : 26569 (java) S 26511 26514 25027 0 -1 1077944384 17525 13252 0 0 1196 62 5 3 20 0 15 0 416081125 11107311616 287831 33554432000 4194304 4196468 140726243404096 139931044715280 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26570] ppid=26511 vsize=10846984 memory=1151324 CPUtime=12.72 cores=1,3,5,7
/proc/26514/task/26570/stat : 26570 (java) S 26511 26514 25027 0 -1 1077944384 12426 13252 0 0 1200 64 5 3 20 0 15 0 416081125 11107311616 287831 33554432000 4194304 4196468 140726243404096 139931043662992 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26571] ppid=26511 vsize=10846984 memory=-6654736624938269017 CPUtime=12.66 cores=1,3,5,7
/proc/26514/task/26571/stat : 26571 (java) S 26511 26514 25027 0 -1 1077944384 13285 13252 0 0 1194 64 5 3 20 0 15 0 416081125 11107311616 287831 33554432000 4194304 4196468 140726243404096 139931042610192 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26572] ppid=26511 vsize=10846984 memory=1151324 CPUtime=11.74 cores=1,3,5,7
/proc/26514/task/26572/stat : 26572 (java) S 26511 26514 25027 0 -1 1077944384 16318 13252 0 0 1105 61 5 3 20 0 15 0 416081126 11107311616 287831 33554432000 4194304 4196468 140726243404096 139930600990832 139931141593730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26573] ppid=26511 vsize=10846984 memory=1151324 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26573/stat : 26573 (java) S 26511 26514 25027 0 -1 1077944384 19 13252 0 0 0 0 5 3 20 0 15 0 416081127 11107311616 287831 33554432000 4194304 4196468 140726243404096 139930504258464 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26574] ppid=26511 vsize=10846984 memory=1151324 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26574/stat : 26574 (java) S 26511 26514 25027 0 -1 1077944384 13 13252 0 0 0 0 5 3 20 0 15 0 416081127 11107311616 287831 33554432000 4194304 4196468 140726243404096 139929900278912 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26575] ppid=26511 vsize=10846984 memory=1151324 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26575/stat : 26575 (java) S 26511 26514 25027 0 -1 1077944384 3 13252 0 0 0 0 5 3 20 0 15 0 416081130 11107311616 287831 33554432000 4194304 4196468 140726243404096 139929659988048 139931141601179 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26576] ppid=26511 vsize=10846984 memory=6944652177228980320 CPUtime=6.08 cores=1,3,5,7
/proc/26514/task/26576/stat : 26576 (java) S 26511 26514 25027 0 -1 1077944384 37810 13252 0 0 594 6 5 3 20 0 15 0 416081130 11107311616 287831 33554432000 4194304 4196468 140726243404096 139930599938672 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26577] ppid=26511 vsize=10846984 memory=1151324 CPUtime=5.95 cores=1,3,5,7
/proc/26514/task/26577/stat : 26577 (java) S 26511 26514 25027 0 -1 1077944384 46268 13252 0 0 583 4 5 3 20 0 15 0 416081130 11107311616 287831 33554432000 4194304 4196468 140726243404096 139930598885872 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26578] ppid=26511 vsize=10846984 memory=1151324 CPUtime=2.25 cores=1,3,5,7
/proc/26514/task/26578/stat : 26578 (java) S 26511 26514 25027 0 -1 1077944384 40588 13252 0 0 210 7 5 3 20 0 15 0 416081130 11107311616 287831 33554432000 4194304 4196468 140726243404096 139930597833584 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26579] ppid=26511 vsize=10846984 memory=1151324 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26579/stat : 26579 (java) S 26511 26514 25027 0 -1 1077944384 3 13252 0 0 0 0 5 3 20 0 15 0 416081130 11107311616 287831 33554432000 4194304 4196468 140726243404096 139929626430432 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26580] ppid=26511 vsize=10846984 memory=281319822081760 CPUtime=1.51 cores=1,3,5,7
/proc/26514/task/26580/stat : 26580 (java) S 26511 26514 25027 0 -1 1077944384 1476 13252 0 0 68 75 5 3 20 0 15 0 416081130 11107311616 287831 33554432000 4194304 4196468 140726243404096 139930596780464 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
Current children cumulated CPU time: 2432.61 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1151324 KiB
[startup+2442.3 s]
/proc/loadavg: 1.41 1.43 1.44 3/228 26960
/proc/meminfo: memFree=26016268/32770624 swapFree=66958232/67108860
[pid=26514] ppid=26511 vsize=10846984 memory=1153372 CPUtime=2493.63 cores=1,3,5,7
/proc/26514/stat : 26514 (java) S 26511 26514 25027 0 -1 1077944320 282986 13252 0 0 248959 396 5 3 20 0 15 0 416081115 11107311616 288343 33554432000 4194304 4196468 140726243404096 140726243386640 139931141582583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
/proc/26514/statm: 2711746 288343 3633 1 0 2673805 0
[pid=26514/tid=26567] ppid=26511 vsize=10846984 memory=1153372 CPUtime=2414.31 cores=1,3,5,7
/proc/26514/task/26567/stat : 26567 (java) R 26511 26514 25027 0 -1 4202560 78766 13252 0 0 241361 62 5 3 20 0 15 0 416081124 11107311616 288343 33554432000 4194304 4196468 140726243404096 139931113417968 139930736015552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26568] ppid=26511 vsize=10846984 memory=-6654736624938269017 CPUtime=13.02 cores=1,3,5,7
/proc/26514/task/26568/stat : 26568 (java) S 26511 26514 25027 0 -1 1077944384 15271 13252 0 0 1229 65 5 3 20 0 15 0 416081125 11107311616 288343 33554432000 4194304 4196468 140726243404096 139931145825168 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26569] ppid=26511 vsize=10846984 memory=1153372 CPUtime=13.01 cores=1,3,5,7
/proc/26514/task/26569/stat : 26569 (java) S 26511 26514 25027 0 -1 1077944384 17736 13252 0 0 1230 63 5 3 20 0 15 0 416081125 11107311616 288343 33554432000 4194304 4196468 140726243404096 139931044715280 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26570] ppid=26511 vsize=10846984 memory=1153372 CPUtime=13.06 cores=1,3,5,7
/proc/26514/task/26570/stat : 26570 (java) S 26511 26514 25027 0 -1 1077944384 12456 13252 0 0 1233 65 5 3 20 0 15 0 416081125 11107311616 288343 33554432000 4194304 4196468 140726243404096 139931043662992 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26571] ppid=26511 vsize=10846984 memory=1153372 CPUtime=13.01 cores=1,3,5,7
/proc/26514/task/26571/stat : 26571 (java) S 26511 26514 25027 0 -1 1077944384 13591 13252 0 0 1227 66 5 3 20 0 15 0 416081125 11107311616 288343 33554432000 4194304 4196468 140726243404096 139931042610192 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26572] ppid=26511 vsize=10846984 memory=1153372 CPUtime=12.04 cores=1,3,5,7
/proc/26514/task/26572/stat : 26572 (java) S 26511 26514 25027 0 -1 1077944384 16732 13252 0 0 1134 62 5 3 20 0 15 0 416081126 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930600990832 139931141593730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26573] ppid=26511 vsize=10846984 memory=1153372 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26573/stat : 26573 (java) S 26511 26514 25027 0 -1 1077944384 19 13252 0 0 0 0 5 3 20 0 15 0 416081127 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930504258464 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26574] ppid=26511 vsize=10846984 memory=1153372 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26574/stat : 26574 (java) S 26511 26514 25027 0 -1 1077944384 13 13252 0 0 0 0 5 3 20 0 15 0 416081127 11107311616 288343 33554432000 4194304 4196468 140726243404096 139929900278912 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26575] ppid=26511 vsize=10846984 memory=1153372 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26575/stat : 26575 (java) S 26511 26514 25027 0 -1 1077944384 3 13252 0 0 0 0 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139929659988048 139931141601179 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26576] ppid=26511 vsize=10846984 memory=1153372 CPUtime=6.08 cores=1,3,5,7
/proc/26514/task/26576/stat : 26576 (java) S 26511 26514 25027 0 -1 1077944384 37814 13252 0 0 594 6 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930599938672 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26577] ppid=26511 vsize=10846984 memory=1153372 CPUtime=5.95 cores=1,3,5,7
/proc/26514/task/26577/stat : 26577 (java) S 26511 26514 25027 0 -1 1077944384 46272 13252 0 0 583 4 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930598885872 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26578] ppid=26511 vsize=10846984 memory=1153372 CPUtime=2.25 cores=1,3,5,7
/proc/26514/task/26578/stat : 26578 (java) S 26511 26514 25027 0 -1 1077944384 40592 13252 0 0 210 7 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930597833584 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26579] ppid=26511 vsize=10846984 memory=1556 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26579/stat : 26579 (java) S 26511 26514 25027 0 -1 1077944384 3 13252 0 0 0 0 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139929626430432 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26580] ppid=26511 vsize=10846984 memory=111636 CPUtime=1.55 cores=1,3,5,7
/proc/26514/task/26580/stat : 26580 (java) S 26511 26514 25027 0 -1 1077944384 1508 13252 0 0 70 77 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930596780464 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
Current children cumulated CPU time: 2493.63 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1153372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2468.3 s]
/proc/loadavg: 1.56 1.46 1.45 3/229 26962
/proc/meminfo: memFree=26016884/32770624 swapFree=66958232/67108860
[pid=26514] ppid=26511 vsize=10846984 memory=1153372 CPUtime=2520.07 cores=1,3,5,7
/proc/26514/stat : 26514 (java) S 26511 26514 25027 0 -1 1077944320 283565 13252 0 0 251598 401 5 3 20 0 15 0 416081115 11107311616 288343 33554432000 4194304 4196468 140726243404096 140726243386640 139931141582583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
/proc/26514/statm: 2711746 288343 3633 1 0 2673805 0
[pid=26514/tid=26567] ppid=26511 vsize=10846984 memory=1153372 CPUtime=2440 cores=1,3,5,7
/proc/26514/task/26567/stat : 26567 (java) R 26511 26514 25027 0 -1 4202560 79066 13252 0 0 243930 62 5 3 20 0 15 0 416081124 11107311616 288343 33554432000 4194304 4196468 140726243404096 139931113417072 139930737545282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26568] ppid=26511 vsize=10846984 memory=1153372 CPUtime=13.17 cores=1,3,5,7
/proc/26514/task/26568/stat : 26568 (java) S 26511 26514 25027 0 -1 1077944384 15271 13252 0 0 1243 66 5 3 20 0 15 0 416081125 11107311616 288343 33554432000 4194304 4196468 140726243404096 139931145825168 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26569] ppid=26511 vsize=10846984 memory=1151324 CPUtime=13.16 cores=1,3,5,7
/proc/26514/task/26569/stat : 26569 (java) S 26511 26514 25027 0 -1 1077944384 17762 13252 0 0 1244 64 5 3 20 0 15 0 416081125 11107311616 288343 33554432000 4194304 4196468 140726243404096 139931044715280 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26570] ppid=26511 vsize=10846984 memory=1196 CPUtime=13.21 cores=1,3,5,7
/proc/26514/task/26570/stat : 26570 (java) S 26511 26514 25027 0 -1 1077944384 12457 13252 0 0 1247 66 5 3 20 0 15 0 416081125 11107311616 288343 33554432000 4194304 4196468 140726243404096 139931043662992 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26571] ppid=26511 vsize=10846984 memory=1153372 CPUtime=13.16 cores=1,3,5,7
/proc/26514/task/26571/stat : 26571 (java) S 26511 26514 25027 0 -1 1077944384 13594 13252 0 0 1241 67 5 3 20 0 15 0 416081125 11107311616 288343 33554432000 4194304 4196468 140726243404096 139931042610192 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26572] ppid=26511 vsize=10846984 memory=1153372 CPUtime=12.17 cores=1,3,5,7
/proc/26514/task/26572/stat : 26572 (java) S 26511 26514 25027 0 -1 1077944384 16738 13252 0 0 1146 63 5 3 20 0 15 0 416081126 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930600990832 139931141593730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26573] ppid=26511 vsize=10846984 memory=1153372 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26573/stat : 26573 (java) S 26511 26514 25027 0 -1 1077944384 19 13252 0 0 0 0 5 3 20 0 15 0 416081127 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930504258464 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26574] ppid=26511 vsize=10846984 memory=1153372 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26574/stat : 26574 (java) S 26511 26514 25027 0 -1 1077944384 13 13252 0 0 0 0 5 3 20 0 15 0 416081127 11107311616 288343 33554432000 4194304 4196468 140726243404096 139929900278912 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26575] ppid=26511 vsize=10846984 memory=1153372 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26575/stat : 26575 (java) S 26511 26514 25027 0 -1 1077944384 3 13252 0 0 0 0 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139929659988048 139931141601179 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26576] ppid=26511 vsize=10846984 memory=1153372 CPUtime=6.08 cores=1,3,5,7
/proc/26514/task/26576/stat : 26576 (java) S 26511 26514 25027 0 -1 1077944384 37960 13252 0 0 594 6 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930599938672 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26577] ppid=26511 vsize=10846984 memory=1153372 CPUtime=5.95 cores=1,3,5,7
/proc/26514/task/26577/stat : 26577 (java) S 26511 26514 25027 0 -1 1077944384 46272 13252 0 0 583 4 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930598885872 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26578] ppid=26511 vsize=10846984 memory=1153372 CPUtime=2.26 cores=1,3,5,7
/proc/26514/task/26578/stat : 26578 (java) S 26511 26514 25027 0 -1 1077944384 40687 13252 0 0 211 7 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930597833584 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26579] ppid=26511 vsize=10846984 memory=1153372 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26579/stat : 26579 (java) S 26511 26514 25027 0 -1 1077944384 3 13252 0 0 0 0 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139929626430432 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26580] ppid=26511 vsize=10846984 memory=1153372 CPUtime=1.56 cores=1,3,5,7
/proc/26514/task/26580/stat : 26580 (java) S 26511 26514 25027 0 -1 1077944384 1510 13252 0 0 71 77 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930596780464 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1153372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.33 s]
# the end of solver process 26514 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.06 s, system=4.05391 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468.3 s]
/proc/loadavg: 1.56 1.46 1.45 3/229 26962
/proc/meminfo: memFree=26016884/32770624 swapFree=66958232/67108860
[pid=26514] ppid=26511 vsize=10846984 memory=1153372 CPUtime=2520.07 cores=1,3,5,7
/proc/26514/stat : 26514 (java) S 26511 26514 25027 0 -1 1077944320 283565 13252 0 0 251598 401 5 3 20 0 15 0 416081115 11107311616 288343 33554432000 4194304 4196468 140726243404096 140726243386640 139931141582583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
/proc/26514/statm: 2711746 288343 3633 1 0 2673805 0
[pid=26514/tid=26567] ppid=26511 vsize=10846984 memory=1153372 CPUtime=2440 cores=1,3,5,7
/proc/26514/task/26567/stat : 26567 (java) R 26511 26514 25027 0 -1 4202560 79066 13252 0 0 243930 62 5 3 20 0 15 0 416081124 11107311616 288343 33554432000 4194304 4196468 140726243404096 139931113417072 139930737545282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26568] ppid=26511 vsize=10846984 memory=1153372 CPUtime=13.17 cores=1,3,5,7
/proc/26514/task/26568/stat : 26568 (java) S 26511 26514 25027 0 -1 1077944384 15271 13252 0 0 1243 66 5 3 20 0 15 0 416081125 11107311616 288343 33554432000 4194304 4196468 140726243404096 139931145825168 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26569] ppid=26511 vsize=10846984 memory=1151324 CPUtime=13.16 cores=1,3,5,7
/proc/26514/task/26569/stat : 26569 (java) S 26511 26514 25027 0 -1 1077944384 17762 13252 0 0 1244 64 5 3 20 0 15 0 416081125 11107311616 288343 33554432000 4194304 4196468 140726243404096 139931044715280 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26570] ppid=26511 vsize=10846984 memory=1196 CPUtime=13.21 cores=1,3,5,7
/proc/26514/task/26570/stat : 26570 (java) S 26511 26514 25027 0 -1 1077944384 12457 13252 0 0 1247 66 5 3 20 0 15 0 416081125 11107311616 288343 33554432000 4194304 4196468 140726243404096 139931043662992 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26571] ppid=26511 vsize=10846984 memory=1153372 CPUtime=13.16 cores=1,3,5,7
/proc/26514/task/26571/stat : 26571 (java) S 26511 26514 25027 0 -1 1077944384 13594 13252 0 0 1241 67 5 3 20 0 15 0 416081125 11107311616 288343 33554432000 4194304 4196468 140726243404096 139931042610192 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26572] ppid=26511 vsize=10846984 memory=1153372 CPUtime=12.17 cores=1,3,5,7
/proc/26514/task/26572/stat : 26572 (java) S 26511 26514 25027 0 -1 1077944384 16738 13252 0 0 1146 63 5 3 20 0 15 0 416081126 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930600990832 139931141593730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26573] ppid=26511 vsize=10846984 memory=1153372 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26573/stat : 26573 (java) S 26511 26514 25027 0 -1 1077944384 19 13252 0 0 0 0 5 3 20 0 15 0 416081127 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930504258464 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26574] ppid=26511 vsize=10846984 memory=1153372 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26574/stat : 26574 (java) S 26511 26514 25027 0 -1 1077944384 13 13252 0 0 0 0 5 3 20 0 15 0 416081127 11107311616 288343 33554432000 4194304 4196468 140726243404096 139929900278912 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26575] ppid=26511 vsize=10846984 memory=1153372 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26575/stat : 26575 (java) S 26511 26514 25027 0 -1 1077944384 3 13252 0 0 0 0 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139929659988048 139931141601179 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26576] ppid=26511 vsize=10846984 memory=1153372 CPUtime=6.08 cores=1,3,5,7
/proc/26514/task/26576/stat : 26576 (java) S 26511 26514 25027 0 -1 1077944384 37960 13252 0 0 594 6 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930599938672 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26577] ppid=26511 vsize=10846984 memory=1153372 CPUtime=5.95 cores=1,3,5,7
/proc/26514/task/26577/stat : 26577 (java) S 26511 26514 25027 0 -1 1077944384 46272 13252 0 0 583 4 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930598885872 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26578] ppid=26511 vsize=10846984 memory=1153372 CPUtime=2.26 cores=1,3,5,7
/proc/26514/task/26578/stat : 26578 (java) S 26511 26514 25027 0 -1 1077944384 40687 13252 0 0 211 7 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930597833584 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26579] ppid=26511 vsize=10846984 memory=1153372 CPUtime=0.08 cores=1,3,5,7
/proc/26514/task/26579/stat : 26579 (java) S 26511 26514 25027 0 -1 1077944384 3 13252 0 0 0 0 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139929626430432 139931141592789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
[pid=26514/tid=26580] ppid=26511 vsize=10846984 memory=1153372 CPUtime=1.56 cores=1,3,5,7
/proc/26514/task/26580/stat : 26580 (java) S 26511 26514 25027 0 -1 1077944384 1510 13252 0 0 71 77 5 3 20 0 15 0 416081130 11107311616 288343 33554432000 4194304 4196468 140726243404096 139930596780464 139931141593730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14553088 140726243412720 140726243415237 140726243415237 140726243418063 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1153372 KiB
Child status: 143
Real time (s): 2468.33
CPU time (s): 2520.11
CPU user time (s): 2516.06
CPU system time (s): 4.05391
CPU usage (%): 102.098
Max. virtual memory (cumulated for all children) (KiB): 10849596
Max. memory (cumulated for all children) (KiB): 1153372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.06
system time used= 4.05391
maximum resident set size= 1157588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297538
page faults= 0
swaps= 0
block input operations= 4552
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 313966
involuntary context switches= 7819
# summary of solver processes directly reported to runsolver:
# pid: 26514
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.06
# total CPU system time (s): 4.05391
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9488 second user time and 23.787 second system time
The end