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 (4948 MiB free)
memory of node 1: 16384 MiB (9952 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304788-1534153488/watcher-4304788-1534153488 -o /tmp/evaluation-result-4304788-1534153488/solver-4304788-1534153488 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534138268-9450 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1038528438 -superng HOME/instance-4304788-1534153488.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12042, runsolver pid=12039
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 1.58 1.61 1.73 3/207 12099
/proc/meminfo: memFree=15252256/32770624 swapFree=67108792/67108860
[pid=12042] ppid=12039 vsize=10088124 memory=15704 CPUtime=0.09 cores=1,3,5,7
/proc/12042/stat : 12042 (java) S 12039 12042 8231 0 -1 1077944320 4579 12891 0 0 1 1 4 3 20 0 7 0 232912064 10330238976 3926 33554432000 4194304 4196468 140720848072768 140720848055312 140169446006519 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
/proc/12042/statm: 2522031 3926 1985 1 0 2510469 0
[pid=12042/tid=12095] ppid=12039 vsize=10088124 memory=5852833030029869469 CPUtime=0.08 cores=1,3,5,7
/proc/12042/task/12095/stat : 12095 (java) R 12039 12042 8231 0 -1 4202560 2455 12891 0 0 1 0 4 3 20 0 7 0 232912073 10330238976 3992 33554432000 4194304 4196468 140720848072768 140169417849616 140169430087006 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12096] ppid=12039 vsize=10088124 memory=5793855648116177337 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12096/stat : 12096 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 7 0 232912073 10330238976 3992 33554432000 4194304 4196468 140720848072768 140169450249104 140169446016725 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12097] ppid=12039 vsize=10088124 memory=140397106284160 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12097/stat : 12097 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 7 0 232912073 10330238976 3992 33554432000 4194304 4196468 140720848072768 140169346452240 140169446016725 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12098] ppid=12039 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12098/stat : 12098 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 7 0 232912073 10330238976 3992 33554432000 4194304 4196468 140720848072768 140168984456336 140169446016725 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12099] ppid=12039 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12099/stat : 12099 (java) S 12039 12042 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 7 0 232912073 10330238976 3992 33554432000 4194304 4196468 140720848072768 140168983403536 140169446016725 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12100] ppid=12039 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12100/stat : 12100 (java) S 12039 12042 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 7 0 232912075 10330238976 3992 33554432000 4194304 4196468 140720848072768 140168871786608 140169446017666 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10088124 KiB
Current children cumulated memory: 15704 KiB
[startup+0.209811 s]*
/proc/loadavg: 1.58 1.61 1.73 3/216 12108
/proc/meminfo: memFree=15230024/32770624 swapFree=67108792/67108860
[pid=12042] ppid=12039 vsize=10985364 memory=44796 CPUtime=0.26 cores=1,3,5,7
/proc/12042/stat : 12042 (java) S 12039 12042 8231 0 -1 1077944320 8423 12891 0 0 17 2 4 3 20 0 15 0 232912064 11249012736 11199 33554432000 4194304 4196468 140720848072768 140720848055312 140169446006519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
/proc/12042/statm: 2746341 11199 2961 1 0 2708764 0
[pid=12042/tid=12095] ppid=12039 vsize=10983736 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/12042/task/12095/stat : 12095 (java) R 12039 12042 8231 0 -1 4202560 5270 12891 0 0 11 1 4 3 20 0 15 0 232912073 11247345664 11180 33554432000 4194304 4196468 140720848072768 140169417831328 140169438723623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12096] ppid=12039 vsize=10983736 memory=4211974123311074698 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12096/stat : 12096 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912073 11247345664 10940 33554432000 4194304 4196468 140720848072768 140169450249104 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12097] ppid=12039 vsize=10983736 memory=140397106284160 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12097/stat : 12097 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912073 11247345664 10940 33554432000 4194304 4196468 140720848072768 140169346452240 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12098] ppid=12039 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12098/stat : 12098 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912073 11246329856 10932 33554432000 4194304 4196468 140720848072768 140168984456336 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12099] ppid=12039 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12099/stat : 12099 (java) S 12039 12042 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232912073 11246329856 10932 33554432000 4194304 4196468 140720848072768 140168983403536 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12100] ppid=12039 vsize=10982744 memory=140397106284160 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12100/stat : 12100 (java) S 12039 12042 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232912075 11246329856 10932 33554432000 4194304 4196468 140720848072768 140168871786608 140169446017666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12101] ppid=12039 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12101/stat : 12101 (java) S 12039 12042 8231 0 -1 1077944384 13 12891 0 0 0 0 4 3 20 0 15 0 232912075 11246329856 10932 33554432000 4194304 4196468 140720848072768 140168270963488 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12102] ppid=12039 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12102/stat : 12102 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912076 11246329856 10932 33554432000 4194304 4196468 140720848072768 140168069637232 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12103] ppid=12039 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12103/stat : 12103 (java) S 12039 12042 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232912078 11246329856 10932 33554432000 4194304 4196468 140720848072768 140167762237520 140169446025115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12104] ppid=12039 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12042/task/12104/stat : 12104 (java) S 12039 12042 8231 0 -1 1077944384 444 12891 0 0 1 0 4 3 20 0 15 0 232912078 11246329856 10932 33554432000 4194304 4196468 140720848072768 140168870734448 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12105] ppid=12039 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12042/task/12105/stat : 12105 (java) S 12039 12042 8231 0 -1 1077944384 202 12891 0 0 1 0 4 3 20 0 15 0 232912078 11246329856 10932 33554432000 4194304 4196468 140720848072768 140168869681648 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12106] ppid=12039 vsize=10982776 memory=140397106284160 CPUtime=0.1 cores=1,3,5,7
/proc/12042/task/12106/stat : 12106 (java) S 12039 12042 8231 0 -1 1077944384 648 12891 0 0 3 0 4 3 20 0 15 0 232912078 11246362624 10932 33554432000 4194304 4196468 140720848072768 140168868629360 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12107] ppid=12039 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12107/stat : 12107 (java) S 12039 12042 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232912079 11246362624 10932 33554432000 4194304 4196468 140720848072768 140167331441632 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12108] ppid=12039 vsize=10982776 memory=140397106284160 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12108/stat : 12108 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912079 11246362624 10932 33554432000 4194304 4196468 140720848072768 140168867576240 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 44796 KiB
[startup+0.310174 s]*
/proc/loadavg: 1.58 1.61 1.73 3/216 12108
/proc/meminfo: memFree=15217564/32770624 swapFree=67108792/67108860
[pid=12042] ppid=12039 vsize=10983192 memory=54464 CPUtime=0.37 cores=1,3,5,7
/proc/12042/stat : 12042 (java) S 12039 12042 8231 0 -1 1077944320 10670 12891 0 0 27 3 4 3 20 0 15 0 232912064 11246788608 13616 33554432000 4194304 4196468 140720848072768 140720848055312 140169446006519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
/proc/12042/statm: 2745798 13616 3094 1 0 2708109 0
[pid=12042/tid=12095] ppid=12039 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/12042/task/12095/stat : 12095 (java) R 12039 12042 8231 0 -1 4202560 7125 12891 0 0 19 2 4 3 20 0 15 0 232912073 11246788608 13616 33554432000 4194304 4196468 140720848072768 140169417818528 140169430087006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12096] ppid=12039 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12096/stat : 12096 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912073 11246788608 13616 33554432000 4194304 4196468 140720848072768 140169450249104 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12097] ppid=12039 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12097/stat : 12097 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912073 11246788608 13616 33554432000 4194304 4196468 140720848072768 140169346452240 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12098] ppid=12039 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12098/stat : 12098 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912073 11246788608 13616 33554432000 4194304 4196468 140720848072768 140168984456336 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12099] ppid=12039 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12099/stat : 12099 (java) S 12039 12042 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232912073 11246788608 13616 33554432000 4194304 4196468 140720848072768 140168983403536 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12100] ppid=12039 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12100/stat : 12100 (java) S 12039 12042 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232912075 11246788608 13616 33554432000 4194304 4196468 140720848072768 140168871786608 140169446017666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12101] ppid=12039 vsize=10983192 memory=140397106284159 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12101/stat : 12101 (java) S 12039 12042 8231 0 -1 1077944384 13 12891 0 0 0 0 4 3 20 0 15 0 232912075 11246788608 13616 33554432000 4194304 4196468 140720848072768 140168270963488 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12102] ppid=12039 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12102/stat : 12102 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912076 11246788608 13616 33554432000 4194304 4196468 140720848072768 140168069637232 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12103] ppid=12039 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12103/stat : 12103 (java) S 12039 12042 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232912078 11246788608 13616 33554432000 4194304 4196468 140720848072768 140167762237520 140169446025115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12104] ppid=12039 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12042/task/12104/stat : 12104 (java) S 12039 12042 8231 0 -1 1077944384 451 12891 0 0 1 0 4 3 20 0 15 0 232912078 11246788608 13616 33554432000 4194304 4196468 140720848072768 140168870734448 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12105] ppid=12039 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12042/task/12105/stat : 12105 (java) S 12039 12042 8231 0 -1 1077944384 205 12891 0 0 1 0 4 3 20 0 15 0 232912078 11246788608 13616 33554432000 4194304 4196468 140720848072768 140168869681648 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12106] ppid=12039 vsize=10983192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12042/task/12106/stat : 12106 (java) R 12039 12042 8231 0 -1 4202560 680 12891 0 0 4 0 4 3 20 0 15 0 232912078 11246788608 13616 33554432000 4194304 4196468 140720848072768 140168868629360 140169438342267 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12107] ppid=12039 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12107/stat : 12107 (java) S 12039 12042 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232912079 11246788608 13616 33554432000 4194304 4196468 140720848072768 140167331441632 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12108] ppid=12039 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12108/stat : 12108 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912079 11246788608 13616 33554432000 4194304 4196468 140720848072768 140168867576240 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54464 KiB
[startup+0.700757 s]
/proc/loadavg: 1.58 1.61 1.73 3/216 12108
/proc/meminfo: memFree=15207144/32770624 swapFree=67108792/67108860
[pid=12042] ppid=12039 vsize=10983192 memory=87712 CPUtime=0.98 cores=1,3,5,7
/proc/12042/stat : 12042 (java) S 12039 12042 8231 0 -1 1077944320 17100 12891 0 0 86 5 4 3 20 0 15 0 232912064 11246788608 21928 33554432000 4194304 4196468 140720848072768 140720848055312 140169446006519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
/proc/12042/statm: 2745798 21928 3245 1 0 2708109 0
[pid=12042/tid=12095] ppid=12039 vsize=10983192 memory=35636 CPUtime=0.65 cores=1,3,5,7
/proc/12042/task/12095/stat : 12095 (java) S 12039 12042 8231 0 -1 1077944384 12284 12891 0 0 55 3 4 3 20 0 15 0 232912073 11246788608 21928 33554432000 4194304 4196468 140720848072768 140169417827344 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12096] ppid=12039 vsize=10983192 memory=3304 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12096/stat : 12096 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912073 11246788608 21928 33554432000 4194304 4196468 140720848072768 140169450249104 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12097] ppid=12039 vsize=10983192 memory=496 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12097/stat : 12097 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912073 11246788608 21928 33554432000 4194304 4196468 140720848072768 140169346452240 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12098] ppid=12039 vsize=10983192 memory=1616 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12098/stat : 12098 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912073 11246788608 21928 33554432000 4194304 4196468 140720848072768 140168984456336 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12099] ppid=12039 vsize=10983192 memory=1168 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12099/stat : 12099 (java) S 12039 12042 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232912073 11246788608 21928 33554432000 4194304 4196468 140720848072768 140168983403536 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12100] ppid=12039 vsize=10983192 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12100/stat : 12100 (java) S 12039 12042 8231 0 -1 1077944384 5 12891 0 0 0 0 4 3 20 0 15 0 232912075 11246788608 21928 33554432000 4194304 4196468 140720848072768 140168871786608 140169446017666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12101] ppid=12039 vsize=10983192 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12101/stat : 12101 (java) S 12039 12042 8231 0 -1 1077944384 13 12891 0 0 0 0 4 3 20 0 15 0 232912075 11246788608 21928 33554432000 4194304 4196468 140720848072768 140168270963488 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12102] ppid=12039 vsize=10983192 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12102/stat : 12102 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912076 11246788608 21928 33554432000 4194304 4196468 140720848072768 140168069637232 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12103] ppid=12039 vsize=10983192 memory=15840 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12103/stat : 12103 (java) S 12039 12042 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232912078 11246788608 21928 33554432000 4194304 4196468 140720848072768 140167762237520 140169446025115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12104] ppid=12039 vsize=10983192 memory=35636 CPUtime=0.16 cores=1,3,5,7
/proc/12042/task/12104/stat : 12104 (java) S 12039 12042 8231 0 -1 1077944384 1094 12891 0 0 9 0 4 3 20 0 15 0 232912078 11246788608 21928 33554432000 4194304 4196468 140720848072768 140168870734448 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12105] ppid=12039 vsize=10983192 memory=6944652177228980320 CPUtime=0.14 cores=1,3,5,7
/proc/12042/task/12105/stat : 12105 (java) S 12039 12042 8231 0 -1 1077944384 604 12891 0 0 7 0 4 3 20 0 15 0 232912078 11246788608 21928 33554432000 4194304 4196468 140720848072768 140168869681648 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12106] ppid=12039 vsize=10983192 memory=496 CPUtime=0.2 cores=1,3,5,7
/proc/12042/task/12106/stat : 12106 (java) S 12039 12042 8231 0 -1 1077944384 895 12891 0 0 13 0 4 3 20 0 15 0 232912078 11246788608 21928 33554432000 4194304 4196468 140720848072768 140168868629360 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12107] ppid=12039 vsize=10983192 memory=1616 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12107/stat : 12107 (java) S 12039 12042 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232912079 11246788608 21928 33554432000 4194304 4196468 140720848072768 140167331441632 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12108] ppid=12039 vsize=10983192 memory=1168 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12108/stat : 12108 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912079 11246788608 21928 33554432000 4194304 4196468 140720848072768 140168867576240 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87712 KiB
[startup+1.50075 s]
/proc/loadavg: 1.58 1.61 1.73 2/216 12108
/proc/meminfo: memFree=15164776/32770624 swapFree=67108792/67108860
[pid=12042] ppid=12039 vsize=10991948 memory=113636 CPUtime=1.59 cores=1,3,5,7
/proc/12042/stat : 12042 (java) S 12039 12042 8231 0 -1 1077944320 19988 12891 0 0 146 6 4 3 20 0 15 0 232912064 11255754752 28409 33554432000 4194304 4196468 140720848072768 140720848055312 140169446006519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
/proc/12042/statm: 2747987 28409 3438 1 0 2709645 0
[pid=12042/tid=12095] ppid=12039 vsize=10991948 memory=3892 CPUtime=1.02 cores=1,3,5,7
/proc/12042/task/12095/stat : 12095 (java) R 12039 12042 8231 0 -1 4202560 14722 12891 0 0 90 5 4 3 20 0 15 0 232912073 11255754752 28409 33554432000 4194304 4196468 140720848072768 140169417840064 140169446027866 0 4 0 16800975 0 0 0 -1 1 0 0 43 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12096] ppid=12039 vsize=10991948 memory=63220 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12096/stat : 12096 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912073 11255754752 28409 33554432000 4194304 4196468 140720848072768 140169450249104 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12097] ppid=12039 vsize=10991948 memory=1220 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12097/stat : 12097 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912073 11255754752 28409 33554432000 4194304 4196468 140720848072768 140169346452240 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12098] ppid=12039 vsize=10991948 memory=98392 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12098/stat : 12098 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912073 11255754752 28409 33554432000 4194304 4196468 140720848072768 140168984456336 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12099] ppid=12039 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12099/stat : 12099 (java) S 12039 12042 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232912073 11255754752 28409 33554432000 4194304 4196468 140720848072768 140168983403536 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12100] ppid=12039 vsize=10991948 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12100/stat : 12100 (java) S 12039 12042 8231 0 -1 1077944384 5 12891 0 0 0 0 4 3 20 0 15 0 232912075 11255754752 28409 33554432000 4194304 4196468 140720848072768 140168871786608 140169446017666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12101] ppid=12039 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12101/stat : 12101 (java) S 12039 12042 8231 0 -1 1077944384 13 12891 0 0 0 0 4 3 20 0 15 0 232912075 11255754752 28409 33554432000 4194304 4196468 140720848072768 140168270963488 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12102] ppid=12039 vsize=10991948 memory=192366082319715 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12102/stat : 12102 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912076 11255754752 28409 33554432000 4194304 4196468 140720848072768 140168069637232 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12103] ppid=12039 vsize=10991948 memory=1281797 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12103/stat : 12103 (java) S 12039 12042 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232912078 11255754752 28409 33554432000 4194304 4196468 140720848072768 140167762237520 140169446025115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12104] ppid=12039 vsize=10991948 memory=7223879631911281984 CPUtime=0.21 cores=1,3,5,7
/proc/12042/task/12104/stat : 12104 (java) S 12039 12042 8231 0 -1 1077944384 1140 12891 0 0 14 0 4 3 20 0 15 0 232912078 11255754752 28409 33554432000 4194304 4196468 140720848072768 140168870734448 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12105] ppid=12039 vsize=10991948 memory=4638778398332698727 CPUtime=0.21 cores=1,3,5,7
/proc/12042/task/12105/stat : 12105 (java) S 12039 12042 8231 0 -1 1077944384 739 12891 0 0 14 0 4 3 20 0 15 0 232912078 11255754752 28409 33554432000 4194304 4196468 140720848072768 140168869681648 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12106] ppid=12039 vsize=10991948 memory=280793955959024 CPUtime=0.32 cores=1,3,5,7
/proc/12042/task/12106/stat : 12106 (java) R 12039 12042 8231 0 -1 4202560 1166 12891 0 0 25 0 4 3 20 0 15 0 232912078 11255754752 28409 33554432000 4194304 4196468 140720848072768 140168868625728 140169424690628 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12107] ppid=12039 vsize=10991948 memory=4640467248192962656 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12107/stat : 12107 (java) S 12039 12042 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232912079 11255754752 28409 33554432000 4194304 4196468 140720848072768 140167331441632 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12108] ppid=12039 vsize=10991948 memory=-3535359994705171810 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12108/stat : 12108 (java) S 12039 12042 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232912079 11255754752 28409 33554432000 4194304 4196468 140720848072768 140168867576240 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
################
# More data... #
################
/proc/12042/task/12095/stat : 12095 (java) R 12039 12042 8231 0 -1 4202560 103183 12891 0 0 236803 40 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140169417841392 140169037075365 0 4 0 16800975 0 0 0 -1 7 0 0 43 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12096] ppid=12039 vsize=11082080 memory=1087264 CPUtime=8.62 cores=1,3,5,7
/proc/12042/task/12096/stat : 12096 (java) S 12039 12042 8231 0 -1 1077944384 23619 12891 0 0 822 33 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140169450249104 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12097] ppid=12039 vsize=11082080 memory=1087264 CPUtime=8.61 cores=1,3,5,7
/proc/12042/task/12097/stat : 12097 (java) S 12039 12042 8231 0 -1 1077944384 14034 12891 0 0 823 31 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140169346452240 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12098] ppid=12039 vsize=11082080 memory=1087264 CPUtime=8.63 cores=1,3,5,7
/proc/12042/task/12098/stat : 12098 (java) S 12039 12042 8231 0 -1 1077944384 22327 12891 0 0 824 32 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168984456336 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12099] ppid=12039 vsize=11082080 memory=1087264 CPUtime=8.61 cores=1,3,5,7
/proc/12042/task/12099/stat : 12099 (java) S 12039 12042 8231 0 -1 1077944384 18503 12891 0 0 822 32 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168983403536 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12100] ppid=12039 vsize=11082080 memory=1087264 CPUtime=3.39 cores=1,3,5,7
/proc/12042/task/12100/stat : 12100 (java) S 12039 12042 8231 0 -1 1077944384 22239 12891 0 0 305 27 4 3 20 0 15 0 232912075 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168871786608 140169446017666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12101] ppid=12039 vsize=11082080 memory=1087264 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12101/stat : 12101 (java) S 12039 12042 8231 0 -1 1077944384 15 12891 0 0 0 0 4 3 20 0 15 0 232912075 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168270963616 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12102] ppid=12039 vsize=11082080 memory=1087264 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12102/stat : 12102 (java) S 12039 12042 8231 0 -1 1077944384 13 12891 0 0 0 0 4 3 20 0 15 0 232912076 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168069637248 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12103] ppid=12039 vsize=11082080 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12103/stat : 12103 (java) S 12039 12042 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232912078 11348049920 271816 33554432000 4194304 4196468 140720848072768 140167762237520 140169446025115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12104] ppid=12039 vsize=11082080 memory=1087264 CPUtime=10 cores=1,3,5,7
/proc/12042/task/12104/stat : 12104 (java) S 12039 12042 8231 0 -1 1077944384 68223 12891 0 0 984 9 4 3 20 0 15 0 232912078 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168870734448 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12105] ppid=12039 vsize=11082080 memory=1087264 CPUtime=11.2 cores=1,3,5,7
/proc/12042/task/12105/stat : 12105 (java) S 12039 12042 8231 0 -1 1077944384 83729 12891 0 0 1105 8 4 3 20 0 15 0 232912078 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168869681648 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12106] ppid=12039 vsize=11082080 memory=3892 CPUtime=4.28 cores=1,3,5,7
/proc/12042/task/12106/stat : 12106 (java) S 12039 12042 8231 0 -1 1077944384 75482 12891 0 0 411 10 4 3 20 0 15 0 232912078 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168868629360 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12107] ppid=12039 vsize=11082080 memory=1087264 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12107/stat : 12107 (java) S 12039 12042 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232912079 11348049920 271816 33554432000 4194304 4196468 140720848072768 140167331441632 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12108] ppid=12039 vsize=11082080 memory=1087264 CPUtime=1.44 cores=1,3,5,7
/proc/12042/task/12108/stat : 12108 (java) S 12039 12042 8231 0 -1 1077944384 2968 12891 0 0 59 78 4 3 20 0 15 0 232912079 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168867576240 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
Current children cumulated CPU time: 2432.77 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1087264 KiB
[startup+2442.3 s]
/proc/loadavg: 1.35 1.38 1.40 3/215 12334
/proc/meminfo: memFree=14140420/32770624 swapFree=67108792/67108860
[pid=12042] ppid=12039 vsize=11082080 memory=1087264 CPUtime=2493.37 cores=1,3,5,7
/proc/12042/stat : 12042 (java) S 12039 12042 8231 0 -1 1077944320 437524 12891 0 0 249051 279 4 3 20 0 15 0 232912064 11348049920 271816 33554432000 4194304 4196468 140720848072768 140720848055312 140169446006519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
/proc/12042/statm: 2770520 271816 3532 1 0 2732173 0
[pid=12042/tid=12095] ppid=12039 vsize=11082080 memory=1087264 CPUtime=2428.18 cores=1,3,5,7
/proc/12042/task/12095/stat : 12095 (java) R 12039 12042 8231 0 -1 4202560 103578 12891 0 0 242771 40 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140169417841504 140169037075365 0 4 0 16800975 0 0 0 -1 1 0 0 43 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12096] ppid=12039 vsize=11082080 memory=1087264 CPUtime=8.83 cores=1,3,5,7
/proc/12042/task/12096/stat : 12096 (java) S 12039 12042 8231 0 -1 1077944384 23786 12891 0 0 843 33 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140169450249104 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12097] ppid=12039 vsize=11082080 memory=1087264 CPUtime=8.81 cores=1,3,5,7
/proc/12042/task/12097/stat : 12097 (java) S 12039 12042 8231 0 -1 1077944384 14093 12891 0 0 843 31 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140169346452240 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12098] ppid=12039 vsize=11082080 memory=1087264 CPUtime=8.84 cores=1,3,5,7
/proc/12042/task/12098/stat : 12098 (java) S 12039 12042 8231 0 -1 1077944384 22380 12891 0 0 844 33 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168984456336 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12099] ppid=12039 vsize=11082080 memory=1087264 CPUtime=8.81 cores=1,3,5,7
/proc/12042/task/12099/stat : 12099 (java) S 12039 12042 8231 0 -1 1077944384 18566 12891 0 0 842 32 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168983403536 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12100] ppid=12039 vsize=11082080 memory=1087264 CPUtime=3.46 cores=1,3,5,7
/proc/12042/task/12100/stat : 12100 (java) S 12039 12042 8231 0 -1 1077944384 22469 12891 0 0 312 27 4 3 20 0 15 0 232912075 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168871786608 140169446017666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12101] ppid=12039 vsize=11082080 memory=1087264 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12101/stat : 12101 (java) S 12039 12042 8231 0 -1 1077944384 15 12891 0 0 0 0 4 3 20 0 15 0 232912075 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168270963616 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12102] ppid=12039 vsize=11082080 memory=1087264 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12102/stat : 12102 (java) S 12039 12042 8231 0 -1 1077944384 13 12891 0 0 0 0 4 3 20 0 15 0 232912076 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168069637248 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12103] ppid=12039 vsize=11082080 memory=1087264 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12103/stat : 12103 (java) S 12039 12042 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232912078 11348049920 271816 33554432000 4194304 4196468 140720848072768 140167762237520 140169446025115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12104] ppid=12039 vsize=11082080 memory=1087264 CPUtime=10 cores=1,3,5,7
/proc/12042/task/12104/stat : 12104 (java) S 12039 12042 8231 0 -1 1077944384 68226 12891 0 0 984 9 4 3 20 0 15 0 232912078 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168870734448 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12105] ppid=12039 vsize=11082080 memory=1087264 CPUtime=11.2 cores=1,3,5,7
/proc/12042/task/12105/stat : 12105 (java) S 12039 12042 8231 0 -1 1077944384 83731 12891 0 0 1105 8 4 3 20 0 15 0 232912078 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168869681648 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12106] ppid=12039 vsize=11082080 memory=3892 CPUtime=4.28 cores=1,3,5,7
/proc/12042/task/12106/stat : 12106 (java) S 12039 12042 8231 0 -1 1077944384 75484 12891 0 0 411 10 4 3 20 0 15 0 232912078 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168868629360 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12107] ppid=12039 vsize=11082080 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12107/stat : 12107 (java) S 12039 12042 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232912079 11348049920 271816 33554432000 4194304 4196468 140720848072768 140167331441632 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12108] ppid=12039 vsize=11082080 memory=1087264 CPUtime=1.47 cores=1,3,5,7
/proc/12042/task/12108/stat : 12108 (java) S 12039 12042 8231 0 -1 1077944384 2985 12891 0 0 60 80 4 3 20 0 15 0 232912079 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168867576240 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
Current children cumulated CPU time: 2493.37 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1087264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2468.7 s]
/proc/loadavg: 1.36 1.38 1.40 3/215 12334
/proc/meminfo: memFree=14140608/32770624 swapFree=67108792/67108860
[pid=12042] ppid=12039 vsize=11082080 memory=1087264 CPUtime=2520.06 cores=1,3,5,7
/proc/12042/stat : 12042 (java) S 12039 12042 8231 0 -1 1077944320 438255 12891 0 0 251718 281 4 3 20 0 15 0 232912064 11348049920 271816 33554432000 4194304 4196468 140720848072768 140720848055312 140169446006519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
/proc/12042/statm: 2770520 271816 3532 1 0 2732173 0
[pid=12042/tid=12095] ppid=12039 vsize=11082080 memory=496 CPUtime=2454.43 cores=1,3,5,7
/proc/12042/task/12095/stat : 12095 (java) R 12039 12042 8231 0 -1 4202560 103891 12891 0 0 245395 41 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140169417841248 140169037481748 0 4 0 16800975 0 0 0 -1 3 0 0 43 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12096] ppid=12039 vsize=11082080 memory=1087264 CPUtime=8.93 cores=1,3,5,7
/proc/12042/task/12096/stat : 12096 (java) S 12039 12042 8231 0 -1 1077944384 23828 12891 0 0 853 33 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140169450249104 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12097] ppid=12039 vsize=11082080 memory=1087264 CPUtime=8.91 cores=1,3,5,7
/proc/12042/task/12097/stat : 12097 (java) S 12039 12042 8231 0 -1 1077944384 14180 12891 0 0 853 31 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140169346452240 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12098] ppid=12039 vsize=11082080 memory=1087264 CPUtime=8.94 cores=1,3,5,7
/proc/12042/task/12098/stat : 12098 (java) S 12039 12042 8231 0 -1 1077944384 22473 12891 0 0 854 33 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168984456336 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12099] ppid=12039 vsize=11082080 memory=1087264 CPUtime=8.92 cores=1,3,5,7
/proc/12042/task/12099/stat : 12099 (java) S 12039 12042 8231 0 -1 1077944384 18568 12891 0 0 852 33 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168983403536 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12100] ppid=12039 vsize=11082080 memory=1087264 CPUtime=3.49 cores=1,3,5,7
/proc/12042/task/12100/stat : 12100 (java) S 12039 12042 8231 0 -1 1077944384 22643 12891 0 0 315 27 4 3 20 0 15 0 232912075 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168871786608 140169446017666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12101] ppid=12039 vsize=11082080 memory=1087264 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12101/stat : 12101 (java) S 12039 12042 8231 0 -1 1077944384 15 12891 0 0 0 0 4 3 20 0 15 0 232912075 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168270963616 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12102] ppid=12039 vsize=11082080 memory=1087264 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12102/stat : 12102 (java) S 12039 12042 8231 0 -1 1077944384 13 12891 0 0 0 0 4 3 20 0 15 0 232912076 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168069637248 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12103] ppid=12039 vsize=11082080 memory=1087264 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12103/stat : 12103 (java) S 12039 12042 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232912078 11348049920 271816 33554432000 4194304 4196468 140720848072768 140167762237520 140169446025115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12104] ppid=12039 vsize=11082080 memory=1087264 CPUtime=10 cores=1,3,5,7
/proc/12042/task/12104/stat : 12104 (java) S 12039 12042 8231 0 -1 1077944384 68228 12891 0 0 984 9 4 3 20 0 15 0 232912078 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168870734448 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12105] ppid=12039 vsize=11082080 memory=1087264 CPUtime=11.2 cores=1,3,5,7
/proc/12042/task/12105/stat : 12105 (java) S 12039 12042 8231 0 -1 1077944384 83733 12891 0 0 1105 8 4 3 20 0 15 0 232912078 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168869681648 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12106] ppid=12039 vsize=11082080 memory=3689913950917638225 CPUtime=4.28 cores=1,3,5,7
/proc/12042/task/12106/stat : 12106 (java) S 12039 12042 8231 0 -1 1077944384 75487 12891 0 0 411 10 4 3 20 0 15 0 232912078 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168868629360 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12107] ppid=12039 vsize=11082080 memory=1087264 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12107/stat : 12107 (java) S 12039 12042 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232912079 11348049920 271816 33554432000 4194304 4196468 140720848072768 140167331441632 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12108] ppid=12039 vsize=11082080 memory=3892 CPUtime=1.49 cores=1,3,5,7
/proc/12042/task/12108/stat : 12108 (java) S 12039 12042 8231 0 -1 1077944384 2998 12891 0 0 61 81 4 3 20 0 15 0 232912079 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168867576240 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1087264 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.73 s]
# the end of solver process 12042 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.25 s, system=2.85828 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468.7 s]
/proc/loadavg: 1.36 1.38 1.40 3/215 12334
/proc/meminfo: memFree=14140608/32770624 swapFree=67108792/67108860
[pid=12042] ppid=12039 vsize=11082080 memory=1087264 CPUtime=2520.06 cores=1,3,5,7
/proc/12042/stat : 12042 (java) S 12039 12042 8231 0 -1 1077944320 438255 12891 0 0 251718 281 4 3 20 0 15 0 232912064 11348049920 271816 33554432000 4194304 4196468 140720848072768 140720848055312 140169446006519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
/proc/12042/statm: 2770520 271816 3532 1 0 2732173 0
[pid=12042/tid=12095] ppid=12039 vsize=11082080 memory=496 CPUtime=2454.43 cores=1,3,5,7
/proc/12042/task/12095/stat : 12095 (java) R 12039 12042 8231 0 -1 4202560 103891 12891 0 0 245395 41 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140169417841248 140169037481748 0 4 0 16800975 0 0 0 -1 3 0 0 43 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12096] ppid=12039 vsize=11082080 memory=1087264 CPUtime=8.93 cores=1,3,5,7
/proc/12042/task/12096/stat : 12096 (java) S 12039 12042 8231 0 -1 1077944384 23828 12891 0 0 853 33 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140169450249104 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12097] ppid=12039 vsize=11082080 memory=1087264 CPUtime=8.91 cores=1,3,5,7
/proc/12042/task/12097/stat : 12097 (java) S 12039 12042 8231 0 -1 1077944384 14180 12891 0 0 853 31 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140169346452240 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12098] ppid=12039 vsize=11082080 memory=1087264 CPUtime=8.94 cores=1,3,5,7
/proc/12042/task/12098/stat : 12098 (java) S 12039 12042 8231 0 -1 1077944384 22473 12891 0 0 854 33 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168984456336 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12099] ppid=12039 vsize=11082080 memory=1087264 CPUtime=8.92 cores=1,3,5,7
/proc/12042/task/12099/stat : 12099 (java) S 12039 12042 8231 0 -1 1077944384 18568 12891 0 0 852 33 4 3 20 0 15 0 232912073 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168983403536 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12100] ppid=12039 vsize=11082080 memory=1087264 CPUtime=3.49 cores=1,3,5,7
/proc/12042/task/12100/stat : 12100 (java) S 12039 12042 8231 0 -1 1077944384 22643 12891 0 0 315 27 4 3 20 0 15 0 232912075 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168871786608 140169446017666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12101] ppid=12039 vsize=11082080 memory=1087264 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12101/stat : 12101 (java) S 12039 12042 8231 0 -1 1077944384 15 12891 0 0 0 0 4 3 20 0 15 0 232912075 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168270963616 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12102] ppid=12039 vsize=11082080 memory=1087264 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12102/stat : 12102 (java) S 12039 12042 8231 0 -1 1077944384 13 12891 0 0 0 0 4 3 20 0 15 0 232912076 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168069637248 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12103] ppid=12039 vsize=11082080 memory=1087264 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12103/stat : 12103 (java) S 12039 12042 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232912078 11348049920 271816 33554432000 4194304 4196468 140720848072768 140167762237520 140169446025115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12104] ppid=12039 vsize=11082080 memory=1087264 CPUtime=10 cores=1,3,5,7
/proc/12042/task/12104/stat : 12104 (java) S 12039 12042 8231 0 -1 1077944384 68228 12891 0 0 984 9 4 3 20 0 15 0 232912078 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168870734448 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12105] ppid=12039 vsize=11082080 memory=1087264 CPUtime=11.2 cores=1,3,5,7
/proc/12042/task/12105/stat : 12105 (java) S 12039 12042 8231 0 -1 1077944384 83733 12891 0 0 1105 8 4 3 20 0 15 0 232912078 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168869681648 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12106] ppid=12039 vsize=11082080 memory=3689913950917638225 CPUtime=4.28 cores=1,3,5,7
/proc/12042/task/12106/stat : 12106 (java) S 12039 12042 8231 0 -1 1077944384 75487 12891 0 0 411 10 4 3 20 0 15 0 232912078 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168868629360 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12107] ppid=12039 vsize=11082080 memory=1087264 CPUtime=0.07 cores=1,3,5,7
/proc/12042/task/12107/stat : 12107 (java) S 12039 12042 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232912079 11348049920 271816 33554432000 4194304 4196468 140720848072768 140167331441632 140169446016725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
[pid=12042/tid=12108] ppid=12039 vsize=11082080 memory=3892 CPUtime=1.49 cores=1,3,5,7
/proc/12042/task/12108/stat : 12108 (java) S 12039 12042 8231 0 -1 1077944384 2998 12891 0 0 61 81 4 3 20 0 15 0 232912079 11348049920 271816 33554432000 4194304 4196468 140720848072768 140168867576240 140169446017666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140720848079459 140720848082268 140720848082268 140720848084943 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1087264 KiB
Child status: 143
Real time (s): 2468.73
CPU time (s): 2520.11
CPU user time (s): 2517.25
CPU system time (s): 2.85828
CPU usage (%): 102.081
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1777608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.25
system time used= 2.85828
maximum resident set size= 1780224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 452248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133319
involuntary context switches= 3397
# summary of solver processes directly reported to runsolver:
# pid: 12042
# total CPU time (s): 2520.11
# total CPU user time (s): 2517.25
# total CPU system time (s): 2.85828
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9971 second user time and 21.8039 second system time
The end