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 (8651 MiB free)
memory of node 1: 16384 MiB (7117 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305060-1534108882/watcher-4305060-1534108882 -o /tmp/evaluation-result-4305060-1534108882/solver-4305060-1534108882 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534098057-27632 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=33598948 -superng HOME/instance-4305060-1534108882.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29657, runsolver pid=29654
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 1.33 1.31 1.42 3/206 29714
/proc/meminfo: memFree=16140792/32770624 swapFree=67108404/67108860
[pid=29657] ppid=29654 vsize=10005480 memory=15176 CPUtime=0.08 cores=1,3,5,7
/proc/29657/stat : 29657 (java) S 29654 29657 27600 0 -1 1077944320 4469 13174 0 0 1 0 5 2 20 0 6 0 228451377 10245611520 3794 33554432000 4194304 4196468 140722185496544 140722185479088 140292185632503 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
/proc/29657/statm: 2501370 3794 1934 1 0 2489808 0
[pid=29657/tid=29710] ppid=29654 vsize=10005480 memory=4279135704013962892 CPUtime=0.08 cores=1,3,5,7
/proc/29657/task/29710/stat : 29710 (java) R 29654 29657 27600 0 -1 4202560 2287 13174 0 0 1 0 5 2 20 0 6 0 228451386 10245611520 3794 33554432000 4194304 4196468 140722185496544 140292157469264 140292170755440 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29711] ppid=29654 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29711/stat : 29711 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 6 0 228451386 10245611520 3794 33554432000 4194304 4196468 140722185496544 140292189875216 140292185642709 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29712] ppid=29654 vsize=10005480 memory=140687490487936 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29712/stat : 29712 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 6 0 228451386 10245611520 3794 33554432000 4194304 4196468 140722185496544 140292088233104 140292185642709 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29713] ppid=29654 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29713/stat : 29713 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 6 0 228451386 10245611520 3794 33554432000 4194304 4196468 140722185496544 140291724413712 140292185642709 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29714] ppid=29654 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29714/stat : 29714 (java) S 29654 29657 27600 0 -1 1077944384 2 13174 0 0 0 0 5 2 20 0 6 0 228451386 10245611520 3794 33554432000 4194304 4196468 140722185496544 140291723361168 140292185642709 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 15176 KiB
[startup+0.209831 s]*
/proc/loadavg: 1.33 1.31 1.42 3/215 29723
/proc/meminfo: memFree=16116320/32770624 swapFree=67108404/67108860
[pid=29657] ppid=29654 vsize=10982696 memory=42724 CPUtime=0.26 cores=1,3,5,7
/proc/29657/stat : 29657 (java) S 29654 29657 27600 0 -1 1077944320 8600 13174 0 0 17 2 5 2 20 0 15 0 228451377 11246280704 10681 33554432000 4194304 4196468 140722185496544 140722185479088 140292185632503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
/proc/29657/statm: 2745674 10681 2945 1 0 2708109 0
[pid=29657/tid=29710] ppid=29654 vsize=10982696 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/29657/task/29710/stat : 29710 (java) R 29654 29657 27600 0 -1 4202560 5055 13174 0 0 10 1 5 2 20 0 15 0 228451386 11246280704 10681 33554432000 4194304 4196468 140722185496544 140292157430160 140292165907659 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29711] ppid=29654 vsize=10982696 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29711/stat : 29711 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451386 11246280704 10681 33554432000 4194304 4196468 140722185496544 140292189875216 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29712] ppid=29654 vsize=10982696 memory=140687490515819 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29712/stat : 29712 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451386 11246280704 10681 33554432000 4194304 4196468 140722185496544 140292088233104 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29713] ppid=29654 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29713/stat : 29713 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451386 11246280704 10681 33554432000 4194304 4196468 140722185496544 140291724413712 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29714] ppid=29654 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29714/stat : 29714 (java) S 29654 29657 27600 0 -1 1077944384 2 13174 0 0 0 0 5 2 20 0 15 0 228451386 11246280704 10681 33554432000 4194304 4196468 140722185496544 140291723361168 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29715] ppid=29654 vsize=10982696 memory=140687490487936 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29715/stat : 29715 (java) S 29654 29657 27600 0 -1 1077944384 2 13174 0 0 0 0 5 2 20 0 15 0 228451388 11246280704 10681 33554432000 4194304 4196468 140722185496544 140291610740976 140292185643650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29716] ppid=29654 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29716/stat : 29716 (java) S 29654 29657 27600 0 -1 1077944384 13 13174 0 0 0 0 5 2 20 0 15 0 228451388 11246280704 10681 33554432000 4194304 4196468 140722185496544 140291013076128 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29717] ppid=29654 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29717/stat : 29717 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451388 11246280704 10681 33554432000 4194304 4196468 140722185496544 140290811749104 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29718] ppid=29654 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29718/stat : 29718 (java) S 29654 29657 27600 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 228451391 11246280704 10681 33554432000 4194304 4196468 140722185496544 140290504349648 140292185651099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29719] ppid=29654 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29657/task/29719/stat : 29719 (java) S 29654 29657 27600 0 -1 1077944384 445 13174 0 0 1 0 5 2 20 0 15 0 228451391 11246280704 10681 33554432000 4194304 4196468 140722185496544 140291609688816 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29720] ppid=29654 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29720/stat : 29720 (java) S 29654 29657 27600 0 -1 1077944384 186 13174 0 0 0 0 5 2 20 0 15 0 228451391 11246280704 10681 33554432000 4194304 4196468 140722185496544 140291608636272 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29721] ppid=29654 vsize=10982696 memory=140687490487936 CPUtime=0.1 cores=1,3,5,7
/proc/29657/task/29721/stat : 29721 (java) S 29654 29657 27600 0 -1 1077944384 689 13174 0 0 3 0 5 2 20 0 15 0 228451391 11246280704 10681 33554432000 4194304 4196468 140722185496544 140291607583216 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29722] ppid=29654 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29722/stat : 29722 (java) S 29654 29657 27600 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 228451391 11246280704 10681 33554432000 4194304 4196468 140722185496544 140290073553760 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29723] ppid=29654 vsize=10982696 memory=140687490487936 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29723/stat : 29723 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451392 11246280704 10681 33554432000 4194304 4196468 140722185496544 140291606530608 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 42724 KiB
[startup+0.310402 s]*
/proc/loadavg: 1.33 1.31 1.42 3/215 29723
/proc/meminfo: memFree=16108008/32770624 swapFree=67108404/67108860
[pid=29657] ppid=29654 vsize=10983192 memory=54064 CPUtime=0.37 cores=1,3,5,7
/proc/29657/stat : 29657 (java) S 29654 29657 27600 0 -1 1077944320 10648 13174 0 0 28 2 5 2 20 0 15 0 228451377 11246788608 13516 33554432000 4194304 4196468 140722185496544 140722185479088 140292185632503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
/proc/29657/statm: 2745798 13516 3077 1 0 2708109 0
[pid=29657/tid=29710] ppid=29654 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/29657/task/29710/stat : 29710 (java) R 29654 29657 27600 0 -1 4202560 7072 13174 0 0 19 2 5 2 20 0 15 0 228451386 11246788608 13516 33554432000 4194304 4196468 140722185496544 140292157444288 140292169025840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29711] ppid=29654 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29711/stat : 29711 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451386 11246788608 13516 33554432000 4194304 4196468 140722185496544 140292189875216 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29712] ppid=29654 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29712/stat : 29712 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451386 11246788608 13516 33554432000 4194304 4196468 140722185496544 140292088233104 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29713] ppid=29654 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29713/stat : 29713 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451386 11246788608 13516 33554432000 4194304 4196468 140722185496544 140291724413712 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29714] ppid=29654 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29714/stat : 29714 (java) S 29654 29657 27600 0 -1 1077944384 2 13174 0 0 0 0 5 2 20 0 15 0 228451386 11246788608 13516 33554432000 4194304 4196468 140722185496544 140291723361168 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29715] ppid=29654 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29715/stat : 29715 (java) S 29654 29657 27600 0 -1 1077944384 2 13174 0 0 0 0 5 2 20 0 15 0 228451388 11246788608 13516 33554432000 4194304 4196468 140722185496544 140291610740976 140292185643650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29716] ppid=29654 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29716/stat : 29716 (java) S 29654 29657 27600 0 -1 1077944384 13 13174 0 0 0 0 5 2 20 0 15 0 228451388 11246788608 13516 33554432000 4194304 4196468 140722185496544 140291013076128 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29717] ppid=29654 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29717/stat : 29717 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451388 11246788608 13516 33554432000 4194304 4196468 140722185496544 140290811749104 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29718] ppid=29654 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29718/stat : 29718 (java) S 29654 29657 27600 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 228451391 11246788608 13516 33554432000 4194304 4196468 140722185496544 140290504349648 140292185651099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29719] ppid=29654 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29657/task/29719/stat : 29719 (java) S 29654 29657 27600 0 -1 1077944384 450 13174 0 0 2 0 5 2 20 0 15 0 228451391 11246788608 13516 33554432000 4194304 4196468 140722185496544 140291609688816 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29720] ppid=29654 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29657/task/29720/stat : 29720 (java) S 29654 29657 27600 0 -1 1077944384 187 13174 0 0 1 0 5 2 20 0 15 0 228451391 11246788608 13516 33554432000 4194304 4196468 140722185496544 140291608636272 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29721] ppid=29654 vsize=10983192 memory=140687490487936 CPUtime=0.12 cores=1,3,5,7
/proc/29657/task/29721/stat : 29721 (java) S 29654 29657 27600 0 -1 1077944384 716 13174 0 0 5 0 5 2 20 0 15 0 228451391 11246788608 13516 33554432000 4194304 4196468 140722185496544 140291607583216 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29722] ppid=29654 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29722/stat : 29722 (java) S 29654 29657 27600 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 228451391 11246788608 13516 33554432000 4194304 4196468 140722185496544 140290073553760 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29723] ppid=29654 vsize=10983192 memory=140687490487936 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29723/stat : 29723 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451392 11246788608 13516 33554432000 4194304 4196468 140722185496544 140291606530608 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54064 KiB
[startup+0.700774 s]
/proc/loadavg: 1.33 1.31 1.42 3/215 29723
/proc/meminfo: memFree=16095604/32770624 swapFree=67108404/67108860
[pid=29657] ppid=29654 vsize=10983192 memory=87864 CPUtime=0.97 cores=1,3,5,7
/proc/29657/stat : 29657 (java) S 29654 29657 27600 0 -1 1077944320 17144 13174 0 0 85 5 5 2 20 0 15 0 228451377 11246788608 21966 33554432000 4194304 4196468 140722185496544 140722185479088 140292185632503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
/proc/29657/statm: 2745798 21966 3242 1 0 2708109 0
[pid=29657/tid=29710] ppid=29654 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/29657/task/29710/stat : 29710 (java) R 29654 29657 27600 0 -1 4202560 12471 13174 0 0 56 3 5 2 20 0 15 0 228451386 11246788608 22030 33554432000 4194304 4196468 140722185496544 140292157453328 140292169712990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29711] ppid=29654 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29711/stat : 29711 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451386 11246788608 22030 33554432000 4194304 4196468 140722185496544 140292189875216 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29712] ppid=29654 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29712/stat : 29712 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451386 11246788608 22030 33554432000 4194304 4196468 140722185496544 140292088233104 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29713] ppid=29654 vsize=10983192 memory=140687358178096 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29713/stat : 29713 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451386 11246788608 22030 33554432000 4194304 4196468 140722185496544 140291724413712 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29714] ppid=29654 vsize=10983192 memory=140690243715660 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29714/stat : 29714 (java) S 29654 29657 27600 0 -1 1077944384 2 13174 0 0 0 0 5 2 20 0 15 0 228451386 11246788608 22030 33554432000 4194304 4196468 140722185496544 140291723361168 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29715] ppid=29654 vsize=10983192 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29715/stat : 29715 (java) S 29654 29657 27600 0 -1 1077944384 5 13174 0 0 0 0 5 2 20 0 15 0 228451388 11246788608 22030 33554432000 4194304 4196468 140722185496544 140291610740976 140292185643650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29716] ppid=29654 vsize=10983192 memory=4639098309541128813 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29716/stat : 29716 (java) S 29654 29657 27600 0 -1 1077944384 13 13174 0 0 0 0 5 2 20 0 15 0 228451388 11246788608 22030 33554432000 4194304 4196468 140722185496544 140291013076128 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29717] ppid=29654 vsize=10983192 memory=6082220498126138728 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29717/stat : 29717 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451388 11246788608 22030 33554432000 4194304 4196468 140722185496544 140290811749104 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29718] ppid=29654 vsize=10983192 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29718/stat : 29718 (java) S 29654 29657 27600 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 228451391 11246788608 22030 33554432000 4194304 4196468 140722185496544 140290504349648 140292185651099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29719] ppid=29654 vsize=10983192 memory=34308 CPUtime=0.17 cores=1,3,5,7
/proc/29657/task/29719/stat : 29719 (java) S 29654 29657 27600 0 -1 1077944384 1089 13174 0 0 10 0 5 2 20 0 15 0 228451391 11246788608 22030 33554432000 4194304 4196468 140722185496544 140291609688816 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29720] ppid=29654 vsize=10983192 memory=14644 CPUtime=0.13 cores=1,3,5,7
/proc/29657/task/29720/stat : 29720 (java) S 29654 29657 27600 0 -1 1077944384 475 13174 0 0 6 0 5 2 20 0 15 0 228451391 11246788608 22030 33554432000 4194304 4196468 140722185496544 140291608636272 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29721] ppid=29654 vsize=10983192 memory=1720 CPUtime=0.19 cores=1,3,5,7
/proc/29657/task/29721/stat : 29721 (java) R 29654 29657 27600 0 -1 4202560 891 13174 0 0 12 0 5 2 20 0 15 0 228451391 11246788608 22030 33554432000 4194304 4196468 140722185496544 140291607583216 140292185644438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29722] ppid=29654 vsize=10983192 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29722/stat : 29722 (java) S 29654 29657 27600 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 228451391 11246788608 22030 33554432000 4194304 4196468 140722185496544 140290073553760 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29723] ppid=29654 vsize=10983192 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29723/stat : 29723 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451392 11246788608 22030 33554432000 4194304 4196468 140722185496544 140291606530608 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87864 KiB
[startup+1.50072 s]
/proc/loadavg: 1.33 1.31 1.42 3/215 29723
/proc/meminfo: memFree=16048652/32770624 swapFree=67108404/67108860
[pid=29657] ppid=29654 vsize=10998092 memory=176676 CPUtime=2.24 cores=1,3,5,7
/proc/29657/stat : 29657 (java) S 29654 29657 27600 0 -1 1077944320 24341 13174 0 0 207 10 5 2 20 0 15 0 228451377 11262046208 44169 33554432000 4194304 4196468 140722185496544 140722185479088 140292185632503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
/proc/29657/statm: 2749523 44169 3469 1 0 2711181 0
[pid=29657/tid=29710] ppid=29654 vsize=10998092 memory=64040 CPUtime=1.43 cores=1,3,5,7
/proc/29657/task/29710/stat : 29710 (java) R 29654 29657 27600 0 -1 4202560 18098 13174 0 0 130 6 5 2 20 0 15 0 228451386 11262046208 44169 33554432000 4194304 4196468 140722185496544 140292157449792 140292185644438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29711] ppid=29654 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/29657/task/29711/stat : 29711 (java) S 29654 29657 27600 0 -1 1077944384 29 13174 0 0 1 0 5 2 20 0 15 0 228451386 11262046208 44169 33554432000 4194304 4196468 140722185496544 140292189875216 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29712] ppid=29654 vsize=10998092 memory=281374716387488 CPUtime=0.08 cores=1,3,5,7
/proc/29657/task/29712/stat : 29712 (java) S 29654 29657 27600 0 -1 1077944384 19 13174 0 0 1 0 5 2 20 0 15 0 228451386 11262046208 44169 33554432000 4194304 4196468 140722185496544 140292088233104 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29713] ppid=29654 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29657/task/29713/stat : 29713 (java) S 29654 29657 27600 0 -1 1077944384 41 13174 0 0 1 0 5 2 20 0 15 0 228451386 11262046208 44169 33554432000 4194304 4196468 140722185496544 140291724413712 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29714] ppid=29654 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29714/stat : 29714 (java) S 29654 29657 27600 0 -1 1077944384 197 13174 0 0 0 0 5 2 20 0 15 0 228451386 11262046208 44169 33554432000 4194304 4196468 140722185496544 140291723361168 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29715] ppid=29654 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29657/task/29715/stat : 29715 (java) S 29654 29657 27600 0 -1 1077944384 61 13174 0 0 1 0 5 2 20 0 15 0 228451388 11262046208 44169 33554432000 4194304 4196468 140722185496544 140291610740976 140292185643650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29716] ppid=29654 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29716/stat : 29716 (java) S 29654 29657 27600 0 -1 1077944384 14 13174 0 0 0 0 5 2 20 0 15 0 228451388 11262046208 44169 33554432000 4194304 4196468 140722185496544 140291013076192 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29717] ppid=29654 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29717/stat : 29717 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451388 11262046208 44169 33554432000 4194304 4196468 140722185496544 140290811749120 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29718] ppid=29654 vsize=10998092 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29718/stat : 29718 (java) S 29654 29657 27600 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 228451391 11262046208 44169 33554432000 4194304 4196468 140722185496544 140290504349648 140292185651099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29719] ppid=29654 vsize=10998092 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/29657/task/29719/stat : 29719 (java) S 29654 29657 27600 0 -1 1077944384 1236 13174 0 0 18 0 5 2 20 0 15 0 228451391 11262046208 44169 33554432000 4194304 4196468 140722185496544 140291609688816 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29720] ppid=29654 vsize=10998092 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/29657/task/29720/stat : 29720 (java) S 29654 29657 27600 0 -1 1077944384 920 13174 0 0 22 0 5 2 20 0 15 0 228451391 11262046208 44169 33554432000 4194304 4196468 140722185496544 140291608636272 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29721] ppid=29654 vsize=10998092 memory=6791534058613427641 CPUtime=0.37 cores=1,3,5,7
/proc/29657/task/29721/stat : 29721 (java) R 29654 29657 27600 0 -1 4202560 1521 13174 0 0 30 0 5 2 20 0 15 0 228451391 11262046208 44169 33554432000 4194304 4196468 140722185496544 140291607583216 140292185653850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29722] ppid=29654 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29722/stat : 29722 (java) S 29654 29657 27600 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 228451391 11262046208 44169 33554432000 4194304 4196468 140722185496544 140290073553760 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29723] ppid=29654 vsize=10998092 memory=281374716631936 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29723/stat : 29723 (java) S 29654 29657 27600 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 228451392 11262046208 44169 33554432000 4194304 4196468 140722185496544 140291606530608 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/29657/task/29710/stat : 29710 (java) R 29654 29657 27600 0 -1 4202560 82726 13174 0 0 235790 44 5 2 20 0 15 0 228451386 11343855616 213928 33554432000 4194304 4196468 140722185496544 140292157467088 140291765919589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29711] ppid=29654 vsize=11077984 memory=855712 CPUtime=10.67 cores=1,3,5,7
/proc/29657/task/29711/stat : 29711 (java) S 29654 29657 27600 0 -1 1077944384 13302 13174 0 0 1000 60 5 2 20 0 15 0 228451386 11343855616 213928 33554432000 4194304 4196468 140722185496544 140292189875216 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29712] ppid=29654 vsize=11077984 memory=855712 CPUtime=10.66 cores=1,3,5,7
/proc/29657/task/29712/stat : 29712 (java) S 29654 29657 27600 0 -1 1077944384 11473 13174 0 0 1002 57 5 2 20 0 15 0 228451386 11343855616 213928 33554432000 4194304 4196468 140722185496544 140292088233104 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29713] ppid=29654 vsize=11077984 memory=855712 CPUtime=10.67 cores=1,3,5,7
/proc/29657/task/29713/stat : 29713 (java) S 29654 29657 27600 0 -1 1077944384 5882 13174 0 0 998 62 5 2 20 0 15 0 228451386 11343855616 213928 33554432000 4194304 4196468 140722185496544 140291724413712 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29714] ppid=29654 vsize=11077984 memory=855712 CPUtime=10.65 cores=1,3,5,7
/proc/29657/task/29714/stat : 29714 (java) S 29654 29657 27600 0 -1 1077944384 11231 13174 0 0 999 59 5 2 20 0 15 0 228451386 11343855616 213928 33554432000 4194304 4196468 140722185496544 140291723361168 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29715] ppid=29654 vsize=11077984 memory=855636 CPUtime=9.94 cores=1,3,5,7
/proc/29657/task/29715/stat : 29715 (java) S 29654 29657 27600 0 -1 1077944384 12792 13174 0 0 934 53 5 2 20 0 15 0 228451388 11343855616 213928 33554432000 4194304 4196468 140722185496544 140291610740976 140292185643650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29716] ppid=29654 vsize=11077984 memory=855576 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29716/stat : 29716 (java) S 29654 29657 27600 0 -1 1077944384 16 13174 0 0 0 0 5 2 20 0 15 0 228451388 11343855616 213928 33554432000 4194304 4196468 140722185496544 140291013076256 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29717] ppid=29654 vsize=11077984 memory=855688 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29717/stat : 29717 (java) S 29654 29657 27600 0 -1 1077944384 7 13174 0 0 0 0 5 2 20 0 15 0 228451388 11343855616 213928 33554432000 4194304 4196468 140722185496544 140290811749120 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29718] ppid=29654 vsize=11077984 memory=855688 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29718/stat : 29718 (java) S 29654 29657 27600 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 228451391 11343855616 213928 33554432000 4194304 4196468 140722185496544 140290504349648 140292185651099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29719] ppid=29654 vsize=11077984 memory=855688 CPUtime=3.14 cores=1,3,5,7
/proc/29657/task/29719/stat : 29719 (java) S 29654 29657 27600 0 -1 1077944384 19159 13174 0 0 304 3 5 2 20 0 15 0 228451391 11343855616 213928 33554432000 4194304 4196468 140722185496544 140291609688816 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29720] ppid=29654 vsize=11077984 memory=855688 CPUtime=3.27 cores=1,3,5,7
/proc/29657/task/29720/stat : 29720 (java) S 29654 29657 27600 0 -1 1077944384 18820 13174 0 0 317 3 5 2 20 0 15 0 228451391 11343855616 213928 33554432000 4194304 4196468 140722185496544 140291608636272 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29721] ppid=29654 vsize=11077984 memory=855712 CPUtime=1.46 cores=1,3,5,7
/proc/29657/task/29721/stat : 29721 (java) S 29654 29657 27600 0 -1 1077944384 19486 13174 0 0 137 2 5 2 20 0 15 0 228451391 11343855616 213928 33554432000 4194304 4196468 140722185496544 140291607583216 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29722] ppid=29654 vsize=11077984 memory=1576 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29722/stat : 29722 (java) S 29654 29657 27600 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 228451391 11343855616 213928 33554432000 4194304 4196468 140722185496544 140290073553760 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29723] ppid=29654 vsize=11077984 memory=928 CPUtime=1.36 cores=1,3,5,7
/proc/29657/task/29723/stat : 29723 (java) S 29654 29657 27600 0 -1 1077944384 2566 13174 0 0 58 71 5 2 20 0 15 0 228451392 11343855616 213928 33554432000 4194304 4196468 140722185496544 140291606530608 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
Current children cumulated CPU time: 2419.7 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 855712 KiB
[startup+2442.3 s]
/proc/loadavg: 1.20 1.31 1.31 3/218 29966
/proc/meminfo: memFree=15096872/32770624 swapFree=67108404/67108860
[pid=29657] ppid=29654 vsize=11077984 memory=855776 CPUtime=2480.5 cores=1,3,5,7
/proc/29657/stat : 29657 (java) S 29654 29657 27600 0 -1 1077944320 200977 13174 0 0 247692 351 5 2 20 0 15 0 228451377 11343855616 213944 33554432000 4194304 4196468 140722185496544 140722185479088 140292185632503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
/proc/29657/statm: 2769496 213944 3515 1 0 2731149 0
[pid=29657/tid=29710] ppid=29654 vsize=11077984 memory=855748 CPUtime=2417.78 cores=1,3,5,7
/proc/29657/task/29710/stat : 29710 (java) R 29654 29657 27600 0 -1 4202560 83404 13174 0 0 241726 45 5 2 20 0 15 0 228451386 11343855616 213944 33554432000 4194304 4196468 140722185496544 140292157466576 140291766469885 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29711] ppid=29654 vsize=11077984 memory=855748 CPUtime=10.96 cores=1,3,5,7
/proc/29657/task/29711/stat : 29711 (java) S 29654 29657 27600 0 -1 1077944384 13391 13174 0 0 1028 61 5 2 20 0 15 0 228451386 11343855616 213944 33554432000 4194304 4196468 140722185496544 140292189875216 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29712] ppid=29654 vsize=11077984 memory=855748 CPUtime=10.94 cores=1,3,5,7
/proc/29657/task/29712/stat : 29712 (java) S 29654 29657 27600 0 -1 1077944384 11769 13174 0 0 1028 59 5 2 20 0 15 0 228451386 11343855616 213944 33554432000 4194304 4196468 140722185496544 140292088233104 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29713] ppid=29654 vsize=11077984 memory=855776 CPUtime=10.95 cores=1,3,5,7
/proc/29657/task/29713/stat : 29713 (java) S 29654 29657 27600 0 -1 1077944384 5900 13174 0 0 1025 63 5 2 20 0 15 0 228451386 11343855616 213944 33554432000 4194304 4196468 140722185496544 140291724413712 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29714] ppid=29654 vsize=11077984 memory=855776 CPUtime=10.93 cores=1,3,5,7
/proc/29657/task/29714/stat : 29714 (java) S 29654 29657 27600 0 -1 1077944384 11243 13174 0 0 1026 60 5 2 20 0 15 0 228451386 11343855616 213944 33554432000 4194304 4196468 140722185496544 140291723361168 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29715] ppid=29654 vsize=11077984 memory=281374717556688 CPUtime=10.19 cores=1,3,5,7
/proc/29657/task/29715/stat : 29715 (java) S 29654 29657 27600 0 -1 1077944384 12989 13174 0 0 958 54 5 2 20 0 15 0 228451388 11343855616 213944 33554432000 4194304 4196468 140722185496544 140291610740976 140292185643650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29716] ppid=29654 vsize=11077984 memory=855776 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29716/stat : 29716 (java) S 29654 29657 27600 0 -1 1077944384 16 13174 0 0 0 0 5 2 20 0 15 0 228451388 11343855616 213944 33554432000 4194304 4196468 140722185496544 140291013076256 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29717] ppid=29654 vsize=11077984 memory=855776 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29717/stat : 29717 (java) S 29654 29657 27600 0 -1 1077944384 7 13174 0 0 0 0 5 2 20 0 15 0 228451388 11343855616 213944 33554432000 4194304 4196468 140722185496544 140290811749120 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29718] ppid=29654 vsize=11077984 memory=855776 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29718/stat : 29718 (java) S 29654 29657 27600 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 228451391 11343855616 213944 33554432000 4194304 4196468 140722185496544 140290504349648 140292185651099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29719] ppid=29654 vsize=11077984 memory=855776 CPUtime=3.14 cores=1,3,5,7
/proc/29657/task/29719/stat : 29719 (java) S 29654 29657 27600 0 -1 1077944384 19161 13174 0 0 304 3 5 2 20 0 15 0 228451391 11343855616 213944 33554432000 4194304 4196468 140722185496544 140291609688816 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29720] ppid=29654 vsize=11077984 memory=855776 CPUtime=3.27 cores=1,3,5,7
/proc/29657/task/29720/stat : 29720 (java) S 29654 29657 27600 0 -1 1077944384 18822 13174 0 0 317 3 5 2 20 0 15 0 228451391 11343855616 213944 33554432000 4194304 4196468 140722185496544 140291608636272 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29721] ppid=29654 vsize=11077984 memory=855776 CPUtime=1.46 cores=1,3,5,7
/proc/29657/task/29721/stat : 29721 (java) S 29654 29657 27600 0 -1 1077944384 19488 13174 0 0 137 2 5 2 20 0 15 0 228451391 11343855616 213944 33554432000 4194304 4196468 140722185496544 140291607583216 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29722] ppid=29654 vsize=11077984 memory=855776 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29722/stat : 29722 (java) S 29654 29657 27600 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 228451391 11343855616 213944 33554432000 4194304 4196468 140722185496544 140290073553760 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29723] ppid=29654 vsize=11077984 memory=855776 CPUtime=1.4 cores=1,3,5,7
/proc/29657/task/29723/stat : 29723 (java) S 29654 29657 27600 0 -1 1077944384 2584 13174 0 0 60 73 5 2 20 0 15 0 228451392 11343855616 213944 33554432000 4194304 4196468 140722185496544 140291606530608 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
Current children cumulated CPU time: 2480.5 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 855776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2481.3 s]
/proc/loadavg: 1.40 1.35 1.33 4/218 29967
/proc/meminfo: memFree=15097596/32770624 swapFree=67108404/67108860
[pid=29657] ppid=29654 vsize=11077984 memory=855784 CPUtime=2520.06 cores=1,3,5,7
/proc/29657/stat : 29657 (java) S 29654 29657 27600 0 -1 1077944320 201540 13174 0 0 251643 356 5 2 20 0 15 0 228451377 11343855616 213946 33554432000 4194304 4196468 140722185496544 140722185479088 140292185632503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
/proc/29657/statm: 2769496 213946 3515 1 0 2731149 0
[pid=29657/tid=29710] ppid=29654 vsize=11077984 memory=855784 CPUtime=2456.35 cores=1,3,5,7
/proc/29657/task/29710/stat : 29710 (java) R 29654 29657 27600 0 -1 4202560 83829 13174 0 0 245583 45 5 2 20 0 15 0 228451386 11343855616 213946 33554432000 4194304 4196468 140722185496544 140292157467616 140291768350114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29711] ppid=29654 vsize=11077984 memory=855784 CPUtime=11.15 cores=1,3,5,7
/proc/29657/task/29711/stat : 29711 (java) S 29654 29657 27600 0 -1 1077944384 13398 13174 0 0 1046 62 5 2 20 0 15 0 228451386 11343855616 213946 33554432000 4194304 4196468 140722185496544 140292189875216 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29712] ppid=29654 vsize=11077984 memory=855784 CPUtime=11.13 cores=1,3,5,7
/proc/29657/task/29712/stat : 29712 (java) S 29654 29657 27600 0 -1 1077944384 11804 13174 0 0 1047 59 5 2 20 0 15 0 228451386 11343855616 213946 33554432000 4194304 4196468 140722185496544 140292088233104 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29713] ppid=29654 vsize=11077984 memory=855784 CPUtime=11.15 cores=1,3,5,7
/proc/29657/task/29713/stat : 29713 (java) S 29654 29657 27600 0 -1 1077944384 5917 13174 0 0 1044 64 5 2 20 0 15 0 228451386 11343855616 213946 33554432000 4194304 4196468 140722185496544 140291724413712 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29714] ppid=29654 vsize=11077984 memory=855784 CPUtime=11.13 cores=1,3,5,7
/proc/29657/task/29714/stat : 29714 (java) S 29654 29657 27600 0 -1 1077944384 11251 13174 0 0 1045 61 5 2 20 0 15 0 228451386 11343855616 213946 33554432000 4194304 4196468 140722185496544 140291723361168 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29715] ppid=29654 vsize=11077984 memory=855784 CPUtime=10.37 cores=1,3,5,7
/proc/29657/task/29715/stat : 29715 (java) S 29654 29657 27600 0 -1 1077944384 13044 13174 0 0 975 55 5 2 20 0 15 0 228451388 11343855616 213946 33554432000 4194304 4196468 140722185496544 140291610740976 140292185643650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29716] ppid=29654 vsize=11077984 memory=855784 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29716/stat : 29716 (java) S 29654 29657 27600 0 -1 1077944384 16 13174 0 0 0 0 5 2 20 0 15 0 228451388 11343855616 213946 33554432000 4194304 4196468 140722185496544 140291013076256 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29717] ppid=29654 vsize=11077984 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29717/stat : 29717 (java) S 29654 29657 27600 0 -1 1077944384 7 13174 0 0 0 0 5 2 20 0 15 0 228451388 11343855616 213946 33554432000 4194304 4196468 140722185496544 140290811749120 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29718] ppid=29654 vsize=11077984 memory=855784 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29718/stat : 29718 (java) S 29654 29657 27600 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 228451391 11343855616 213946 33554432000 4194304 4196468 140722185496544 140290504349648 140292185651099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29719] ppid=29654 vsize=11077984 memory=855776 CPUtime=3.14 cores=1,3,5,7
/proc/29657/task/29719/stat : 29719 (java) S 29654 29657 27600 0 -1 1077944384 19161 13174 0 0 304 3 5 2 20 0 15 0 228451391 11343855616 213946 33554432000 4194304 4196468 140722185496544 140291609688816 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29720] ppid=29654 vsize=11077984 memory=1160 CPUtime=3.27 cores=1,3,5,7
/proc/29657/task/29720/stat : 29720 (java) S 29654 29657 27600 0 -1 1077944384 18822 13174 0 0 317 3 5 2 20 0 15 0 228451391 11343855616 213946 33554432000 4194304 4196468 140722185496544 140291608636272 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29721] ppid=29654 vsize=11077984 memory=1784 CPUtime=1.46 cores=1,3,5,7
/proc/29657/task/29721/stat : 29721 (java) S 29654 29657 27600 0 -1 1077944384 19488 13174 0 0 137 2 5 2 20 0 15 0 228451391 11343855616 213946 33554432000 4194304 4196468 140722185496544 140291607583216 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29722] ppid=29654 vsize=11077984 memory=855784 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29722/stat : 29722 (java) S 29654 29657 27600 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 228451391 11343855616 213946 33554432000 4194304 4196468 140722185496544 140290073553760 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29723] ppid=29654 vsize=11077984 memory=4000 CPUtime=1.42 cores=1,3,5,7
/proc/29657/task/29723/stat : 29723 (java) S 29654 29657 27600 0 -1 1077944384 2600 13174 0 0 61 74 5 2 20 0 15 0 228451392 11343855616 213946 33554432000 4194304 4196468 140722185496544 140291606530608 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 855784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2481.33 s]
# the end of solver process 29657 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.5 s, system=3.60786 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2481.3 s]
/proc/loadavg: 1.40 1.35 1.33 4/218 29967
/proc/meminfo: memFree=15097596/32770624 swapFree=67108404/67108860
[pid=29657] ppid=29654 vsize=11077984 memory=855784 CPUtime=2520.06 cores=1,3,5,7
/proc/29657/stat : 29657 (java) S 29654 29657 27600 0 -1 1077944320 201540 13174 0 0 251643 356 5 2 20 0 15 0 228451377 11343855616 213946 33554432000 4194304 4196468 140722185496544 140722185479088 140292185632503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
/proc/29657/statm: 2769496 213946 3515 1 0 2731149 0
[pid=29657/tid=29710] ppid=29654 vsize=11077984 memory=855784 CPUtime=2456.35 cores=1,3,5,7
/proc/29657/task/29710/stat : 29710 (java) R 29654 29657 27600 0 -1 4202560 83829 13174 0 0 245583 45 5 2 20 0 15 0 228451386 11343855616 213946 33554432000 4194304 4196468 140722185496544 140292157467616 140291768350114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29711] ppid=29654 vsize=11077984 memory=855784 CPUtime=11.15 cores=1,3,5,7
/proc/29657/task/29711/stat : 29711 (java) S 29654 29657 27600 0 -1 1077944384 13398 13174 0 0 1046 62 5 2 20 0 15 0 228451386 11343855616 213946 33554432000 4194304 4196468 140722185496544 140292189875216 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29712] ppid=29654 vsize=11077984 memory=855784 CPUtime=11.13 cores=1,3,5,7
/proc/29657/task/29712/stat : 29712 (java) S 29654 29657 27600 0 -1 1077944384 11804 13174 0 0 1047 59 5 2 20 0 15 0 228451386 11343855616 213946 33554432000 4194304 4196468 140722185496544 140292088233104 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29713] ppid=29654 vsize=11077984 memory=855784 CPUtime=11.15 cores=1,3,5,7
/proc/29657/task/29713/stat : 29713 (java) S 29654 29657 27600 0 -1 1077944384 5917 13174 0 0 1044 64 5 2 20 0 15 0 228451386 11343855616 213946 33554432000 4194304 4196468 140722185496544 140291724413712 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29714] ppid=29654 vsize=11077984 memory=855784 CPUtime=11.13 cores=1,3,5,7
/proc/29657/task/29714/stat : 29714 (java) S 29654 29657 27600 0 -1 1077944384 11251 13174 0 0 1045 61 5 2 20 0 15 0 228451386 11343855616 213946 33554432000 4194304 4196468 140722185496544 140291723361168 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29715] ppid=29654 vsize=11077984 memory=855784 CPUtime=10.37 cores=1,3,5,7
/proc/29657/task/29715/stat : 29715 (java) S 29654 29657 27600 0 -1 1077944384 13044 13174 0 0 975 55 5 2 20 0 15 0 228451388 11343855616 213946 33554432000 4194304 4196468 140722185496544 140291610740976 140292185643650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29716] ppid=29654 vsize=11077984 memory=855784 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29716/stat : 29716 (java) S 29654 29657 27600 0 -1 1077944384 16 13174 0 0 0 0 5 2 20 0 15 0 228451388 11343855616 213946 33554432000 4194304 4196468 140722185496544 140291013076256 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29717] ppid=29654 vsize=11077984 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29717/stat : 29717 (java) S 29654 29657 27600 0 -1 1077944384 7 13174 0 0 0 0 5 2 20 0 15 0 228451388 11343855616 213946 33554432000 4194304 4196468 140722185496544 140290811749120 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29718] ppid=29654 vsize=11077984 memory=855784 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29718/stat : 29718 (java) S 29654 29657 27600 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 228451391 11343855616 213946 33554432000 4194304 4196468 140722185496544 140290504349648 140292185651099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29719] ppid=29654 vsize=11077984 memory=855776 CPUtime=3.14 cores=1,3,5,7
/proc/29657/task/29719/stat : 29719 (java) S 29654 29657 27600 0 -1 1077944384 19161 13174 0 0 304 3 5 2 20 0 15 0 228451391 11343855616 213946 33554432000 4194304 4196468 140722185496544 140291609688816 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29720] ppid=29654 vsize=11077984 memory=1160 CPUtime=3.27 cores=1,3,5,7
/proc/29657/task/29720/stat : 29720 (java) S 29654 29657 27600 0 -1 1077944384 18822 13174 0 0 317 3 5 2 20 0 15 0 228451391 11343855616 213946 33554432000 4194304 4196468 140722185496544 140291608636272 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29721] ppid=29654 vsize=11077984 memory=1784 CPUtime=1.46 cores=1,3,5,7
/proc/29657/task/29721/stat : 29721 (java) S 29654 29657 27600 0 -1 1077944384 19488 13174 0 0 137 2 5 2 20 0 15 0 228451391 11343855616 213946 33554432000 4194304 4196468 140722185496544 140291607583216 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29722] ppid=29654 vsize=11077984 memory=855784 CPUtime=0.07 cores=1,3,5,7
/proc/29657/task/29722/stat : 29722 (java) S 29654 29657 27600 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 228451391 11343855616 213946 33554432000 4194304 4196468 140722185496544 140290073553760 140292185642709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
[pid=29657/tid=29723] ppid=29654 vsize=11077984 memory=4000 CPUtime=1.42 cores=1,3,5,7
/proc/29657/task/29723/stat : 29723 (java) S 29654 29657 27600 0 -1 1077944384 2600 13174 0 0 61 74 5 2 20 0 15 0 228451392 11343855616 213946 33554432000 4194304 4196468 140722185496544 140291606530608 140292185643650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6803456 140722185501285 140722185504092 140722185504092 140722185506767 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 855784 KiB
Child status: 143
Real time (s): 2481.33
CPU time (s): 2520.11
CPU user time (s): 2516.5
CPU system time (s): 3.60786
CPU usage (%): 101.563
Max. virtual memory (cumulated for all children) (KiB): 11080008
Max. memory (cumulated for all children) (KiB): 855784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.5
system time used= 3.60786
maximum resident set size= 858224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215716
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 283912
involuntary context switches= 6943
# summary of solver processes directly reported to runsolver:
# pid: 29657
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.5
# total CPU system time (s): 3.60786
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6286 second user time and 18.4742 second system time
The end