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-3458689-1307155462/watcher-3458689-1307155462 -o /tmp/evaluation-result-3458689-1307155462/solver-3458689-1307155462 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458689-1307155462.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.19 1.74 1.90 3/454 8532
/proc/meminfo: memFree=24652464/32951124 swapFree=50923800/67111528
[pid=8532] ppid=8530 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/8532/stat : 8532 (java) S 8530 8532 5628 0 -1 4202496 1644 0 1 0 0 0 0 0 21 0 2 0 807961888 13833195520 1348 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/8532/statm: 3377245 1361 906 9 0 3368401 0
[pid=8532/tid=8533] ppid=8530 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8533/stat : 8533 (java) R 8530 8532 5628 0 -1 4202560 5690 0 1 0 0 0 0 0 23 0 2 0 807961889 13850947584 6506 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0689651 s]
/proc/loadavg: 1.19 1.74 1.90 3/454 8532
/proc/meminfo: memFree=24652464/32951124 swapFree=50923800/67111528
[pid=8532] ppid=8530 vsize=13554952 CPUtime=0.05 cores=0,2,4,6
/proc/8532/stat : 8532 (java) S 8530 8532 5628 0 -1 4202496 14260 0 1 0 3 2 0 0 21 0 18 0 807961888 13880270848 13958 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8532/statm: 3388738 13960 1742 9 0 3379472 0
[pid=8532/tid=8533] ppid=8530 vsize=13554952 CPUtime=0.05 cores=0,2,4,6
/proc/8532/task/8533/stat : 8533 (java) R 8530 8532 5628 0 -1 4202560 13092 0 1 0 3 2 0 0 25 0 18 0 807961889 13880270848 13963 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 47771363255043 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554952
[startup+0.100911 s]
/proc/loadavg: 1.19 1.74 1.90 3/454 8532
/proc/meminfo: memFree=24652464/32951124 swapFree=50923800/67111528
[pid=8532] ppid=8530 vsize=13622012 CPUtime=0.1 cores=0,2,4,6
/proc/8532/stat : 8532 (java) S 8530 8532 5628 0 -1 4202496 15561 0 1 0 8 2 0 0 21 0 18 0 807961888 13948940288 15259 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8532/statm: 3405503 15260 2093 9 0 3396237 0
[pid=8532/tid=8533] ppid=8530 vsize=13622012 CPUtime=0.08 cores=0,2,4,6
/proc/8532/task/8533/stat : 8533 (java) R 8530 8532 5628 0 -1 4202560 13665 0 1 0 6 2 0 0 18 0 18 0 807961889 13948940288 15260 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270338044961 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622012
[startup+0.300873 s]
/proc/loadavg: 1.19 1.74 1.90 3/454 8532
/proc/meminfo: memFree=24652464/32951124 swapFree=50923800/67111528
[pid=8532] ppid=8530 vsize=13624600 CPUtime=0.5 cores=0,2,4,6
/proc/8532/stat : 8532 (java) S 8530 8532 5628 0 -1 4202496 18749 0 1 0 47 3 0 0 21 0 18 0 807961888 13951590400 18202 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8532/statm: 3406150 18203 2202 9 0 3396884 0
[pid=8532/tid=8533] ppid=8530 vsize=13624600 CPUtime=0.29 cores=0,2,4,6
/proc/8532/task/8533/stat : 8533 (java) R 8530 8532 5628 0 -1 4202560 15812 0 1 0 26 3 0 0 18 0 18 0 807961889 13951590400 18203 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 46912505590514 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13624600
[startup+0.70086 s]
/proc/loadavg: 1.19 1.74 1.90 3/454 8532
/proc/meminfo: memFree=24652464/32951124 swapFree=50923800/67111528
[pid=8532] ppid=8530 vsize=13627264 CPUtime=1.15 cores=0,2,4,6
/proc/8532/stat : 8532 (java) S 8530 8532 5628 0 -1 4202496 57109 0 1 0 107 8 0 0 21 0 18 0 807961888 13954318336 55091 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8532/statm: 3406816 55096 2214 9 0 3397550 0
[pid=8532/tid=8533] ppid=8530 vsize=13627264 CPUtime=0.68 cores=0,2,4,6
/proc/8532/task/8533/stat : 8533 (java) R 8530 8532 5628 0 -1 4202560 51165 0 1 0 61 7 0 0 18 0 18 0 807961889 13954318336 55098 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 46912505590414 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 13627264
[startup+1.5007 s]
/proc/loadavg: 1.19 1.74 1.90 6/473 8597
/proc/meminfo: memFree=24361424/32951124 swapFree=50923800/67111528
[pid=8532] ppid=8530 vsize=13628428 CPUtime=2.28 cores=0,2,4,6
/proc/8532/stat : 8532 (java) S 8530 8532 5628 0 -1 4202496 69175 0 1 0 219 9 0 0 21 0 19 0 807961888 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8532/statm: 3407107 67118 2236 9 0 3397841 0
[pid=8532/tid=8533] ppid=8530 vsize=13628428 CPUtime=1.48 cores=0,2,4,6
/proc/8532/task/8533/stat : 8533 (java) R 8530 8532 5628 0 -1 4202560 63080 0 1 0 140 8 0 0 19 0 19 0 807961889 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 46912505855441 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8532/tid=8535] ppid=8530 vsize=13628428 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8535/stat : 8535 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 807961891 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8536] ppid=8530 vsize=13628428 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8536/stat : 8536 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8537] ppid=8530 vsize=13628428 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8537/stat : 8537 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8538] ppid=8530 vsize=13628428 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8538/stat : 8538 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8539] ppid=8530 vsize=13628428 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8539/stat : 8539 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8540] ppid=8530 vsize=13628428 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8540/stat : 8540 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8541] ppid=8530 vsize=13628428 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8541/stat : 8541 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8542] ppid=8530 vsize=13628428 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8542/stat : 8542 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8543] ppid=8530 vsize=13628428 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8543/stat : 8543 (java) S 8530 8532 5628 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 807961892 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 0 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8544] ppid=8530 vsize=13628428 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8544/stat : 8544 (java) S 8530 8532 5628 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807961892 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8545] ppid=8530 vsize=13628428 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8545/stat : 8545 (java) S 8530 8532 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807961892 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8546] ppid=8530 vsize=13628428 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8546/stat : 8546 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961894 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350207409 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8547] ppid=8530 vsize=13628428 CPUtime=0.37 cores=0,2,4,6
/proc/8532/task/8547/stat : 8547 (java) S 8530 8532 5628 0 -1 4202560 2168 0 0 0 37 0 0 0 19 0 19 0 807961894 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 0 0 0 0
[pid=8532/tid=8548] ppid=8530 vsize=13628428 CPUtime=0.4 cores=0,2,4,6
/proc/8532/task/8548/stat : 8548 (java) S 8530 8532 5628 0 -1 4202560 2768 0 0 0 40 0 0 0 15 0 19 0 807961894 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8549] ppid=8530 vsize=13628428 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8549/stat : 8549 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961894 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8550] ppid=8530 vsize=13628428 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8550/stat : 8550 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807961895 13955510272 67118 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 13628428
[startup+3.10135 s]
/proc/loadavg: 1.25 1.74 1.90 3/474 8598
/proc/meminfo: memFree=24349448/32951124 swapFree=50923800/67111528
[pid=8532] ppid=8530 vsize=13628344 CPUtime=4.04 cores=0,2,4,6
/proc/8532/stat : 8532 (java) S 8530 8532 5628 0 -1 4202496 70395 0 1 0 395 9 0 0 21 0 19 0 807961888 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8532/statm: 3407086 67776 2237 9 0 3397820 0
[pid=8532/tid=8533] ppid=8530 vsize=13628344 CPUtime=3.08 cores=0,2,4,6
/proc/8532/task/8533/stat : 8533 (java) R 8530 8532 5628 0 -1 4202560 63709 0 1 0 300 8 0 0 23 0 19 0 807961889 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 46912505767029 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8532/tid=8535] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8535/stat : 8535 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 807961891 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8536] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8536/stat : 8536 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8537] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8537/stat : 8537 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8538] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8538/stat : 8538 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8539] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8539/stat : 8539 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8540] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8540/stat : 8540 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8541] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8541/stat : 8541 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8542] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8542/stat : 8542 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8543] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8543/stat : 8543 (java) S 8530 8532 5628 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 807961892 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 0 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8544] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8544/stat : 8544 (java) S 8530 8532 5628 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807961892 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8545] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8545/stat : 8545 (java) S 8530 8532 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807961892 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8546] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8546/stat : 8546 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961894 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350207409 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8547] ppid=8530 vsize=13628344 CPUtime=0.44 cores=0,2,4,6
/proc/8532/task/8547/stat : 8547 (java) S 8530 8532 5628 0 -1 4202560 2528 0 0 0 44 0 0 0 16 0 19 0 807961894 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 0 0 0 0
[pid=8532/tid=8548] ppid=8530 vsize=13628344 CPUtime=0.5 cores=0,2,4,6
/proc/8532/task/8548/stat : 8548 (java) S 8530 8532 5628 0 -1 4202560 2998 0 0 0 50 0 0 0 15 0 19 0 807961894 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8549] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8549/stat : 8549 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961894 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8550] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8550/stat : 8550 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807961895 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
[pid=8532/tid=8598] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8598/stat : 8598 (java) S 8530 8532 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807961991 13955424256 67776 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 13628344
[startup+6.30075 s]
/proc/loadavg: 1.25 1.74 1.90 3/474 8598
/proc/meminfo: memFree=24322320/32951124 swapFree=50923800/67111528
[pid=8532] ppid=8530 vsize=13628344 CPUtime=7.25 cores=0,2,4,6
/proc/8532/stat : 8532 (java) S 8530 8532 5628 0 -1 4202496 71682 0 1 0 716 9 0 0 21 0 19 0 807961888 13955424256 68994 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8532/statm: 3407086 68994 2237 9 0 3397820 0
[pid=8532/tid=8533] ppid=8530 vsize=13628344 CPUtime=6.28 cores=0,2,4,6
/proc/8532/task/8533/stat : 8533 (java) R 8530 8532 5628 0 -1 4202560 64993 0 1 0 620 8 0 0 25 0 19 0 807961889 13955424256 68994 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 46912505882039 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8532/tid=8535] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8535/stat : 8535 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 807961891 13955424256 68994 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8536] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8536/stat : 8536 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955424256 68995 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8537] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8537/stat : 8537 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955424256 68995 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8538] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8538/stat : 8538 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955424256 68995 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8539] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8539/stat : 8539 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955424256 68995 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8540] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8540/stat : 8540 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955424256 68995 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8541] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8541/stat : 8541 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955424256 68995 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8542] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8542/stat : 8542 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961891 13955424256 68995 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8543] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8543/stat : 8543 (java) S 8530 8532 5628 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 807961892 13955424256 68995 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 0 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8544] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8544/stat : 8544 (java) S 8530 8532 5628 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807961892 13955424256 68995 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8545] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8545/stat : 8545 (java) S 8530 8532 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807961892 13955424256 68995 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8546] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8546/stat : 8546 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961894 13955424256 68995 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350207409 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8547] ppid=8530 vsize=13628344 CPUtime=0.45 cores=0,2,4,6
/proc/8532/task/8547/stat : 8547 (java) S 8530 8532 5628 0 -1 4202560 2531 0 0 0 45 0 0 0 15 0 19 0 807961894 13955424256 68995 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 0 0 0 0
[pid=8532/tid=8548] ppid=8530 vsize=13628344 CPUtime=0.5 cores=0,2,4,6
/proc/8532/task/8548/stat : 8548 (java) S 8530 8532 5628 0 -1 4202560 2998 0 0 0 50 0 0 0 16 0 19 0 807961894 13955424256 68995 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8549] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8549/stat : 8549 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961894 13955424256 68995 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/8532/task/8544/stat : 8544 (java) S 8530 8532 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807961892 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8545] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8545/stat : 8545 (java) S 8530 8532 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807961892 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8546] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8546/stat : 8546 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961894 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350207409 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8547] ppid=8530 vsize=13628344 CPUtime=0.6 cores=0,2,4,6
/proc/8532/task/8547/stat : 8547 (java) S 8530 8532 5628 0 -1 4202560 2576 0 0 0 60 0 0 0 15 0 19 0 807961894 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 0 0 0 0
[pid=8532/tid=8548] ppid=8530 vsize=13628344 CPUtime=0.94 cores=0,2,4,6
/proc/8532/task/8548/stat : 8548 (java) S 8530 8532 5628 0 -1 4202560 10219 0 0 0 93 1 0 0 15 0 19 0 807961894 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8549] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8549/stat : 8549 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961894 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8550] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8550/stat : 8550 (java) S 8530 8532 5628 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 807961895 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 4 0 16800975 18446604449608091456 0 0 -1 0 0 0 0
[pid=8532/tid=8598] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8598/stat : 8598 (java) S 8530 8532 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807961991 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1663.8
Current children cumulated vsize (KiB) 13628344
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/474 8653
/proc/meminfo: memFree=22308004/32951124 swapFree=50923800/67111528
[pid=8532] ppid=8530 vsize=13628344 CPUtime=1723.8 cores=0,2,4,6
/proc/8532/stat : 8532 (java) S 8530 8532 5628 0 -1 4202496 479588 0 1 0 172311 69 0 0 21 0 19 0 807961888 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8532/statm: 3407086 470232 2265 9 0 3397820 0
[pid=8532/tid=8533] ppid=8530 vsize=13628344 CPUtime=1721.76 cores=0,2,4,6
/proc/8532/task/8533/stat : 8533 (java) R 8530 8532 5628 0 -1 4202560 353676 0 1 0 172125 51 0 0 25 0 19 0 807961889 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 46912505855517 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8532/tid=8535] ppid=8530 vsize=13628344 CPUtime=0.02 cores=0,2,4,6
/proc/8532/task/8535/stat : 8535 (java) S 8530 8532 5628 0 -1 4202560 4023 0 0 0 2 0 0 0 18 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8536] ppid=8530 vsize=13628344 CPUtime=0.04 cores=0,2,4,6
/proc/8532/task/8536/stat : 8536 (java) S 8530 8532 5628 0 -1 4202560 18830 0 0 0 1 3 0 0 16 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8537] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8537/stat : 8537 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
[pid=8532/tid=8538] ppid=8530 vsize=13628344 CPUtime=0.05 cores=0,2,4,6
/proc/8532/task/8538/stat : 8538 (java) S 8530 8532 5628 0 -1 4202560 18354 0 0 0 3 2 0 0 16 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 0 0 0 0
[pid=8532/tid=8539] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8539/stat : 8539 (java) S 8530 8532 5628 0 -1 4202560 554 0 0 0 0 0 0 0 16 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8540] ppid=8530 vsize=13628344 CPUtime=0.01 cores=0,2,4,6
/proc/8532/task/8540/stat : 8540 (java) S 8530 8532 5628 0 -1 4202560 4677 0 0 0 1 0 0 0 18 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
[pid=8532/tid=8541] ppid=8530 vsize=13628344 CPUtime=0.07 cores=0,2,4,6
/proc/8532/task/8541/stat : 8541 (java) S 8530 8532 5628 0 -1 4202560 24357 0 0 0 4 3 0 0 18 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
[pid=8532/tid=8542] ppid=8530 vsize=13628344 CPUtime=0.02 cores=0,2,4,6
/proc/8532/task/8542/stat : 8542 (java) S 8530 8532 5628 0 -1 4202560 4447 0 0 0 2 0 0 0 18 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
[pid=8532/tid=8543] ppid=8530 vsize=13628344 CPUtime=0.17 cores=0,2,4,6
/proc/8532/task/8543/stat : 8543 (java) S 8530 8532 5628 0 -1 4202560 36624 0 0 0 14 3 0 0 15 0 19 0 807961892 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 0 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8544] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8544/stat : 8544 (java) S 8530 8532 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807961892 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8545] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8545/stat : 8545 (java) S 8530 8532 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807961892 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8546] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8546/stat : 8546 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961894 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350207409 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8547] ppid=8530 vsize=13628344 CPUtime=0.6 cores=0,2,4,6
/proc/8532/task/8547/stat : 8547 (java) S 8530 8532 5628 0 -1 4202560 2576 0 0 0 60 0 0 0 15 0 19 0 807961894 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 0 0 0 0
[pid=8532/tid=8548] ppid=8530 vsize=13628344 CPUtime=0.94 cores=0,2,4,6
/proc/8532/task/8548/stat : 8548 (java) S 8530 8532 5628 0 -1 4202560 10219 0 0 0 93 1 0 0 15 0 19 0 807961894 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8549] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8549/stat : 8549 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961894 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8550] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8550/stat : 8550 (java) S 8530 8532 5628 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 807961895 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 4 0 16800975 18446604449608091456 0 0 -1 0 0 0 0
[pid=8532/tid=8598] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8598/stat : 8598 (java) S 8530 8532 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807961991 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1723.8
Current children cumulated vsize (KiB) 13628344
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/474 8654
/proc/meminfo: memFree=22307064/32951124 swapFree=50923800/67111528
[pid=8532] ppid=8530 vsize=13628344 CPUtime=1783.8 cores=0,2,4,6
/proc/8532/stat : 8532 (java) S 8530 8532 5628 0 -1 4202496 479590 0 1 0 178311 69 0 0 21 0 19 0 807961888 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8532/statm: 3407086 470232 2265 9 0 3397820 0
[pid=8532/tid=8533] ppid=8530 vsize=13628344 CPUtime=1781.77 cores=0,2,4,6
/proc/8532/task/8533/stat : 8533 (java) R 8530 8532 5628 0 -1 4202560 353676 0 1 0 178126 51 0 0 25 0 19 0 807961889 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 46912505882142 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8532/tid=8535] ppid=8530 vsize=13628344 CPUtime=0.02 cores=0,2,4,6
/proc/8532/task/8535/stat : 8535 (java) S 8530 8532 5628 0 -1 4202560 4023 0 0 0 2 0 0 0 18 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8536] ppid=8530 vsize=13628344 CPUtime=0.04 cores=0,2,4,6
/proc/8532/task/8536/stat : 8536 (java) S 8530 8532 5628 0 -1 4202560 18830 0 0 0 1 3 0 0 16 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8537] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8537/stat : 8537 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
[pid=8532/tid=8538] ppid=8530 vsize=13628344 CPUtime=0.05 cores=0,2,4,6
/proc/8532/task/8538/stat : 8538 (java) S 8530 8532 5628 0 -1 4202560 18354 0 0 0 3 2 0 0 16 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 0 0 0 0
[pid=8532/tid=8539] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8539/stat : 8539 (java) S 8530 8532 5628 0 -1 4202560 554 0 0 0 0 0 0 0 16 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8540] ppid=8530 vsize=13628344 CPUtime=0.01 cores=0,2,4,6
/proc/8532/task/8540/stat : 8540 (java) S 8530 8532 5628 0 -1 4202560 4677 0 0 0 1 0 0 0 18 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
[pid=8532/tid=8541] ppid=8530 vsize=13628344 CPUtime=0.07 cores=0,2,4,6
/proc/8532/task/8541/stat : 8541 (java) S 8530 8532 5628 0 -1 4202560 24357 0 0 0 4 3 0 0 18 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
[pid=8532/tid=8542] ppid=8530 vsize=13628344 CPUtime=0.02 cores=0,2,4,6
/proc/8532/task/8542/stat : 8542 (java) S 8530 8532 5628 0 -1 4202560 4447 0 0 0 2 0 0 0 18 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
[pid=8532/tid=8543] ppid=8530 vsize=13628344 CPUtime=0.17 cores=0,2,4,6
/proc/8532/task/8543/stat : 8543 (java) S 8530 8532 5628 0 -1 4202560 36624 0 0 0 14 3 0 0 15 0 19 0 807961892 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 0 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8544] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8544/stat : 8544 (java) S 8530 8532 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807961892 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8545] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8545/stat : 8545 (java) S 8530 8532 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807961892 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8546] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8546/stat : 8546 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961894 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350207409 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8547] ppid=8530 vsize=13628344 CPUtime=0.6 cores=0,2,4,6
/proc/8532/task/8547/stat : 8547 (java) S 8530 8532 5628 0 -1 4202560 2576 0 0 0 60 0 0 0 15 0 19 0 807961894 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 0 0 0 0
[pid=8532/tid=8548] ppid=8530 vsize=13628344 CPUtime=0.94 cores=0,2,4,6
/proc/8532/task/8548/stat : 8548 (java) S 8530 8532 5628 0 -1 4202560 10219 0 0 0 93 1 0 0 15 0 19 0 807961894 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8549] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8549/stat : 8549 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961894 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8550] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8550/stat : 8550 (java) S 8530 8532 5628 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807961895 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 4 0 16800975 18446604449608091456 0 0 -1 0 0 0 0
[pid=8532/tid=8598] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8598/stat : 8598 (java) S 8530 8532 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807961991 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1783.8
Current children cumulated vsize (KiB) 13628344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.52 s]
/proc/loadavg: 2.07 2.02 1.99 2/454 8658
/proc/meminfo: memFree=22819068/32951124 swapFree=50923800/67111528
[pid=8532] ppid=8530 vsize=13628344 CPUtime=1800.03 cores=0,2,4,6
/proc/8532/stat : 8532 (java) S 8530 8532 5628 0 -1 4202496 479592 0 1 0 179934 69 0 0 21 0 19 0 807961888 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8532/statm: 3407086 470232 2265 9 0 3397820 0
[pid=8532/tid=8533] ppid=8530 vsize=13628344 CPUtime=1798 cores=0,2,4,6
/proc/8532/task/8533/stat : 8533 (java) R 8530 8532 5628 0 -1 4202560 353676 0 1 0 179749 51 0 0 25 0 19 0 807961889 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 46912505784935 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8532/tid=8535] ppid=8530 vsize=13628344 CPUtime=0.02 cores=0,2,4,6
/proc/8532/task/8535/stat : 8535 (java) S 8530 8532 5628 0 -1 4202560 4023 0 0 0 2 0 0 0 18 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8536] ppid=8530 vsize=13628344 CPUtime=0.04 cores=0,2,4,6
/proc/8532/task/8536/stat : 8536 (java) S 8530 8532 5628 0 -1 4202560 18830 0 0 0 1 3 0 0 16 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8537] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8537/stat : 8537 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
[pid=8532/tid=8538] ppid=8530 vsize=13628344 CPUtime=0.05 cores=0,2,4,6
/proc/8532/task/8538/stat : 8538 (java) S 8530 8532 5628 0 -1 4202560 18354 0 0 0 3 2 0 0 16 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 0 0 0 0
[pid=8532/tid=8539] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8539/stat : 8539 (java) S 8530 8532 5628 0 -1 4202560 554 0 0 0 0 0 0 0 16 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8540] ppid=8530 vsize=13628344 CPUtime=0.01 cores=0,2,4,6
/proc/8532/task/8540/stat : 8540 (java) S 8530 8532 5628 0 -1 4202560 4677 0 0 0 1 0 0 0 18 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
[pid=8532/tid=8541] ppid=8530 vsize=13628344 CPUtime=0.07 cores=0,2,4,6
/proc/8532/task/8541/stat : 8541 (java) S 8530 8532 5628 0 -1 4202560 24357 0 0 0 4 3 0 0 18 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
[pid=8532/tid=8542] ppid=8530 vsize=13628344 CPUtime=0.02 cores=0,2,4,6
/proc/8532/task/8542/stat : 8542 (java) S 8530 8532 5628 0 -1 4202560 4447 0 0 0 2 0 0 0 18 0 19 0 807961891 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
[pid=8532/tid=8543] ppid=8530 vsize=13628344 CPUtime=0.17 cores=0,2,4,6
/proc/8532/task/8543/stat : 8543 (java) S 8530 8532 5628 0 -1 4202560 36624 0 0 0 14 3 0 0 15 0 19 0 807961892 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 0 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8544] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8544/stat : 8544 (java) S 8530 8532 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807961892 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8545] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8545/stat : 8545 (java) S 8530 8532 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807961892 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8546] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8546/stat : 8546 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961894 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350207409 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8547] ppid=8530 vsize=13628344 CPUtime=0.6 cores=0,2,4,6
/proc/8532/task/8547/stat : 8547 (java) S 8530 8532 5628 0 -1 4202560 2576 0 0 0 60 0 0 0 15 0 19 0 807961894 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 0 0 0 0
[pid=8532/tid=8548] ppid=8530 vsize=13628344 CPUtime=0.94 cores=0,2,4,6
/proc/8532/task/8548/stat : 8548 (java) S 8530 8532 5628 0 -1 4202560 10219 0 0 0 93 1 0 0 15 0 19 0 807961894 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 4 0 0 0
[pid=8532/tid=8549] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8549/stat : 8549 (java) S 8530 8532 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807961894 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350199705 0 4 0 16800975 18446604449608091456 0 0 -1 2 0 0 0
[pid=8532/tid=8550] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8550/stat : 8550 (java) S 8530 8532 5628 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807961895 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 4 0 16800975 18446604449608091456 0 0 -1 0 0 0 0
[pid=8532/tid=8598] ppid=8530 vsize=13628344 CPUtime=0 cores=0,2,4,6
/proc/8532/task/8598/stat : 8598 (java) S 8530 8532 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807961991 13955424256 470232 33554432000 1073741824 1073778376 140736490966192 18446744073709551615 270350200320 0 4 0 16800975 18446604449608091456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13628344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.62 s]
/proc/loadavg: 2.07 2.02 1.99 2/454 8658
/proc/meminfo: memFree=22819068/32951124 swapFree=50923800/67111528
[pid=8532] ppid=8530 vsize=0 CPUtime=1800.13 cores=0,2,4,6
/proc/8532/stat : 8532 (java) R 8530 8532 5628 0 -1 4203524 479622 0 1 0 179936 77 0 0 17 0 1 0 807961888 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8532/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.63
CPU time (s): 1800.15
CPU user time (s): 1799.37
CPU system time (s): 0.78288
CPU usage (%): 100.085
Max. virtual memory (cumulated for all children) (KiB): 13628428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.78288
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 479622
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= 36795
involuntary context switches= 34655
runsolver used 8.31374 second user time and 17.8723 second system time
The end