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-3453987-1307194750/watcher-3453987-1307194750 -o /tmp/evaluation-result-3453987-1307194750/solver-3453987-1307194750 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453987-1307194750.opb
running on 4 cores: 1,3,5,7
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.57 2.47 3.17 2/536 21191
/proc/meminfo: memFree=25059620/32951124 swapFree=46970528/67111528
[pid=21190] ppid=21188 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/21190/stat : 21190 (java) S 21188 21190 16282 0 -1 4202496 5828 0 1 0 0 1 0 0 18 0 2 0 811891224 10694979584 5529 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21190/statm: 2611079 5543 917 9 0 2602235 0
[pid=21190/tid=21192] ppid=21188 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/21190/task/21192/stat : 21192 (java) R 21188 21190 16282 0 -1 4202560 8201 0 1 0 0 1 0 0 19 0 2 0 811891224 10694979584 9017 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0546881 s]
/proc/loadavg: 1.57 2.47 3.17 2/536 21191
/proc/meminfo: memFree=25059620/32951124 swapFree=46970528/67111528
[pid=21190] ppid=21188 vsize=10467616 CPUtime=0.05 cores=1,3,5,7
/proc/21190/stat : 21190 (java) S 21188 21190 16282 0 -1 4202496 11525 0 1 0 3 2 0 0 18 0 13 0 811891224 10718838784 11220 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051458021 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/21190/statm: 2616904 11221 1686 9 0 2607652 0
[pid=21190/tid=21192] ppid=21188 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/21190/task/21192/stat : 21192 (java) R 21188 21190 16282 0 -1 4202560 10378 0 1 0 3 1 0 0 18 0 13 0 811891224 10718838784 11222 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 47679338516485 0 4 0 16800971 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10467616
[startup+0.107723 s]
/proc/loadavg: 1.57 2.47 3.17 2/536 21191
/proc/meminfo: memFree=25059620/32951124 swapFree=46970528/67111528
[pid=21190] ppid=21188 vsize=10540284 CPUtime=0.11 cores=1,3,5,7
/proc/21190/stat : 21190 (java) S 21188 21190 16282 0 -1 4202496 13217 0 1 0 9 2 0 0 18 0 18 0 811891224 10793250816 12912 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21190/statm: 2635071 12912 2107 9 0 2625805 0
[pid=21190/tid=21192] ppid=21188 vsize=10540284 CPUtime=0.09 cores=1,3,5,7
/proc/21190/task/21192/stat : 21192 (java) R 21188 21190 16282 0 -1 4202560 11274 0 1 0 7 2 0 0 22 0 18 0 811891224 10793250816 12913 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 47679343016787 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540284
[startup+0.300641 s]
/proc/loadavg: 1.57 2.47 3.17 2/536 21191
/proc/meminfo: memFree=25059620/32951124 swapFree=46970528/67111528
[pid=21190] ppid=21188 vsize=10541312 CPUtime=0.47 cores=1,3,5,7
/proc/21190/stat : 21190 (java) S 21188 21190 16282 0 -1 4202496 15697 0 1 0 45 2 0 0 18 0 18 0 811891224 10794303488 15039 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21190/statm: 2635328 15040 2207 9 0 2626062 0
[pid=21190/tid=21192] ppid=21188 vsize=10541312 CPUtime=0.28 cores=1,3,5,7
/proc/21190/task/21192/stat : 21192 (java) R 21188 21190 16282 0 -1 4202560 12900 0 1 0 26 2 0 0 22 0 18 0 811891224 10794303488 15041 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 46912505579818 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541312
[startup+0.700538 s]
/proc/loadavg: 1.57 2.47 3.17 2/536 21191
/proc/meminfo: memFree=25059620/32951124 swapFree=46970528/67111528
[pid=21190] ppid=21188 vsize=10559628 CPUtime=1.59 cores=1,3,5,7
/proc/21190/stat : 21190 (java) S 21188 21190 16282 0 -1 4202496 35709 0 1 0 154 5 0 0 18 0 20 0 811891224 10813059072 30206 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21190/statm: 2639907 30235 2231 9 0 2630641 0
[pid=21190/tid=21192] ppid=21188 vsize=10559628 CPUtime=0.68 cores=1,3,5,7
/proc/21190/task/21192/stat : 21192 (java) S 21188 21190 16282 0 -1 4202560 21040 0 1 0 65 3 0 0 25 0 20 0 811891224 10813059072 30249 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10559628
[startup+1.50144 s]
/proc/loadavg: 1.77 2.49 3.17 1/572 21244
/proc/meminfo: memFree=24902800/32951124 swapFree=46970528/67111528
[pid=21190] ppid=21188 vsize=10562684 CPUtime=3.08 cores=1,3,5,7
/proc/21190/stat : 21190 (java) S 21188 21190 16282 0 -1 4202496 39878 0 1 0 302 6 0 0 18 0 19 0 811891224 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21190/statm: 2640671 33455 2245 9 0 2631405 0
[pid=21190/tid=21192] ppid=21188 vsize=10562684 CPUtime=0.69 cores=1,3,5,7
/proc/21190/task/21192/stat : 21192 (java) S 21188 21190 16282 0 -1 4202560 21095 0 1 0 66 3 0 0 22 0 19 0 811891224 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21209] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21209/stat : 21209 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811891226 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21210] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21210/stat : 21210 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811891226 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21211] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21211/stat : 21211 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811891226 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21212] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21212/stat : 21212 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811891226 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21213] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21213/stat : 21213 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811891226 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21214] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21214/stat : 21214 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811891226 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21215] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21215/stat : 21215 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811891226 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21216] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21216/stat : 21216 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 811891226 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21217] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21217/stat : 21217 (java) S 21188 21190 16282 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 811891227 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 0 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21218] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21218/stat : 21218 (java) S 21188 21190 16282 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 811891227 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21220] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21220/stat : 21220 (java) S 21188 21190 16282 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 811891227 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21228] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21228/stat : 21228 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811891229 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051478961 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21229] ppid=21188 vsize=10562684 CPUtime=0.92 cores=1,3,5,7
/proc/21190/task/21229/stat : 21229 (java) S 21188 21190 16282 0 -1 4202560 7182 0 0 0 92 0 0 0 18 0 19 0 811891229 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=21190/tid=21230] ppid=21188 vsize=10562684 CPUtime=0.93 cores=1,3,5,7
/proc/21190/task/21230/stat : 21230 (java) S 21188 21190 16282 0 -1 4202560 7793 0 0 0 92 1 0 0 16 0 19 0 811891229 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21231] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21231/stat : 21231 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811891229 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21233] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21233/stat : 21233 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811891229 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21240] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21240/stat : 21240 (java) S 21188 21190 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811891302 10816188416 33455 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10562684
[startup+3.10112 s]
/proc/loadavg: 1.77 2.49 3.17 5/575 21258
/proc/meminfo: memFree=24792292/32951124 swapFree=46970528/67111528
[pid=21190] ppid=21188 vsize=10562684 CPUtime=5.95 cores=1,3,5,7
/proc/21190/stat : 21190 (java) S 21188 21190 16282 0 -1 4202496 98669 0 1 0 583 12 0 0 18 0 22 0 811891224 10816188416 92233 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21190/statm: 2640671 92233 2271 9 0 2631405 0
[pid=21190/tid=21192] ppid=21188 vsize=10562684 CPUtime=0.7 cores=1,3,5,7
/proc/21190/task/21192/stat : 21192 (java) S 21188 21190 16282 0 -1 4202560 21188 0 1 0 67 3 0 0 15 0 22 0 811891224 10816188416 92233 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21209] ppid=21188 vsize=10562684 CPUtime=0.02 cores=1,3,5,7
/proc/21190/task/21209/stat : 21209 (java) S 21188 21190 16282 0 -1 4202560 2802 0 0 0 2 0 0 0 18 0 22 0 811891226 10816188416 92233 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21210] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21210/stat : 21210 (java) S 21188 21190 16282 0 -1 4202560 1000 0 0 0 0 0 0 0 18 0 22 0 811891226 10816188416 92233 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21211] ppid=21188 vsize=10562684 CPUtime=0.01 cores=1,3,5,7
/proc/21190/task/21211/stat : 21211 (java) S 21188 21190 16282 0 -1 4202560 688 0 0 0 1 0 0 0 18 0 22 0 811891226 10816188416 92233 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21212] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21212/stat : 21212 (java) S 21188 21190 16282 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 811891226 10816188416 92234 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21213] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21213/stat : 21213 (java) S 21188 21190 16282 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 22 0 811891226 10816188416 92234 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21214] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21214/stat : 21214 (java) S 21188 21190 16282 0 -1 4202560 125 0 0 0 0 0 0 0 17 0 22 0 811891226 10816188416 92234 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21215] ppid=21188 vsize=10562684 CPUtime=0.01 cores=1,3,5,7
/proc/21190/task/21215/stat : 21215 (java) S 21188 21190 16282 0 -1 4202560 2162 0 0 0 1 0 0 0 18 0 22 0 811891226 10816188416 92234 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21216] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21216/stat : 21216 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811891226 10816188416 92234 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21217] ppid=21188 vsize=10562684 CPUtime=0.07 cores=1,3,5,7
/proc/21190/task/21217/stat : 21217 (java) S 21188 21190 16282 0 -1 4202560 6707 0 0 0 7 0 0 0 15 0 22 0 811891227 10816188416 92234 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 0 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21218] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21218/stat : 21218 (java) S 21188 21190 16282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811891227 10816188416 92234 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21220] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21220/stat : 21220 (java) S 21188 21190 16282 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 811891227 10816188416 92234 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21228] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21228/stat : 21228 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811891229 10816188416 92234 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051478961 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21229] ppid=21188 vsize=10562684 CPUtime=1.13 cores=1,3,5,7
/proc/21190/task/21229/stat : 21229 (java) S 21188 21190 16282 0 -1 4202560 7215 0 0 0 112 1 0 0 15 0 22 0 811891229 10816188416 92235 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=21190/tid=21230] ppid=21188 vsize=10562684 CPUtime=1.08 cores=1,3,5,7
/proc/21190/task/21230/stat : 21230 (java) S 21188 21190 16282 0 -1 4202560 7814 0 0 0 107 1 0 0 16 0 22 0 811891229 10816188416 92235 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21231] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21231/stat : 21231 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811891229 10816188416 92235 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21233] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21233/stat : 21233 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811891229 10816188416 92235 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21240] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21240/stat : 21240 (java) S 21188 21190 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811891302 10816188416 92235 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 10562684
[startup+6.30157 s]
/proc/loadavg: 1.77 2.49 3.17 5/578 21267
/proc/meminfo: memFree=23978164/32951124 swapFree=46970528/67111528
[pid=21190] ppid=21188 vsize=10562684 CPUtime=11.33 cores=1,3,5,7
/proc/21190/stat : 21190 (java) S 21188 21190 16282 0 -1 4202496 151130 0 1 0 1115 18 0 0 18 0 22 0 811891224 10816188416 144683 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21190/statm: 2640671 144683 2272 9 0 2631405 0
[pid=21190/tid=21192] ppid=21188 vsize=10562684 CPUtime=0.7 cores=1,3,5,7
/proc/21190/task/21192/stat : 21192 (java) S 21188 21190 16282 0 -1 4202560 21192 0 1 0 67 3 0 0 15 0 22 0 811891224 10816188416 144683 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=21190/tid=21209] ppid=21188 vsize=10562684 CPUtime=0.03 cores=1,3,5,7
/proc/21190/task/21209/stat : 21209 (java) S 21188 21190 16282 0 -1 4202560 5409 0 0 0 3 0 0 0 15 0 22 0 811891226 10816188416 144683 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21210] ppid=21188 vsize=10562684 CPUtime=0.01 cores=1,3,5,7
/proc/21190/task/21210/stat : 21210 (java) S 21188 21190 16282 0 -1 4202560 1001 0 0 0 1 0 0 0 16 0 22 0 811891226 10816188416 144683 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21211] ppid=21188 vsize=10562684 CPUtime=0.01 cores=1,3,5,7
/proc/21190/task/21211/stat : 21211 (java) S 21188 21190 16282 0 -1 4202560 688 0 0 0 1 0 0 0 15 0 22 0 811891226 10816188416 144683 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21212] ppid=21188 vsize=10562684 CPUtime=0.01 cores=1,3,5,7
/proc/21190/task/21212/stat : 21212 (java) S 21188 21190 16282 0 -1 4202560 7 0 0 0 1 0 0 0 16 0 22 0 811891226 10816188416 144683 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21213] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21213/stat : 21213 (java) S 21188 21190 16282 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 811891226 10816188416 144683 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21214] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21214/stat : 21214 (java) S 21188 21190 16282 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 22 0 811891226 10816188416 144683 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21215] ppid=21188 vsize=10562684 CPUtime=0.03 cores=1,3,5,7
/proc/21190/task/21215/stat : 21215 (java) S 21188 21190 16282 0 -1 4202560 4765 0 0 0 3 0 0 0 16 0 22 0 811891226 10816188416 144683 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21216] ppid=21188 vsize=10562684 CPUtime=0.01 cores=1,3,5,7
/proc/21190/task/21216/stat : 21216 (java) S 21188 21190 16282 0 -1 4202560 2196 0 0 0 1 0 0 0 15 0 22 0 811891226 10816188416 144683 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21217] ppid=21188 vsize=10562684 CPUtime=0.4 cores=1,3,5,7
/proc/21190/task/21217/stat : 21217 (java) S 21188 21190 16282 0 -1 4202560 14071 0 0 0 39 1 0 0 15 0 22 0 811891227 10816188416 144683 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 0 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21218] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21218/stat : 21218 (java) S 21188 21190 16282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811891227 10816188416 144683 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21220] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21220/stat : 21220 (java) S 21188 21190 16282 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 811891227 10816188416 144683 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21228] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21228/stat : 21228 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811891229 10816188416 144683 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051478961 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21229] ppid=21188 vsize=10562684 CPUtime=1.23 cores=1,3,5,7
/proc/21190/task/21229/stat : 21229 (java) S 21188 21190 16282 0 -1 4202560 7223 0 0 0 122 1 0 0 15 0 22 0 811891229 10816188416 144683 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=21190/tid=21230] ppid=21188 vsize=10562684 CPUtime=1.11 cores=1,3,5,7
/proc/21190/task/21230/stat : 21230 (java) S 21188 21190 16282 0 -1 4202560 7815 0 0 0 110 1 0 0 15 0 22 0 811891229 10816188416 144683 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=21190/tid=21361] ppid=21188 vsize=10562684 CPUtime=641.06 cores=1,3,5,7
/proc/21190/task/21361/stat : 21361 (java) S 21188 21190 16282 0 -1 4202560 8 0 0 0 64106 0 0 0 23 0 22 0 811899210 10816188416 259798 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21362] ppid=21188 vsize=10562684 CPUtime=641.11 cores=1,3,5,7
/proc/21190/task/21362/stat : 21362 (java) S 21188 21190 16282 0 -1 4202560 1728 0 0 0 64111 0 0 0 22 0 22 0 811899210 10816188416 259798 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21364] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21364/stat : 21364 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811899210 10816188416 259798 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1600.49
Current children cumulated vsize (KiB) 10562684
[startup+942.301 s]
/proc/loadavg: 3.73 3.73 3.55 4/578 21390
/proc/meminfo: memFree=21294908/32951124 swapFree=46970528/67111528
[pid=21190] ppid=21188 vsize=10562684 CPUtime=1705.39 cores=1,3,5,7
/proc/21190/stat : 21190 (java) S 21188 21190 16282 0 -1 4202496 269092 0 1 0 170502 37 0 0 18 0 22 0 811891224 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21190/statm: 2640671 262218 2273 9 0 2631405 0
[pid=21190/tid=21192] ppid=21188 vsize=10562684 CPUtime=0.71 cores=1,3,5,7
/proc/21190/task/21192/stat : 21192 (java) S 21188 21190 16282 0 -1 4202560 21451 0 1 0 68 3 0 0 15 0 22 0 811891224 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21209] ppid=21188 vsize=10562684 CPUtime=1.96 cores=1,3,5,7
/proc/21190/task/21209/stat : 21209 (java) S 21188 21190 16282 0 -1 4202560 5511 0 0 0 195 1 0 0 16 0 22 0 811891226 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21210] ppid=21188 vsize=10562684 CPUtime=2.1 cores=1,3,5,7
/proc/21190/task/21210/stat : 21210 (java) S 21188 21190 16282 0 -1 4202560 1114 0 0 0 210 0 0 0 15 0 22 0 811891226 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21211] ppid=21188 vsize=10562684 CPUtime=1.76 cores=1,3,5,7
/proc/21190/task/21211/stat : 21211 (java) S 21188 21190 16282 0 -1 4202560 800 0 0 0 176 0 0 0 15 0 22 0 811891226 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21212] ppid=21188 vsize=10562684 CPUtime=1.83 cores=1,3,5,7
/proc/21190/task/21212/stat : 21212 (java) S 21188 21190 16282 0 -1 4202560 112 0 0 0 183 0 0 0 16 0 22 0 811891226 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21213] ppid=21188 vsize=10562684 CPUtime=1.9 cores=1,3,5,7
/proc/21190/task/21213/stat : 21213 (java) S 21188 21190 16282 0 -1 4202560 126 0 0 0 190 0 0 0 16 0 22 0 811891226 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21214] ppid=21188 vsize=10562684 CPUtime=1.93 cores=1,3,5,7
/proc/21190/task/21214/stat : 21214 (java) S 21188 21190 16282 0 -1 4202560 259 0 0 0 193 0 0 0 16 0 22 0 811891226 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21215] ppid=21188 vsize=10562684 CPUtime=1.81 cores=1,3,5,7
/proc/21190/task/21215/stat : 21215 (java) S 21188 21190 16282 0 -1 4202560 4875 0 0 0 181 0 0 0 15 0 22 0 811891226 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21216] ppid=21188 vsize=10562684 CPUtime=1.95 cores=1,3,5,7
/proc/21190/task/21216/stat : 21216 (java) S 21188 21190 16282 0 -1 4202560 2304 0 0 0 195 0 0 0 16 0 22 0 811891226 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21217] ppid=21188 vsize=10562684 CPUtime=181.28 cores=1,3,5,7
/proc/21190/task/21217/stat : 21217 (java) S 21188 21190 16282 0 -1 4202560 110690 0 0 0 18115 13 0 0 16 0 22 0 811891227 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 0 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=21190/tid=21218] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21218/stat : 21218 (java) S 21188 21190 16282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811891227 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21220] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21220/stat : 21220 (java) S 21188 21190 16282 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 811891227 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21228] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21228/stat : 21228 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811891229 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051478961 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21229] ppid=21188 vsize=10562684 CPUtime=1.52 cores=1,3,5,7
/proc/21190/task/21229/stat : 21229 (java) S 21188 21190 16282 0 -1 4202560 7254 0 0 0 151 1 0 0 15 0 22 0 811891229 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=21190/tid=21230] ppid=21188 vsize=10562684 CPUtime=1.2 cores=1,3,5,7
/proc/21190/task/21230/stat : 21230 (java) S 21188 21190 16282 0 -1 4202560 7816 0 0 0 119 1 0 0 15 0 22 0 811891229 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21231] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21231/stat : 21231 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811891229 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21233] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21233/stat : 21233 (java) S 21188 21190 16282 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811891229 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21274] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21274/stat : 21274 (java) S 21188 21190 16282 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 811893074 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=21190/tid=21361] ppid=21188 vsize=10562684 CPUtime=685.26 cores=1,3,5,7
/proc/21190/task/21361/stat : 21361 (java) R 21188 21190 16282 0 -1 4202560 8 0 0 0 68526 0 0 0 18 0 22 0 811899210 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 46912506298785 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21190/tid=21362] ppid=21188 vsize=10562684 CPUtime=685.3 cores=1,3,5,7
/proc/21190/task/21362/stat : 21362 (java) R 21188 21190 16282 0 -1 4202560 1728 0 0 0 68530 0 0 0 18 0 22 0 811899210 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 46912506195168 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21190/tid=21364] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21364/stat : 21364 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811899210 10816188416 262218 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1705.39
Current children cumulated vsize (KiB) 10562684
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+996.502 s]
/proc/loadavg: 2.68 3.45 3.47 4/551 21412
/proc/meminfo: memFree=24027332/32951124 swapFree=46970528/67111528
[pid=21190] ppid=21188 vsize=10562684 CPUtime=1800.12 cores=1,3,5,7
/proc/21190/stat : 21190 (java) S 21188 21190 16282 0 -1 4202496 271456 0 1 0 179974 38 0 0 18 0 22 0 811891224 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21190/statm: 2640671 264563 2273 9 0 2631405 0
[pid=21190/tid=21192] ppid=21188 vsize=10562684 CPUtime=0.71 cores=1,3,5,7
/proc/21190/task/21192/stat : 21192 (java) S 21188 21190 16282 0 -1 4202560 21466 0 1 0 68 3 0 0 15 0 22 0 811891224 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21209] ppid=21188 vsize=10562684 CPUtime=2.06 cores=1,3,5,7
/proc/21190/task/21209/stat : 21209 (java) S 21188 21190 16282 0 -1 4202560 5517 0 0 0 205 1 0 0 15 0 22 0 811891226 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21210] ppid=21188 vsize=10562684 CPUtime=2.28 cores=1,3,5,7
/proc/21190/task/21210/stat : 21210 (java) S 21188 21190 16282 0 -1 4202560 1116 0 0 0 228 0 0 0 16 0 22 0 811891226 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21211] ppid=21188 vsize=10562684 CPUtime=1.85 cores=1,3,5,7
/proc/21190/task/21211/stat : 21211 (java) S 21188 21190 16282 0 -1 4202560 800 0 0 0 185 0 0 0 15 0 22 0 811891226 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21212] ppid=21188 vsize=10562684 CPUtime=1.97 cores=1,3,5,7
/proc/21190/task/21212/stat : 21212 (java) S 21188 21190 16282 0 -1 4202560 112 0 0 0 197 0 0 0 16 0 22 0 811891226 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21213] ppid=21188 vsize=10562684 CPUtime=2.04 cores=1,3,5,7
/proc/21190/task/21213/stat : 21213 (java) S 21188 21190 16282 0 -1 4202560 137 0 0 0 204 0 0 0 15 0 22 0 811891226 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21214] ppid=21188 vsize=10562684 CPUtime=2.01 cores=1,3,5,7
/proc/21190/task/21214/stat : 21214 (java) S 21188 21190 16282 0 -1 4202560 259 0 0 0 201 0 0 0 15 0 22 0 811891226 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21215] ppid=21188 vsize=10562684 CPUtime=1.92 cores=1,3,5,7
/proc/21190/task/21215/stat : 21215 (java) S 21188 21190 16282 0 -1 4202560 4879 0 0 0 192 0 0 0 16 0 22 0 811891226 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21216] ppid=21188 vsize=10562684 CPUtime=2.06 cores=1,3,5,7
/proc/21190/task/21216/stat : 21216 (java) S 21188 21190 16282 0 -1 4202560 2306 0 0 0 206 0 0 0 16 0 22 0 811891226 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21217] ppid=21188 vsize=10562684 CPUtime=195.34 cores=1,3,5,7
/proc/21190/task/21217/stat : 21217 (java) S 21188 21190 16282 0 -1 4202560 113012 0 0 0 19520 14 0 0 15 0 22 0 811891227 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 0 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=21190/tid=21218] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21218/stat : 21218 (java) S 21188 21190 16282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811891227 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21220] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21220/stat : 21220 (java) S 21188 21190 16282 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 811891227 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21228] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21228/stat : 21228 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811891229 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051478961 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21229] ppid=21188 vsize=10562684 CPUtime=1.52 cores=1,3,5,7
/proc/21190/task/21229/stat : 21229 (java) S 21188 21190 16282 0 -1 4202560 7254 0 0 0 151 1 0 0 15 0 22 0 811891229 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=21190/tid=21230] ppid=21188 vsize=10562684 CPUtime=1.2 cores=1,3,5,7
/proc/21190/task/21230/stat : 21230 (java) S 21188 21190 16282 0 -1 4202560 7816 0 0 0 119 1 0 0 15 0 22 0 811891229 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21231] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21231/stat : 21231 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811891229 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21233] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21233/stat : 21233 (java) S 21188 21190 16282 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 811891229 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21274] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21274/stat : 21274 (java) S 21188 21190 16282 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 811893074 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=21190/tid=21361] ppid=21188 vsize=10562684 CPUtime=725.13 cores=1,3,5,7
/proc/21190/task/21361/stat : 21361 (java) R 21188 21190 16282 0 -1 4202560 8 0 0 0 72512 1 0 0 20 0 22 0 811899210 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 46912506163924 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21190/tid=21362] ppid=21188 vsize=10562684 CPUtime=725.17 cores=1,3,5,7
/proc/21190/task/21362/stat : 21362 (java) R 21188 21190 16282 0 -1 4202560 1728 0 0 0 72517 0 0 0 20 0 22 0 811899210 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 46912506173024 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21190/tid=21364] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21364/stat : 21364 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811899210 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10562684
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+996.502 s]
/proc/loadavg: 2.68 3.45 3.47 4/551 21412
/proc/meminfo: memFree=24027332/32951124 swapFree=46970528/67111528
[pid=21190] ppid=21188 vsize=10562684 CPUtime=1800.12 cores=1,3,5,7
/proc/21190/stat : 21190 (java) S 21188 21190 16282 0 -1 4202496 271456 0 1 0 179974 38 0 0 18 0 22 0 811891224 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21190/statm: 2640671 264563 2273 9 0 2631405 0
[pid=21190/tid=21192] ppid=21188 vsize=10562684 CPUtime=0.71 cores=1,3,5,7
/proc/21190/task/21192/stat : 21192 (java) S 21188 21190 16282 0 -1 4202560 21466 0 1 0 68 3 0 0 15 0 22 0 811891224 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21209] ppid=21188 vsize=10562684 CPUtime=2.06 cores=1,3,5,7
/proc/21190/task/21209/stat : 21209 (java) S 21188 21190 16282 0 -1 4202560 5517 0 0 0 205 1 0 0 15 0 22 0 811891226 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21210] ppid=21188 vsize=10562684 CPUtime=2.28 cores=1,3,5,7
/proc/21190/task/21210/stat : 21210 (java) S 21188 21190 16282 0 -1 4202560 1116 0 0 0 228 0 0 0 16 0 22 0 811891226 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21211] ppid=21188 vsize=10562684 CPUtime=1.85 cores=1,3,5,7
/proc/21190/task/21211/stat : 21211 (java) S 21188 21190 16282 0 -1 4202560 800 0 0 0 185 0 0 0 15 0 22 0 811891226 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21212] ppid=21188 vsize=10562684 CPUtime=1.97 cores=1,3,5,7
/proc/21190/task/21212/stat : 21212 (java) S 21188 21190 16282 0 -1 4202560 112 0 0 0 197 0 0 0 16 0 22 0 811891226 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21213] ppid=21188 vsize=10562684 CPUtime=2.04 cores=1,3,5,7
/proc/21190/task/21213/stat : 21213 (java) S 21188 21190 16282 0 -1 4202560 137 0 0 0 204 0 0 0 15 0 22 0 811891226 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21214] ppid=21188 vsize=10562684 CPUtime=2.01 cores=1,3,5,7
/proc/21190/task/21214/stat : 21214 (java) S 21188 21190 16282 0 -1 4202560 259 0 0 0 201 0 0 0 15 0 22 0 811891226 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21215] ppid=21188 vsize=10562684 CPUtime=1.92 cores=1,3,5,7
/proc/21190/task/21215/stat : 21215 (java) S 21188 21190 16282 0 -1 4202560 4879 0 0 0 192 0 0 0 16 0 22 0 811891226 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21216] ppid=21188 vsize=10562684 CPUtime=2.06 cores=1,3,5,7
/proc/21190/task/21216/stat : 21216 (java) S 21188 21190 16282 0 -1 4202560 2306 0 0 0 206 0 0 0 16 0 22 0 811891226 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21217] ppid=21188 vsize=10562684 CPUtime=195.34 cores=1,3,5,7
/proc/21190/task/21217/stat : 21217 (java) S 21188 21190 16282 0 -1 4202560 113012 0 0 0 19520 14 0 0 15 0 22 0 811891227 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 0 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=21190/tid=21218] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21218/stat : 21218 (java) S 21188 21190 16282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811891227 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21220] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21220/stat : 21220 (java) S 21188 21190 16282 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 811891227 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21228] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21228/stat : 21228 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811891229 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051478961 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21229] ppid=21188 vsize=10562684 CPUtime=1.52 cores=1,3,5,7
/proc/21190/task/21229/stat : 21229 (java) S 21188 21190 16282 0 -1 4202560 7254 0 0 0 151 1 0 0 15 0 22 0 811891229 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=21190/tid=21230] ppid=21188 vsize=10562684 CPUtime=1.2 cores=1,3,5,7
/proc/21190/task/21230/stat : 21230 (java) S 21188 21190 16282 0 -1 4202560 7816 0 0 0 119 1 0 0 15 0 22 0 811891229 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=21190/tid=21231] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21231/stat : 21231 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811891229 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=21190/tid=21233] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21233/stat : 21233 (java) S 21188 21190 16282 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 811891229 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=21190/tid=21274] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21274/stat : 21274 (java) S 21188 21190 16282 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 811893074 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=21190/tid=21361] ppid=21188 vsize=10562684 CPUtime=725.13 cores=1,3,5,7
/proc/21190/task/21361/stat : 21361 (java) R 21188 21190 16282 0 -1 4202560 8 0 0 0 72512 1 0 0 20 0 22 0 811899210 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 46912506163924 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21190/tid=21362] ppid=21188 vsize=10562684 CPUtime=725.17 cores=1,3,5,7
/proc/21190/task/21362/stat : 21362 (java) R 21188 21190 16282 0 -1 4202560 1728 0 0 0 72517 0 0 0 20 0 22 0 811899210 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 46912506173024 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21190/tid=21364] ppid=21188 vsize=10562684 CPUtime=0 cores=1,3,5,7
/proc/21190/task/21364/stat : 21364 (java) S 21188 21190 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811899210 10816188416 264563 33554432000 1073741824 1073778376 140734070133584 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10562684
Child status: 143
Real time (s): 996.619
CPU time (s): 1800.26
CPU user time (s): 1799.84
CPU system time (s): 0.426935
CPU usage (%): 180.637
Max. virtual memory (cumulated for all children) (KiB): 10562684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.426935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271485
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= 31630
involuntary context switches= 18587
runsolver used 5.2562 second user time and 12.942 second system time
The end