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 (8834 MiB free)
memory of node 1: 16384 MiB (15780 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302664-1532898056/watcher-4302664-1532898056 -o /tmp/evaluation-result-4302664-1532898056/solver-4302664-1532898056 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1433984135 -superng HOME/instance-4302664-1532898056.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=29689, runsolver pid=29686
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 1.53 1.66 1.74 3/207 29746
/proc/meminfo: memFree=25195684/32770624 swapFree=67108860/67108860
[pid=29689] ppid=29686 vsize=10021560 memory=18856 CPUtime=0.08 cores=1,3,5,7
/proc/29689/stat : 29689 (java) S 29686 29689 13514 0 -1 1077944320 4337 12908 0 0 1 0 4 3 20 0 6 0 107368823 10262077440 4714 33554432000 4194304 4196468 140736204636640 140736204619184 140109833465591 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
/proc/29689/statm: 2505390 4714 1972 1 0 2493828 0
[pid=29689/tid=29742] ppid=29686 vsize=10021560 memory=4279135704013833615 CPUtime=0.08 cores=1,3,5,7
/proc/29689/task/29742/stat : 29742 (java) R 29686 29689 13514 0 -1 4202560 2146 12908 0 0 1 0 4 3 20 0 6 0 107368831 10262077440 4714 33554432000 4194304 4196468 140736204636640 140109805302352 140109818978301 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29743] ppid=29686 vsize=10021560 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29743/stat : 29743 (java) S 29686 29689 13514 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 6 0 107368832 10262077440 4714 33554432000 4194304 4196468 140736204636640 140109837708304 140109833475797 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29744] ppid=29686 vsize=10021560 memory=140656777111168 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29744/stat : 29744 (java) S 29686 29689 13514 0 -1 1077944384 2 12908 0 0 0 0 4 3 20 0 6 0 107368832 10262077440 4714 33554432000 4194304 4196468 140736204636640 140109692427408 140109833475797 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29745] ppid=29686 vsize=10021560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29745/stat : 29745 (java) S 29686 29689 13514 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 6 0 107368832 10262077440 4714 33554432000 4194304 4196468 140736204636640 140109691374352 140109833475797 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29746] ppid=29686 vsize=10022588 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29746/stat : 29746 (java) S 29686 29689 13514 0 -1 1077944384 2 12908 0 0 0 0 4 3 20 0 6 0 107368832 10263130112 4714 33554432000 4194304 4196468 140736204636640 140109690321808 140109833475797 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29747] ppid=29686 vsize=10022588 memory=140656777111168 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29747/stat : 29747 (java) R 29686 29689 13514 0 -1 4202560 0 12908 0 0 0 0 4 3 20 0 7 0 107368834 10263130112 4714 33554432000 4194304 4196468 140736204636640 140109805302352 140109826205441 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10021560 KiB
Current children cumulated memory: 18856 KiB
[startup+0.209891 s]*
/proc/loadavg: 1.53 1.66 1.74 3/216 29755
/proc/meminfo: memFree=25174060/32770624 swapFree=67108860/67108860
[pid=29689] ppid=29686 vsize=10982776 memory=48068 CPUtime=0.26 cores=1,3,5,7
/proc/29689/stat : 29689 (java) S 29686 29689 13514 0 -1 1077944320 8860 12908 0 0 17 2 4 3 20 0 15 0 107368823 11246362624 12017 33554432000 4194304 4196468 140736204636640 140736204619184 140109833465591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
/proc/29689/statm: 2745694 12017 2945 1 0 2708117 0
[pid=29689/tid=29742] ppid=29686 vsize=10982776 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/29689/task/29742/stat : 29742 (java) R 29686 29689 13514 0 -1 4202560 5525 12908 0 0 10 1 4 3 20 0 15 0 107368831 11246362624 12083 33554432000 4194304 4196468 140736204636640 140109805290400 140109826145309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29743] ppid=29686 vsize=10982776 memory=339 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29743/stat : 29743 (java) S 29686 29689 13514 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 107368832 11246362624 12149 33554432000 4194304 4196468 140736204636640 140109837708304 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29744] ppid=29686 vsize=10982776 memory=3834170903768344224 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29744/stat : 29744 (java) S 29686 29689 13514 0 -1 1077944384 2 12908 0 0 0 0 4 3 20 0 15 0 107368832 11246362624 12149 33554432000 4194304 4196468 140736204636640 140109692427408 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29745] ppid=29686 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29745/stat : 29745 (java) S 29686 29689 13514 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 107368832 11246362624 12149 33554432000 4194304 4196468 140736204636640 140109691374352 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29746] ppid=29686 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29746/stat : 29746 (java) S 29686 29689 13514 0 -1 1077944384 2 12908 0 0 0 0 4 3 20 0 15 0 107368832 11246362624 12149 33554432000 4194304 4196468 140736204636640 140109690321808 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29747] ppid=29686 vsize=10982776 memory=140656777111168 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29747/stat : 29747 (java) S 29686 29689 13514 0 -1 1077944384 2 12908 0 0 0 0 4 3 20 0 15 0 107368834 11246362624 12215 33554432000 4194304 4196468 140736204636640 140109259147504 140109833476738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29748] ppid=29686 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29748/stat : 29748 (java) S 29686 29689 13514 0 -1 1077944384 13 12908 0 0 0 0 4 3 20 0 15 0 107368834 11246362624 12215 33554432000 4194304 4196468 140736204636640 140108678292640 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29749] ppid=29686 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29749/stat : 29749 (java) S 29686 29689 13514 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 107368834 11246362624 12215 33554432000 4194304 4196468 140736204636640 140108476965616 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29750] ppid=29686 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29750/stat : 29750 (java) S 29686 29689 13514 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 107368837 11246362624 12215 33554432000 4194304 4196468 140736204636640 140108169566160 140109833484187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29751] ppid=29686 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29689/task/29751/stat : 29751 (java) S 29686 29689 13514 0 -1 1077944384 362 12908 0 0 1 0 4 3 20 0 15 0 107368837 11246329856 12268 33554432000 4194304 4196468 140736204636640 140109258095344 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29752] ppid=29686 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29752/stat : 29752 (java) S 29686 29689 13514 0 -1 1077944384 250 12908 0 0 0 0 4 3 20 0 15 0 107368837 11246329856 12268 33554432000 4194304 4196468 140736204636640 140109257042800 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29753] ppid=29686 vsize=10982744 memory=140656777111168 CPUtime=0.1 cores=1,3,5,7
/proc/29689/task/29753/stat : 29753 (java) S 29686 29689 13514 0 -1 1077944384 616 12908 0 0 3 0 4 3 20 0 15 0 107368837 11246329856 12268 33554432000 4194304 4196468 140736204636640 140109255989744 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29754] ppid=29686 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29754/stat : 29754 (java) S 29686 29689 13514 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 107368837 11246329856 12268 33554432000 4194304 4196468 140736204636640 140107738770272 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29755] ppid=29686 vsize=10982744 memory=140656777111168 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29755/stat : 29755 (java) S 29686 29689 13514 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 107368837 11246329856 12268 33554432000 4194304 4196468 140736204636640 140109254937136 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982776 KiB
Current children cumulated memory: 48068 KiB
[startup+0.310201 s]*
/proc/loadavg: 1.53 1.66 1.74 3/216 29755
/proc/meminfo: memFree=25160664/32770624 swapFree=67108860/67108860
[pid=29689] ppid=29686 vsize=10983192 memory=56948 CPUtime=0.39 cores=1,3,5,7
/proc/29689/stat : 29689 (java) S 29686 29689 13514 0 -1 1077944320 10330 12908 0 0 29 3 4 3 20 0 15 0 107368823 11246788608 14237 33554432000 4194304 4196468 140736204636640 140736204619184 140109833465591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
/proc/29689/statm: 2745798 14237 3064 1 0 2708109 0
[pid=29689/tid=29742] ppid=29686 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/29689/task/29742/stat : 29742 (java) R 29686 29689 13514 0 -1 4202560 6868 12908 0 0 20 2 4 3 20 0 15 0 107368831 11246788608 14237 33554432000 4194304 4196468 140736204636640 140109805277600 140109816652400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29743] ppid=29686 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29743/stat : 29743 (java) S 29686 29689 13514 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 107368832 11246788608 14237 33554432000 4194304 4196468 140736204636640 140109837708304 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29744] ppid=29686 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29744/stat : 29744 (java) S 29686 29689 13514 0 -1 1077944384 2 12908 0 0 0 0 4 3 20 0 15 0 107368832 11246788608 14237 33554432000 4194304 4196468 140736204636640 140109692427408 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29745] ppid=29686 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29745/stat : 29745 (java) S 29686 29689 13514 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 107368832 11246788608 14237 33554432000 4194304 4196468 140736204636640 140109691374352 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29746] ppid=29686 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29746/stat : 29746 (java) S 29686 29689 13514 0 -1 1077944384 2 12908 0 0 0 0 4 3 20 0 15 0 107368832 11246788608 14237 33554432000 4194304 4196468 140736204636640 140109690321808 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29747] ppid=29686 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29747/stat : 29747 (java) S 29686 29689 13514 0 -1 1077944384 2 12908 0 0 0 0 4 3 20 0 15 0 107368834 11246788608 14237 33554432000 4194304 4196468 140736204636640 140109259147504 140109833476738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29748] ppid=29686 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29748/stat : 29748 (java) S 29686 29689 13514 0 -1 1077944384 13 12908 0 0 0 0 4 3 20 0 15 0 107368834 11246788608 14237 33554432000 4194304 4196468 140736204636640 140108678292640 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29749] ppid=29686 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29749/stat : 29749 (java) S 29686 29689 13514 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 107368834 11246788608 14237 33554432000 4194304 4196468 140736204636640 140108476965616 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29750] ppid=29686 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29750/stat : 29750 (java) S 29686 29689 13514 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 107368837 11246788608 14237 33554432000 4194304 4196468 140736204636640 140108169566160 140109833484187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29751] ppid=29686 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29689/task/29751/stat : 29751 (java) S 29686 29689 13514 0 -1 1077944384 362 12908 0 0 1 0 4 3 20 0 15 0 107368837 11246788608 14237 33554432000 4194304 4196468 140736204636640 140109258095344 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29752] ppid=29686 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29689/task/29752/stat : 29752 (java) S 29686 29689 13514 0 -1 1077944384 253 12908 0 0 1 0 4 3 20 0 15 0 107368837 11246788608 14237 33554432000 4194304 4196468 140736204636640 140109257042800 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29753] ppid=29686 vsize=10983192 memory=140656777111168 CPUtime=0.12 cores=1,3,5,7
/proc/29689/task/29753/stat : 29753 (java) S 29686 29689 13514 0 -1 1077944384 624 12908 0 0 5 0 4 3 20 0 15 0 107368837 11246788608 14237 33554432000 4194304 4196468 140736204636640 140109255989744 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29754] ppid=29686 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29754/stat : 29754 (java) S 29686 29689 13514 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 107368837 11246788608 14237 33554432000 4194304 4196468 140736204636640 140107738770272 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29755] ppid=29686 vsize=10983192 memory=140656777111168 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29755/stat : 29755 (java) S 29686 29689 13514 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 107368837 11246788608 14237 33554432000 4194304 4196468 140736204636640 140109254937136 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56948 KiB
[startup+0.700788 s]
/proc/loadavg: 1.53 1.66 1.74 3/216 29755
/proc/meminfo: memFree=25152228/32770624 swapFree=67108860/67108860
[pid=29689] ppid=29686 vsize=10983192 memory=89424 CPUtime=0.99 cores=1,3,5,7
/proc/29689/stat : 29689 (java) S 29686 29689 13514 0 -1 1077944320 16395 12908 0 0 86 6 4 3 20 0 15 0 107368823 11246788608 22356 33554432000 4194304 4196468 140736204636640 140736204619184 140109833465591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
/proc/29689/statm: 2745798 22356 3247 1 0 2708109 0
[pid=29689/tid=29742] ppid=29686 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/29689/task/29742/stat : 29742 (java) R 29686 29689 13514 0 -1 4202560 11875 12908 0 0 55 4 4 3 20 0 15 0 107368831 11246788608 22356 33554432000 4194304 4196468 140736204636640 140109805286416 140109818631136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29743] ppid=29686 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29743/stat : 29743 (java) S 29686 29689 13514 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 107368832 11246788608 22356 33554432000 4194304 4196468 140736204636640 140109837708304 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29744] ppid=29686 vsize=10983192 memory=2 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29744/stat : 29744 (java) S 29686 29689 13514 0 -1 1077944384 2 12908 0 0 0 0 4 3 20 0 15 0 107368832 11246788608 22356 33554432000 4194304 4196468 140736204636640 140109692427408 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29745] ppid=29686 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29745/stat : 29745 (java) S 29686 29689 13514 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 107368832 11246788608 22356 33554432000 4194304 4196468 140736204636640 140109691374352 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29746] ppid=29686 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29746/stat : 29746 (java) S 29686 29689 13514 0 -1 1077944384 2 12908 0 0 0 0 4 3 20 0 15 0 107368832 11246788608 22356 33554432000 4194304 4196468 140736204636640 140109690321808 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29747] ppid=29686 vsize=10983192 memory=140660178944585 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29747/stat : 29747 (java) S 29686 29689 13514 0 -1 1077944384 5 12908 0 0 0 0 4 3 20 0 15 0 107368834 11246788608 22356 33554432000 4194304 4196468 140736204636640 140109259147504 140109833476738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29748] ppid=29686 vsize=10983192 memory=140660178944590 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29748/stat : 29748 (java) S 29686 29689 13514 0 -1 1077944384 13 12908 0 0 0 0 4 3 20 0 15 0 107368834 11246788608 22356 33554432000 4194304 4196468 140736204636640 140108678292640 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29749] ppid=29686 vsize=10983192 memory=140660178944592 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29749/stat : 29749 (java) S 29686 29689 13514 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 107368834 11246788608 22356 33554432000 4194304 4196468 140736204636640 140108476965616 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29750] ppid=29686 vsize=10983192 memory=140660178944596 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29750/stat : 29750 (java) S 29686 29689 13514 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 107368837 11246788608 22356 33554432000 4194304 4196468 140736204636640 140108169566160 140109833484187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29751] ppid=29686 vsize=10983192 memory=140660178944602 CPUtime=0.13 cores=1,3,5,7
/proc/29689/task/29751/stat : 29751 (java) S 29686 29689 13514 0 -1 1077944384 735 12908 0 0 6 0 4 3 20 0 15 0 107368837 11246788608 22356 33554432000 4194304 4196468 140736204636640 140109258095344 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29752] ppid=29686 vsize=10983192 memory=140660178944603 CPUtime=0.17 cores=1,3,5,7
/proc/29689/task/29752/stat : 29752 (java) S 29686 29689 13514 0 -1 1077944384 878 12908 0 0 10 0 4 3 20 0 15 0 107368837 11246788608 22356 33554432000 4194304 4196468 140736204636640 140109257042800 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29753] ppid=29686 vsize=10983192 memory=143241454289548 CPUtime=0.2 cores=1,3,5,7
/proc/29689/task/29753/stat : 29753 (java) S 29686 29689 13514 0 -1 1077944384 681 12908 0 0 13 0 4 3 20 0 15 0 107368837 11246788608 22356 33554432000 4194304 4196468 140736204636640 140109255989744 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29754] ppid=29686 vsize=10983192 memory=12708 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29754/stat : 29754 (java) S 29686 29689 13514 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 107368837 11246788608 22356 33554432000 4194304 4196468 140736204636640 140107738770272 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29755] ppid=29686 vsize=10983192 memory=17040 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29755/stat : 29755 (java) S 29686 29689 13514 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 107368837 11246788608 22356 33554432000 4194304 4196468 140736204636640 140109254937136 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89424 KiB
[startup+1.50084 s]
/proc/loadavg: 1.53 1.66 1.74 3/216 29755
/proc/meminfo: memFree=25106268/32770624 swapFree=67108860/67108860
[pid=29689] ppid=29686 vsize=10991872 memory=318044 CPUtime=2.76 cores=1,3,5,7
/proc/29689/stat : 29689 (java) S 29686 29689 13514 0 -1 1077944320 21835 12908 0 0 244 25 4 3 20 0 15 0 107368823 11255676928 79511 33554432000 4194304 4196468 140736204636640 140736204619184 140109833465591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
/proc/29689/statm: 2747968 79511 3443 1 0 2709645 0
[pid=29689/tid=29742] ppid=29686 vsize=10991872 memory=10757 CPUtime=1.36 cores=1,3,5,7
/proc/29689/task/29742/stat : 29742 (java) R 29686 29689 13514 0 -1 4202560 14180 12908 0 0 122 7 4 3 20 0 15 0 107368831 11255676928 79511 33554432000 4194304 4196468 140736204636640 140109805301328 140109833487517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29743] ppid=29686 vsize=10991872 memory=25040 CPUtime=0.15 cores=1,3,5,7
/proc/29689/task/29743/stat : 29743 (java) S 29686 29689 13514 0 -1 1077944384 338 12908 0 0 5 3 4 3 20 0 15 0 107368832 11255676928 79511 33554432000 4194304 4196468 140736204636640 140109837708304 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29744] ppid=29686 vsize=10991872 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/29689/task/29744/stat : 29744 (java) S 29686 29689 13514 0 -1 1077944384 139 12908 0 0 5 3 4 3 20 0 15 0 107368832 11255676928 79511 33554432000 4194304 4196468 140736204636640 140109692427408 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29745] ppid=29686 vsize=10991872 memory=320425177030863102 CPUtime=0.15 cores=1,3,5,7
/proc/29689/task/29745/stat : 29745 (java) S 29686 29689 13514 0 -1 1077944384 58 12908 0 0 5 3 4 3 20 0 15 0 107368832 11255676928 79511 33554432000 4194304 4196468 140736204636640 140109691374352 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29746] ppid=29686 vsize=10991872 memory=288286675539593204 CPUtime=0.15 cores=1,3,5,7
/proc/29689/task/29746/stat : 29746 (java) S 29686 29689 13514 0 -1 1077944384 107 12908 0 0 5 3 4 3 20 0 15 0 107368832 11255676928 79511 33554432000 4194304 4196468 140736204636640 140109690321808 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29747] ppid=29686 vsize=10991872 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29747/stat : 29747 (java) S 29686 29689 13514 0 -1 1077944384 95 12908 0 0 0 0 4 3 20 0 15 0 107368834 11255676928 79511 33554432000 4194304 4196468 140736204636640 140109259147504 140109833476738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29748] ppid=29686 vsize=10991872 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29748/stat : 29748 (java) S 29686 29689 13514 0 -1 1077944384 15 12908 0 0 0 0 4 3 20 0 15 0 107368834 11255676928 79511 33554432000 4194304 4196468 140736204636640 140108678292704 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29749] ppid=29686 vsize=10991872 memory=-2672971631320983069 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29749/stat : 29749 (java) S 29686 29689 13514 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 107368834 11255676928 79511 33554432000 4194304 4196468 140736204636640 140108476965632 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29750] ppid=29686 vsize=10991872 memory=-7606742920825102191 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29750/stat : 29750 (java) S 29686 29689 13514 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 107368837 11255676928 79511 33554432000 4194304 4196468 140736204636640 140108169566160 140109833484187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29751] ppid=29686 vsize=10991872 memory=6944656591801719708 CPUtime=0.42 cores=1,3,5,7
/proc/29689/task/29751/stat : 29751 (java) S 29686 29689 13514 0 -1 1077944384 1545 12908 0 0 35 0 4 3 20 0 15 0 107368837 11255676928 79511 33554432000 4194304 4196468 140736204636640 140109258095344 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29752] ppid=29686 vsize=10991872 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/29689/task/29752/stat : 29752 (java) S 29686 29689 13514 0 -1 1077944384 1833 12908 0 0 35 0 4 3 20 0 15 0 107368837 11255676928 79511 33554432000 4194304 4196468 140736204636640 140109257042800 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29753] ppid=29686 vsize=10991872 memory=-2892745056951965031 CPUtime=0.35 cores=1,3,5,7
/proc/29689/task/29753/stat : 29753 (java) S 29686 29689 13514 0 -1 1077944384 1321 12908 0 0 28 0 4 3 20 0 15 0 107368837 11255676928 79511 33554432000 4194304 4196468 140736204636640 140109255989744 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29754] ppid=29686 vsize=10991872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29754/stat : 29754 (java) S 29686 29689 13514 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 107368837 11255676928 79511 33554432000 4194304 4196468 140736204636640 140107738770272 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29755] ppid=29686 vsize=10991872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29755/stat : 29755 (java) S 29686 29689 13514 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 107368837 11255676928 79511 33554432000 4194304 4196468 140736204636640 140109254937136 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
################
# More data... #
################
/proc/29689/task/29747/stat : 29747 (java) R 29686 29689 13514 0 -1 4202560 37103 12908 0 0 297 2 4 3 20 0 15 0 107368834 11272552448 1107312 33554432000 4194304 4196468 140736204636640 140109259146016 140109818523631 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29748] ppid=29686 vsize=11008352 memory=-7023579799431922829 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29748/stat : 29748 (java) S 29686 29689 13514 0 -1 1077944384 25 12908 0 0 0 0 4 3 20 0 15 0 107368834 11272552448 1107312 33554432000 4194304 4196468 140736204636640 140108678292704 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29749] ppid=29686 vsize=11008352 memory=3047711553219693942 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29749/stat : 29749 (java) S 29686 29689 13514 0 -1 1077944384 8 12908 0 0 0 0 4 3 20 0 15 0 107368834 11272552448 1107312 33554432000 4194304 4196468 140736204636640 140108476965632 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29750] ppid=29686 vsize=11008352 memory=4426639978525455914 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29750/stat : 29750 (java) S 29686 29689 13514 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 107368837 11272552448 1107312 33554432000 4194304 4196468 140736204636640 140108169566160 140109833484187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29751] ppid=29686 vsize=11008352 memory=4572164749098055210 CPUtime=6.72 cores=1,3,5,7
/proc/29689/task/29751/stat : 29751 (java) S 29686 29689 13514 0 -1 1077944384 17720 12908 0 0 662 3 4 3 20 0 15 0 107368837 11272552448 1107312 33554432000 4194304 4196468 140736204636640 140109258095344 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29752] ppid=29686 vsize=11008352 memory=8328453600958622283 CPUtime=6.43 cores=1,3,5,7
/proc/29689/task/29752/stat : 29752 (java) S 29686 29689 13514 0 -1 1077944384 13792 12908 0 0 633 3 4 3 20 0 15 0 107368837 11272552448 1107312 33554432000 4194304 4196468 140736204636640 140109257042800 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29753] ppid=29686 vsize=11008352 memory=-8412652160765825907 CPUtime=2.14 cores=1,3,5,7
/proc/29689/task/29753/stat : 29753 (java) S 29686 29689 13514 0 -1 1077944384 16004 12908 0 0 202 5 4 3 20 0 15 0 107368837 11272552448 1107312 33554432000 4194304 4196468 140736204636640 140109255989744 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29754] ppid=29686 vsize=11008352 memory=7100839878645619564 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29754/stat : 29754 (java) S 29686 29689 13514 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 107368837 11272552448 1107312 33554432000 4194304 4196468 140736204636640 140107738770272 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29755] ppid=29686 vsize=11008352 memory=-8634980985311628903 CPUtime=0.16 cores=1,3,5,7
/proc/29689/task/29755/stat : 29755 (java) S 29686 29689 13514 0 -1 1077944384 1519 12908 0 0 4 5 4 3 20 0 15 0 107368837 11272552448 1107312 33554432000 4194304 4196468 140736204636640 140109254937136 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
Current children cumulated CPU time: 252.15 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 4429248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+159.432 s]
# the end of solver process 29689 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.24 s, system=3.96528 s
Solver just ended.
Dumping a history of the last processes samples
[startup+158.401 s]
/proc/loadavg: 1.81 1.81 1.79 3/218 29909
/proc/meminfo: memFree=22563988/32770624 swapFree=67108860/67108860
[pid=29689] ppid=29686 vsize=11270504 memory=4433452 CPUtime=253.15 cores=1,3,5,7
/proc/29689/stat : 29689 (java) S 29686 29689 13514 0 -1 1077944320 179979 12908 0 0 24918 390 4 3 20 0 17 0 107368823 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140736204619184 140109833465591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
/proc/29689/statm: 2817626 1108363 3531 1 0 2779279 0
[pid=29689/tid=29742] ppid=29686 vsize=11270504 memory=4126316290023845779 CPUtime=128.48 cores=1,3,5,7
/proc/29689/task/29742/stat : 29742 (java) R 29686 29689 13514 0 -1 4202560 47649 12908 0 0 12810 31 4 3 20 0 17 0 107368831 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109805300048 140109379212359 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29743] ppid=29686 vsize=11270504 memory=496 CPUtime=26.7 cores=1,3,5,7
/proc/29689/task/29743/stat : 29743 (java) S 29686 29689 13514 0 -1 1077944384 12171 12908 0 0 2577 86 4 3 20 0 17 0 107368832 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109837708304 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29744] ppid=29686 vsize=11270504 memory=928 CPUtime=26.67 cores=1,3,5,7
/proc/29689/task/29744/stat : 29744 (java) S 29686 29689 13514 0 -1 1077944384 12103 12908 0 0 2573 87 4 3 20 0 17 0 107368832 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109692427408 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29745] ppid=29686 vsize=11270504 memory=4140 CPUtime=26.67 cores=1,3,5,7
/proc/29689/task/29745/stat : 29745 (java) S 29686 29689 13514 0 -1 1077944384 10320 12908 0 0 2577 83 4 3 20 0 17 0 107368832 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109691374352 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29746] ppid=29686 vsize=11270504 memory=30500 CPUtime=26.6 cores=1,3,5,7
/proc/29689/task/29746/stat : 29746 (java) S 29686 29689 13514 0 -1 1077944384 8796 12908 0 0 2570 83 4 3 20 0 17 0 107368832 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109690321808 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29747] ppid=29686 vsize=11270504 memory=2204 CPUtime=3.1 cores=1,3,5,7
/proc/29689/task/29747/stat : 29747 (java) S 29686 29689 13514 0 -1 1077944384 37105 12908 0 0 301 2 4 3 20 0 17 0 107368834 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109259147504 140109833476738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29748] ppid=29686 vsize=11270504 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29748/stat : 29748 (java) S 29686 29689 13514 0 -1 1077944384 25 12908 0 0 0 0 4 3 20 0 17 0 107368834 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140108678292704 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29749] ppid=29686 vsize=11270504 memory=1556624 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29749/stat : 29749 (java) S 29686 29689 13514 0 -1 1077944384 8 12908 0 0 0 0 4 3 20 0 17 0 107368834 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140108476965632 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29750] ppid=29686 vsize=11270504 memory=3000 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29750/stat : 29750 (java) S 29686 29689 13514 0 -1 1077944384 214 12908 0 0 0 0 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140108169566160 140109833484187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29751] ppid=29686 vsize=11270504 memory=4366228 CPUtime=6.72 cores=1,3,5,7
/proc/29689/task/29751/stat : 29751 (java) S 29686 29689 13514 0 -1 1077944384 17720 12908 0 0 662 3 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109258095344 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29752] ppid=29686 vsize=11270504 memory=1240 CPUtime=6.43 cores=1,3,5,7
/proc/29689/task/29752/stat : 29752 (java) S 29686 29689 13514 0 -1 1077944384 13792 12908 0 0 633 3 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109257042800 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29753] ppid=29686 vsize=11270504 memory=1520 CPUtime=2.14 cores=1,3,5,7
/proc/29689/task/29753/stat : 29753 (java) S 29686 29689 13514 0 -1 1077944384 16004 12908 0 0 202 5 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109255989744 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29754] ppid=29686 vsize=11270504 memory=844 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29754/stat : 29754 (java) S 29686 29689 13514 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140107738770272 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29755] ppid=29686 vsize=11270504 memory=3360 CPUtime=0.16 cores=1,3,5,7
/proc/29689/task/29755/stat : 29755 (java) S 29686 29689 13514 0 -1 1077944384 1519 12908 0 0 4 5 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109254937136 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29908] ppid=29686 vsize=11270504 memory=1812 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29908/stat : 29908 (java) S 29686 29689 13514 0 -1 1077944384 275 12908 0 0 0 0 4 3 20 0 17 0 107384567 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140107537441136 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29909] ppid=29686 vsize=11270504 memory=1020 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29909/stat : 29909 (java) S 29686 29689 13514 0 -1 1077944384 80 12908 0 0 0 0 4 3 20 0 17 0 107384567 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140107336115168 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
Current children cumulated CPU time: 253.15 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 4433452 KiB
[startup+159.201 s]
/proc/loadavg: 1.81 1.81 1.79 3/218 29909
/proc/meminfo: memFree=22564768/32770624 swapFree=67108860/67108860
[pid=29689] ppid=29686 vsize=11270504 memory=4433452 CPUtime=253.95 cores=1,3,5,7
/proc/29689/stat : 29689 (java) S 29686 29689 13514 0 -1 1077944320 179979 12908 0 0 24998 390 4 3 20 0 17 0 107368823 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140736204619184 140109833465591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
/proc/29689/statm: 2817626 1108363 3531 1 0 2779279 0
[pid=29689/tid=29742] ppid=29686 vsize=11270504 memory=1992 CPUtime=129.28 cores=1,3,5,7
/proc/29689/task/29742/stat : 29742 (java) R 29686 29689 13514 0 -1 4202560 47649 12908 0 0 12890 31 4 3 20 0 17 0 107368831 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109805300048 140109378086602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29743] ppid=29686 vsize=11270504 memory=6791534058613427641 CPUtime=26.7 cores=1,3,5,7
/proc/29689/task/29743/stat : 29743 (java) S 29686 29689 13514 0 -1 1077944384 12171 12908 0 0 2577 86 4 3 20 0 17 0 107368832 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109837708304 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29744] ppid=29686 vsize=11270504 memory=-2672971631320983069 CPUtime=26.67 cores=1,3,5,7
/proc/29689/task/29744/stat : 29744 (java) S 29686 29689 13514 0 -1 1077944384 12103 12908 0 0 2573 87 4 3 20 0 17 0 107368832 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109692427408 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29745] ppid=29686 vsize=11270504 memory=-2331055268852096867 CPUtime=26.67 cores=1,3,5,7
/proc/29689/task/29745/stat : 29745 (java) S 29686 29689 13514 0 -1 1077944384 10320 12908 0 0 2577 83 4 3 20 0 17 0 107368832 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109691374352 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29746] ppid=29686 vsize=11270504 memory=-7595718148000617580 CPUtime=26.6 cores=1,3,5,7
/proc/29689/task/29746/stat : 29746 (java) S 29686 29689 13514 0 -1 1077944384 8796 12908 0 0 2570 83 4 3 20 0 17 0 107368832 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109690321808 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29747] ppid=29686 vsize=11270504 memory=6081669741568157032 CPUtime=3.1 cores=1,3,5,7
/proc/29689/task/29747/stat : 29747 (java) S 29686 29689 13514 0 -1 1077944384 37105 12908 0 0 301 2 4 3 20 0 17 0 107368834 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109259147504 140109833476738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29748] ppid=29686 vsize=11270504 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29748/stat : 29748 (java) S 29686 29689 13514 0 -1 1077944384 25 12908 0 0 0 0 4 3 20 0 17 0 107368834 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140108678292704 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29749] ppid=29686 vsize=11270504 memory=30500 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29749/stat : 29749 (java) S 29686 29689 13514 0 -1 1077944384 8 12908 0 0 0 0 4 3 20 0 17 0 107368834 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140108476965632 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29750] ppid=29686 vsize=11270504 memory=2204 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29750/stat : 29750 (java) S 29686 29689 13514 0 -1 1077944384 214 12908 0 0 0 0 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140108169566160 140109833484187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29751] ppid=29686 vsize=11270504 memory=1240 CPUtime=6.72 cores=1,3,5,7
/proc/29689/task/29751/stat : 29751 (java) S 29686 29689 13514 0 -1 1077944384 17720 12908 0 0 662 3 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109258095344 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29752] ppid=29686 vsize=11270504 memory=1520 CPUtime=6.43 cores=1,3,5,7
/proc/29689/task/29752/stat : 29752 (java) S 29686 29689 13514 0 -1 1077944384 13792 12908 0 0 633 3 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109257042800 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29753] ppid=29686 vsize=11270504 memory=844 CPUtime=2.14 cores=1,3,5,7
/proc/29689/task/29753/stat : 29753 (java) S 29686 29689 13514 0 -1 1077944384 16004 12908 0 0 202 5 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109255989744 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29754] ppid=29686 vsize=11270504 memory=12708 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29754/stat : 29754 (java) S 29686 29689 13514 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140107738770272 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29755] ppid=29686 vsize=11270504 memory=17048 CPUtime=0.16 cores=1,3,5,7
/proc/29689/task/29755/stat : 29755 (java) S 29686 29689 13514 0 -1 1077944384 1519 12908 0 0 4 5 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109254937136 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29908] ppid=29686 vsize=11270504 memory=2324 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29908/stat : 29908 (java) S 29686 29689 13514 0 -1 1077944384 275 12908 0 0 0 0 4 3 20 0 17 0 107384567 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140107537441136 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29909] ppid=29686 vsize=11270504 memory=1584 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29909/stat : 29909 (java) S 29686 29689 13514 0 -1 1077944384 80 12908 0 0 0 0 4 3 20 0 17 0 107384567 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140107336115168 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
Current children cumulated CPU time: 253.95 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 4433452 KiB
[startup+159.401 s]
/proc/loadavg: 1.81 1.81 1.79 3/218 29909
/proc/meminfo: memFree=22564768/32770624 swapFree=67108860/67108860
[pid=29689] ppid=29686 vsize=11270504 memory=4433452 CPUtime=254.15 cores=1,3,5,7
/proc/29689/stat : 29689 (java) S 29686 29689 13514 0 -1 1077944320 179979 12908 0 0 25018 390 4 3 20 0 17 0 107368823 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140736204619184 140109833465591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
/proc/29689/statm: 2817626 1108363 3531 1 0 2779279 0
[pid=29689/tid=29742] ppid=29686 vsize=11270504 memory=756 CPUtime=129.48 cores=1,3,5,7
/proc/29689/task/29742/stat : 29742 (java) R 29686 29689 13514 0 -1 4202560 47649 12908 0 0 12910 31 4 3 20 0 17 0 107368831 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109805300048 140109372522191 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29743] ppid=29686 vsize=11270504 memory=14572 CPUtime=26.7 cores=1,3,5,7
/proc/29689/task/29743/stat : 29743 (java) S 29686 29689 13514 0 -1 1077944384 12171 12908 0 0 2577 86 4 3 20 0 17 0 107368832 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109837708304 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29744] ppid=29686 vsize=11270504 memory=6791534058613427641 CPUtime=26.67 cores=1,3,5,7
/proc/29689/task/29744/stat : 29744 (java) S 29686 29689 13514 0 -1 1077944384 12103 12908 0 0 2573 87 4 3 20 0 17 0 107368832 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109692427408 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29745] ppid=29686 vsize=11270504 memory=2724 CPUtime=26.67 cores=1,3,5,7
/proc/29689/task/29745/stat : 29745 (java) S 29686 29689 13514 0 -1 1077944384 10320 12908 0 0 2577 83 4 3 20 0 17 0 107368832 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109691374352 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29746] ppid=29686 vsize=11270504 memory=1256 CPUtime=26.6 cores=1,3,5,7
/proc/29689/task/29746/stat : 29746 (java) S 29686 29689 13514 0 -1 1077944384 8796 12908 0 0 2570 83 4 3 20 0 17 0 107368832 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109690321808 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29747] ppid=29686 vsize=11270504 memory=10368 CPUtime=3.1 cores=1,3,5,7
/proc/29689/task/29747/stat : 29747 (java) S 29686 29689 13514 0 -1 1077944384 37105 12908 0 0 301 2 4 3 20 0 17 0 107368834 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109259147504 140109833476738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29748] ppid=29686 vsize=11270504 memory=1700 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29748/stat : 29748 (java) S 29686 29689 13514 0 -1 1077944384 25 12908 0 0 0 0 4 3 20 0 17 0 107368834 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140108678292704 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29749] ppid=29686 vsize=11270504 memory=1172 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29749/stat : 29749 (java) S 29686 29689 13514 0 -1 1077944384 8 12908 0 0 0 0 4 3 20 0 17 0 107368834 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140108476965632 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29750] ppid=29686 vsize=11270504 memory=1812 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29750/stat : 29750 (java) S 29686 29689 13514 0 -1 1077944384 214 12908 0 0 0 0 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140108169566160 140109833484187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29751] ppid=29686 vsize=11270504 memory=1020 CPUtime=6.72 cores=1,3,5,7
/proc/29689/task/29751/stat : 29751 (java) S 29686 29689 13514 0 -1 1077944384 17720 12908 0 0 662 3 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109258095344 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29752] ppid=29686 vsize=11270504 memory=5456 CPUtime=6.43 cores=1,3,5,7
/proc/29689/task/29752/stat : 29752 (java) S 29686 29689 13514 0 -1 1077944384 13792 12908 0 0 633 3 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109257042800 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29753] ppid=29686 vsize=11270504 memory=756 CPUtime=2.14 cores=1,3,5,7
/proc/29689/task/29753/stat : 29753 (java) S 29686 29689 13514 0 -1 1077944384 16004 12908 0 0 202 5 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109255989744 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29754] ppid=29686 vsize=11270504 memory=14572 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29754/stat : 29754 (java) S 29686 29689 13514 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140107738770272 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29755] ppid=29686 vsize=11270504 memory=12708 CPUtime=0.16 cores=1,3,5,7
/proc/29689/task/29755/stat : 29755 (java) S 29686 29689 13514 0 -1 1077944384 1519 12908 0 0 4 5 4 3 20 0 17 0 107368837 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140109254937136 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29908] ppid=29686 vsize=11270504 memory=7528 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29908/stat : 29908 (java) S 29686 29689 13514 0 -1 1077944384 275 12908 0 0 0 0 4 3 20 0 17 0 107384567 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140107537441136 140109833475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
[pid=29689/tid=29909] ppid=29686 vsize=11270504 memory=804 CPUtime=0.07 cores=1,3,5,7
/proc/29689/task/29909/stat : 29909 (java) S 29686 29689 13514 0 -1 1077944384 80 12908 0 0 0 0 4 3 20 0 17 0 107384567 11540996096 1108363 33554432000 4194304 4196468 140736204636640 140107336115168 140109833476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23076864 140736204638824 140736204641633 140736204641633 140736204644303 0
Current children cumulated CPU time: 254.15 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 4433452 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 159.432
CPU time (s): 254.205
CPU user time (s): 250.24
CPU system time (s): 3.96528
CPU usage (%): 159.444
Max. virtual memory (cumulated for all children) (KiB): 11270504
Max. memory (cumulated for all children) (KiB): 4433452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.24
system time used= 3.96528
maximum resident set size= 4433652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192889
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12887
involuntary context switches= 1190
# summary of solver processes directly reported to runsolver:
# pid: 29689
# total CPU time (s): 254.205
# total CPU user time (s): 250.24
# total CPU system time (s): 3.96528
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10817 second user time and 1.39406 second system time
The end