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 (10671 MiB free)
memory of node 1: 16384 MiB (12978 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308077-1534258226/watcher-4308077-1534258226 -o /tmp/evaluation-result-4308077-1534258226/solver-4308077-1534258226 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534258226-10045 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2094046338 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308077-1534258226.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10072, runsolver pid=10067
[startup+0.100062 s]*
/proc/loadavg: 0.00 0.01 0.05 4/216 10105
/proc/meminfo: memFree=24190804/32770624 swapFree=67059112/67108860
[pid=10072] ppid=10067 vsize=14082736 memory=29084 CPUtime=0.08 cores=0,2,4,6
/proc/10072/stat : 10072 (java) S 10067 10072 10014 0 -1 1077944320 6196 0 0 0 7 1 0 0 20 0 15 0 243385839 14420721664 7271 33554432000 4194304 4196468 140735214469088 140735214451632 140030241193719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
/proc/10072/statm: 3520684 7271 3112 1 0 3482761 0
[pid=10072/tid=10079] ppid=10067 vsize=14082736 memory=5450919713671312938 CPUtime=0.06 cores=0,2,4,6
/proc/10072/task/10079/stat : 10079 (java) R 10067 10072 10014 0 -1 4202560 4279 0 0 0 6 0 0 0 20 0 15 0 243385842 14420721664 7271 33554432000 4194304 4196468 140735214469088 140030245419408 140030225274206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10082] ppid=10067 vsize=14082736 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10082/stat : 10082 (java) S 10067 10072 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243385842 14420721664 7271 33554432000 4194304 4196468 140735214469088 140030171282576 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10084] ppid=10067 vsize=14082736 memory=139826377254528 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10084/stat : 10084 (java) S 10067 10072 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243385842 14420721664 7271 33554432000 4194304 4196468 140735214469088 140030170229776 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10086] ppid=10067 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10086/stat : 10086 (java) S 10067 10072 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243385843 14420721664 7271 33554432000 4194304 4196468 140735214469088 140030169176976 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10087] ppid=10067 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10087/stat : 10087 (java) S 10067 10072 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243385843 14420721664 7271 33554432000 4194304 4196468 140735214469088 140030168124176 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10088] ppid=10067 vsize=14082736 memory=139826377254528 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10088/stat : 10088 (java) S 10067 10072 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243385844 14420721664 7271 33554432000 4194304 4196468 140735214469088 140029714721136 140030241204866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10090] ppid=10067 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10090/stat : 10090 (java) S 10067 10072 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243385844 14420721664 7271 33554432000 4194304 4196468 140735214469088 140029713667104 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10092] ppid=10067 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10092/stat : 10092 (java) S 10067 10072 10014 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 243385844 14420721664 7271 33554432000 4194304 4196468 140735214469088 140029712614256 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10096] ppid=10067 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10096/stat : 10096 (java) S 10067 10072 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243385847 14420721664 7271 33554432000 4194304 4196468 140735214469088 140029711562576 140030241212315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10099] ppid=10067 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10099/stat : 10099 (java) S 10067 10072 10014 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 243385847 14420721664 7304 33554432000 4194304 4196468 140735214469088 140029710510960 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10100] ppid=10067 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10100/stat : 10100 (java) S 10067 10072 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243385847 14420721664 7304 33554432000 4194304 4196468 140735214469088 140029709458160 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10101] ppid=10067 vsize=14082736 memory=139826377254528 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10101/stat : 10101 (java) S 10067 10072 10014 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 15 0 243385847 14420721664 7304 33554432000 4194304 4196468 140735214469088 140029708405360 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10103] ppid=10067 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10103/stat : 10103 (java) S 10067 10072 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243385847 14420721664 7304 33554432000 4194304 4196468 140735214469088 140029707352800 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10104] ppid=10067 vsize=14082736 memory=139826377254528 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10104/stat : 10104 (java) S 10067 10072 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243385848 14420721664 7304 33554432000 4194304 4196468 140735214469088 140029706300080 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 29084 KiB
[startup+0.210604 s]*
/proc/loadavg: 0.00 0.01 0.05 3/216 10105
/proc/meminfo: memFree=24153296/32770624 swapFree=67059112/67108860
[pid=10072] ppid=10067 vsize=14082736 memory=44412 CPUtime=0.24 cores=0,2,4,6
/proc/10072/stat : 10072 (java) S 10067 10072 10014 0 -1 1077944320 10259 0 0 0 22 2 0 0 20 0 15 0 243385839 14420721664 11103 33554432000 4194304 4196468 140735214469088 140735214451632 140030241193719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
/proc/10072/statm: 3520684 11103 3261 1 0 3482761 0
[pid=10072/tid=10079] ppid=10067 vsize=14082736 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/10072/task/10079/stat : 10079 (java) R 10067 10072 10014 0 -1 4202560 8093 0 0 0 16 1 0 0 20 0 15 0 243385842 14420721664 11103 33554432000 4194304 4196468 140735214469088 140030245423312 140030225644508 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10082] ppid=10067 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10082/stat : 10082 (java) S 10067 10072 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243385842 14420721664 11103 33554432000 4194304 4196468 140735214469088 140030171282576 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10084] ppid=10067 vsize=14082736 memory=139826377264831 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10084/stat : 10084 (java) S 10067 10072 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243385842 14420721664 11169 33554432000 4194304 4196468 140735214469088 140030170229776 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10086] ppid=10067 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10086/stat : 10086 (java) S 10067 10072 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243385843 14420721664 11169 33554432000 4194304 4196468 140735214469088 140030169176976 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10087] ppid=10067 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10087/stat : 10087 (java) S 10067 10072 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243385843 14420721664 11169 33554432000 4194304 4196468 140735214469088 140030168124176 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10088] ppid=10067 vsize=14082736 memory=139826377254528 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10088/stat : 10088 (java) S 10067 10072 10014 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243385844 14420721664 11169 33554432000 4194304 4196468 140735214469088 140029714721136 140030241204866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10090] ppid=10067 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10090/stat : 10090 (java) S 10067 10072 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243385844 14420721664 11169 33554432000 4194304 4196468 140735214469088 140029713667104 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10092] ppid=10067 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10092/stat : 10092 (java) S 10067 10072 10014 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 243385844 14420721664 11169 33554432000 4194304 4196468 140735214469088 140029712614256 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10096] ppid=10067 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10096/stat : 10096 (java) S 10067 10072 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243385847 14420721664 11169 33554432000 4194304 4196468 140735214469088 140029711562576 140030241212315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10099] ppid=10067 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10072/task/10099/stat : 10099 (java) R 10067 10072 10014 0 -1 4202560 464 0 0 0 1 0 0 0 20 0 15 0 243385847 14420721664 11169 33554432000 4194304 4196468 140735214469088 140029710510960 140030224424384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10100] ppid=10067 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10100/stat : 10100 (java) R 10067 10072 10014 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 243385847 14420721664 11169 33554432000 4194304 4196468 140735214469088 140029709458160 140030241204866 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10101] ppid=10067 vsize=14082736 memory=139826377254528 CPUtime=0.03 cores=0,2,4,6
/proc/10072/task/10101/stat : 10101 (java) R 10067 10072 10014 0 -1 4202560 298 0 0 0 3 0 0 0 20 0 15 0 243385847 14420721664 11169 33554432000 4194304 4196468 140735214469088 140029708405360 140030220149286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10103] ppid=10067 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10103/stat : 10103 (java) S 10067 10072 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243385847 14420721664 11169 33554432000 4194304 4196468 140735214469088 140029707352800 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10104] ppid=10067 vsize=14082736 memory=139826377254528 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10104/stat : 10104 (java) S 10067 10072 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243385848 14420721664 11169 33554432000 4194304 4196468 140735214469088 140029706300080 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 44412 KiB
[startup+0.310369 s]*
/proc/loadavg: 0.00 0.01 0.05 4/216 10105
/proc/meminfo: memFree=24142100/32770624 swapFree=67059112/67108860
[pid=10072] ppid=10067 vsize=14082736 memory=50372 CPUtime=0.42 cores=0,2,4,6
/proc/10072/stat : 10072 (java) S 10067 10072 10014 0 -1 1077944320 10736 0 0 0 40 2 0 0 20 0 15 0 243385839 14420721664 12593 33554432000 4194304 4196468 140735214469088 140735214451632 140030241193719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
/proc/10072/statm: 3520684 12593 3409 1 0 3482761 0
[pid=10072/tid=10079] ppid=10067 vsize=14082736 memory=7311146985107750967 CPUtime=0.27 cores=0,2,4,6
/proc/10072/task/10079/stat : 10079 (java) R 10067 10072 10014 0 -1 4202560 8410 0 0 0 26 1 0 0 20 0 15 0 243385842 14420721664 12593 33554432000 4194304 4196468 140735214469088 140030245401816 140030220732128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10082] ppid=10067 vsize=14082736 memory=12676 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10082/stat : 10082 (java) S 10067 10072 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243385842 14420721664 12593 33554432000 4194304 4196468 140735214469088 140030171282576 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10084] ppid=10067 vsize=14082736 memory=139826377264830 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10084/stat : 10084 (java) S 10067 10072 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243385842 14420721664 12593 33554432000 4194304 4196468 140735214469088 140030170229776 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10086] ppid=10067 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10086/stat : 10086 (java) S 10067 10072 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243385843 14420721664 12593 33554432000 4194304 4196468 140735214469088 140030169176976 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10087] ppid=10067 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10087/stat : 10087 (java) S 10067 10072 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243385843 14420721664 12593 33554432000 4194304 4196468 140735214469088 140030168124176 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10088] ppid=10067 vsize=14082736 memory=139826377254528 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10088/stat : 10088 (java) S 10067 10072 10014 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243385844 14420721664 12593 33554432000 4194304 4196468 140735214469088 140029714721136 140030241204866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10090] ppid=10067 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10090/stat : 10090 (java) S 10067 10072 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243385844 14420721664 12593 33554432000 4194304 4196468 140735214469088 140029713667104 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10092] ppid=10067 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10092/stat : 10092 (java) S 10067 10072 10014 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 243385844 14420721664 12593 33554432000 4194304 4196468 140735214469088 140029712614256 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10096] ppid=10067 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10096/stat : 10096 (java) S 10067 10072 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243385847 14420721664 12593 33554432000 4194304 4196468 140735214469088 140029711562576 140030241212315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10099] ppid=10067 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10072/task/10099/stat : 10099 (java) S 10067 10072 10014 0 -1 1077944384 558 0 0 0 2 0 0 0 20 0 15 0 243385847 14420721664 12593 33554432000 4194304 4196468 140735214469088 140029710510960 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10100] ppid=10067 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10072/task/10100/stat : 10100 (java) S 10067 10072 10014 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 15 0 243385847 14420721664 12593 33554432000 4194304 4196468 140735214469088 140029709458160 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10101] ppid=10067 vsize=14082736 memory=139826377254528 CPUtime=0.08 cores=0,2,4,6
/proc/10072/task/10101/stat : 10101 (java) R 10067 10072 10014 0 -1 4202560 318 0 0 0 8 0 0 0 20 0 15 0 243385847 14420721664 12593 33554432000 4194304 4196468 140735214469088 140029708405360 140030219360010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10103] ppid=10067 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10103/stat : 10103 (java) S 10067 10072 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243385847 14420721664 12593 33554432000 4194304 4196468 140735214469088 140029707352800 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10104] ppid=10067 vsize=14082736 memory=139826377254528 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10104/stat : 10104 (java) S 10067 10072 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243385848 14420721664 12593 33554432000 4194304 4196468 140735214469088 140029706300080 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50372 KiB
[startup+0.700711 s]
/proc/loadavg: 0.00 0.01 0.05 3/216 10105
/proc/meminfo: memFree=24124360/32770624 swapFree=67059112/67108860
[pid=10072] ppid=10067 vsize=14084804 memory=86604 CPUtime=0.96 cores=0,2,4,6
/proc/10072/stat : 10072 (java) S 10067 10072 10014 0 -1 1077944320 17521 0 0 0 92 4 0 0 20 0 15 0 243385839 14422839296 21651 33554432000 4194304 4196468 140735214469088 140735214451632 140030241193719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
/proc/10072/statm: 3521201 21651 3499 1 0 3483273 0
[pid=10072/tid=10079] ppid=10067 vsize=14084804 memory=33 CPUtime=0.65 cores=0,2,4,6
/proc/10072/task/10079/stat : 10079 (java) R 10067 10072 10014 0 -1 4202560 14789 0 0 0 62 3 0 0 20 0 15 0 243385842 14422839296 21651 33554432000 4194304 4196468 140735214469088 140030245404496 140030241205654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10082] ppid=10067 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10082/stat : 10082 (java) S 10067 10072 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243385842 14422839296 21651 33554432000 4194304 4196468 140735214469088 140030171282576 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10084] ppid=10067 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10084/stat : 10084 (java) S 10067 10072 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243385842 14422839296 21651 33554432000 4194304 4196468 140735214469088 140030170229776 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10086] ppid=10067 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10086/stat : 10086 (java) S 10067 10072 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243385843 14422839296 21651 33554432000 4194304 4196468 140735214469088 140030169176976 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10087] ppid=10067 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10087/stat : 10087 (java) S 10067 10072 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243385843 14422839296 21651 33554432000 4194304 4196468 140735214469088 140030168124176 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10088] ppid=10067 vsize=14084804 memory=183153847188167 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10088/stat : 10088 (java) S 10067 10072 10014 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243385844 14422839296 21651 33554432000 4194304 4196468 140735214469088 140029714721136 140030241204866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10090] ppid=10067 vsize=14084804 memory=1280068 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10090/stat : 10090 (java) S 10067 10072 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243385844 14422839296 21651 33554432000 4194304 4196468 140735214469088 140029713667104 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10092] ppid=10067 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10092/stat : 10092 (java) S 10067 10072 10014 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 243385844 14422839296 21651 33554432000 4194304 4196468 140735214469088 140029712614256 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10096] ppid=10067 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10096/stat : 10096 (java) S 10067 10072 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243385847 14422839296 21651 33554432000 4194304 4196468 140735214469088 140029711562576 140030241212315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10099] ppid=10067 vsize=14084804 memory=7809523229951467572 CPUtime=0.08 cores=0,2,4,6
/proc/10072/task/10099/stat : 10099 (java) R 10067 10072 10014 0 -1 1077944384 713 0 0 0 8 0 0 0 20 0 15 0 243385847 14422839296 21651 33554432000 4194304 4196468 140735214469088 140029710510960 140030241204866 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10100] ppid=10067 vsize=14084804 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/10072/task/10100/stat : 10100 (java) R 10067 10072 10014 0 -1 4202560 228 0 0 0 6 0 0 0 20 0 15 0 243385847 14422839296 21651 33554432000 4194304 4196468 140735214469088 140029709446960 140030226120340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10101] ppid=10067 vsize=14084804 memory=9050439287448895661 CPUtime=0.14 cores=0,2,4,6
/proc/10072/task/10101/stat : 10101 (java) R 10067 10072 10014 0 -1 4202560 407 0 0 0 14 0 0 0 20 0 15 0 243385847 14422839296 21651 33554432000 4194304 4196468 140735214469088 140029708405360 140030234299416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10103] ppid=10067 vsize=14084804 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10103/stat : 10103 (java) S 10067 10072 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243385847 14422839296 21651 33554432000 4194304 4196468 140735214469088 140029707352800 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10104] ppid=10067 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10104/stat : 10104 (java) S 10067 10072 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243385848 14422839296 21651 33554432000 4194304 4196468 140735214469088 140029706300080 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 86604 KiB
[startup+1.50078 s]
/proc/loadavg: 0.00 0.01 0.05 3/216 10105
/proc/meminfo: memFree=24031972/32770624 swapFree=67059112/67108860
[pid=10072] ppid=10067 vsize=14090948 memory=140484 CPUtime=2.8 cores=0,2,4,6
/proc/10072/stat : 10072 (java) S 10067 10072 10014 0 -1 1077944320 25808 0 0 0 273 7 0 0 20 0 15 0 243385839 14429130752 35121 33554432000 4194304 4196468 140735214469088 140735214451632 140030241193719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
/proc/10072/statm: 3522737 35121 3540 1 0 3484809 0
[pid=10072/tid=10079] ppid=10067 vsize=14090948 memory=7019257425709197167 CPUtime=1.45 cores=0,2,4,6
/proc/10072/task/10079/stat : 10079 (java) R 10067 10072 10014 0 -1 4202560 19240 0 0 0 140 5 0 0 20 0 15 0 243385842 14429130752 35121 33554432000 4194304 4196468 140735214469088 140030245428512 140029847177787 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10082] ppid=10067 vsize=14090948 memory=4638778398332698729 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10082/stat : 10082 (java) S 10067 10072 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243385842 14429130752 35121 33554432000 4194304 4196468 140735214469088 140030171282576 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10084] ppid=10067 vsize=14090948 memory=56 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10084/stat : 10084 (java) S 10067 10072 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243385842 14429130752 35121 33554432000 4194304 4196468 140735214469088 140030170229776 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10086] ppid=10067 vsize=14090948 memory=12902 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10086/stat : 10086 (java) S 10067 10072 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243385843 14429130752 35121 33554432000 4194304 4196468 140735214469088 140030169176976 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10087] ppid=10067 vsize=14090948 memory=14252 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10087/stat : 10087 (java) S 10067 10072 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243385843 14429130752 35121 33554432000 4194304 4196468 140735214469088 140030168124176 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10088] ppid=10067 vsize=14090948 memory=7378391943639753303 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10088/stat : 10088 (java) S 10067 10072 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243385844 14429130752 35121 33554432000 4194304 4196468 140735214469088 140029714721136 140030241204866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
################
# More data... #
################
/proc/10072/task/10079/stat : 10079 (java) R 10067 10072 10014 0 -1 4202560 36033 0 0 0 243349 15 0 0 20 0 15 0 243385842 14429130752 62691 33554432000 4194304 4196468 140735214469088 140030245431968 140029847631215 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10082] ppid=10067 vsize=14090948 memory=250764 CPUtime=3.42 cores=0,2,4,6
/proc/10072/task/10082/stat : 10082 (java) S 10067 10072 10014 0 -1 1077944384 3235 0 0 0 317 25 0 0 20 0 15 0 243385842 14429130752 62691 33554432000 4194304 4196468 140735214469088 140030171282576 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10084] ppid=10067 vsize=14090948 memory=250764 CPUtime=3.42 cores=0,2,4,6
/proc/10072/task/10084/stat : 10084 (java) S 10067 10072 10014 0 -1 1077944384 4022 0 0 0 318 24 0 0 20 0 15 0 243385842 14429130752 62691 33554432000 4194304 4196468 140735214469088 140030170229776 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10086] ppid=10067 vsize=14090948 memory=250764 CPUtime=3.44 cores=0,2,4,6
/proc/10072/task/10086/stat : 10086 (java) S 10067 10072 10014 0 -1 1077944384 2029 0 0 0 321 23 0 0 20 0 15 0 243385843 14429130752 62691 33554432000 4194304 4196468 140735214469088 140030169176976 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10087] ppid=10067 vsize=14090948 memory=250764 CPUtime=3.44 cores=0,2,4,6
/proc/10072/task/10087/stat : 10087 (java) S 10067 10072 10014 0 -1 1077944384 1346 0 0 0 318 26 0 0 20 0 15 0 243385843 14429130752 62691 33554432000 4194304 4196468 140735214469088 140030168124176 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10088] ppid=10067 vsize=14090948 memory=250764 CPUtime=3.42 cores=0,2,4,6
/proc/10072/task/10088/stat : 10088 (java) S 10067 10072 10014 0 -1 1077944384 5381 0 0 0 325 17 0 0 20 0 15 0 243385844 14429130752 62691 33554432000 4194304 4196468 140735214469088 140029714721136 140030241204866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10090] ppid=10067 vsize=14090948 memory=1860 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10090/stat : 10090 (java) S 10067 10072 10014 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 243385844 14429130752 62691 33554432000 4194304 4196468 140735214469088 140029713667168 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10092] ppid=10067 vsize=14090948 memory=250764 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10092/stat : 10092 (java) S 10067 10072 10014 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 243385844 14429130752 62691 33554432000 4194304 4196468 140735214469088 140029712614272 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10096] ppid=10067 vsize=14090948 memory=250764 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10096/stat : 10096 (java) S 10067 10072 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243385847 14429130752 62691 33554432000 4194304 4196468 140735214469088 140029711562576 140030241212315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10099] ppid=10067 vsize=14090948 memory=246668 CPUtime=0.61 cores=0,2,4,6
/proc/10072/task/10099/stat : 10099 (java) S 10067 10072 10014 0 -1 1077944384 3552 0 0 0 60 1 0 0 20 0 15 0 243385847 14429130752 62691 33554432000 4194304 4196468 140735214469088 140029710510960 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10100] ppid=10067 vsize=14090948 memory=250764 CPUtime=0.63 cores=0,2,4,6
/proc/10072/task/10100/stat : 10100 (java) S 10067 10072 10014 0 -1 1077944384 3621 0 0 0 63 0 0 0 20 0 15 0 243385847 14429130752 62691 33554432000 4194304 4196468 140735214469088 140029709458160 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10101] ppid=10067 vsize=14090948 memory=250764 CPUtime=0.51 cores=0,2,4,6
/proc/10072/task/10101/stat : 10101 (java) S 10067 10072 10014 0 -1 1077944384 4316 0 0 0 50 1 0 0 20 0 15 0 243385847 14429130752 62691 33554432000 4194304 4196468 140735214469088 140029708405360 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10103] ppid=10067 vsize=14090948 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10103/stat : 10103 (java) S 10067 10072 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243385847 14429130752 62691 33554432000 4194304 4196468 140735214469088 140029707352800 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10104] ppid=10067 vsize=14090948 memory=288230596050944315 CPUtime=0.75 cores=0,2,4,6
/proc/10072/task/10104/stat : 10104 (java) S 10067 10072 10014 0 -1 1077944384 1436 0 0 0 36 39 0 0 20 0 15 0 243385848 14429130752 62691 33554432000 4194304 4196468 140735214469088 140029706300080 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
Current children cumulated CPU time: 2453.37 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 250764 KiB
[startup+2502.3 s]
/proc/loadavg: 1.26 1.29 1.21 3/216 10205
/proc/meminfo: memFree=23715372/32770624 swapFree=67059112/67108860
[pid=10072] ppid=10067 vsize=14090948 memory=252812 CPUtime=2513.66 cores=0,2,4,6
/proc/10072/stat : 10072 (java) S 10067 10072 10014 0 -1 1077944320 67270 0 0 0 251228 138 0 0 20 0 15 0 243385839 14429130752 63203 33554432000 4194304 4196468 140735214469088 140735214451632 140030241193719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
/proc/10072/statm: 3522737 63203 3572 1 0 3484809 0
[pid=10072/tid=10079] ppid=10067 vsize=14090948 memory=6791534058613427641 CPUtime=2493.42 cores=0,2,4,6
/proc/10072/task/10079/stat : 10079 (java) R 10067 10072 10014 0 -1 4202560 36471 0 0 0 249327 15 0 0 20 0 15 0 243385842 14429130752 63203 33554432000 4194304 4196468 140735214469088 140030245431584 140029847490511 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10082] ppid=10067 vsize=14090948 memory=252812 CPUtime=3.51 cores=0,2,4,6
/proc/10072/task/10082/stat : 10082 (java) S 10067 10072 10014 0 -1 1077944384 3408 0 0 0 326 25 0 0 20 0 15 0 243385842 14429130752 63203 33554432000 4194304 4196468 140735214469088 140030171282576 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10084] ppid=10067 vsize=14090948 memory=0 CPUtime=3.51 cores=0,2,4,6
/proc/10072/task/10084/stat : 10084 (java) S 10067 10072 10014 0 -1 1077944384 4034 0 0 0 326 25 0 0 20 0 15 0 243385842 14429130752 63203 33554432000 4194304 4196468 140735214469088 140030170229776 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10086] ppid=10067 vsize=14090948 memory=252812 CPUtime=3.53 cores=0,2,4,6
/proc/10072/task/10086/stat : 10086 (java) S 10067 10072 10014 0 -1 1077944384 2044 0 0 0 330 23 0 0 20 0 15 0 243385843 14429130752 63203 33554432000 4194304 4196468 140735214469088 140030169176976 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10087] ppid=10067 vsize=14090948 memory=250764 CPUtime=3.54 cores=0,2,4,6
/proc/10072/task/10087/stat : 10087 (java) S 10067 10072 10014 0 -1 1077944384 1348 0 0 0 327 27 0 0 20 0 15 0 243385843 14429130752 63203 33554432000 4194304 4196468 140735214469088 140030168124176 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10088] ppid=10067 vsize=14090948 memory=250764 CPUtime=3.52 cores=0,2,4,6
/proc/10072/task/10088/stat : 10088 (java) S 10067 10072 10014 0 -1 1077944384 5560 0 0 0 333 19 0 0 20 0 15 0 243385844 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029714721136 140030241204866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10090] ppid=10067 vsize=14090948 memory=250764 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10090/stat : 10090 (java) S 10067 10072 10014 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 243385844 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029713667168 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10092] ppid=10067 vsize=14090948 memory=250764 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10092/stat : 10092 (java) S 10067 10072 10014 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 243385844 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029712614272 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10096] ppid=10067 vsize=14090948 memory=252812 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10096/stat : 10096 (java) S 10067 10072 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243385847 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029711562576 140030241212315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10099] ppid=10067 vsize=14090948 memory=250764 CPUtime=0.61 cores=0,2,4,6
/proc/10072/task/10099/stat : 10099 (java) S 10067 10072 10014 0 -1 1077944384 3554 0 0 0 60 1 0 0 20 0 15 0 243385847 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029710510960 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10100] ppid=10067 vsize=14090948 memory=252812 CPUtime=0.63 cores=0,2,4,6
/proc/10072/task/10100/stat : 10100 (java) S 10067 10072 10014 0 -1 1077944384 3623 0 0 0 63 0 0 0 20 0 15 0 243385847 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029709458160 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10101] ppid=10067 vsize=14090948 memory=252812 CPUtime=0.51 cores=0,2,4,6
/proc/10072/task/10101/stat : 10101 (java) S 10067 10072 10014 0 -1 1077944384 4318 0 0 0 50 1 0 0 20 0 15 0 243385847 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029708405360 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10103] ppid=10067 vsize=14090948 memory=252812 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10103/stat : 10103 (java) S 10067 10072 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243385847 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029707352800 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10104] ppid=10067 vsize=14090948 memory=252812 CPUtime=0.77 cores=0,2,4,6
/proc/10072/task/10104/stat : 10104 (java) S 10067 10072 10014 0 -1 1077944384 1450 0 0 0 36 41 0 0 20 0 15 0 243385848 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029706300080 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
Current children cumulated CPU time: 2513.66 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 252812 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2508.7 s]
/proc/loadavg: 1.32 1.30 1.22 2/196 10253
/proc/meminfo: memFree=24009764/32770624 swapFree=67059112/67108860
[pid=10072] ppid=10067 vsize=14090948 memory=252812 CPUtime=2520.09 cores=0,2,4,6
/proc/10072/stat : 10072 (java) S 10067 10072 10014 0 -1 1077944320 67285 0 0 0 251870 139 0 0 20 0 15 0 243385839 14429130752 63203 33554432000 4194304 4196468 140735214469088 140735214451632 140030241193719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
/proc/10072/statm: 3522737 63203 3572 1 0 3484809 0
[pid=10072/tid=10079] ppid=10067 vsize=14090948 memory=250764 CPUtime=2499.8 cores=0,2,4,6
/proc/10072/task/10079/stat : 10079 (java) R 10067 10072 10014 0 -1 4202560 36486 0 0 0 249965 15 0 0 20 0 15 0 243385842 14429130752 63203 33554432000 4194304 4196468 140735214469088 140030245431984 140029847315644 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10082] ppid=10067 vsize=14090948 memory=252812 CPUtime=3.52 cores=0,2,4,6
/proc/10072/task/10082/stat : 10082 (java) S 10067 10072 10014 0 -1 1077944384 3408 0 0 0 327 25 0 0 20 0 15 0 243385842 14429130752 63203 33554432000 4194304 4196468 140735214469088 140030171282576 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10084] ppid=10067 vsize=14090948 memory=250764 CPUtime=3.52 cores=0,2,4,6
/proc/10072/task/10084/stat : 10084 (java) S 10067 10072 10014 0 -1 1077944384 4034 0 0 0 327 25 0 0 20 0 15 0 243385842 14429130752 63203 33554432000 4194304 4196468 140735214469088 140030170229776 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10086] ppid=10067 vsize=14090948 memory=252812 CPUtime=3.54 cores=0,2,4,6
/proc/10072/task/10086/stat : 10086 (java) S 10067 10072 10014 0 -1 1077944384 2044 0 0 0 331 23 0 0 20 0 15 0 243385843 14429130752 63203 33554432000 4194304 4196468 140735214469088 140030169176976 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10087] ppid=10067 vsize=14090948 memory=56 CPUtime=3.55 cores=0,2,4,6
/proc/10072/task/10087/stat : 10087 (java) S 10067 10072 10014 0 -1 1077944384 1348 0 0 0 328 27 0 0 20 0 15 0 243385843 14429130752 63203 33554432000 4194304 4196468 140735214469088 140030168124176 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10088] ppid=10067 vsize=14090948 memory=65060 CPUtime=3.52 cores=0,2,4,6
/proc/10072/task/10088/stat : 10088 (java) S 10067 10072 10014 0 -1 1077944384 5560 0 0 0 333 19 0 0 20 0 15 0 243385844 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029714721136 140030241204866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10090] ppid=10067 vsize=14090948 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10090/stat : 10090 (java) S 10067 10072 10014 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 243385844 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029713667168 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10092] ppid=10067 vsize=14090948 memory=65060 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10092/stat : 10092 (java) S 10067 10072 10014 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 243385844 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029712614272 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10096] ppid=10067 vsize=14090948 memory=250764 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10096/stat : 10096 (java) S 10067 10072 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243385847 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029711562576 140030241212315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10099] ppid=10067 vsize=14090948 memory=1140 CPUtime=0.61 cores=0,2,4,6
/proc/10072/task/10099/stat : 10099 (java) S 10067 10072 10014 0 -1 1077944384 3554 0 0 0 60 1 0 0 20 0 15 0 243385847 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029710510960 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10100] ppid=10067 vsize=14090948 memory=780 CPUtime=0.63 cores=0,2,4,6
/proc/10072/task/10100/stat : 10100 (java) S 10067 10072 10014 0 -1 1077944384 3623 0 0 0 63 0 0 0 20 0 15 0 243385847 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029709458160 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10101] ppid=10067 vsize=14090948 memory=1948 CPUtime=0.51 cores=0,2,4,6
/proc/10072/task/10101/stat : 10101 (java) S 10067 10072 10014 0 -1 1077944384 4318 0 0 0 50 1 0 0 20 0 15 0 243385847 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029708405360 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10103] ppid=10067 vsize=14090948 memory=250764 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10103/stat : 10103 (java) S 10067 10072 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243385847 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029707352800 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10104] ppid=10067 vsize=14090948 memory=250764 CPUtime=0.77 cores=0,2,4,6
/proc/10072/task/10104/stat : 10104 (java) S 10067 10072 10014 0 -1 1077944384 1450 0 0 0 36 41 0 0 20 0 15 0 243385848 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029706300080 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 252812 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2508.71 s]
# the end of solver process 10072 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.72 s, system=1.39417 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.7 s]
/proc/loadavg: 1.32 1.30 1.22 2/196 10253
/proc/meminfo: memFree=24009764/32770624 swapFree=67059112/67108860
[pid=10072] ppid=10067 vsize=14090948 memory=252812 CPUtime=2520.09 cores=0,2,4,6
/proc/10072/stat : 10072 (java) S 10067 10072 10014 0 -1 1077944320 67285 0 0 0 251870 139 0 0 20 0 15 0 243385839 14429130752 63203 33554432000 4194304 4196468 140735214469088 140735214451632 140030241193719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
/proc/10072/statm: 3522737 63203 3572 1 0 3484809 0
[pid=10072/tid=10079] ppid=10067 vsize=14090948 memory=250764 CPUtime=2499.8 cores=0,2,4,6
/proc/10072/task/10079/stat : 10079 (java) R 10067 10072 10014 0 -1 4202560 36486 0 0 0 249965 15 0 0 20 0 15 0 243385842 14429130752 63203 33554432000 4194304 4196468 140735214469088 140030245431984 140029847315644 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10082] ppid=10067 vsize=14090948 memory=252812 CPUtime=3.52 cores=0,2,4,6
/proc/10072/task/10082/stat : 10082 (java) S 10067 10072 10014 0 -1 1077944384 3408 0 0 0 327 25 0 0 20 0 15 0 243385842 14429130752 63203 33554432000 4194304 4196468 140735214469088 140030171282576 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10084] ppid=10067 vsize=14090948 memory=250764 CPUtime=3.52 cores=0,2,4,6
/proc/10072/task/10084/stat : 10084 (java) S 10067 10072 10014 0 -1 1077944384 4034 0 0 0 327 25 0 0 20 0 15 0 243385842 14429130752 63203 33554432000 4194304 4196468 140735214469088 140030170229776 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10086] ppid=10067 vsize=14090948 memory=252812 CPUtime=3.54 cores=0,2,4,6
/proc/10072/task/10086/stat : 10086 (java) S 10067 10072 10014 0 -1 1077944384 2044 0 0 0 331 23 0 0 20 0 15 0 243385843 14429130752 63203 33554432000 4194304 4196468 140735214469088 140030169176976 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10087] ppid=10067 vsize=14090948 memory=56 CPUtime=3.55 cores=0,2,4,6
/proc/10072/task/10087/stat : 10087 (java) S 10067 10072 10014 0 -1 1077944384 1348 0 0 0 328 27 0 0 20 0 15 0 243385843 14429130752 63203 33554432000 4194304 4196468 140735214469088 140030168124176 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10088] ppid=10067 vsize=14090948 memory=65060 CPUtime=3.52 cores=0,2,4,6
/proc/10072/task/10088/stat : 10088 (java) S 10067 10072 10014 0 -1 1077944384 5560 0 0 0 333 19 0 0 20 0 15 0 243385844 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029714721136 140030241204866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10090] ppid=10067 vsize=14090948 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10090/stat : 10090 (java) S 10067 10072 10014 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 243385844 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029713667168 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10092] ppid=10067 vsize=14090948 memory=65060 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10092/stat : 10092 (java) S 10067 10072 10014 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 243385844 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029712614272 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10096] ppid=10067 vsize=14090948 memory=250764 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10096/stat : 10096 (java) S 10067 10072 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243385847 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029711562576 140030241212315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10099] ppid=10067 vsize=14090948 memory=1140 CPUtime=0.61 cores=0,2,4,6
/proc/10072/task/10099/stat : 10099 (java) S 10067 10072 10014 0 -1 1077944384 3554 0 0 0 60 1 0 0 20 0 15 0 243385847 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029710510960 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10100] ppid=10067 vsize=14090948 memory=780 CPUtime=0.63 cores=0,2,4,6
/proc/10072/task/10100/stat : 10100 (java) S 10067 10072 10014 0 -1 1077944384 3623 0 0 0 63 0 0 0 20 0 15 0 243385847 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029709458160 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10101] ppid=10067 vsize=14090948 memory=1948 CPUtime=0.51 cores=0,2,4,6
/proc/10072/task/10101/stat : 10101 (java) S 10067 10072 10014 0 -1 1077944384 4318 0 0 0 50 1 0 0 20 0 15 0 243385847 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029708405360 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10103] ppid=10067 vsize=14090948 memory=250764 CPUtime=0 cores=0,2,4,6
/proc/10072/task/10103/stat : 10103 (java) S 10067 10072 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243385847 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029707352800 140030241203925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
[pid=10072/tid=10104] ppid=10067 vsize=14090948 memory=250764 CPUtime=0.77 cores=0,2,4,6
/proc/10072/task/10104/stat : 10104 (java) S 10067 10072 10014 0 -1 1077944384 1450 0 0 0 36 41 0 0 20 0 15 0 243385848 14429130752 63203 33554432000 4194304 4196468 140735214469088 140029706300080 140030241204866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 36188160 140735214474312 140735214474505 140735214474505 140735214477263 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 252812 KiB
Child status: 143
Real time (s): 2508.71
CPU time (s): 2520.11
CPU user time (s): 2518.72
CPU system time (s): 1.39417
CPU usage (%): 100.454
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 252812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.72
system time used= 1.39417
maximum resident set size= 253268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149757
involuntary context switches= 5948
# summary of solver processes directly reported to runsolver:
# pid: 10072
# total CPU time (s): 2520.11
# total CPU user time (s): 2518.72
# total CPU system time (s): 1.39417
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.738 second user time and 23.0903 second system time
The end