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-3457006-1307215865/watcher-3457006-1307215865 -o /tmp/evaluation-result-3457006-1307215865/solver-3457006-1307215865 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457006-1307215865.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: 0.00 0.00 0.00 3/552 24512
/proc/meminfo: memFree=24968384/32951124 swapFree=46970528/67111528
[pid=24512] ppid=24510 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24512/stat : 24512 (java) S 24510 24512 24457 0 -1 4202496 6680 0 1 0 0 0 0 0 25 0 2 0 814002792 10694979584 6382 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/24512/statm: 2611079 6396 917 9 0 2602235 0
[pid=24512/tid=24513] ppid=24510 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24513/stat : 24513 (java) R 24510 24512 24457 0 -1 4202560 7908 0 1 0 0 0 0 0 25 0 2 0 814002793 10694979584 8724 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.040748 s]
/proc/loadavg: 0.00 0.00 0.00 3/552 24512
/proc/meminfo: memFree=24968384/32951124 swapFree=46970528/67111528
[pid=24512] ppid=24510 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/24512/stat : 24512 (java) S 24510 24512 24457 0 -1 4202496 11105 0 1 0 1 1 0 0 25 0 13 0 814002792 10718699520 10802 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/24512/statm: 2616870 10802 1638 9 0 2607618 0
[pid=24512/tid=24513] ppid=24510 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/24512/task/24513/stat : 24513 (java) S 24510 24512 24457 0 -1 4202560 9957 0 1 0 1 1 0 0 25 0 13 0 814002793 10718699520 10802 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212039675462 0 4 0 16784584 3285616171457445888 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480
[startup+0.101211 s]
/proc/loadavg: 0.00 0.00 0.00 3/552 24512
/proc/meminfo: memFree=24968384/32951124 swapFree=46970528/67111528
[pid=24512] ppid=24510 vsize=10604576 CPUtime=0.07 cores=0,2,4,6
/proc/24512/stat : 24512 (java) S 24510 24512 24457 0 -1 4202496 12300 0 1 0 6 1 0 0 25 0 18 0 814002792 10859085824 11996 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24512/statm: 2651144 11996 1916 9 0 2641878 0
[pid=24512/tid=24513] ppid=24510 vsize=10604576 CPUtime=0.06 cores=0,2,4,6
/proc/24512/task/24513/stat : 24513 (java) D 24510 24512 24457 0 -1 4202560 10900 0 1 0 5 1 0 0 18 0 18 0 814002793 10859085824 11996 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212039698567 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10604576
[startup+0.305671 s]
/proc/loadavg: 0.00 0.00 0.00 3/552 24512
/proc/meminfo: memFree=24968384/32951124 swapFree=46970528/67111528
[pid=24512] ppid=24510 vsize=10543012 CPUtime=0.48 cores=0,2,4,6
/proc/24512/stat : 24512 (java) S 24510 24512 24457 0 -1 4202496 17366 0 1 0 45 3 0 0 25 0 19 0 814002792 10796044288 16321 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24512/statm: 2635753 16321 2204 9 0 2626487 0
[pid=24512/tid=24513] ppid=24510 vsize=10543012 CPUtime=0.27 cores=0,2,4,6
/proc/24512/task/24513/stat : 24513 (java) R 24510 24512 24457 0 -1 4202560 13542 0 1 0 25 2 0 0 18 0 19 0 814002793 10796044288 16321 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 46912505529258 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10543012
[startup+0.700597 s]
/proc/loadavg: 0.00 0.00 0.00 3/552 24512
/proc/meminfo: memFree=24968384/32951124 swapFree=46970528/67111528
[pid=24512] ppid=24510 vsize=10556168 CPUtime=1.65 cores=0,2,4,6
/proc/24512/stat : 24512 (java) S 24510 24512 24457 0 -1 4202496 53597 0 1 0 157 8 0 0 25 0 19 0 814002792 10809516032 51094 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24512/statm: 2639042 51094 2223 9 0 2629776 0
[pid=24512/tid=24513] ppid=24510 vsize=10556168 CPUtime=0.67 cores=0,2,4,6
/proc/24512/task/24513/stat : 24513 (java) R 24510 24512 24457 0 -1 4202560 42734 0 1 0 61 6 0 0 18 0 19 0 814002793 10809516032 51094 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 47678254558035 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10556168
[startup+1.50147 s]
/proc/loadavg: 0.00 0.00 0.00 3/572 24532
/proc/meminfo: memFree=24313220/32951124 swapFree=46970528/67111528
[pid=24512] ppid=24510 vsize=10556168 CPUtime=2.64 cores=0,2,4,6
/proc/24512/stat : 24512 (java) S 24510 24512 24457 0 -1 4202496 149137 0 1 0 245 19 0 0 25 0 19 0 814002792 10809516032 146633 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24512/statm: 2639042 146640 2226 9 0 2629776 0
[pid=24512/tid=24513] ppid=24510 vsize=10556168 CPUtime=1.46 cores=0,2,4,6
/proc/24512/task/24513/stat : 24513 (java) R 24510 24512 24457 0 -1 4202560 138260 0 1 0 129 17 0 0 18 0 19 0 814002793 10809516032 146643 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 46912505529258 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24512/tid=24515] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24515/stat : 24515 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10809516032 146648 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24516] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24516/stat : 24516 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10809516032 146652 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24517] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24517/stat : 24517 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10809516032 146656 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24518] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24518/stat : 24518 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10809516032 146660 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24519] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24519/stat : 24519 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10809516032 146664 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24520] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24520/stat : 24520 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10809516032 146668 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24521] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24521/stat : 24521 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10809516032 146672 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24522] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24522/stat : 24522 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10809516032 146675 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24523] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24523/stat : 24523 (java) S 24510 24512 24457 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814002795 10809516032 146679 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 0 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
[pid=24512/tid=24524] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24524/stat : 24524 (java) S 24510 24512 24457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002796 10809516032 146683 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24525] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24525/stat : 24525 (java) S 24510 24512 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002796 10809516032 146687 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24527] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24527/stat : 24527 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002800 10809516032 146691 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051478961 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24528] ppid=24510 vsize=10556168 CPUtime=0.53 cores=0,2,4,6
/proc/24512/task/24528/stat : 24528 (java) S 24510 24512 24457 0 -1 4202560 4548 0 0 0 53 0 0 0 15 0 19 0 814002800 10809516032 146694 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
[pid=24512/tid=24529] ppid=24510 vsize=10556168 CPUtime=0.62 cores=0,2,4,6
/proc/24512/task/24529/stat : 24529 (java) S 24510 24512 24457 0 -1 4202560 5178 0 0 0 61 1 0 0 15 0 19 0 814002800 10809516032 146698 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
[pid=24512/tid=24530] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24530/stat : 24530 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002800 10809516032 146701 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24531] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24531/stat : 24531 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814002800 10809516032 146705 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 4 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
[pid=24512/tid=24532] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24532/stat : 24532 (java) S 24510 24512 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002811 10809516032 146708 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 4 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 10556168
[startup+3.1012 s]
/proc/loadavg: 0.16 0.03 0.01 3/572 24532
/proc/meminfo: memFree=23353856/32951124 swapFree=46970528/67111528
[pid=24512] ppid=24510 vsize=10556168 CPUtime=4.27 cores=0,2,4,6
/proc/24512/stat : 24512 (java) S 24510 24512 24457 0 -1 4202496 311861 0 1 0 390 37 0 0 25 0 19 0 814002792 10809516032 309357 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24512/statm: 2639042 309367 2226 9 0 2629776 0
[pid=24512/tid=24513] ppid=24510 vsize=10556168 CPUtime=3.07 cores=0,2,4,6
/proc/24512/task/24513/stat : 24513 (java) R 24510 24512 24457 0 -1 4202560 300979 0 1 0 272 35 0 0 21 0 19 0 814002793 10809516032 309367 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 46912505529258 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24512/tid=24515] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24515/stat : 24515 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10809516032 309368 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24516] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24516/stat : 24516 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10809516032 309368 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24517] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24517/stat : 24517 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10809516032 309372 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24518] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24518/stat : 24518 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10809516032 309378 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24519] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24519/stat : 24519 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10809516032 309378 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24520] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24520/stat : 24520 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10809516032 309379 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24521] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24521/stat : 24521 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10809516032 309379 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24522] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24522/stat : 24522 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10809516032 309384 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24523] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24523/stat : 24523 (java) S 24510 24512 24457 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814002795 10809516032 309389 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 0 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
[pid=24512/tid=24524] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24524/stat : 24524 (java) S 24510 24512 24457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002796 10809516032 309389 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24525] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24525/stat : 24525 (java) S 24510 24512 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002796 10809516032 309390 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24527] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24527/stat : 24527 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002800 10809516032 309390 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051478961 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24528] ppid=24510 vsize=10556168 CPUtime=0.56 cores=0,2,4,6
/proc/24512/task/24528/stat : 24528 (java) S 24510 24512 24457 0 -1 4202560 4553 0 0 0 56 0 0 0 15 0 19 0 814002800 10809516032 309397 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
[pid=24512/tid=24529] ppid=24510 vsize=10556168 CPUtime=0.62 cores=0,2,4,6
/proc/24512/task/24529/stat : 24529 (java) S 24510 24512 24457 0 -1 4202560 5178 0 0 0 61 1 0 0 15 0 19 0 814002800 10809516032 309400 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
[pid=24512/tid=24530] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24530/stat : 24530 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002800 10809516032 309400 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24531] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24531/stat : 24531 (java) R 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814002800 10809516032 309400 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24512/tid=24532] ppid=24510 vsize=10556168 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24532/stat : 24532 (java) S 24510 24512 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002811 10809516032 309401 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 4 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 10556168
[startup+6.30163 s]
/proc/loadavg: 0.16 0.03 0.01 3/572 24532
/proc/meminfo: memFree=21359052/32951124 swapFree=46970528/67111528
[pid=24512] ppid=24510 vsize=10553192 CPUtime=7.46 cores=0,2,4,6
/proc/24512/stat : 24512 (java) S 24510 24512 24457 0 -1 4202496 457341 0 1 0 694 52 0 0 25 0 19 0 814002792 10806468608 453462 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24512/statm: 2638298 453466 2227 9 0 2629032 0
[pid=24512/tid=24513] ppid=24510 vsize=10553192 CPUtime=6.26 cores=0,2,4,6
/proc/24512/task/24513/stat : 24513 (java) R 24510 24512 24457 0 -1 4202560 446452 0 1 0 576 50 0 0 25 0 19 0 814002793 10806468608 453466 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 46912505592528 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24512/tid=24515] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24515/stat : 24515 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10806468608 453466 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24516] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24516/stat : 24516 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10806468608 453467 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24517] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24517/stat : 24517 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10806468608 453467 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24518] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24518/stat : 24518 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10806468608 453467 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24519] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24519/stat : 24519 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10806468608 453467 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24520] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24520/stat : 24520 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10806468608 453469 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24521] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24521/stat : 24521 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10806468608 453473 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24522] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24522/stat : 24522 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002794 10806468608 453473 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24523] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24523/stat : 24523 (java) S 24510 24512 24457 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814002795 10806468608 453473 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 0 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
[pid=24512/tid=24524] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24524/stat : 24524 (java) S 24510 24512 24457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002796 10806468608 453473 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24525] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24525/stat : 24525 (java) S 24510 24512 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002796 10806468608 453474 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24527] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24527/stat : 24527 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002800 10806468608 453474 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051478961 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24528] ppid=24510 vsize=10553192 CPUtime=0.56 cores=0,2,4,6
/proc/24512/task/24528/stat : 24528 (java) S 24510 24512 24457 0 -1 4202560 4553 0 0 0 56 0 0 0 15 0 19 0 814002800 10806468608 453474 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
[pid=24512/tid=24529] ppid=24510 vsize=10553192 CPUtime=0.62 cores=0,2,4,6
/proc/24512/task/24529/stat : 24529 (java) S 24510 24512 24457 0 -1 4202560 5178 0 0 0 61 1 0 0 15 0 19 0 814002800 10806468608 453474 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/24512/task/24525/stat : 24525 (java) S 24510 24512 24457 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002796 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24527] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24527/stat : 24527 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051478961 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24528] ppid=24510 vsize=10553192 CPUtime=0.56 cores=0,2,4,6
/proc/24512/task/24528/stat : 24528 (java) S 24510 24512 24457 0 -1 4202560 4555 0 0 0 56 0 0 0 15 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
[pid=24512/tid=24529] ppid=24510 vsize=10553192 CPUtime=0.62 cores=0,2,4,6
/proc/24512/task/24529/stat : 24529 (java) S 24510 24512 24457 0 -1 4202560 5178 0 0 0 61 1 0 0 15 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
[pid=24512/tid=24530] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24530/stat : 24530 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24531] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24531/stat : 24531 (java) S 24510 24512 24457 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
[pid=24512/tid=24532] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24532/stat : 24532 (java) S 24510 24512 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002811 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 4 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1664.06
Current children cumulated vsize (KiB) 10553192
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/572 24579
/proc/meminfo: memFree=17621960/32951124 swapFree=46970528/67111528
[pid=24512] ppid=24510 vsize=10553192 CPUtime=1724.06 cores=0,2,4,6
/proc/24512/stat : 24512 (java) S 24510 24512 24457 0 -1 4202496 921949 0 1 0 172296 110 0 0 25 0 19 0 814002792 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24512/statm: 2638298 914545 2240 9 0 2629032 0
[pid=24512/tid=24513] ppid=24510 vsize=10553192 CPUtime=1721.98 cores=0,2,4,6
/proc/24512/task/24513/stat : 24513 (java) R 24510 24512 24457 0 -1 4202560 723726 0 1 0 172121 77 0 0 25 0 19 0 814002793 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 46912505958656 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24512/tid=24515] ppid=24510 vsize=10553192 CPUtime=0.05 cores=0,2,4,6
/proc/24512/task/24515/stat : 24515 (java) S 24510 24512 24457 0 -1 4202560 18796 0 0 0 2 3 0 0 15 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24516] ppid=24510 vsize=10553192 CPUtime=0.07 cores=0,2,4,6
/proc/24512/task/24516/stat : 24516 (java) S 24510 24512 24457 0 -1 4202560 14307 0 0 0 5 2 0 0 15 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
[pid=24512/tid=24517] ppid=24510 vsize=10553192 CPUtime=0.12 cores=0,2,4,6
/proc/24512/task/24517/stat : 24517 (java) S 24510 24512 24457 0 -1 4202560 27542 0 0 0 8 4 0 0 15 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24518] ppid=24510 vsize=10553192 CPUtime=0.09 cores=0,2,4,6
/proc/24512/task/24518/stat : 24518 (java) S 24510 24512 24457 0 -1 4202560 22203 0 0 0 6 3 0 0 16 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24519] ppid=24510 vsize=10553192 CPUtime=0.1 cores=0,2,4,6
/proc/24512/task/24519/stat : 24519 (java) S 24510 24512 24457 0 -1 4202560 26759 0 0 0 6 4 0 0 16 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
[pid=24512/tid=24520] ppid=24510 vsize=10553192 CPUtime=0.15 cores=0,2,4,6
/proc/24512/task/24520/stat : 24520 (java) S 24510 24512 24457 0 -1 4202560 34861 0 0 0 10 5 0 0 16 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24521] ppid=24510 vsize=10553192 CPUtime=0.09 cores=0,2,4,6
/proc/24512/task/24521/stat : 24521 (java) S 24510 24512 24457 0 -1 4202560 21870 0 0 0 6 3 0 0 15 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24522] ppid=24510 vsize=10553192 CPUtime=0.11 cores=0,2,4,6
/proc/24512/task/24522/stat : 24522 (java) S 24510 24512 24457 0 -1 4202560 20870 0 0 0 8 3 0 0 15 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24523] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24523/stat : 24523 (java) S 24510 24512 24457 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 814002795 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 0 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
[pid=24512/tid=24524] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24524/stat : 24524 (java) S 24510 24512 24457 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814002796 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24525] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24525/stat : 24525 (java) S 24510 24512 24457 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002796 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24527] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24527/stat : 24527 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051478961 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24528] ppid=24510 vsize=10553192 CPUtime=0.56 cores=0,2,4,6
/proc/24512/task/24528/stat : 24528 (java) S 24510 24512 24457 0 -1 4202560 4555 0 0 0 56 0 0 0 15 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
[pid=24512/tid=24529] ppid=24510 vsize=10553192 CPUtime=0.62 cores=0,2,4,6
/proc/24512/task/24529/stat : 24529 (java) S 24510 24512 24457 0 -1 4202560 5178 0 0 0 61 1 0 0 15 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
[pid=24512/tid=24530] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24530/stat : 24530 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24531] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24531/stat : 24531 (java) S 24510 24512 24457 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
[pid=24512/tid=24532] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24532/stat : 24532 (java) S 24510 24512 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002811 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 4 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1724.06
Current children cumulated vsize (KiB) 10553192
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.70 3/572 24581
/proc/meminfo: memFree=17620684/32951124 swapFree=46970528/67111528
[pid=24512] ppid=24510 vsize=10553192 CPUtime=1784.06 cores=0,2,4,6
/proc/24512/stat : 24512 (java) S 24510 24512 24457 0 -1 4202496 921951 0 1 0 178296 110 0 0 25 0 19 0 814002792 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24512/statm: 2638298 914545 2240 9 0 2629032 0
[pid=24512/tid=24513] ppid=24510 vsize=10553192 CPUtime=1781.99 cores=0,2,4,6
/proc/24512/task/24513/stat : 24513 (java) R 24510 24512 24457 0 -1 4202560 723726 0 1 0 178122 77 0 0 25 0 19 0 814002793 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 46912505593357 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24512/tid=24515] ppid=24510 vsize=10553192 CPUtime=0.05 cores=0,2,4,6
/proc/24512/task/24515/stat : 24515 (java) S 24510 24512 24457 0 -1 4202560 18796 0 0 0 2 3 0 0 15 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24516] ppid=24510 vsize=10553192 CPUtime=0.07 cores=0,2,4,6
/proc/24512/task/24516/stat : 24516 (java) S 24510 24512 24457 0 -1 4202560 14307 0 0 0 5 2 0 0 15 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
[pid=24512/tid=24517] ppid=24510 vsize=10553192 CPUtime=0.12 cores=0,2,4,6
/proc/24512/task/24517/stat : 24517 (java) S 24510 24512 24457 0 -1 4202560 27542 0 0 0 8 4 0 0 15 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24518] ppid=24510 vsize=10553192 CPUtime=0.09 cores=0,2,4,6
/proc/24512/task/24518/stat : 24518 (java) S 24510 24512 24457 0 -1 4202560 22203 0 0 0 6 3 0 0 16 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24519] ppid=24510 vsize=10553192 CPUtime=0.1 cores=0,2,4,6
/proc/24512/task/24519/stat : 24519 (java) S 24510 24512 24457 0 -1 4202560 26759 0 0 0 6 4 0 0 16 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
[pid=24512/tid=24520] ppid=24510 vsize=10553192 CPUtime=0.15 cores=0,2,4,6
/proc/24512/task/24520/stat : 24520 (java) S 24510 24512 24457 0 -1 4202560 34861 0 0 0 10 5 0 0 16 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24521] ppid=24510 vsize=10553192 CPUtime=0.09 cores=0,2,4,6
/proc/24512/task/24521/stat : 24521 (java) S 24510 24512 24457 0 -1 4202560 21870 0 0 0 6 3 0 0 15 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24522] ppid=24510 vsize=10553192 CPUtime=0.11 cores=0,2,4,6
/proc/24512/task/24522/stat : 24522 (java) S 24510 24512 24457 0 -1 4202560 20870 0 0 0 8 3 0 0 15 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24523] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24523/stat : 24523 (java) S 24510 24512 24457 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 814002795 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 0 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
[pid=24512/tid=24524] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24524/stat : 24524 (java) S 24510 24512 24457 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814002796 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24525] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24525/stat : 24525 (java) S 24510 24512 24457 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002796 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24527] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24527/stat : 24527 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051478961 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24528] ppid=24510 vsize=10553192 CPUtime=0.56 cores=0,2,4,6
/proc/24512/task/24528/stat : 24528 (java) S 24510 24512 24457 0 -1 4202560 4555 0 0 0 56 0 0 0 15 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
[pid=24512/tid=24529] ppid=24510 vsize=10553192 CPUtime=0.62 cores=0,2,4,6
/proc/24512/task/24529/stat : 24529 (java) S 24510 24512 24457 0 -1 4202560 5178 0 0 0 61 1 0 0 15 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
[pid=24512/tid=24530] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24530/stat : 24530 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24531] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24531/stat : 24531 (java) S 24510 24512 24457 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
[pid=24512/tid=24532] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24532/stat : 24532 (java) S 24510 24512 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002811 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 4 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1784.06
Current children cumulated vsize (KiB) 10553192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.70 2/552 24593
/proc/meminfo: memFree=21343884/32951124 swapFree=46970528/67111528
[pid=24512] ppid=24510 vsize=10553192 CPUtime=1800.08 cores=0,2,4,6
/proc/24512/stat : 24512 (java) S 24510 24512 24457 0 -1 4202496 921953 0 1 0 179898 110 0 0 25 0 19 0 814002792 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24512/statm: 2638298 914545 2240 9 0 2629032 0
[pid=24512/tid=24513] ppid=24510 vsize=10553192 CPUtime=1798 cores=0,2,4,6
/proc/24512/task/24513/stat : 24513 (java) R 24510 24512 24457 0 -1 4202560 723726 0 1 0 179723 77 0 0 25 0 19 0 814002793 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 46912505593384 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24512/tid=24515] ppid=24510 vsize=10553192 CPUtime=0.05 cores=0,2,4,6
/proc/24512/task/24515/stat : 24515 (java) S 24510 24512 24457 0 -1 4202560 18796 0 0 0 2 3 0 0 15 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24516] ppid=24510 vsize=10553192 CPUtime=0.07 cores=0,2,4,6
/proc/24512/task/24516/stat : 24516 (java) S 24510 24512 24457 0 -1 4202560 14307 0 0 0 5 2 0 0 15 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
[pid=24512/tid=24517] ppid=24510 vsize=10553192 CPUtime=0.12 cores=0,2,4,6
/proc/24512/task/24517/stat : 24517 (java) S 24510 24512 24457 0 -1 4202560 27542 0 0 0 8 4 0 0 15 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24518] ppid=24510 vsize=10553192 CPUtime=0.09 cores=0,2,4,6
/proc/24512/task/24518/stat : 24518 (java) S 24510 24512 24457 0 -1 4202560 22203 0 0 0 6 3 0 0 16 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24519] ppid=24510 vsize=10553192 CPUtime=0.1 cores=0,2,4,6
/proc/24512/task/24519/stat : 24519 (java) S 24510 24512 24457 0 -1 4202560 26759 0 0 0 6 4 0 0 16 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
[pid=24512/tid=24520] ppid=24510 vsize=10553192 CPUtime=0.15 cores=0,2,4,6
/proc/24512/task/24520/stat : 24520 (java) S 24510 24512 24457 0 -1 4202560 34861 0 0 0 10 5 0 0 16 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24521] ppid=24510 vsize=10553192 CPUtime=0.09 cores=0,2,4,6
/proc/24512/task/24521/stat : 24521 (java) S 24510 24512 24457 0 -1 4202560 21870 0 0 0 6 3 0 0 15 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24522] ppid=24510 vsize=10553192 CPUtime=0.11 cores=0,2,4,6
/proc/24512/task/24522/stat : 24522 (java) S 24510 24512 24457 0 -1 4202560 20870 0 0 0 8 3 0 0 15 0 19 0 814002794 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 6 0 0 0
[pid=24512/tid=24523] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24523/stat : 24523 (java) S 24510 24512 24457 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 814002795 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 0 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
[pid=24512/tid=24524] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24524/stat : 24524 (java) S 24510 24512 24457 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814002796 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24525] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24525/stat : 24525 (java) S 24510 24512 24457 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002796 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24527] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24527/stat : 24527 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051478961 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24528] ppid=24510 vsize=10553192 CPUtime=0.56 cores=0,2,4,6
/proc/24512/task/24528/stat : 24528 (java) S 24510 24512 24457 0 -1 4202560 4555 0 0 0 56 0 0 0 15 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
[pid=24512/tid=24529] ppid=24510 vsize=10553192 CPUtime=0.62 cores=0,2,4,6
/proc/24512/task/24529/stat : 24529 (java) S 24510 24512 24457 0 -1 4202560 5178 0 0 0 61 1 0 0 15 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
[pid=24512/tid=24530] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24530/stat : 24530 (java) S 24510 24512 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471257 0 4 0 16800975 18446604452981153856 0 0 -1 2 0 0 0
[pid=24512/tid=24531] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24531/stat : 24531 (java) S 24510 24512 24457 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 814002800 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 4 0 16800975 18446604452981153856 0 0 -1 4 0 0 0
[pid=24512/tid=24532] ppid=24510 vsize=10553192 CPUtime=0 cores=0,2,4,6
/proc/24512/task/24532/stat : 24532 (java) S 24510 24512 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002811 10806468608 914545 33554432000 1073741824 1073778376 140734191712384 18446744073709551615 212051471872 0 4 0 16800975 18446604452981153856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10553192
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 1.70 3/552 24596
/proc/meminfo: memFree=21343760/32951124 swapFree=46970528/67111528
[pid=24512] ppid=24510 vsize=0 CPUtime=1800.5 cores=0,2,4,6
/proc/24512/stat : 24512 (java) Z 24510 24512 24457 0 -1 4203548 921982 0 1 0 179918 132 0 0 16 0 2 0 814002792 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24512/statm: 0 0 0 0 0 0 0
[pid=24512/tid=24532] ppid=24510 vsize=0 CPUtime=0.13 cores=0,2,4,6
/proc/24512/task/24532/stat : 24532 (java) R 24510 24512 24457 0 -1 4203588 7 0 0 0 0 13 0 0 18 0 2 0 814002811 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.61
CPU time (s): 1800.53
CPU user time (s): 1799.19
CPU system time (s): 1.3378
CPU usage (%): 100.106
Max. virtual memory (cumulated for all children) (KiB): 10604576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 1.3378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 921982
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= 36898
involuntary context switches= 3177
runsolver used 10.3974 second user time and 20.5709 second system time
The end