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 (4846 MiB free)
memory of node 1: 16384 MiB (7752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296286-1532621185/watcher-4296286-1532621185 -o /tmp/evaluation-result-4296286-1532621185/solver-4296286-1532621185 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532621185-12843 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1488070617 -superng HOME/instance-4296286-1532621185.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12868, runsolver pid=12864
[startup+0.100141 s]*
/proc/loadavg: 2.02 2.11 2.04 3/192 12980
/proc/meminfo: memFree=12891068/32770624 swapFree=67108860/67108860
[pid=12868] ppid=12864 vsize=9972712 memory=18592 CPUtime=0.09 cores=1,3,5,7
/proc/12868/stat : 12868 (java) S 12864 12868 12582 0 -1 1077944320 4262 13240 0 0 0 1 5 3 20 0 6 0 79681745 10212057088 4648 33554432000 4194304 4196468 140734097841168 140734097823712 139735661629175 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
/proc/12868/statm: 2493178 4648 1932 1 0 2481616 0
[pid=12868/tid=12976] ppid=12864 vsize=9972712 memory=-8540663193526752614 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12976/stat : 12976 (java) R 12864 12868 12582 0 -1 4202560 2080 13240 0 0 0 0 5 3 20 0 6 0 79681754 10212057088 4648 33554432000 4194304 4196468 140734097841168 139735633465936 139735647311701 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12978] ppid=12864 vsize=9972712 memory=4211974106624978314 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12978/stat : 12978 (java) S 12864 12868 12582 0 -1 1077944384 2 13240 0 0 0 0 5 3 20 0 6 0 79681755 10212057088 4648 33554432000 4194304 4196468 140734097841168 139735665871504 139735661639381 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12979] ppid=12864 vsize=9972712 memory=140380420187776 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12979/stat : 12979 (java) S 12864 12868 12582 0 -1 1077944384 2 13240 0 0 0 0 5 3 20 0 6 0 79681755 10212057088 4648 33554432000 4194304 4196468 140734097841168 139735554144784 139735661639381 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12980] ppid=12864 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12980/stat : 12980 (java) S 12864 12868 12582 0 -1 1077944384 2 13240 0 0 0 0 5 3 20 0 6 0 79681755 10212057088 4648 33554432000 4194304 4196468 140734097841168 139735234242960 139735661639381 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12981] ppid=12864 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12981/stat : 12981 (java) S 12864 12868 12582 0 -1 1077944384 1 13240 0 0 0 0 5 3 20 0 6 0 79681755 10212057088 4648 33554432000 4194304 4196468 140734097841168 139735233190160 139735661639381 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB
[startup+0.209956 s]*
/proc/loadavg: 2.02 2.11 2.04 4/215 13003
/proc/meminfo: memFree=12844912/32770624 swapFree=67108860/67108860
[pid=12868] ppid=12864 vsize=10818856 memory=39812 CPUtime=0.26 cores=1,3,5,7
/proc/12868/stat : 12868 (java) S 12864 12868 12582 0 -1 1077944320 8372 13240 0 0 16 2 5 3 20 0 15 0 79681745 11078508544 9953 33554432000 4194304 4196468 140734097841168 140734097823712 139735661629175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
/proc/12868/statm: 2704714 9953 2947 1 0 2667149 0
[pid=12868/tid=12976] ppid=12864 vsize=10818856 memory=4871374705135476842 CPUtime=0.19 cores=1,3,5,7
/proc/12868/task/12976/stat : 12976 (java) R 12864 12868 12582 0 -1 4202560 4971 13240 0 0 10 1 5 3 20 0 15 0 79681754 11078508544 9953 33554432000 4194304 4196468 140734097841168 139735633426832 139735646794814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12978] ppid=12864 vsize=10818856 memory=4211974106624978314 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12978/stat : 12978 (java) S 12864 12868 12582 0 -1 1077944384 2 13240 0 0 0 0 5 3 20 0 15 0 79681755 11078508544 9953 33554432000 4194304 4196468 140734097841168 139735665871504 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12979] ppid=12864 vsize=10818856 memory=140380420187776 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12979/stat : 12979 (java) S 12864 12868 12582 0 -1 1077944384 2 13240 0 0 0 0 5 3 20 0 15 0 79681755 11078508544 9953 33554432000 4194304 4196468 140734097841168 139735554144784 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12980] ppid=12864 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12980/stat : 12980 (java) S 12864 12868 12582 0 -1 1077944384 2 13240 0 0 0 0 5 3 20 0 15 0 79681755 11078508544 9953 33554432000 4194304 4196468 140734097841168 139735234242960 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12981] ppid=12864 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12981/stat : 12981 (java) S 12864 12868 12582 0 -1 1077944384 1 13240 0 0 0 0 5 3 20 0 15 0 79681755 11078508544 9953 33554432000 4194304 4196468 140734097841168 139735233190160 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12986] ppid=12864 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12986/stat : 12986 (java) S 12864 12868 12582 0 -1 1077944384 2 13240 0 0 0 0 5 3 20 0 15 0 79681757 11078508544 9953 33554432000 4194304 4196468 140734097841168 139734866131824 139735661640322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12988] ppid=12864 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12988/stat : 12988 (java) S 12864 12868 12582 0 -1 1077944384 33 13240 0 0 0 0 5 3 20 0 15 0 79681757 11078508544 9953 33554432000 4194304 4196468 140734097841168 139734865077792 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12989] ppid=12864 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12989/stat : 12989 (java) S 12864 12868 12582 0 -1 1077944384 1 13240 0 0 0 0 5 3 20 0 15 0 79681757 11078508544 9953 33554432000 4194304 4196468 140734097841168 139734747702640 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12992] ppid=12864 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12992/stat : 12992 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11078508544 9953 33554432000 4194304 4196468 140734097841168 139734238976336 139735661647771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12993] ppid=12864 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12993/stat : 12993 (java) S 12864 12868 12582 0 -1 1077944384 80 13240 0 0 0 0 5 3 20 0 15 0 79681760 11078508544 9953 33554432000 4194304 4196468 140734097841168 139734831520112 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12994] ppid=12864 vsize=10818856 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/12868/task/12994/stat : 12994 (java) S 12864 12868 12582 0 -1 1077944384 510 13240 0 0 1 0 5 3 20 0 15 0 79681760 11078508544 9953 33554432000 4194304 4196468 140734097841168 139734830467312 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12995] ppid=12864 vsize=10818856 memory=140380420187776 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12995/stat : 12995 (java) S 12864 12868 12582 0 -1 1077944384 571 13240 0 0 3 0 5 3 20 0 15 0 79681760 11078508544 9953 33554432000 4194304 4196468 140734097841168 139734829414512 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12996] ppid=12864 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12996/stat : 12996 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11078508544 9953 33554432000 4194304 4196468 140734097841168 139734205417696 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=13001] ppid=12864 vsize=10818856 memory=140380420187776 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/13001/stat : 13001 (java) S 12864 12868 12582 0 -1 1077944384 1 13240 0 0 0 0 5 3 20 0 15 0 79681760 11078508544 9953 33554432000 4194304 4196468 140734097841168 139734828362928 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 39812 KiB
[startup+0.310226 s]*
/proc/loadavg: 2.02 2.11 2.04 3/215 13003
/proc/meminfo: memFree=12824500/32770624 swapFree=67108860/67108860
[pid=12868] ppid=12864 vsize=10819352 memory=51140 CPUtime=0.39 cores=1,3,5,7
/proc/12868/stat : 12868 (java) S 12864 12868 12582 0 -1 1077944320 10403 13240 0 0 28 3 5 3 20 0 15 0 79681745 11079016448 12785 33554432000 4194304 4196468 140734097841168 140734097823712 139735661629175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
/proc/12868/statm: 2704838 12785 3078 1 0 2667149 0
[pid=12868/tid=12976] ppid=12864 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/12868/task/12976/stat : 12976 (java) R 12864 12868 12582 0 -1 4202560 6998 13240 0 0 19 2 5 3 20 0 15 0 79681754 11079016448 12785 33554432000 4194304 4196468 140734097841168 139735633441608 139735645709662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12978] ppid=12864 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12978/stat : 12978 (java) S 12864 12868 12582 0 -1 1077944384 2 13240 0 0 0 0 5 3 20 0 15 0 79681755 11079016448 12785 33554432000 4194304 4196468 140734097841168 139735665871504 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12979] ppid=12864 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12979/stat : 12979 (java) S 12864 12868 12582 0 -1 1077944384 2 13240 0 0 0 0 5 3 20 0 15 0 79681755 11079016448 12785 33554432000 4194304 4196468 140734097841168 139735554144784 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12980] ppid=12864 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12980/stat : 12980 (java) S 12864 12868 12582 0 -1 1077944384 2 13240 0 0 0 0 5 3 20 0 15 0 79681755 11079016448 12785 33554432000 4194304 4196468 140734097841168 139735234242960 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12981] ppid=12864 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12981/stat : 12981 (java) S 12864 12868 12582 0 -1 1077944384 1 13240 0 0 0 0 5 3 20 0 15 0 79681755 11079016448 12785 33554432000 4194304 4196468 140734097841168 139735233190160 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12986] ppid=12864 vsize=10819352 memory=140380420187775 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12986/stat : 12986 (java) S 12864 12868 12582 0 -1 1077944384 2 13240 0 0 0 0 5 3 20 0 15 0 79681757 11079016448 12785 33554432000 4194304 4196468 140734097841168 139734866131824 139735661640322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12988] ppid=12864 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12988/stat : 12988 (java) S 12864 12868 12582 0 -1 1077944384 33 13240 0 0 0 0 5 3 20 0 15 0 79681757 11079016448 12785 33554432000 4194304 4196468 140734097841168 139734865077792 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12989] ppid=12864 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12989/stat : 12989 (java) S 12864 12868 12582 0 -1 1077944384 1 13240 0 0 0 0 5 3 20 0 15 0 79681757 11079016448 12785 33554432000 4194304 4196468 140734097841168 139734747702640 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12992] ppid=12864 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12992/stat : 12992 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11079016448 12785 33554432000 4194304 4196468 140734097841168 139734238976336 139735661647771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12993] ppid=12864 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12868/task/12993/stat : 12993 (java) S 12864 12868 12582 0 -1 1077944384 81 13240 0 0 1 0 5 3 20 0 15 0 79681760 11079016448 12785 33554432000 4194304 4196468 140734097841168 139734831520112 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12994] ppid=12864 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/12868/task/12994/stat : 12994 (java) R 12864 12868 12582 0 -1 4202560 510 13240 0 0 1 0 5 3 20 0 15 0 79681760 11079016448 12785 33554432000 4194304 4196468 140734097841168 139734830467312 139735645128016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12995] ppid=12864 vsize=10819352 memory=140380420187776 CPUtime=0.13 cores=1,3,5,7
/proc/12868/task/12995/stat : 12995 (java) R 12864 12868 12582 0 -1 4202560 586 13240 0 0 5 0 5 3 20 0 15 0 79681760 11079016448 12785 33554432000 4194304 4196468 140734097841168 139734829414512 139735640193983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12996] ppid=12864 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12996/stat : 12996 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11079016448 12785 33554432000 4194304 4196468 140734097841168 139734205417696 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=13001] ppid=12864 vsize=10819352 memory=140380420187776 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/13001/stat : 13001 (java) S 12864 12868 12582 0 -1 1077944384 1 13240 0 0 0 0 5 3 20 0 15 0 79681760 11079016448 12785 33554432000 4194304 4196468 140734097841168 139734828362928 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51140 KiB
[startup+0.700789 s]
/proc/loadavg: 2.02 2.11 2.04 4/215 13003
/proc/meminfo: memFree=12801800/32770624 swapFree=67108860/67108860
[pid=12868] ppid=12864 vsize=10819352 memory=84740 CPUtime=0.99 cores=1,3,5,7
/proc/12868/stat : 12868 (java) S 12864 12868 12582 0 -1 1077944320 16863 13240 0 0 87 4 5 3 20 0 15 0 79681745 11079016448 21185 33554432000 4194304 4196468 140734097841168 140734097823712 139735661629175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
/proc/12868/statm: 2704838 21185 3237 1 0 2667149 0
[pid=12868/tid=12976] ppid=12864 vsize=10819352 memory=2241 CPUtime=0.66 cores=1,3,5,7
/proc/12868/task/12976/stat : 12976 (java) R 12864 12868 12582 0 -1 4202560 12469 13240 0 0 56 2 5 3 20 0 15 0 79681754 11079016448 21185 33554432000 4194304 4196468 140734097841168 139735633450000 139735644815984 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12978] ppid=12864 vsize=10819352 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12978/stat : 12978 (java) S 12864 12868 12582 0 -1 1077944384 2 13240 0 0 0 0 5 3 20 0 15 0 79681755 11079016448 21185 33554432000 4194304 4196468 140734097841168 139735665871504 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12979] ppid=12864 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12979/stat : 12979 (java) S 12864 12868 12582 0 -1 1077944384 2 13240 0 0 0 0 5 3 20 0 15 0 79681755 11079016448 21185 33554432000 4194304 4196468 140734097841168 139735554144784 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12980] ppid=12864 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12980/stat : 12980 (java) S 12864 12868 12582 0 -1 1077944384 2 13240 0 0 0 0 5 3 20 0 15 0 79681755 11079016448 21185 33554432000 4194304 4196468 140734097841168 139735234242960 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12981] ppid=12864 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12981/stat : 12981 (java) S 12864 12868 12582 0 -1 1077944384 1 13240 0 0 0 0 5 3 20 0 15 0 79681755 11079016448 21185 33554432000 4194304 4196468 140734097841168 139735233190160 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12986] ppid=12864 vsize=10819352 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12986/stat : 12986 (java) S 12864 12868 12582 0 -1 1077944384 5 13240 0 0 0 0 5 3 20 0 15 0 79681757 11079016448 21185 33554432000 4194304 4196468 140734097841168 139734866131824 139735661640322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12988] ppid=12864 vsize=10819352 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12988/stat : 12988 (java) S 12864 12868 12582 0 -1 1077944384 33 13240 0 0 0 0 5 3 20 0 15 0 79681757 11079016448 21185 33554432000 4194304 4196468 140734097841168 139734865077792 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12989] ppid=12864 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12989/stat : 12989 (java) S 12864 12868 12582 0 -1 1077944384 1 13240 0 0 0 0 5 3 20 0 15 0 79681757 11079016448 21185 33554432000 4194304 4196468 140734097841168 139734747702640 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12992] ppid=12864 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12992/stat : 12992 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11079016448 21185 33554432000 4194304 4196468 140734097841168 139734238976336 139735661647771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12993] ppid=12864 vsize=10819352 memory=10049 CPUtime=0.17 cores=1,3,5,7
/proc/12868/task/12993/stat : 12993 (java) S 12864 12868 12582 0 -1 1077944384 704 13240 0 0 9 0 5 3 20 0 15 0 79681760 11079016448 21185 33554432000 4194304 4196468 140734097841168 139734831520112 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12994] ppid=12864 vsize=10819352 memory=140380267907056 CPUtime=0.15 cores=1,3,5,7
/proc/12868/task/12994/stat : 12994 (java) S 12864 12868 12582 0 -1 1077944384 764 13240 0 0 7 0 5 3 20 0 15 0 79681760 11079016448 21185 33554432000 4194304 4196468 140734097841168 139734830467312 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12995] ppid=12864 vsize=10819352 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/12868/task/12995/stat : 12995 (java) S 12864 12868 12582 0 -1 1077944384 683 13240 0 0 13 0 5 3 20 0 15 0 79681760 11079016448 21185 33554432000 4194304 4196468 140734097841168 139734829414512 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12996] ppid=12864 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12996/stat : 12996 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11079016448 21185 33554432000 4194304 4196468 140734097841168 139734205417696 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=13001] ppid=12864 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/13001/stat : 13001 (java) S 12864 12868 12582 0 -1 1077944384 1 13240 0 0 0 0 5 3 20 0 15 0 79681760 11079016448 21185 33554432000 4194304 4196468 140734097841168 139734828362928 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84740 KiB
[startup+1.50079 s]
/proc/loadavg: 2.02 2.11 2.04 4/215 13003
/proc/meminfo: memFree=12709756/32770624 swapFree=67108860/67108860
[pid=12868] ppid=12864 vsize=10834252 memory=177596 CPUtime=2.26 cores=1,3,5,7
/proc/12868/stat : 12868 (java) S 12864 12868 12582 0 -1 1077944320 24579 13240 0 0 208 10 5 3 20 0 15 0 79681745 11094274048 44399 33554432000 4194304 4196468 140734097841168 140734097823712 139735661629175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
/proc/12868/statm: 2708563 44399 3465 1 0 2670221 0
[pid=12868/tid=12976] ppid=12864 vsize=10834252 memory=8370611207638964880 CPUtime=1.43 cores=1,3,5,7
/proc/12868/task/12976/stat : 12976 (java) R 12864 12868 12582 0 -1 4202560 18324 13240 0 0 129 6 5 3 20 0 15 0 79681754 11094274048 44399 33554432000 4194304 4196468 140734097841168 139735633463536 139735646996945 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12978] ppid=12864 vsize=10834252 memory=7091292973542959190 CPUtime=0.09 cores=1,3,5,7
/proc/12868/task/12978/stat : 12978 (java) S 12864 12868 12582 0 -1 1077944384 206 13240 0 0 1 0 5 3 20 0 15 0 79681755 11094274048 44399 33554432000 4194304 4196468 140734097841168 139735665871504 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12979] ppid=12864 vsize=10834252 memory=7235150884389545829 CPUtime=0.09 cores=1,3,5,7
/proc/12868/task/12979/stat : 12979 (java) S 12864 12868 12582 0 -1 1077944384 59 13240 0 0 1 0 5 3 20 0 15 0 79681755 11094274048 44399 33554432000 4194304 4196468 140734097841168 139735554144784 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12980] ppid=12864 vsize=10834252 memory=7306337652652665197 CPUtime=0.09 cores=1,3,5,7
/proc/12868/task/12980/stat : 12980 (java) S 12864 12868 12582 0 -1 1077944384 41 13240 0 0 1 0 5 3 20 0 15 0 79681755 11094274048 44399 33554432000 4194304 4196468 140734097841168 139735234242960 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12981] ppid=12864 vsize=10834252 memory=7233998583637501810 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12981/stat : 12981 (java) S 12864 12868 12582 0 -1 1077944384 21 13240 0 0 0 0 5 3 20 0 15 0 79681755 11094274048 44399 33554432000 4194304 4196468 140734097841168 139735233190160 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12986] ppid=12864 vsize=10834252 memory=280760536352416 CPUtime=0.09 cores=1,3,5,7
/proc/12868/task/12986/stat : 12986 (java) S 12864 12868 12582 0 -1 1077944384 191 13240 0 0 1 0 5 3 20 0 15 0 79681757 11094274048 44399 33554432000 4194304 4196468 140734097841168 139734866131824 139735661640322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12988] ppid=12864 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12988/stat : 12988 (java) S 12864 12868 12582 0 -1 1077944384 34 13240 0 0 0 0 5 3 20 0 15 0 79681757 11094274048 44399 33554432000 4194304 4196468 140734097841168 139734865077856 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12989] ppid=12864 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12989/stat : 12989 (java) S 12864 12868 12582 0 -1 1077944384 1 13240 0 0 0 0 5 3 20 0 15 0 79681757 11094274048 44399 33554432000 4194304 4196468 140734097841168 139734747702656 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12992] ppid=12864 vsize=10834252 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12992/stat : 12992 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11094274048 44399 33554432000 4194304 4196468 140734097841168 139734238976336 139735661647771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12993] ppid=12864 vsize=10834252 memory=-3250074257426230347 CPUtime=0.29 cores=1,3,5,7
/proc/12868/task/12993/stat : 12993 (java) S 12864 12868 12582 0 -1 1077944384 1181 13240 0 0 21 0 5 3 20 0 15 0 79681760 11094274048 44399 33554432000 4194304 4196468 140734097841168 139734831520112 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12994] ppid=12864 vsize=10834252 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/12868/task/12994/stat : 12994 (java) S 12864 12868 12582 0 -1 1077944384 873 13240 0 0 19 0 5 3 20 0 15 0 79681760 11094274048 44399 33554432000 4194304 4196468 140734097841168 139734830467312 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12995] ppid=12864 vsize=10834252 memory=6935649255759568960 CPUtime=0.39 cores=1,3,5,7
/proc/12868/task/12995/stat : 12995 (java) S 12864 12868 12582 0 -1 1077944384 1451 13240 0 0 31 0 5 3 20 0 15 0 79681760 11094274048 44399 33554432000 4194304 4196468 140734097841168 139734829414512 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12996] ppid=12864 vsize=10834252 memory=8030319918642779986 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12996/stat : 12996 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11094274048 44399 33554432000 4194304 4196468 140734097841168 139734205417696 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=13001] ppid=12864 vsize=10834252 memory=7588677906208741226 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/13001/stat : 13001 (java) S 12864 12868 12582 0 -1 1077944384 1 13240 0 0 0 0 5 3 20 0 15 0 79681760 11094274048 44399 33554432000 4194304 4196468 140734097841168 139734828362928 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
Current children cumulated CPU time: 2.26 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
[startup+3.11024 s]
/proc/loadavg: 2.09 2.13 2.04 8/215 13003
/proc/meminfo: memFree=12477404/32770624 swapFree=67108860/67108860
[pid=12868] ppid=12864 vsize=10848608 memory=236284 CPUtime=5.56 cores=1,3,5,7
/proc/12868/stat : 12868 (java) S 12864 12868 12582 0 -1 1077944320 36080 13240 0 0 533 15 5 3 20 0 15 0 79681745 11108974592 59071 33554432000 4194304 4196468 140734097841168 140734097823712 139735661629175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
/proc/12868/statm: 2712152 59071 3495 1 0 2673805 0
[pid=12868/tid=12976] ppid=12864 vsize=10848608 memory=230516 CPUtime=2.98 cores=1,3,5,7
/proc/12868/task/12976/stat : 12976 (java) R 12864 12868 12582 0 -1 4202560 24069 13240 0 0 283 7 5 3 20 0 15 0 79681754 11108974592 59071 33554432000 4194304 4196468 140734097841168 139735633461248 139735645672805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12978] ppid=12864 vsize=10848608 memory=303430223234596890 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12978/stat : 12978 (java) S 12864 12868 12582 0 -1 1077944384 228 13240 0 0 3 0 5 3 20 0 15 0 79681755 11108974592 59071 33554432000 4194304 4196468 140734097841168 139735665871504 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12979] ppid=12864 vsize=10848608 memory=301741382048153914 CPUtime=0.1 cores=1,3,5,7
/proc/12868/task/12979/stat : 12979 (java) S 12864 12868 12582 0 -1 1077944384 61 13240 0 0 2 0 5 3 20 0 15 0 79681755 11108974592 59071 33554432000 4194304 4196468 140734097841168 139735554144784 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12980] ppid=12864 vsize=10848608 memory=15258134151170443 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12980/stat : 12980 (java) S 12864 12868 12582 0 -1 1077944384 70 13240 0 0 3 0 5 3 20 0 15 0 79681755 11108974592 59071 33554432000 4194304 4196468 140734097841168 139735234242960 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12981] ppid=12864 vsize=10848608 memory=140380268269969 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12981/stat : 12981 (java) S 12864 12868 12582 0 -1 1077944384 30 13240 0 0 3 0 5 3 20 0 15 0 79681755 11108974592 59071 33554432000 4194304 4196468 140734097841168 139735233190160 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12986] ppid=12864 vsize=10848608 memory=280760535833104 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12986/stat : 12986 (java) S 12864 12868 12582 0 -1 1077944384 1303 13240 0 0 3 0 5 3 20 0 15 0 79681757 11108974592 59071 33554432000 4194304 4196468 140734097841168 139734866131824 139735661640322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12988] ppid=12864 vsize=10848608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12988/stat : 12988 (java) S 12864 12868 12582 0 -1 1077944384 37 13240 0 0 0 0 5 3 20 0 15 0 79681757 11108974592 59071 33554432000 4194304 4196468 140734097841168 139734865077856 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12989] ppid=12864 vsize=10848608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12989/stat : 12989 (java) S 12864 12868 12582 0 -1 1077944384 1 13240 0 0 0 0 5 3 20 0 15 0 79681757 11108974592 59071 33554432000 4194304 4196468 140734097841168 139734747702656 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12992] ppid=12864 vsize=10848608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12992/stat : 12992 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11108974592 59071 33554432000 4194304 4196468 140734097841168 139734238976336 139735661647771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12993] ppid=12864 vsize=10848608 memory=-7452431979323206951 CPUtime=0.79 cores=1,3,5,7
/proc/12868/task/12993/stat : 12993 (java) R 12864 12868 12582 0 -1 4202560 3025 13240 0 0 70 1 5 3 20 0 15 0 79681760 11108974592 59071 33554432000 4194304 4196468 140734097841168 139734831502064 139735647644244 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12994] ppid=12864 vsize=10848608 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/12868/task/12994/stat : 12994 (java) R 12864 12868 12582 0 -1 4202560 1551 13240 0 0 58 1 5 3 20 0 15 0 79681760 11108974592 59071 33554432000 4194304 4196468 140734097841168 139734830467312 139735654614217 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12995] ppid=12864 vsize=10848608 memory=-9174445032661854264 CPUtime=1.13 cores=1,3,5,7
/proc/12868/task/12995/stat : 12995 (java) R 12864 12868 12582 0 -1 1077944384 3507 13240 0 0 104 1 5 3 20 0 15 0 79681760 11108974592 59071 33554432000 4194304 4196468 140734097841168 139734829414512 139735661640322 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12996] ppid=12864 vsize=10848608 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12996/stat : 12996 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11108974592 59071 33554432000 4194304 4196468 140734097841168 139734205417696 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=13001] ppid=12864 vsize=10848608 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/13001/stat : 13001 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11108974592 59071 33554432000 4194304 4196468 140734097841168 139734828362928 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
Current children cumulated CPU time: 5.56 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 236284 KiB
[startup+4.10296 s]
# the end of solver process 12868 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.54524 s, system=0.245875 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20086 s]
/proc/loadavg: 2.09 2.13 2.04 8/215 13003
/proc/meminfo: memFree=12477404/32770624 swapFree=67108860/67108860
[pid=12868] ppid=12864 vsize=10848608 memory=243024 CPUtime=5.82 cores=1,3,5,7
/proc/12868/stat : 12868 (java) S 12864 12868 12582 0 -1 1077944320 38076 13240 0 0 559 15 5 3 20 0 15 0 79681745 11108974592 60756 33554432000 4194304 4196468 140734097841168 140734097823712 139735661629175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
/proc/12868/statm: 2712152 60756 3495 1 0 2673805 0
[pid=12868/tid=12976] ppid=12864 vsize=10848608 memory=6791534058613427641 CPUtime=3.08 cores=1,3,5,7
/proc/12868/task/12976/stat : 12976 (java) R 12864 12868 12582 0 -1 4202560 25708 13240 0 0 292 8 5 3 20 0 15 0 79681754 11108974592 60756 33554432000 4194304 4196468 140734097841168 139735633444632 139735641905003 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12978] ppid=12864 vsize=10848608 memory=6944656592387989600 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12978/stat : 12978 (java) S 12864 12868 12582 0 -1 1077944384 228 13240 0 0 3 0 5 3 20 0 15 0 79681755 11108974592 60821 33554432000 4194304 4196468 140734097841168 139735665871504 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12979] ppid=12864 vsize=10848608 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/12868/task/12979/stat : 12979 (java) S 12864 12868 12582 0 -1 1077944384 61 13240 0 0 2 0 5 3 20 0 15 0 79681755 11108974592 60821 33554432000 4194304 4196468 140734097841168 139735554144784 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12980] ppid=12864 vsize=10848608 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12980/stat : 12980 (java) S 12864 12868 12582 0 -1 1077944384 70 13240 0 0 3 0 5 3 20 0 15 0 79681755 11108974592 60821 33554432000 4194304 4196468 140734097841168 139735234242960 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12981] ppid=12864 vsize=10848608 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12981/stat : 12981 (java) S 12864 12868 12582 0 -1 1077944384 30 13240 0 0 3 0 5 3 20 0 15 0 79681755 11108974592 60821 33554432000 4194304 4196468 140734097841168 139735233190160 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12986] ppid=12864 vsize=10848608 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12986/stat : 12986 (java) S 12864 12868 12582 0 -1 1077944384 1303 13240 0 0 3 0 5 3 20 0 15 0 79681757 11108974592 60821 33554432000 4194304 4196468 140734097841168 139734866131824 139735661640322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12988] ppid=12864 vsize=10848608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12988/stat : 12988 (java) S 12864 12868 12582 0 -1 1077944384 37 13240 0 0 0 0 5 3 20 0 15 0 79681757 11108974592 60821 33554432000 4194304 4196468 140734097841168 139734865077856 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12989] ppid=12864 vsize=10848608 memory=10 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12989/stat : 12989 (java) S 12864 12868 12582 0 -1 1077944384 1 13240 0 0 0 0 5 3 20 0 15 0 79681757 11108974592 60821 33554432000 4194304 4196468 140734097841168 139734747702656 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12992] ppid=12864 vsize=10848608 memory=7236273434440590955 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12992/stat : 12992 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11108974592 60887 33554432000 4194304 4196468 140734097841168 139734238976336 139735661647771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12993] ppid=12864 vsize=10848608 memory=7884510305855366248 CPUtime=0.88 cores=1,3,5,7
/proc/12868/task/12993/stat : 12993 (java) R 12864 12868 12582 0 -1 4202560 3419 13240 0 0 79 1 5 3 20 0 15 0 79681760 11108974592 60887 33554432000 4194304 4196468 140734097841168 139734831501104 139735646510431 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12994] ppid=12864 vsize=10848608 memory=6004818212239331408 CPUtime=0.74 cores=1,3,5,7
/proc/12868/task/12994/stat : 12994 (java) R 12864 12868 12582 0 -1 4202560 1594 13240 0 0 65 1 5 3 20 0 15 0 79681760 11108974592 60887 33554432000 4194304 4196468 140734097841168 139734830447992 139735642375845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12995] ppid=12864 vsize=10848608 memory=4784891438312089445 CPUtime=1.14 cores=1,3,5,7
/proc/12868/task/12995/stat : 12995 (java) S 12864 12868 12582 0 -1 1077944384 3523 13240 0 0 105 1 5 3 20 0 15 0 79681760 11108974592 60887 33554432000 4194304 4196468 140734097841168 139734829414512 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12996] ppid=12864 vsize=10848608 memory=7881672461915023461 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12996/stat : 12996 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11108974592 60887 33554432000 4194304 4196468 140734097841168 139734205417696 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=13001] ppid=12864 vsize=10848608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/13001/stat : 13001 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11108974592 60887 33554432000 4194304 4196468 140734097841168 139734828362928 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 243024 KiB
[startup+3.60119 s]
/proc/loadavg: 2.09 2.13 2.04 8/215 13003
/proc/meminfo: memFree=12477404/32770624 swapFree=67108860/67108860
[pid=12868] ppid=12864 vsize=10918824 memory=308632 CPUtime=7.14 cores=1,3,5,7
/proc/12868/stat : 12868 (java) S 12864 12868 12582 0 -1 1077944320 66862 13240 0 0 687 19 5 3 20 0 15 0 79681745 11180875776 77158 33554432000 4194304 4196468 140734097841168 140734097823712 139735661629175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
/proc/12868/statm: 2729706 77158 3498 1 0 2691359 0
[pid=12868/tid=12976] ppid=12864 vsize=10918824 memory=-7655404311101385754 CPUtime=3.47 cores=1,3,5,7
/proc/12868/task/12976/stat : 12976 (java) R 12864 12868 12582 0 -1 4202560 43410 13240 0 0 329 10 5 3 20 0 15 0 79681754 11180875776 77158 33554432000 4194304 4196468 140734097841168 139735633457008 139735245187490 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12978] ppid=12864 vsize=10918824 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12978/stat : 12978 (java) S 12864 12868 12582 0 -1 1077944384 228 13240 0 0 3 0 5 3 20 0 15 0 79681755 11180875776 77158 33554432000 4194304 4196468 140734097841168 139735665871504 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12979] ppid=12864 vsize=10918824 memory=45200259 CPUtime=0.1 cores=1,3,5,7
/proc/12868/task/12979/stat : 12979 (java) S 12864 12868 12582 0 -1 1077944384 61 13240 0 0 2 0 5 3 20 0 15 0 79681755 11180875776 77158 33554432000 4194304 4196468 140734097841168 139735554144784 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12980] ppid=12864 vsize=10918824 memory=113 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12980/stat : 12980 (java) S 12864 12868 12582 0 -1 1077944384 70 13240 0 0 3 0 5 3 20 0 15 0 79681755 11180875776 77158 33554432000 4194304 4196468 140734097841168 139735234242960 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12981] ppid=12864 vsize=10918824 memory=280760536141744 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12981/stat : 12981 (java) S 12864 12868 12582 0 -1 1077944384 30 13240 0 0 3 0 5 3 20 0 15 0 79681755 11180875776 77158 33554432000 4194304 4196468 140734097841168 139735233190160 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12986] ppid=12864 vsize=10918824 memory=140380268230839 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12986/stat : 12986 (java) S 12864 12868 12582 0 -1 1077944384 1344 13240 0 0 3 0 5 3 20 0 15 0 79681757 11180875776 77158 33554432000 4194304 4196468 140734097841168 139734866131824 139735661640322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12988] ppid=12864 vsize=10918824 memory=280760536469616 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12988/stat : 12988 (java) S 12864 12868 12582 0 -1 1077944384 37 13240 0 0 0 0 5 3 20 0 15 0 79681757 11180875776 77158 33554432000 4194304 4196468 140734097841168 139734865077856 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12989] ppid=12864 vsize=10918824 memory=2110730875340820 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12989/stat : 12989 (java) S 12864 12868 12582 0 -1 1077944384 1 13240 0 0 0 0 5 3 20 0 15 0 79681757 11180875776 77158 33554432000 4194304 4196468 140734097841168 139734747702656 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12992] ppid=12864 vsize=10918824 memory=280760536478816 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12992/stat : 12992 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11180875776 77158 33554432000 4194304 4196468 140734097841168 139734238976336 139735661647771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12993] ppid=12864 vsize=10918824 memory=11186559200 CPUtime=1.28 cores=1,3,5,7
/proc/12868/task/12993/stat : 12993 (java) R 12864 12868 12582 0 -1 4202560 9226 13240 0 0 118 2 5 3 20 0 15 0 79681760 11180875776 77158 33554432000 4194304 4196468 140734097841168 139734831506136 139735645015960 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12994] ppid=12864 vsize=10918824 memory=11186559200 CPUtime=1.11 cores=1,3,5,7
/proc/12868/task/12994/stat : 12994 (java) R 12864 12868 12582 0 -1 4202560 5470 13240 0 0 101 2 5 3 20 0 15 0 79681760 11180875776 77158 33554432000 4194304 4196468 140734097841168 139734830456304 139735646518562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12995] ppid=12864 vsize=10918824 memory=11186559200 CPUtime=1.3 cores=1,3,5,7
/proc/12868/task/12995/stat : 12995 (java) S 12864 12868 12582 0 -1 1077944384 4776 13240 0 0 121 1 5 3 20 0 15 0 79681760 11180875776 77158 33554432000 4194304 4196468 140734097841168 139734829414512 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12996] ppid=12864 vsize=10918824 memory=11186559200 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12996/stat : 12996 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11180875776 77158 33554432000 4194304 4196468 140734097841168 139734205417696 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=13001] ppid=12864 vsize=10918824 memory=140384715155071 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/13001/stat : 13001 (java) S 12864 12868 12582 0 -1 1077944384 13 13240 0 0 0 0 5 3 20 0 15 0 79681760 11180875776 77158 33554432000 4194304 4196468 140734097841168 139734828362928 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
Current children cumulated CPU time: 7.14 s
Current children cumulated vsize: 10918824 KiB
Current children cumulated memory: 308632 KiB
[startup+4.00071 s]*
/proc/loadavg: 2.09 2.13 2.04 7/215 13003
/proc/meminfo: memFree=12300496/32770624 swapFree=67108860/67108860
[pid=12868] ppid=12864 vsize=10916192 memory=308240 CPUtime=8.52 cores=1,3,5,7
/proc/12868/stat : 12868 (java) S 12864 12868 12582 0 -1 1077944320 68565 13240 0 0 825 19 5 3 20 0 15 0 79681745 11178180608 77060 33554432000 4194304 4196468 140734097841168 140734097823712 139735661629175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
/proc/12868/statm: 2729048 77060 3501 1 0 2690701 0
[pid=12868/tid=12976] ppid=12864 vsize=10916192 memory=6791534058613427641 CPUtime=3.88 cores=1,3,5,7
/proc/12868/task/12976/stat : 12976 (java) R 12864 12868 12582 0 -1 4202560 43479 13240 0 0 370 10 5 3 20 0 15 0 79681754 11178180608 77060 33554432000 4194304 4196468 140734097841168 139735633463992 139735234568160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12978] ppid=12864 vsize=10916192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12978/stat : 12978 (java) S 12864 12868 12582 0 -1 1077944384 228 13240 0 0 3 0 5 3 20 0 15 0 79681755 11178180608 77060 33554432000 4194304 4196468 140734097841168 139735665871504 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12979] ppid=12864 vsize=10916192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/12868/task/12979/stat : 12979 (java) S 12864 12868 12582 0 -1 1077944384 61 13240 0 0 2 0 5 3 20 0 15 0 79681755 11178180608 77060 33554432000 4194304 4196468 140734097841168 139735554144784 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12980] ppid=12864 vsize=10916192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12980/stat : 12980 (java) S 12864 12868 12582 0 -1 1077944384 70 13240 0 0 3 0 5 3 20 0 15 0 79681755 11178180608 77060 33554432000 4194304 4196468 140734097841168 139735234242960 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12981] ppid=12864 vsize=10916192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12981/stat : 12981 (java) S 12864 12868 12582 0 -1 1077944384 30 13240 0 0 3 0 5 3 20 0 15 0 79681755 11178180608 77060 33554432000 4194304 4196468 140734097841168 139735233190160 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12986] ppid=12864 vsize=10916192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12868/task/12986/stat : 12986 (java) S 12864 12868 12582 0 -1 1077944384 1344 13240 0 0 3 0 5 3 20 0 15 0 79681757 11178180608 77060 33554432000 4194304 4196468 140734097841168 139734866131824 139735661640322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12988] ppid=12864 vsize=10916192 memory=36912 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12988/stat : 12988 (java) S 12864 12868 12582 0 -1 1077944384 37 13240 0 0 0 0 5 3 20 0 15 0 79681757 11178180608 77060 33554432000 4194304 4196468 140734097841168 139734865077856 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12989] ppid=12864 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12989/stat : 12989 (java) S 12864 12868 12582 0 -1 1077944384 1 13240 0 0 0 0 5 3 20 0 15 0 79681757 11178180608 77060 33554432000 4194304 4196468 140734097841168 139734747702656 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12992] ppid=12864 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12992/stat : 12992 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11178180608 77060 33554432000 4194304 4196468 140734097841168 139734238976336 139735661647771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12993] ppid=12864 vsize=10916192 memory=0 CPUtime=1.69 cores=1,3,5,7
/proc/12868/task/12993/stat : 12993 (java) R 12864 12868 12582 0 -1 4202560 10206 13240 0 0 159 2 5 3 20 0 15 0 79681760 11178180608 77060 33554432000 4194304 4196468 140734097841168 139734831508784 139735643173477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12994] ppid=12864 vsize=10916192 memory=8820672897879781384 CPUtime=1.52 cores=1,3,5,7
/proc/12868/task/12994/stat : 12994 (java) R 12864 12868 12582 0 -1 4202560 5667 13240 0 0 142 2 5 3 20 0 15 0 79681760 11178180608 77060 33554432000 4194304 4196468 140734097841168 139734830448848 139735646755139 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12995] ppid=12864 vsize=10916192 memory=5119101713567878138 CPUtime=1.46 cores=1,3,5,7
/proc/12868/task/12995/stat : 12995 (java) S 12864 12868 12582 0 -1 1077944384 5234 13240 0 0 137 1 5 3 20 0 15 0 79681760 11178180608 77060 33554432000 4194304 4196468 140734097841168 139734829414512 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=12996] ppid=12864 vsize=10916192 memory=3835159269393119496 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/12996/stat : 12996 (java) S 12864 12868 12582 0 -1 1077944384 3 13240 0 0 0 0 5 3 20 0 15 0 79681760 11178180608 77060 33554432000 4194304 4196468 140734097841168 139734205417696 139735661639381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
[pid=12868/tid=13001] ppid=12864 vsize=10916192 memory=8103646021552069302 CPUtime=0.08 cores=1,3,5,7
/proc/12868/task/13001/stat : 13001 (java) S 12864 12868 12582 0 -1 1077944384 13 13240 0 0 0 0 5 3 20 0 15 0 79681760 11178180608 77060 33554432000 4194304 4196468 140734097841168 139734828362928 139735661640322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140734097844395 140734097847644 140734097847644 140734097850319 0
Current children cumulated CPU time: 8.52 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 308240 KiB
Child status: 0
Real time (s): 4.10302
CPU time (s): 8.79112
CPU user time (s): 8.54524
CPU system time (s): 0.245875
CPU usage (%): 214.26
Max. virtual memory (cumulated for all children) (KiB): 10918828
Max. memory (cumulated for all children) (KiB): 308972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.54524
system time used= 0.245875
maximum resident set size= 322904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82010
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6682
involuntary context switches= 69
# summary of solver processes directly reported to runsolver:
# pid: 12868
# total CPU time (s): 8.79112
# total CPU user time (s): 8.54524
# total CPU system time (s): 0.245875
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050879 second user time and 0.080808 second system time
The end