runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456623-1307655093/watcher-3456623-1307655093 -o /tmp/evaluation-result-3456623-1307655093/solver-3456623-1307655093 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456623-1307655093.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.01 1.16 3/192 14141
/proc/meminfo: memFree=31789860/32951132 swapFree=67054608/67111528
[pid=14141] ppid=14139 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/14141/stat : 14141 (java) R 14139 14141 11485 0 -1 4202496 1127 0 0 0 0 0 0 0 23 0 2 0 877108979 24580096 865 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274664864753 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14141/statm: 6002 870 657 9 0 382 0
[pid=14141/tid=14142] ppid=14139 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14142/stat : 14142 (java) R 14139 14141 11485 0 -1 4202560 43 0 0 0 0 0 0 0 24 0 2 0 877108980 26714112 885 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676613764 0 0 4096 0 0 0 0 -1 4 0 0 0
[startup+0.0451111 s]
/proc/loadavg: 1.00 1.01 1.16 3/192 14141
/proc/meminfo: memFree=31789860/32951132 swapFree=67054608/67111528
[pid=14141] ppid=14139 vsize=10533016 CPUtime=0.03 cores=0,2,4,6
/proc/14141/stat : 14141 (java) S 14139 14141 11485 0 -1 4202496 11324 0 1 0 2 1 0 0 23 0 13 0 877108979 10785808384 11020 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/14141/statm: 2633254 11020 1676 9 0 2624002 0
[pid=14141/tid=14142] ppid=14139 vsize=10533016 CPUtime=0.03 cores=0,2,4,6
/proc/14141/task/14142/stat : 14142 (java) R 14139 14141 11485 0 -1 4202560 10170 0 1 0 2 1 0 0 25 0 13 0 877108980 10785808384 11020 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 47772775515892 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10533016
[startup+0.1011 s]
/proc/loadavg: 1.00 1.01 1.16 3/192 14141
/proc/meminfo: memFree=31789860/32951132 swapFree=67054608/67111528
[pid=14141] ppid=14139 vsize=10540420 CPUtime=0.11 cores=0,2,4,6
/proc/14141/stat : 14141 (java) S 14139 14141 11485 0 -1 4202496 13133 0 1 0 9 2 0 0 23 0 18 0 877108979 10793390080 12829 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14141/statm: 2635105 12829 2092 9 0 2625839 0
[pid=14141/tid=14142] ppid=14139 vsize=10540420 CPUtime=0.08 cores=0,2,4,6
/proc/14141/task/14142/stat : 14142 (java) R 14139 14141 11485 0 -1 4202560 11202 0 1 0 7 1 0 0 25 0 18 0 877108980 10793390080 12829 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 46912496197703 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540420
[startup+0.302087 s]
/proc/loadavg: 1.00 1.01 1.16 3/192 14141
/proc/meminfo: memFree=31789860/32951132 swapFree=67054608/67111528
[pid=14141] ppid=14139 vsize=10542736 CPUtime=0.47 cores=0,2,4,6
/proc/14141/stat : 14141 (java) S 14139 14141 11485 0 -1 4202496 20893 0 1 0 45 2 0 0 23 0 18 0 877108979 10795761664 19984 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14141/statm: 2635684 19986 2199 9 0 2626418 0
[pid=14141/tid=14142] ppid=14139 vsize=10542736 CPUtime=0.29 cores=0,2,4,6
/proc/14141/task/14142/stat : 14142 (java) R 14139 14141 11485 0 -1 4202560 17252 0 1 0 27 2 0 0 18 0 18 0 877108980 10795761664 19988 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 46912505582956 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542736
[startup+0.700992 s]
/proc/loadavg: 1.00 1.01 1.16 3/192 14141
/proc/meminfo: memFree=31789860/32951132 swapFree=67054608/67111528
[pid=14141] ppid=14139 vsize=10556820 CPUtime=1.38 cores=0,2,4,6
/proc/14141/stat : 14141 (java) S 14139 14141 11485 0 -1 4202496 48472 0 1 0 132 6 0 0 23 0 18 0 877108979 10810183680 45268 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14141/statm: 2639205 45272 2211 9 0 2629939 0
[pid=14141/tid=14142] ppid=14139 vsize=10556820 CPUtime=0.69 cores=0,2,4,6
/proc/14141/task/14142/stat : 14142 (java) R 14139 14141 11485 0 -1 4202560 37815 0 1 0 65 4 0 0 18 0 18 0 877108980 10810183680 45273 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 10556820
[startup+1.50087 s]
/proc/loadavg: 1.00 1.01 1.16 6/211 14160
/proc/meminfo: memFree=31361372/32951132 swapFree=67054608/67111528
[pid=14141] ppid=14139 vsize=10557848 CPUtime=2.62 cores=0,2,4,6
/proc/14141/stat : 14141 (java) S 14139 14141 11485 0 -1 4202496 75437 0 1 0 254 8 0 0 23 0 19 0 877108979 10811236352 72229 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14141/statm: 2639462 72230 2230 9 0 2630196 0
[pid=14141/tid=14142] ppid=14139 vsize=10557848 CPUtime=1.48 cores=0,2,4,6
/proc/14141/task/14142/stat : 14142 (java) R 14139 14141 11485 0 -1 4202560 64688 0 1 0 142 6 0 0 19 0 19 0 877108980 10811236352 72230 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 46912505734408 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14141/tid=14144] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14144/stat : 14144 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 72231 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14145] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14145/stat : 14145 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 72231 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14146] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14146/stat : 14146 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 72231 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14147] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14147/stat : 14147 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 72232 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14148] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14148/stat : 14148 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 72232 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14149] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14149/stat : 14149 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 72232 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14150] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14150/stat : 14150 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 72233 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14151] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14151/stat : 14151 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 72234 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14152] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14152/stat : 14152 (java) S 14139 14141 11485 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 877108982 10811236352 72234 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 0 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14153] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14153/stat : 14153 (java) S 14139 14141 11485 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 19 0 877108983 10811236352 72234 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14154] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14154/stat : 14154 (java) S 14139 14141 11485 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877108983 10811236352 72234 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14155] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14155/stat : 14155 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108985 10811236352 72235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676631985 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14156] ppid=14139 vsize=10557848 CPUtime=0.47 cores=0,2,4,6
/proc/14141/task/14156/stat : 14156 (java) S 14139 14141 11485 0 -1 4202560 3529 0 0 0 47 0 0 0 15 0 19 0 877108985 10811236352 72235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 2 0 0 0
[pid=14141/tid=14157] ppid=14139 vsize=10557848 CPUtime=0.64 cores=0,2,4,6
/proc/14141/task/14157/stat : 14157 (java) S 14139 14141 11485 0 -1 4202560 6057 0 0 0 64 0 0 0 15 0 19 0 877108985 10811236352 72235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14158] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14158/stat : 14158 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108985 10811236352 72236 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14159] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14159/stat : 14159 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877108985 10811236352 72236 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 10557848
[startup+3.10062 s]
/proc/loadavg: 1.00 1.01 1.16 3/212 14161
/proc/meminfo: memFree=30952528/32951132 swapFree=67054608/67111528
[pid=14141] ppid=14139 vsize=10557848 CPUtime=4.37 cores=0,2,4,6
/proc/14141/stat : 14141 (java) S 14139 14141 11485 0 -1 4202496 127089 0 1 0 424 13 0 0 23 0 19 0 877108979 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14141/statm: 2639462 123880 2232 9 0 2630196 0
[pid=14141/tid=14142] ppid=14139 vsize=10557848 CPUtime=3.08 cores=0,2,4,6
/proc/14141/task/14142/stat : 14142 (java) R 14139 14141 11485 0 -1 4202560 116314 0 1 0 297 11 0 0 23 0 19 0 877108980 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 46912505939878 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14141/tid=14144] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14144/stat : 14144 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14145] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14145/stat : 14145 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14146] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14146/stat : 14146 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14147] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14147/stat : 14147 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14148] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14148/stat : 14148 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14149] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14149/stat : 14149 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14150] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14150/stat : 14150 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14151] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14151/stat : 14151 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14152] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14152/stat : 14152 (java) S 14139 14141 11485 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877108982 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 0 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14153] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14153/stat : 14153 (java) S 14139 14141 11485 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 19 0 877108983 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14154] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14154/stat : 14154 (java) S 14139 14141 11485 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877108983 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14155] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14155/stat : 14155 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108985 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676631985 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14156] ppid=14139 vsize=10557848 CPUtime=0.52 cores=0,2,4,6
/proc/14141/task/14156/stat : 14156 (java) S 14139 14141 11485 0 -1 4202560 3537 0 0 0 52 0 0 0 16 0 19 0 877108985 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 2 0 0 0
[pid=14141/tid=14157] ppid=14139 vsize=10557848 CPUtime=0.74 cores=0,2,4,6
/proc/14141/task/14157/stat : 14157 (java) S 14139 14141 11485 0 -1 4202560 6071 0 0 0 74 0 0 0 15 0 19 0 877108985 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14158] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14158/stat : 14158 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108985 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14159] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14159/stat : 14159 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877108985 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14161] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14161/stat : 14161 (java) S 14139 14141 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877109083 10811236352 123880 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 10557848
[startup+6.30106 s]
/proc/loadavg: 1.08 1.03 1.17 3/212 14161
/proc/meminfo: memFree=29705080/32951132 swapFree=67054608/67111528
[pid=14141] ppid=14139 vsize=10557848 CPUtime=7.65 cores=0,2,4,6
/proc/14141/stat : 14141 (java) S 14139 14141 11485 0 -1 4202496 185446 0 1 0 745 20 0 0 23 0 19 0 877108979 10811236352 182172 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14141/statm: 2639462 182173 2233 9 0 2630196 0
[pid=14141/tid=14142] ppid=14139 vsize=10557848 CPUtime=6.29 cores=0,2,4,6
/proc/14141/task/14142/stat : 14142 (java) R 14139 14141 11485 0 -1 4202560 174666 0 1 0 612 17 0 0 25 0 19 0 877108980 10811236352 182173 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 46912505734769 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14141/tid=14144] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14144/stat : 14144 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 182174 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14145] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14145/stat : 14145 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 182175 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14146] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14146/stat : 14146 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 182175 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14147] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14147/stat : 14147 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 182176 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14148] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14148/stat : 14148 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 182176 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14149] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14149/stat : 14149 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 182177 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14150] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14150/stat : 14150 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 182178 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14151] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14151/stat : 14151 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108981 10811236352 182179 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14152] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14152/stat : 14152 (java) S 14139 14141 11485 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877108982 10811236352 182179 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 0 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14153] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14153/stat : 14153 (java) S 14139 14141 11485 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 19 0 877108983 10811236352 182180 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14154] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14154/stat : 14154 (java) S 14139 14141 11485 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877108983 10811236352 182181 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14155] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14155/stat : 14155 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108985 10811236352 182181 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676631985 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14156] ppid=14139 vsize=10557848 CPUtime=0.57 cores=0,2,4,6
/proc/14141/task/14156/stat : 14156 (java) S 14139 14141 11485 0 -1 4202560 3540 0 0 0 56 1 0 0 15 0 19 0 877108985 10811236352 182182 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14157] ppid=14139 vsize=10557848 CPUtime=0.76 cores=0,2,4,6
/proc/14141/task/14157/stat : 14157 (java) S 14139 14141 11485 0 -1 4202560 6074 0 0 0 76 0 0 0 15 0 19 0 877108985 10811236352 182183 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14158] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14158/stat : 14158 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108985 10811236352 182183 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/14141/task/14154/stat : 14154 (java) S 14139 14141 11485 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 877108983 10811236352 1001187 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14155] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14155/stat : 14155 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108985 10811236352 1001187 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676631985 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14156] ppid=14139 vsize=10557848 CPUtime=0.72 cores=0,2,4,6
/proc/14141/task/14156/stat : 14156 (java) S 14139 14141 11485 0 -1 4202560 3566 0 0 0 71 1 0 0 15 0 19 0 877108985 10811236352 1001187 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14157] ppid=14139 vsize=10557848 CPUtime=0.85 cores=0,2,4,6
/proc/14141/task/14157/stat : 14157 (java) S 14139 14141 11485 0 -1 4202560 6081 0 0 0 85 0 0 0 15 0 19 0 877108985 10811236352 1001187 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 2 0 0 0
[pid=14141/tid=14158] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14158/stat : 14158 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108985 10811236352 1001187 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14159] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14159/stat : 14159 (java) S 14139 14141 11485 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 877108985 10811236352 1001187 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14161] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14161/stat : 14161 (java) S 14139 14141 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877109083 10811236352 1001187 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1669.95
Current children cumulated vsize (KiB) 10557848
[startup+1722.3 s]
/proc/loadavg: 2.03 2.00 1.85 3/212 14207
/proc/meminfo: memFree=23866880/32951132 swapFree=67054608/67111528
[pid=14141] ppid=14139 vsize=10557848 CPUtime=1730.04 cores=0,2,4,6
/proc/14141/stat : 14141 (java) S 14139 14141 11485 0 -1 4202496 1007214 0 1 0 172871 133 0 0 23 0 19 0 877108979 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14141/statm: 2639462 1001235 2247 9 0 2630196 0
[pid=14141/tid=14142] ppid=14139 vsize=10557848 CPUtime=1719.62 cores=0,2,4,6
/proc/14141/task/14142/stat : 14142 (java) R 14139 14141 11485 0 -1 4202560 688123 0 1 0 171886 76 0 0 25 0 19 0 877108980 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 46912505623782 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14141/tid=14144] ppid=14139 vsize=10557848 CPUtime=1.27 cores=0,2,4,6
/proc/14141/task/14144/stat : 14144 (java) S 14139 14141 11485 0 -1 4202560 46826 0 0 0 120 7 0 0 16 0 19 0 877108981 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14145] ppid=14139 vsize=10557848 CPUtime=1.05 cores=0,2,4,6
/proc/14141/task/14145/stat : 14145 (java) S 14139 14141 11485 0 -1 4202560 44817 0 0 0 98 7 0 0 16 0 19 0 877108981 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14146] ppid=14139 vsize=10557848 CPUtime=1.24 cores=0,2,4,6
/proc/14141/task/14146/stat : 14146 (java) S 14139 14141 11485 0 -1 4202560 50382 0 0 0 117 7 0 0 15 0 19 0 877108981 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14147] ppid=14139 vsize=10557848 CPUtime=1.13 cores=0,2,4,6
/proc/14141/task/14147/stat : 14147 (java) S 14139 14141 11485 0 -1 4202560 42551 0 0 0 107 6 0 0 15 0 19 0 877108981 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14148] ppid=14139 vsize=10557848 CPUtime=0.99 cores=0,2,4,6
/proc/14141/task/14148/stat : 14148 (java) S 14139 14141 11485 0 -1 4202560 34338 0 0 0 94 5 0 0 16 0 19 0 877108981 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14149] ppid=14139 vsize=10557848 CPUtime=1.13 cores=0,2,4,6
/proc/14141/task/14149/stat : 14149 (java) S 14139 14141 11485 0 -1 4202560 35378 0 0 0 107 6 0 0 16 0 19 0 877108981 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 2 0 0 0
[pid=14141/tid=14150] ppid=14139 vsize=10557848 CPUtime=0.83 cores=0,2,4,6
/proc/14141/task/14150/stat : 14150 (java) S 14139 14141 11485 0 -1 4202560 12273 0 0 0 82 1 0 0 15 0 19 0 877108981 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 2 0 0 0
[pid=14141/tid=14151] ppid=14139 vsize=10557848 CPUtime=1.03 cores=0,2,4,6
/proc/14141/task/14151/stat : 14151 (java) S 14139 14141 11485 0 -1 4202560 41519 0 0 0 96 7 0 0 15 0 19 0 877108981 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14152] ppid=14139 vsize=10557848 CPUtime=0.05 cores=0,2,4,6
/proc/14141/task/14152/stat : 14152 (java) S 14139 14141 11485 0 -1 4202560 101 0 0 0 2 3 0 0 15 0 19 0 877108982 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 0 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14153] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14153/stat : 14153 (java) S 14139 14141 11485 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877108983 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14154] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14154/stat : 14154 (java) S 14139 14141 11485 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 877108983 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14155] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14155/stat : 14155 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108985 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676631985 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14156] ppid=14139 vsize=10557848 CPUtime=0.72 cores=0,2,4,6
/proc/14141/task/14156/stat : 14156 (java) S 14139 14141 11485 0 -1 4202560 3566 0 0 0 71 1 0 0 15 0 19 0 877108985 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14157] ppid=14139 vsize=10557848 CPUtime=0.85 cores=0,2,4,6
/proc/14141/task/14157/stat : 14157 (java) S 14139 14141 11485 0 -1 4202560 6081 0 0 0 85 0 0 0 15 0 19 0 877108985 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 2 0 0 0
[pid=14141/tid=14158] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14158/stat : 14158 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108985 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14159] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14159/stat : 14159 (java) S 14139 14141 11485 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877108985 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14161] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14161/stat : 14161 (java) S 14139 14141 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877109083 10811236352 1001235 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1730.04
Current children cumulated vsize (KiB) 10557848
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.85 3/212 14218
/proc/meminfo: memFree=23860056/32951132 swapFree=67054608/67111528
[pid=14141] ppid=14139 vsize=10557848 CPUtime=1790.12 cores=0,2,4,6
/proc/14141/stat : 14141 (java) S 14139 14141 11485 0 -1 4202496 1007283 0 1 0 178879 133 0 0 23 0 19 0 877108979 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14141/statm: 2639462 1001284 2247 9 0 2630196 0
[pid=14141/tid=14142] ppid=14139 vsize=10557848 CPUtime=1779.57 cores=0,2,4,6
/proc/14141/task/14142/stat : 14142 (java) R 14139 14141 11485 0 -1 4202560 688135 0 1 0 177881 76 0 0 25 0 19 0 877108980 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 46912505623853 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14141/tid=14144] ppid=14139 vsize=10557848 CPUtime=1.29 cores=0,2,4,6
/proc/14141/task/14144/stat : 14144 (java) S 14139 14141 11485 0 -1 4202560 46873 0 0 0 122 7 0 0 16 0 19 0 877108981 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14145] ppid=14139 vsize=10557848 CPUtime=1.06 cores=0,2,4,6
/proc/14141/task/14145/stat : 14145 (java) S 14139 14141 11485 0 -1 4202560 44818 0 0 0 99 7 0 0 15 0 19 0 877108981 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14146] ppid=14139 vsize=10557848 CPUtime=1.25 cores=0,2,4,6
/proc/14141/task/14146/stat : 14146 (java) S 14139 14141 11485 0 -1 4202560 50382 0 0 0 118 7 0 0 16 0 19 0 877108981 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14147] ppid=14139 vsize=10557848 CPUtime=1.15 cores=0,2,4,6
/proc/14141/task/14147/stat : 14147 (java) S 14139 14141 11485 0 -1 4202560 42551 0 0 0 109 6 0 0 15 0 19 0 877108981 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14148] ppid=14139 vsize=10557848 CPUtime=1.01 cores=0,2,4,6
/proc/14141/task/14148/stat : 14148 (java) S 14139 14141 11485 0 -1 4202560 34338 0 0 0 96 5 0 0 15 0 19 0 877108981 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14149] ppid=14139 vsize=10557848 CPUtime=1.15 cores=0,2,4,6
/proc/14141/task/14149/stat : 14149 (java) S 14139 14141 11485 0 -1 4202560 35379 0 0 0 109 6 0 0 16 0 19 0 877108981 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 2 0 0 0
[pid=14141/tid=14150] ppid=14139 vsize=10557848 CPUtime=0.85 cores=0,2,4,6
/proc/14141/task/14150/stat : 14150 (java) S 14139 14141 11485 0 -1 4202560 12273 0 0 0 84 1 0 0 15 0 19 0 877108981 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14151] ppid=14139 vsize=10557848 CPUtime=1.05 cores=0,2,4,6
/proc/14141/task/14151/stat : 14151 (java) S 14139 14141 11485 0 -1 4202560 41519 0 0 0 98 7 0 0 15 0 19 0 877108981 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14152] ppid=14139 vsize=10557848 CPUtime=0.06 cores=0,2,4,6
/proc/14141/task/14152/stat : 14152 (java) S 14139 14141 11485 0 -1 4202560 105 0 0 0 3 3 0 0 15 0 19 0 877108982 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 0 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14153] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14153/stat : 14153 (java) S 14139 14141 11485 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877108983 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14154] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14154/stat : 14154 (java) S 14139 14141 11485 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 877108983 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14155] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14155/stat : 14155 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108985 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676631985 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14156] ppid=14139 vsize=10557848 CPUtime=0.72 cores=0,2,4,6
/proc/14141/task/14156/stat : 14156 (java) S 14139 14141 11485 0 -1 4202560 3566 0 0 0 71 1 0 0 15 0 19 0 877108985 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14157] ppid=14139 vsize=10557848 CPUtime=0.85 cores=0,2,4,6
/proc/14141/task/14157/stat : 14157 (java) S 14139 14141 11485 0 -1 4202560 6081 0 0 0 85 0 0 0 15 0 19 0 877108985 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 2 0 0 0
[pid=14141/tid=14158] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14158/stat : 14158 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108985 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14159] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14159/stat : 14159 (java) S 14139 14141 11485 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877108985 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14161] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14161/stat : 14161 (java) S 14139 14141 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877109083 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1790.12
Current children cumulated vsize (KiB) 10557848
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.2 s]
/proc/loadavg: 2.01 2.00 1.85 3/212 14218
/proc/meminfo: memFree=23856816/32951132 swapFree=67054608/67111528
[pid=14141] ppid=14139 vsize=10557848 CPUtime=1800.05 cores=0,2,4,6
/proc/14141/stat : 14141 (java) S 14139 14141 11485 0 -1 4202496 1007286 0 1 0 179872 133 0 0 23 0 19 0 877108979 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14141/statm: 2639462 1001284 2247 9 0 2630196 0
[pid=14141/tid=14142] ppid=14139 vsize=10557848 CPUtime=1789.46 cores=0,2,4,6
/proc/14141/task/14142/stat : 14142 (java) R 14139 14141 11485 0 -1 4202560 688138 0 1 0 178870 76 0 0 25 0 19 0 877108980 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 46912505624042 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14141/tid=14144] ppid=14139 vsize=10557848 CPUtime=1.3 cores=0,2,4,6
/proc/14141/task/14144/stat : 14144 (java) S 14139 14141 11485 0 -1 4202560 46873 0 0 0 123 7 0 0 16 0 19 0 877108981 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14145] ppid=14139 vsize=10557848 CPUtime=1.07 cores=0,2,4,6
/proc/14141/task/14145/stat : 14145 (java) S 14139 14141 11485 0 -1 4202560 44818 0 0 0 100 7 0 0 15 0 19 0 877108981 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14146] ppid=14139 vsize=10557848 CPUtime=1.26 cores=0,2,4,6
/proc/14141/task/14146/stat : 14146 (java) S 14139 14141 11485 0 -1 4202560 50382 0 0 0 119 7 0 0 16 0 19 0 877108981 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 2 0 0 0
[pid=14141/tid=14147] ppid=14139 vsize=10557848 CPUtime=1.15 cores=0,2,4,6
/proc/14141/task/14147/stat : 14147 (java) S 14139 14141 11485 0 -1 4202560 42551 0 0 0 109 6 0 0 15 0 19 0 877108981 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14148] ppid=14139 vsize=10557848 CPUtime=1.01 cores=0,2,4,6
/proc/14141/task/14148/stat : 14148 (java) S 14139 14141 11485 0 -1 4202560 34338 0 0 0 96 5 0 0 16 0 19 0 877108981 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14149] ppid=14139 vsize=10557848 CPUtime=1.15 cores=0,2,4,6
/proc/14141/task/14149/stat : 14149 (java) S 14139 14141 11485 0 -1 4202560 35379 0 0 0 109 6 0 0 15 0 19 0 877108981 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 2 0 0 0
[pid=14141/tid=14150] ppid=14139 vsize=10557848 CPUtime=0.85 cores=0,2,4,6
/proc/14141/task/14150/stat : 14150 (java) S 14139 14141 11485 0 -1 4202560 12273 0 0 0 84 1 0 0 15 0 19 0 877108981 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14151] ppid=14139 vsize=10557848 CPUtime=1.06 cores=0,2,4,6
/proc/14141/task/14151/stat : 14151 (java) S 14139 14141 11485 0 -1 4202560 41519 0 0 0 99 7 0 0 16 0 19 0 877108981 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14152] ppid=14139 vsize=10557848 CPUtime=0.06 cores=0,2,4,6
/proc/14141/task/14152/stat : 14152 (java) S 14139 14141 11485 0 -1 4202560 105 0 0 0 3 3 0 0 15 0 19 0 877108982 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 0 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14153] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14153/stat : 14153 (java) S 14139 14141 11485 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877108983 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
[pid=14141/tid=14154] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14154/stat : 14154 (java) S 14139 14141 11485 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 877108983 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14155] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14155/stat : 14155 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108985 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676631985 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14156] ppid=14139 vsize=10557848 CPUtime=0.72 cores=0,2,4,6
/proc/14141/task/14156/stat : 14156 (java) S 14139 14141 11485 0 -1 4202560 3566 0 0 0 71 1 0 0 15 0 19 0 877108985 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 0 0 0 0
[pid=14141/tid=14157] ppid=14139 vsize=10557848 CPUtime=0.85 cores=0,2,4,6
/proc/14141/task/14157/stat : 14157 (java) S 14139 14141 11485 0 -1 4202560 6081 0 0 0 85 0 0 0 15 0 19 0 877108985 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 2 0 0 0
[pid=14141/tid=14158] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14158/stat : 14158 (java) S 14139 14141 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877108985 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624281 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14159] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14159/stat : 14159 (java) S 14139 14141 11485 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877108985 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 4 0 16800975 18446604453753767104 0 0 -1 4 0 0 0
[pid=14141/tid=14161] ppid=14139 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/14141/task/14161/stat : 14161 (java) S 14139 14141 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877109083 10811236352 1001284 33554432000 1073741824 1073778376 140735727615584 18446744073709551615 274676624896 0 4 0 16800975 18446604453753767104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10557848
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.31 s]
/proc/loadavg: 2.01 2.00 1.85 3/212 14218
/proc/meminfo: memFree=23856816/32951132 swapFree=67054608/67111528
[pid=14141] ppid=14139 vsize=0 CPUtime=1800.16 cores=0,2,4,6
/proc/14141/stat : 14141 (java) Z 14139 14141 11485 0 -1 4203548 1007315 0 1 0 179873 143 0 0 17 0 2 0 877108979 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14141/statm: 0 0 0 0 0 0 0
[pid=14141/tid=14161] ppid=14139 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/14141/task/14161/stat : 14161 (java) R 14139 14141 11485 0 -1 4203588 7 0 0 0 0 9 0 0 18 0 2 0 877109083 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.38
CPU time (s): 1800.23
CPU user time (s): 1798.74
CPU system time (s): 1.49777
CPU usage (%): 100.438
Max. virtual memory (cumulated for all children) (KiB): 10557848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 1.49777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1007315
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45244
involuntary context switches= 26701
runsolver used 3.34949 second user time and 6.44702 second system time
The end