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-3456366-1307219675/watcher-3456366-1307219675 -o /tmp/evaluation-result-3456366-1307219675/solver-3456366-1307219675 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456366-1307219675.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.06 2.00 2/568 3513
/proc/meminfo: memFree=17450800/32951124 swapFree=53733252/67111528
[pid=3513] ppid=3511 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 3030 0 -1 4202496 1237 0 0 0 0 0 0 0 25 0 2 0 833567888 31260672 957 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652662245 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/3513/statm: 7632 957 730 9 0 383 0
[pid=3513/tid=3514] ppid=3511 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/3513/task/3514/stat : 3514 (java) R 3511 3513 3030 0 -1 4202560 8539 0 1 0 0 1 0 0 25 0 2 0 833567888 10694979584 9356 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0885581 s]
/proc/loadavg: 2.06 2.06 2.00 2/568 3513
/proc/meminfo: memFree=17450800/32951124 swapFree=53733252/67111528
[pid=3513] ppid=3511 vsize=10540288 CPUtime=0.09 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 3030 0 -1 4202496 12940 0 1 0 8 1 0 0 25 0 18 0 833567888 10793254912 12637 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3513/statm: 2635072 12638 2093 9 0 2625806 0
[pid=3513/tid=3514] ppid=3511 vsize=10540288 CPUtime=0.07 cores=0,2,4,6
/proc/3513/task/3514/stat : 3514 (java) R 3511 3513 3030 0 -1 4202560 11018 0 1 0 6 1 0 0 18 0 18 0 833567888 10793254912 12638 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 47962179722067 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540288
[startup+0.100889 s]
/proc/loadavg: 2.06 2.06 2.00 2/568 3513
/proc/meminfo: memFree=17450800/32951124 swapFree=53733252/67111528
[pid=3513] ppid=3511 vsize=10540288 CPUtime=0.1 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 3030 0 -1 4202496 13129 0 1 0 9 1 0 0 25 0 18 0 833567888 10793254912 12826 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3513/statm: 2635072 12796 2093 9 0 2625806 0
[pid=3513/tid=3514] ppid=3511 vsize=10540288 CPUtime=0.08 cores=0,2,4,6
/proc/3513/task/3514/stat : 3514 (java) R 3511 3513 3030 0 -1 4202560 11206 0 1 0 7 1 0 0 18 0 18 0 833567888 10793254912 12796 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253640903015 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540288
[startup+0.300823 s]
/proc/loadavg: 2.06 2.06 2.00 2/568 3513
/proc/meminfo: memFree=17450800/32951124 swapFree=53733252/67111528
[pid=3513] ppid=3511 vsize=10542444 CPUtime=0.5 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 3030 0 -1 4202496 16633 0 1 0 48 2 0 0 25 0 18 0 833567888 10795462656 15987 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3513/statm: 2635611 15989 2201 9 0 2626345 0
[pid=3513/tid=3514] ppid=3511 vsize=10542444 CPUtime=0.28 cores=0,2,4,6
/proc/3513/task/3514/stat : 3514 (java) R 3511 3513 3030 0 -1 4202560 13612 0 1 0 27 1 0 0 18 0 18 0 833567888 10795462656 15989 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 46912505555430 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10542444
[startup+0.77781 s]
/proc/loadavg: 2.06 2.06 2.00 2/568 3513
/proc/meminfo: memFree=17450800/32951124 swapFree=53733252/67111528
[pid=3513] ppid=3511 vsize=10547252 CPUtime=1.79 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 3030 0 -1 4202496 31342 0 1 0 175 4 0 0 25 0 19 0 833567888 10800386048 26040 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3513/statm: 2636813 26040 2237 9 0 2627547 0
[pid=3513/tid=3514] ppid=3511 vsize=10547252 CPUtime=0.76 cores=0,2,4,6
/proc/3513/task/3514/stat : 3514 (java) R 3511 3513 3030 0 -1 4202560 21533 0 1 0 74 2 0 0 19 0 19 0 833567888 10800386048 26040 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 46912505786141 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 10547252
[startup+1.50167 s]
/proc/loadavg: 2.06 2.06 2.00 4/587 3533
/proc/meminfo: memFree=17276004/32951124 swapFree=53733252/67111528
[pid=3513] ppid=3511 vsize=10547252 CPUtime=2.58 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 3030 0 -1 4202496 64286 0 1 0 251 7 0 0 25 0 19 0 833567888 10800386048 58984 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3513/statm: 2636813 58987 2238 9 0 2627547 0
[pid=3513/tid=3514] ppid=3511 vsize=10547252 CPUtime=1.49 cores=0,2,4,6
/proc/3513/task/3514/stat : 3514 (java) R 3511 3513 3030 0 -1 4202560 54471 0 1 0 143 6 0 0 20 0 19 0 833567888 10800386048 58989 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 46912505843322 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3513/tid=3516] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3516/stat : 3516 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 58991 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3518] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3518/stat : 3518 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 58993 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3519] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3519/stat : 3519 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 58995 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3520] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3520/stat : 3520 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 58997 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3521] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3521/stat : 3521 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 58999 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3522] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3522/stat : 3522 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 59000 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3523] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3523/stat : 3523 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 59002 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3524] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3524/stat : 3524 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 59004 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3525] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3525/stat : 3525 (java) S 3511 3513 3030 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 19 0 833567891 10800386048 59006 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 0 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3526] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3526/stat : 3526 (java) S 3511 3513 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833567891 10800386048 59007 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3527] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3527/stat : 3527 (java) S 3511 3513 3030 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833567891 10800386048 59009 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3528] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3528/stat : 3528 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567893 10800386048 59011 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652683185 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3529] ppid=3511 vsize=10547252 CPUtime=0.55 cores=0,2,4,6
/proc/3513/task/3529/stat : 3529 (java) S 3511 3513 3030 0 -1 4202560 3691 0 0 0 55 0 0 0 15 0 19 0 833567893 10800386048 59013 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3530] ppid=3511 vsize=10547252 CPUtime=0.52 cores=0,2,4,6
/proc/3513/task/3530/stat : 3530 (java) S 3511 3513 3030 0 -1 4202560 4968 0 0 0 52 0 0 0 15 0 19 0 833567893 10800386048 59014 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3531] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3531/stat : 3531 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567893 10800386048 59016 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3532] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3532/stat : 3532 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833567893 10800386048 59018 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3533] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3533/stat : 3533 (java) S 3511 3513 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833567937 10800386048 59019 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 10547252
[startup+3.10138 s]
/proc/loadavg: 2.06 2.06 2.00 3/587 3533
/proc/meminfo: memFree=17073512/32951124 swapFree=53733252/67111528
[pid=3513] ppid=3511 vsize=10547252 CPUtime=4.19 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 3030 0 -1 4202496 137804 0 1 0 405 14 0 0 25 0 19 0 833567888 10800386048 132501 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3513/statm: 2636813 132503 2238 9 0 2627547 0
[pid=3513/tid=3514] ppid=3511 vsize=10547252 CPUtime=3.08 cores=0,2,4,6
/proc/3513/task/3514/stat : 3514 (java) R 3511 3513 3030 0 -1 4202560 127986 0 1 0 296 12 0 0 25 0 19 0 833567888 10800386048 132504 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 46912505878959 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3513/tid=3516] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3516/stat : 3516 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 132506 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3518] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3518/stat : 3518 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 132507 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3519] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3519/stat : 3519 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 132508 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3520] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3520/stat : 3520 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 132509 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3521] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3521/stat : 3521 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 132510 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3522] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3522/stat : 3522 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 132512 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3523] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3523/stat : 3523 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 132513 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3524] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3524/stat : 3524 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 132514 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3525] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3525/stat : 3525 (java) S 3511 3513 3030 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833567891 10800386048 132515 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 0 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3526] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3526/stat : 3526 (java) S 3511 3513 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833567891 10800386048 132517 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3527] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3527/stat : 3527 (java) S 3511 3513 3030 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833567891 10800386048 132518 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3528] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3528/stat : 3528 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567893 10800386048 132519 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652683185 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3529] ppid=3511 vsize=10547252 CPUtime=0.55 cores=0,2,4,6
/proc/3513/task/3529/stat : 3529 (java) S 3511 3513 3030 0 -1 4202560 3691 0 0 0 55 0 0 0 15 0 19 0 833567893 10800386048 132520 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3530] ppid=3511 vsize=10547252 CPUtime=0.52 cores=0,2,4,6
/proc/3513/task/3530/stat : 3530 (java) S 3511 3513 3030 0 -1 4202560 4968 0 0 0 52 0 0 0 15 0 19 0 833567893 10800386048 132521 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3531] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3531/stat : 3531 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567893 10800386048 132523 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3532] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3532/stat : 3532 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833567893 10800386048 132524 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3533] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3533/stat : 3533 (java) S 3511 3513 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833567937 10800386048 132525 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 10547252
[startup+6.30081 s]
/proc/loadavg: 2.06 2.06 2.00 3/587 3533
/proc/meminfo: memFree=16460048/32951124 swapFree=53733252/67111528
[pid=3513] ppid=3511 vsize=10547252 CPUtime=7.39 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 3030 0 -1 4202496 286017 0 1 0 709 30 0 0 25 0 19 0 833567888 10800386048 280705 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3513/statm: 2636813 280708 2238 9 0 2627547 0
[pid=3513/tid=3514] ppid=3511 vsize=10547252 CPUtime=6.28 cores=0,2,4,6
/proc/3513/task/3514/stat : 3514 (java) R 3511 3513 3030 0 -1 4202560 276201 0 1 0 600 28 0 0 21 0 19 0 833567888 10800386048 280710 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 46912505843326 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3513/tid=3516] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3516/stat : 3516 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 280712 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3518] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3518/stat : 3518 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 280714 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3519] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3519/stat : 3519 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 280715 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3520] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3520/stat : 3520 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 280717 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3521] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3521/stat : 3521 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 280719 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3522] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3522/stat : 3522 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 280720 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3523] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3523/stat : 3523 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 280722 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3524] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3524/stat : 3524 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567890 10800386048 280724 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3525] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3525/stat : 3525 (java) S 3511 3513 3030 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833567891 10800386048 280725 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 0 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3526] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3526/stat : 3526 (java) S 3511 3513 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833567891 10800386048 280727 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3527] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3527/stat : 3527 (java) S 3511 3513 3030 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833567891 10800386048 280729 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3528] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3528/stat : 3528 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567893 10800386048 280730 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652683185 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3529] ppid=3511 vsize=10547252 CPUtime=0.55 cores=0,2,4,6
/proc/3513/task/3529/stat : 3529 (java) S 3511 3513 3030 0 -1 4202560 3691 0 0 0 55 0 0 0 15 0 19 0 833567893 10800386048 280732 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3530] ppid=3511 vsize=10547252 CPUtime=0.52 cores=0,2,4,6
/proc/3513/task/3530/stat : 3530 (java) S 3511 3513 3030 0 -1 4202560 4968 0 0 0 52 0 0 0 15 0 19 0 833567893 10800386048 280733 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/3513/task/3527/stat : 3527 (java) S 3511 3513 3030 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833567891 10800386048 943548 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3528] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3528/stat : 3528 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567893 10800386048 943548 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652683185 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3529] ppid=3511 vsize=10547252 CPUtime=0.64 cores=0,2,4,6
/proc/3513/task/3529/stat : 3529 (java) S 3511 3513 3030 0 -1 4202560 3705 0 0 0 64 0 0 0 15 0 19 0 833567893 10800386048 943548 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3530] ppid=3511 vsize=10547252 CPUtime=0.86 cores=0,2,4,6
/proc/3513/task/3530/stat : 3530 (java) S 3511 3513 3030 0 -1 4202560 5006 0 0 0 86 0 0 0 15 0 19 0 833567893 10800386048 943548 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3531] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3531/stat : 3531 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567893 10800386048 943548 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3532] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3532/stat : 3532 (java) S 3511 3513 3030 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 833567893 10800386048 943548 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3533] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3533/stat : 3533 (java) S 3511 3513 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833567937 10800386048 943548 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1665.08
Current children cumulated vsize (KiB) 10547252
[startup+1722.3 s]
/proc/loadavg: 2.04 2.07 2.02 3/587 3735
/proc/meminfo: memFree=13681276/32951124 swapFree=53733252/67111528
[pid=3513] ppid=3511 vsize=10547252 CPUtime=1725.12 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 3030 0 -1 4202496 954103 0 1 0 172405 107 0 0 25 0 19 0 833567888 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3513/statm: 2636813 946554 2267 9 0 2627547 0
[pid=3513/tid=3514] ppid=3511 vsize=10547252 CPUtime=1712.65 cores=0,2,4,6
/proc/3513/task/3514/stat : 3514 (java) R 3511 3513 3030 0 -1 4202560 859537 0 1 0 171173 92 0 0 25 0 19 0 833567888 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 46912505821926 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3513/tid=3516] ppid=3511 vsize=10547252 CPUtime=0.24 cores=0,2,4,6
/proc/3513/task/3516/stat : 3516 (java) S 3511 3513 3030 0 -1 4202560 8664 0 0 0 23 1 0 0 16 0 19 0 833567890 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3518] ppid=3511 vsize=10547252 CPUtime=0.27 cores=0,2,4,6
/proc/3513/task/3518/stat : 3518 (java) S 3511 3513 3030 0 -1 4202560 11091 0 0 0 26 1 0 0 15 0 19 0 833567890 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3519] ppid=3511 vsize=10547252 CPUtime=0.25 cores=0,2,4,6
/proc/3513/task/3519/stat : 3519 (java) S 3511 3513 3030 0 -1 4202560 9297 0 0 0 24 1 0 0 15 0 19 0 833567890 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3520] ppid=3511 vsize=10547252 CPUtime=0.21 cores=0,2,4,6
/proc/3513/task/3520/stat : 3520 (java) S 3511 3513 3030 0 -1 4202560 6769 0 0 0 20 1 0 0 16 0 19 0 833567890 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3521] ppid=3511 vsize=10547252 CPUtime=0.24 cores=0,2,4,6
/proc/3513/task/3521/stat : 3521 (java) S 3511 3513 3030 0 -1 4202560 6769 0 0 0 23 1 0 0 16 0 19 0 833567890 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3522] ppid=3511 vsize=10547252 CPUtime=0.23 cores=0,2,4,6
/proc/3513/task/3522/stat : 3522 (java) S 3511 3513 3030 0 -1 4202560 6845 0 0 0 23 0 0 0 16 0 19 0 833567890 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3523] ppid=3511 vsize=10547252 CPUtime=0.26 cores=0,2,4,6
/proc/3513/task/3523/stat : 3523 (java) S 3511 3513 3030 0 -1 4202560 6931 0 0 0 26 0 0 0 15 0 19 0 833567890 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3524] ppid=3511 vsize=10547252 CPUtime=0.25 cores=0,2,4,6
/proc/3513/task/3524/stat : 3524 (java) S 3511 3513 3030 0 -1 4202560 8024 0 0 0 24 1 0 0 15 0 19 0 833567890 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3525] ppid=3511 vsize=10547252 CPUtime=8.88 cores=0,2,4,6
/proc/3513/task/3525/stat : 3525 (java) S 3511 3513 3030 0 -1 4202560 20216 0 0 0 885 3 0 0 15 0 19 0 833567891 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 0 0 16800975 18446604448730282112 0 0 -1 2 0 0 0
[pid=3513/tid=3526] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3526/stat : 3526 (java) S 3511 3513 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833567891 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3527] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3527/stat : 3527 (java) S 3511 3513 3030 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833567891 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3528] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3528/stat : 3528 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567893 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652683185 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3529] ppid=3511 vsize=10547252 CPUtime=0.64 cores=0,2,4,6
/proc/3513/task/3529/stat : 3529 (java) S 3511 3513 3030 0 -1 4202560 3705 0 0 0 64 0 0 0 15 0 19 0 833567893 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3530] ppid=3511 vsize=10547252 CPUtime=0.86 cores=0,2,4,6
/proc/3513/task/3530/stat : 3530 (java) S 3511 3513 3030 0 -1 4202560 5006 0 0 0 86 0 0 0 15 0 19 0 833567893 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3531] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3531/stat : 3531 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567893 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3532] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3532/stat : 3532 (java) S 3511 3513 3030 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 833567893 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3533] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3533/stat : 3533 (java) S 3511 3513 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833567937 10800386048 946554 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1725.12
Current children cumulated vsize (KiB) 10547252
[startup+1782.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/587 3740
/proc/meminfo: memFree=13615716/32951124 swapFree=53733252/67111528
[pid=3513] ppid=3511 vsize=10547252 CPUtime=1785.18 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 3030 0 -1 4202496 957411 0 1 0 178410 108 0 0 25 0 19 0 833567888 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3513/statm: 2636813 949750 2267 9 0 2627547 0
[pid=3513/tid=3514] ppid=3511 vsize=10547252 CPUtime=1772.02 cores=0,2,4,6
/proc/3513/task/3514/stat : 3514 (java) R 3511 3513 3030 0 -1 4202560 859541 0 1 0 177110 92 0 0 25 0 19 0 833567888 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 46912505831563 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3513/tid=3516] ppid=3511 vsize=10547252 CPUtime=0.25 cores=0,2,4,6
/proc/3513/task/3516/stat : 3516 (java) S 3511 3513 3030 0 -1 4202560 9431 0 0 0 24 1 0 0 15 0 19 0 833567890 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3518] ppid=3511 vsize=10547252 CPUtime=0.29 cores=0,2,4,6
/proc/3513/task/3518/stat : 3518 (java) S 3511 3513 3030 0 -1 4202560 11590 0 0 0 27 2 0 0 16 0 19 0 833567890 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3519] ppid=3511 vsize=10547252 CPUtime=0.27 cores=0,2,4,6
/proc/3513/task/3519/stat : 3519 (java) S 3511 3513 3030 0 -1 4202560 9763 0 0 0 26 1 0 0 16 0 19 0 833567890 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3520] ppid=3511 vsize=10547252 CPUtime=0.23 cores=0,2,4,6
/proc/3513/task/3520/stat : 3520 (java) S 3511 3513 3030 0 -1 4202560 7981 0 0 0 22 1 0 0 16 0 19 0 833567890 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3521] ppid=3511 vsize=10547252 CPUtime=0.24 cores=0,2,4,6
/proc/3513/task/3521/stat : 3521 (java) S 3511 3513 3030 0 -1 4202560 6769 0 0 0 23 1 0 0 15 0 19 0 833567890 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3522] ppid=3511 vsize=10547252 CPUtime=0.24 cores=0,2,4,6
/proc/3513/task/3522/stat : 3522 (java) S 3511 3513 3030 0 -1 4202560 6845 0 0 0 24 0 0 0 15 0 19 0 833567890 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3523] ppid=3511 vsize=10547252 CPUtime=0.27 cores=0,2,4,6
/proc/3513/task/3523/stat : 3523 (java) S 3511 3513 3030 0 -1 4202560 6931 0 0 0 27 0 0 0 15 0 19 0 833567890 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3524] ppid=3511 vsize=10547252 CPUtime=0.28 cores=0,2,4,6
/proc/3513/task/3524/stat : 3524 (java) S 3511 3513 3030 0 -1 4202560 8024 0 0 0 27 1 0 0 15 0 19 0 833567890 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3525] ppid=3511 vsize=10547252 CPUtime=9.47 cores=0,2,4,6
/proc/3513/task/3525/stat : 3525 (java) S 3511 3513 3030 0 -1 4202560 20572 0 0 0 944 3 0 0 15 0 19 0 833567891 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 0 0 16800975 18446604448730282112 0 0 -1 2 0 0 0
[pid=3513/tid=3526] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3526/stat : 3526 (java) S 3511 3513 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833567891 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3527] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3527/stat : 3527 (java) S 3511 3513 3030 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833567891 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3528] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3528/stat : 3528 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567893 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652683185 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3529] ppid=3511 vsize=10547252 CPUtime=0.64 cores=0,2,4,6
/proc/3513/task/3529/stat : 3529 (java) S 3511 3513 3030 0 -1 4202560 3705 0 0 0 64 0 0 0 15 0 19 0 833567893 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3530] ppid=3511 vsize=10547252 CPUtime=0.86 cores=0,2,4,6
/proc/3513/task/3530/stat : 3530 (java) S 3511 3513 3030 0 -1 4202560 5006 0 0 0 86 0 0 0 15 0 19 0 833567893 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3531] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3531/stat : 3531 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567893 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3532] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3532/stat : 3532 (java) S 3511 3513 3030 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833567893 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3533] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3533/stat : 3533 (java) S 3511 3513 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833567937 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 10547252
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.2 s]
/proc/loadavg: 2.12 2.08 2.02 3/587 3740
/proc/meminfo: memFree=13615604/32951124 swapFree=53733252/67111528
[pid=3513] ppid=3511 vsize=10547252 CPUtime=1800.09 cores=0,2,4,6
/proc/3513/stat : 3513 (java) S 3511 3513 3030 0 -1 4202496 957411 0 1 0 179901 108 0 0 25 0 19 0 833567888 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3513/statm: 2636813 949750 2267 9 0 2627547 0
[pid=3513/tid=3514] ppid=3511 vsize=10547252 CPUtime=1786.95 cores=0,2,4,6
/proc/3513/task/3514/stat : 3514 (java) R 3511 3513 3030 0 -1 4202560 859541 0 1 0 178603 92 0 0 25 0 19 0 833567888 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 46912505821804 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3513/tid=3516] ppid=3511 vsize=10547252 CPUtime=0.25 cores=0,2,4,6
/proc/3513/task/3516/stat : 3516 (java) S 3511 3513 3030 0 -1 4202560 9431 0 0 0 24 1 0 0 15 0 19 0 833567890 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3518] ppid=3511 vsize=10547252 CPUtime=0.29 cores=0,2,4,6
/proc/3513/task/3518/stat : 3518 (java) S 3511 3513 3030 0 -1 4202560 11590 0 0 0 27 2 0 0 16 0 19 0 833567890 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3519] ppid=3511 vsize=10547252 CPUtime=0.27 cores=0,2,4,6
/proc/3513/task/3519/stat : 3519 (java) S 3511 3513 3030 0 -1 4202560 9763 0 0 0 26 1 0 0 16 0 19 0 833567890 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3520] ppid=3511 vsize=10547252 CPUtime=0.23 cores=0,2,4,6
/proc/3513/task/3520/stat : 3520 (java) S 3511 3513 3030 0 -1 4202560 7981 0 0 0 22 1 0 0 16 0 19 0 833567890 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3521] ppid=3511 vsize=10547252 CPUtime=0.24 cores=0,2,4,6
/proc/3513/task/3521/stat : 3521 (java) S 3511 3513 3030 0 -1 4202560 6769 0 0 0 23 1 0 0 15 0 19 0 833567890 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3522] ppid=3511 vsize=10547252 CPUtime=0.24 cores=0,2,4,6
/proc/3513/task/3522/stat : 3522 (java) S 3511 3513 3030 0 -1 4202560 6845 0 0 0 24 0 0 0 15 0 19 0 833567890 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3523] ppid=3511 vsize=10547252 CPUtime=0.27 cores=0,2,4,6
/proc/3513/task/3523/stat : 3523 (java) S 3511 3513 3030 0 -1 4202560 6931 0 0 0 27 0 0 0 15 0 19 0 833567890 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3524] ppid=3511 vsize=10547252 CPUtime=0.28 cores=0,2,4,6
/proc/3513/task/3524/stat : 3524 (java) S 3511 3513 3030 0 -1 4202560 8024 0 0 0 27 1 0 0 15 0 19 0 833567890 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3525] ppid=3511 vsize=10547252 CPUtime=9.47 cores=0,2,4,6
/proc/3513/task/3525/stat : 3525 (java) S 3511 3513 3030 0 -1 4202560 20572 0 0 0 944 3 0 0 15 0 19 0 833567891 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 0 0 16800975 18446604448730282112 0 0 -1 2 0 0 0
[pid=3513/tid=3526] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3526/stat : 3526 (java) S 3511 3513 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833567891 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3527] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3527/stat : 3527 (java) S 3511 3513 3030 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833567891 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 6 0 0 0
[pid=3513/tid=3528] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3528/stat : 3528 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567893 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652683185 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3529] ppid=3511 vsize=10547252 CPUtime=0.64 cores=0,2,4,6
/proc/3513/task/3529/stat : 3529 (java) S 3511 3513 3030 0 -1 4202560 3705 0 0 0 64 0 0 0 15 0 19 0 833567893 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3530] ppid=3511 vsize=10547252 CPUtime=0.86 cores=0,2,4,6
/proc/3513/task/3530/stat : 3530 (java) S 3511 3513 3030 0 -1 4202560 5006 0 0 0 86 0 0 0 15 0 19 0 833567893 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3531] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3531/stat : 3531 (java) S 3511 3513 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833567893 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652675481 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
[pid=3513/tid=3532] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3532/stat : 3532 (java) S 3511 3513 3030 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833567893 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 4 0 16800975 18446604448730282112 0 0 -1 0 0 0 0
[pid=3513/tid=3533] ppid=3511 vsize=10547252 CPUtime=0 cores=0,2,4,6
/proc/3513/task/3533/stat : 3533 (java) S 3511 3513 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833567937 10800386048 949750 33554432000 1073741824 1073778376 140735314545776 18446744073709551615 253652676096 0 4 0 16800975 18446604448730282112 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10547252
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.4 s]
/proc/loadavg: 2.12 2.08 2.02 3/587 3740
/proc/meminfo: memFree=13615604/32951124 swapFree=53733252/67111528
[pid=3513] ppid=3511 vsize=0 CPUtime=1800.38 cores=0,2,4,6
/proc/3513/stat : 3513 (java) Z 3511 3513 3030 0 -1 4203548 957440 0 1 0 179920 118 0 0 17 0 2 0 833567888 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3513/statm: 0 0 0 0 0 0 0
[pid=3513/tid=3533] ppid=3511 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/3513/task/3533/stat : 3533 (java) R 3511 3513 3030 0 -1 4203588 7 0 0 0 0 9 0 0 18 0 2 0 833567937 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.44
CPU time (s): 1800.44
CPU user time (s): 1799.21
CPU system time (s): 1.22781
CPU usage (%): 100.166
Max. virtual memory (cumulated for all children) (KiB): 10547460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 1.22781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 957440
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= 40142
involuntary context switches= 6611
runsolver used 10.6924 second user time and 22.0596 second system time
The end