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-3456964-1307211060/watcher-3456964-1307211060 -o /tmp/evaluation-result-3456964-1307211060/solver-3456964-1307211060 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456964-1307211060.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: 2.10 2.04 2.01 2/461 32380
/proc/meminfo: memFree=26233204/32950928 swapFree=52246700/67111528
[pid=32380] ppid=32378 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32378 32380 31238 0 -1 4202496 6847 0 1 0 0 1 0 0 25 0 2 0 911336636 10694979584 6548 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/32380/statm: 2611079 6562 917 9 0 2602235 0
[pid=32380/tid=32381] ppid=32378 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) R 32378 32380 31238 0 -1 4202560 5790 0 1 0 0 0 0 0 25 0 2 0 911336636 10694979584 6606 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.116586 s]
/proc/loadavg: 2.10 2.04 2.01 2/461 32380
/proc/meminfo: memFree=26233204/32950928 swapFree=52246700/67111528
[pid=32380] ppid=32378 vsize=10539652 CPUtime=0.13 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32378 32380 31238 0 -1 4202496 13219 0 1 0 11 2 0 0 25 0 18 0 911336636 10792603648 12884 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32380/statm: 2634913 12884 2133 9 0 2625647 0
[pid=32380/tid=32381] ppid=32378 vsize=10539652 CPUtime=0.1 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) R 32378 32380 31238 0 -1 4202560 11323 0 1 0 9 1 0 0 18 0 18 0 911336636 10792603648 12884 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539652
[startup+0.205549 s]
/proc/loadavg: 2.10 2.04 2.01 2/461 32380
/proc/meminfo: memFree=26233204/32950928 swapFree=52246700/67111528
[pid=32380] ppid=32378 vsize=10541540 CPUtime=0.3 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32378 32380 31238 0 -1 4202496 14658 0 1 0 28 2 0 0 25 0 19 0 911336636 10794536960 14290 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32380/statm: 2635385 14291 2193 9 0 2626119 0
[pid=32380/tid=32381] ppid=32378 vsize=10541540 CPUtime=0.19 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) R 32378 32380 31238 0 -1 4202560 12048 0 1 0 18 1 0 0 19 0 19 0 911336636 10794536960 14291 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10541540
[startup+0.313543 s]
/proc/loadavg: 2.10 2.04 2.01 2/461 32380
/proc/meminfo: memFree=26233204/32950928 swapFree=52246700/67111528
[pid=32380] ppid=32378 vsize=10543936 CPUtime=0.53 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32378 32380 31238 0 -1 4202496 20754 0 1 0 50 3 0 0 25 0 19 0 911336636 10796990464 19141 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32380/statm: 2635984 19141 2205 9 0 2626718 0
[pid=32380/tid=32381] ppid=32378 vsize=10543936 CPUtime=0.3 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) R 32378 32380 31238 0 -1 4202560 15955 0 1 0 28 2 0 0 19 0 19 0 911336636 10796990464 19141 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 46912505608856 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10543936
[startup+0.700433 s]
/proc/loadavg: 2.10 2.04 2.01 2/461 32380
/proc/meminfo: memFree=26233204/32950928 swapFree=52246700/67111528
[pid=32380] ppid=32378 vsize=10553268 CPUtime=1.69 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32378 32380 31238 0 -1 4202496 51823 0 1 0 161 8 0 0 25 0 19 0 911336636 10806546432 47890 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32380/statm: 2638317 47899 2220 9 0 2629051 0
[pid=32380/tid=32381] ppid=32378 vsize=10553268 CPUtime=0.69 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) R 32378 32380 31238 0 -1 4202560 39383 0 1 0 63 6 0 0 19 0 19 0 911336636 10806546432 47902 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 46912505608375 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10553268
[startup+1.50129 s]
/proc/loadavg: 2.10 2.04 2.01 3/480 32399
/proc/meminfo: memFree=25873888/32950928 swapFree=52246700/67111528
[pid=32380] ppid=32378 vsize=10550532 CPUtime=2.68 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32378 32380 31238 0 -1 4202496 137307 0 1 0 250 18 0 0 25 0 19 0 911336636 10803744768 132709 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32380/statm: 2637633 132710 2225 9 0 2628367 0
[pid=32380/tid=32381] ppid=32378 vsize=10550532 CPUtime=1.48 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) R 32378 32380 31238 0 -1 4202560 124830 0 1 0 132 16 0 0 18 0 19 0 911336636 10803744768 132712 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 46912505967690 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32380/tid=32383] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32383/stat : 32383 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 132712 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32384] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32384/stat : 32384 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 132712 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32385] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32385/stat : 32385 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 132712 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32386] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32386/stat : 32386 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 132713 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32387] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32387/stat : 32387 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 132713 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32388] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32388/stat : 32388 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 132714 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32389] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32389/stat : 32389 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 132714 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32390] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32390/stat : 32390 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 132714 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32391] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32391/stat : 32391 (java) S 32378 32380 31238 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911336639 10803744768 132715 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 0 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32392] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32392/stat : 32392 (java) S 32378 32380 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911336640 10803744768 132715 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32393] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32393/stat : 32393 (java) S 32378 32380 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911336640 10803744768 132716 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32394] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32394/stat : 32394 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911336642 10803744768 132716 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907314097 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32395] ppid=32378 vsize=10550532 CPUtime=0.6 cores=1,3,5,7
/proc/32380/task/32395/stat : 32395 (java) S 32378 32380 31238 0 -1 4202560 5379 0 0 0 60 0 0 0 16 0 19 0 911336642 10803744768 132716 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32396] ppid=32378 vsize=10550532 CPUtime=0.57 cores=1,3,5,7
/proc/32380/task/32396/stat : 32396 (java) S 32378 32380 31238 0 -1 4202560 5940 0 0 0 56 1 0 0 15 0 19 0 911336642 10803744768 132717 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 1 0 0 0
[pid=32380/tid=32397] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32397/stat : 32397 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911336642 10803744768 132717 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32398] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32398/stat : 32398 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911336642 10803744768 132718 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32399] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32399/stat : 32399 (java) S 32378 32380 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911336652 10803744768 132718 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 10550532
[startup+3.10098 s]
/proc/loadavg: 2.10 2.04 2.01 3/480 32399
/proc/meminfo: memFree=25413956/32950928 swapFree=52246700/67111528
[pid=32380] ppid=32378 vsize=10550532 CPUtime=4.34 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32378 32380 31238 0 -1 4202496 308493 0 1 0 396 38 0 0 25 0 19 0 911336636 10803744768 303894 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32380/statm: 2637633 303901 2226 9 0 2628367 0
[pid=32380/tid=32381] ppid=32378 vsize=10550532 CPUtime=3.09 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) R 32378 32380 31238 0 -1 4202560 296014 0 1 0 273 36 0 0 19 0 19 0 911336636 10803744768 303904 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 46912505531029 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32380/tid=32383] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32383/stat : 32383 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 303906 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32384] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32384/stat : 32384 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 303909 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32385] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32385/stat : 32385 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 303913 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32386] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32386/stat : 32386 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 303916 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32387] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32387/stat : 32387 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 303919 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32388] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32388/stat : 32388 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 303922 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32389] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32389/stat : 32389 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 303925 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32390] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32390/stat : 32390 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 303928 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32391] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32391/stat : 32391 (java) S 32378 32380 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 911336639 10803744768 303930 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 0 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32392] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32392/stat : 32392 (java) S 32378 32380 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911336640 10803744768 303933 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32393] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32393/stat : 32393 (java) S 32378 32380 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911336640 10803744768 303937 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32394] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32394/stat : 32394 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911336642 10803744768 303939 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907314097 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32395] ppid=32378 vsize=10550532 CPUtime=0.6 cores=1,3,5,7
/proc/32380/task/32395/stat : 32395 (java) S 32378 32380 31238 0 -1 4202560 5379 0 0 0 60 0 0 0 15 0 19 0 911336642 10803744768 303941 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32396] ppid=32378 vsize=10550532 CPUtime=0.63 cores=1,3,5,7
/proc/32380/task/32396/stat : 32396 (java) S 32378 32380 31238 0 -1 4202560 5949 0 0 0 62 1 0 0 15 0 19 0 911336642 10803744768 303945 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 1 0 0 0
[pid=32380/tid=32397] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32397/stat : 32397 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911336642 10803744768 303947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32398] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32398/stat : 32398 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911336642 10803744768 303950 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 4 0 16800975 18446604463741718976 0 0 -1 1 0 0 0
[pid=32380/tid=32399] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32399/stat : 32399 (java) S 32378 32380 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911336652 10803744768 303953 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 10550532
[startup+6.30139 s]
/proc/loadavg: 2.10 2.04 2.01 3/480 32400
/proc/meminfo: memFree=24395672/32950928 swapFree=52246700/67111528
[pid=32380] ppid=32378 vsize=10550532 CPUtime=7.53 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32378 32380 31238 0 -1 4202496 524539 0 1 0 692 61 0 0 25 0 19 0 911336636 10803744768 519855 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32380/statm: 2637633 519858 2227 9 0 2628367 0
[pid=32380/tid=32381] ppid=32378 vsize=10550532 CPUtime=6.28 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) R 32378 32380 31238 0 -1 4202560 512053 0 1 0 569 59 0 0 21 0 19 0 911336636 10803744768 519859 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 46912505608375 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32380/tid=32383] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32383/stat : 32383 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 519860 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32384] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32384/stat : 32384 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 519861 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32385] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32385/stat : 32385 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 519863 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32386] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32386/stat : 32386 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 519864 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32387] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32387/stat : 32387 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 519866 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32388] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32388/stat : 32388 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 519867 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32389] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32389/stat : 32389 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 519869 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32390] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32390/stat : 32390 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911336638 10803744768 519870 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32391] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32391/stat : 32391 (java) S 32378 32380 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 911336639 10803744768 519872 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 0 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32392] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32392/stat : 32392 (java) S 32378 32380 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911336640 10803744768 519873 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32393] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32393/stat : 32393 (java) S 32378 32380 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911336640 10803744768 519875 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32394] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32394/stat : 32394 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911336642 10803744768 519876 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907314097 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32395] ppid=32378 vsize=10550532 CPUtime=0.6 cores=1,3,5,7
/proc/32380/task/32395/stat : 32395 (java) S 32378 32380 31238 0 -1 4202560 5379 0 0 0 60 0 0 0 15 0 19 0 911336642 10803744768 519877 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32396] ppid=32378 vsize=10550532 CPUtime=0.63 cores=1,3,5,7
/proc/32380/task/32396/stat : 32396 (java) S 32378 32380 31238 0 -1 4202560 5949 0 0 0 62 1 0 0 15 0 19 0 911336642 10803744768 519879 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/32380/task/32393/stat : 32393 (java) S 32378 32380 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911336640 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32394] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32394/stat : 32394 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911336642 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907314097 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32395] ppid=32378 vsize=10550532 CPUtime=0.6 cores=1,3,5,7
/proc/32380/task/32395/stat : 32395 (java) S 32378 32380 31238 0 -1 4202560 5379 0 0 0 60 0 0 0 15 0 19 0 911336642 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32396] ppid=32378 vsize=10550532 CPUtime=0.63 cores=1,3,5,7
/proc/32380/task/32396/stat : 32396 (java) S 32378 32380 31238 0 -1 4202560 5949 0 0 0 62 1 0 0 15 0 19 0 911336642 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 1 0 0 0
[pid=32380/tid=32397] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32397/stat : 32397 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911336642 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32398] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32398/stat : 32398 (java) S 32378 32380 31238 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 911336642 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 4 0 16800975 18446604463741718976 0 0 -1 1 0 0 0
[pid=32380/tid=32399] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32399/stat : 32399 (java) S 32378 32380 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911336652 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1664.18
Current children cumulated vsize (KiB) 10550532
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/480 32542
/proc/meminfo: memFree=23175264/32950928 swapFree=52246700/67111528
[pid=32380] ppid=32378 vsize=10550532 CPUtime=1724.18 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32378 32380 31238 0 -1 4202496 950971 0 1 0 172306 112 0 0 25 0 19 0 911336636 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32380/statm: 2637633 940947 2240 9 0 2628367 0
[pid=32380/tid=32381] ppid=32378 vsize=10550532 CPUtime=1721.99 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) R 32378 32380 31238 0 -1 4202560 726275 0 1 0 172120 79 0 0 25 0 19 0 911336636 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 46912505952521 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32380/tid=32383] ppid=32378 vsize=10550532 CPUtime=0.09 cores=1,3,5,7
/proc/32380/task/32383/stat : 32383 (java) S 32378 32380 31238 0 -1 4202560 19614 0 0 0 7 2 0 0 16 0 19 0 911336638 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32384] ppid=32378 vsize=10550532 CPUtime=0.07 cores=1,3,5,7
/proc/32380/task/32384/stat : 32384 (java) S 32378 32380 31238 0 -1 4202560 18352 0 0 0 5 2 0 0 15 0 19 0 911336638 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32385] ppid=32378 vsize=10550532 CPUtime=0.17 cores=1,3,5,7
/proc/32380/task/32385/stat : 32385 (java) S 32378 32380 31238 0 -1 4202560 38954 0 0 0 12 5 0 0 16 0 19 0 911336638 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 1 0 0 0
[pid=32380/tid=32386] ppid=32378 vsize=10550532 CPUtime=0.13 cores=1,3,5,7
/proc/32380/task/32386/stat : 32386 (java) S 32378 32380 31238 0 -1 4202560 29525 0 0 0 9 4 0 0 16 0 19 0 911336638 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 5 0 0 0
[pid=32380/tid=32387] ppid=32378 vsize=10550532 CPUtime=0.13 cores=1,3,5,7
/proc/32380/task/32387/stat : 32387 (java) S 32378 32380 31238 0 -1 4202560 34196 0 0 0 8 5 0 0 15 0 19 0 911336638 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 5 0 0 0
[pid=32380/tid=32388] ppid=32378 vsize=10550532 CPUtime=0.1 cores=1,3,5,7
/proc/32380/task/32388/stat : 32388 (java) S 32378 32380 31238 0 -1 4202560 25033 0 0 0 7 3 0 0 15 0 19 0 911336638 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 1 0 0 0
[pid=32380/tid=32389] ppid=32378 vsize=10550532 CPUtime=0.13 cores=1,3,5,7
/proc/32380/task/32389/stat : 32389 (java) S 32378 32380 31238 0 -1 4202560 38107 0 0 0 9 4 0 0 16 0 19 0 911336638 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32390] ppid=32378 vsize=10550532 CPUtime=0.03 cores=1,3,5,7
/proc/32380/task/32390/stat : 32390 (java) S 32378 32380 31238 0 -1 4202560 8303 0 0 0 2 1 0 0 15 0 19 0 911336638 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 5 0 0 0
[pid=32380/tid=32391] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32391/stat : 32391 (java) S 32378 32380 31238 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 911336639 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 0 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32392] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32392/stat : 32392 (java) S 32378 32380 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911336640 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32393] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32393/stat : 32393 (java) S 32378 32380 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911336640 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32394] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32394/stat : 32394 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911336642 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907314097 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32395] ppid=32378 vsize=10550532 CPUtime=0.6 cores=1,3,5,7
/proc/32380/task/32395/stat : 32395 (java) S 32378 32380 31238 0 -1 4202560 5379 0 0 0 60 0 0 0 15 0 19 0 911336642 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32396] ppid=32378 vsize=10550532 CPUtime=0.63 cores=1,3,5,7
/proc/32380/task/32396/stat : 32396 (java) S 32378 32380 31238 0 -1 4202560 5949 0 0 0 62 1 0 0 15 0 19 0 911336642 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 1 0 0 0
[pid=32380/tid=32397] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32397/stat : 32397 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911336642 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32398] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32398/stat : 32398 (java) S 32378 32380 31238 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 911336642 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 4 0 16800975 18446604463741718976 0 0 -1 1 0 0 0
[pid=32380/tid=32399] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32399/stat : 32399 (java) S 32378 32380 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911336652 10803744768 940947 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.18
Current children cumulated vsize (KiB) 10550532
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/480 32544
/proc/meminfo: memFree=23146112/32950928 swapFree=52246700/67111528
[pid=32380] ppid=32378 vsize=10550532 CPUtime=1784.22 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32378 32380 31238 0 -1 4202496 958429 0 1 0 178309 113 0 0 25 0 19 0 911336636 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32380/statm: 2637633 948199 2240 9 0 2628367 0
[pid=32380/tid=32381] ppid=32378 vsize=10550532 CPUtime=1781.97 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) R 32378 32380 31238 0 -1 4202560 726276 0 1 0 178118 79 0 0 25 0 19 0 911336636 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 46912505570684 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32380/tid=32383] ppid=32378 vsize=10550532 CPUtime=0.09 cores=1,3,5,7
/proc/32380/task/32383/stat : 32383 (java) S 32378 32380 31238 0 -1 4202560 19614 0 0 0 7 2 0 0 15 0 19 0 911336638 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32384] ppid=32378 vsize=10550532 CPUtime=0.07 cores=1,3,5,7
/proc/32380/task/32384/stat : 32384 (java) S 32378 32380 31238 0 -1 4202560 18352 0 0 0 5 2 0 0 15 0 19 0 911336638 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32385] ppid=32378 vsize=10550532 CPUtime=0.18 cores=1,3,5,7
/proc/32380/task/32385/stat : 32385 (java) S 32378 32380 31238 0 -1 4202560 41126 0 0 0 13 5 0 0 16 0 19 0 911336638 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32386] ppid=32378 vsize=10550532 CPUtime=0.14 cores=1,3,5,7
/proc/32380/task/32386/stat : 32386 (java) S 32378 32380 31238 0 -1 4202560 31309 0 0 0 10 4 0 0 16 0 19 0 911336638 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 5 0 0 0
[pid=32380/tid=32387] ppid=32378 vsize=10550532 CPUtime=0.13 cores=1,3,5,7
/proc/32380/task/32387/stat : 32387 (java) S 32378 32380 31238 0 -1 4202560 34196 0 0 0 8 5 0 0 15 0 19 0 911336638 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32388] ppid=32378 vsize=10550532 CPUtime=0.12 cores=1,3,5,7
/proc/32380/task/32388/stat : 32388 (java) S 32378 32380 31238 0 -1 4202560 28528 0 0 0 9 3 0 0 16 0 19 0 911336638 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 1 0 0 0
[pid=32380/tid=32389] ppid=32378 vsize=10550532 CPUtime=0.13 cores=1,3,5,7
/proc/32380/task/32389/stat : 32389 (java) S 32378 32380 31238 0 -1 4202560 38107 0 0 0 9 4 0 0 15 0 19 0 911336638 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32390] ppid=32378 vsize=10550532 CPUtime=0.03 cores=1,3,5,7
/proc/32380/task/32390/stat : 32390 (java) S 32378 32380 31238 0 -1 4202560 8303 0 0 0 2 1 0 0 15 0 19 0 911336638 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 5 0 0 0
[pid=32380/tid=32391] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32391/stat : 32391 (java) S 32378 32380 31238 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 911336639 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 0 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32392] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32392/stat : 32392 (java) S 32378 32380 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911336640 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32393] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32393/stat : 32393 (java) S 32378 32380 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911336640 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32394] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32394/stat : 32394 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911336642 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907314097 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32395] ppid=32378 vsize=10550532 CPUtime=0.6 cores=1,3,5,7
/proc/32380/task/32395/stat : 32395 (java) S 32378 32380 31238 0 -1 4202560 5379 0 0 0 60 0 0 0 15 0 19 0 911336642 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32396] ppid=32378 vsize=10550532 CPUtime=0.63 cores=1,3,5,7
/proc/32380/task/32396/stat : 32396 (java) S 32378 32380 31238 0 -1 4202560 5949 0 0 0 62 1 0 0 15 0 19 0 911336642 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 1 0 0 0
[pid=32380/tid=32397] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32397/stat : 32397 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911336642 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32398] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32398/stat : 32398 (java) S 32378 32380 31238 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 911336642 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 4 0 16800975 18446604463741718976 0 0 -1 1 0 0 0
[pid=32380/tid=32399] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32399/stat : 32399 (java) S 32378 32380 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911336652 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.22
Current children cumulated vsize (KiB) 10550532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.1 s]
/proc/loadavg: 2.06 2.03 2.00 3/480 32544
/proc/meminfo: memFree=23146112/32950928 swapFree=52246700/67111528
[pid=32380] ppid=32378 vsize=10550532 CPUtime=1800.04 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32378 32380 31238 0 -1 4202496 958429 0 1 0 179891 113 0 0 25 0 19 0 911336636 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32380/statm: 2637633 948199 2240 9 0 2628367 0
[pid=32380/tid=32381] ppid=32378 vsize=10550532 CPUtime=1797.79 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) R 32378 32380 31238 0 -1 4202560 726276 0 1 0 179700 79 0 0 25 0 19 0 911336636 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 46912505664998 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32380/tid=32383] ppid=32378 vsize=10550532 CPUtime=0.09 cores=1,3,5,7
/proc/32380/task/32383/stat : 32383 (java) S 32378 32380 31238 0 -1 4202560 19614 0 0 0 7 2 0 0 15 0 19 0 911336638 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32384] ppid=32378 vsize=10550532 CPUtime=0.07 cores=1,3,5,7
/proc/32380/task/32384/stat : 32384 (java) S 32378 32380 31238 0 -1 4202560 18352 0 0 0 5 2 0 0 15 0 19 0 911336638 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32385] ppid=32378 vsize=10550532 CPUtime=0.18 cores=1,3,5,7
/proc/32380/task/32385/stat : 32385 (java) S 32378 32380 31238 0 -1 4202560 41126 0 0 0 13 5 0 0 16 0 19 0 911336638 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32386] ppid=32378 vsize=10550532 CPUtime=0.14 cores=1,3,5,7
/proc/32380/task/32386/stat : 32386 (java) S 32378 32380 31238 0 -1 4202560 31309 0 0 0 10 4 0 0 16 0 19 0 911336638 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 5 0 0 0
[pid=32380/tid=32387] ppid=32378 vsize=10550532 CPUtime=0.13 cores=1,3,5,7
/proc/32380/task/32387/stat : 32387 (java) S 32378 32380 31238 0 -1 4202560 34196 0 0 0 8 5 0 0 15 0 19 0 911336638 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32388] ppid=32378 vsize=10550532 CPUtime=0.12 cores=1,3,5,7
/proc/32380/task/32388/stat : 32388 (java) S 32378 32380 31238 0 -1 4202560 28528 0 0 0 9 3 0 0 16 0 19 0 911336638 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 1 0 0 0
[pid=32380/tid=32389] ppid=32378 vsize=10550532 CPUtime=0.13 cores=1,3,5,7
/proc/32380/task/32389/stat : 32389 (java) S 32378 32380 31238 0 -1 4202560 38107 0 0 0 9 4 0 0 15 0 19 0 911336638 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
[pid=32380/tid=32390] ppid=32378 vsize=10550532 CPUtime=0.03 cores=1,3,5,7
/proc/32380/task/32390/stat : 32390 (java) S 32378 32380 31238 0 -1 4202560 8303 0 0 0 2 1 0 0 15 0 19 0 911336638 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 5 0 0 0
[pid=32380/tid=32391] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32391/stat : 32391 (java) S 32378 32380 31238 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 911336639 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 0 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32392] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32392/stat : 32392 (java) S 32378 32380 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911336640 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32393] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32393/stat : 32393 (java) S 32378 32380 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911336640 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32394] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32394/stat : 32394 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911336642 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907314097 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32395] ppid=32378 vsize=10550532 CPUtime=0.6 cores=1,3,5,7
/proc/32380/task/32395/stat : 32395 (java) S 32378 32380 31238 0 -1 4202560 5379 0 0 0 60 0 0 0 15 0 19 0 911336642 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32396] ppid=32378 vsize=10550532 CPUtime=0.63 cores=1,3,5,7
/proc/32380/task/32396/stat : 32396 (java) S 32378 32380 31238 0 -1 4202560 5949 0 0 0 62 1 0 0 15 0 19 0 911336642 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 1 0 0 0
[pid=32380/tid=32397] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32397/stat : 32397 (java) S 32378 32380 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911336642 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907306393 0 4 0 16800975 18446604463741718976 0 0 -1 3 0 0 0
[pid=32380/tid=32398] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32398/stat : 32398 (java) S 32378 32380 31238 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 911336642 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 4 0 16800975 18446604463741718976 0 0 -1 1 0 0 0
[pid=32380/tid=32399] ppid=32378 vsize=10550532 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32399/stat : 32399 (java) S 32378 32380 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911336652 10803744768 948199 33554432000 1073741824 1073778376 140733512634592 18446744073709551615 231907307008 0 4 0 16800975 18446604463741718976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10550532
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.22 s]
/proc/loadavg: 2.06 2.03 2.00 3/480 32544
/proc/meminfo: memFree=23146112/32950928 swapFree=52246700/67111528
[pid=32380] ppid=32378 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/32380/stat : 32380 (java) Z 32378 32380 31238 0 -1 4203548 958459 0 1 0 179893 122 0 0 17 0 2 0 911336636 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32380/statm: 0 0 0 0 0 0 0
[pid=32380/tid=32399] ppid=32378 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/32380/task/32399/stat : 32399 (java) R 32378 32380 31238 0 -1 4203588 7 0 0 0 0 8 0 0 18 0 2 0 911336652 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.29
CPU time (s): 1800.22
CPU user time (s): 1798.93
CPU system time (s): 1.2888
CPU usage (%): 100.108
Max. virtual memory (cumulated for all children) (KiB): 10553268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.93
system time used= 1.2888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 958459
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= 37025
involuntary context switches= 8544
runsolver used 7.57385 second user time and 17.8683 second system time
The end