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-3459626-1307152671/watcher-3459626-1307152671 -o /tmp/evaluation-result-3459626-1307152671/solver-3459626-1307152671 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459626-1307152671.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 2/559 1456
/proc/meminfo: memFree=30126140/32950928 swapFree=41528364/67111528
[pid=1456] ppid=1454 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/1456/stat : 1456 (runsolver) R 1454 1456 31166 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 826865756 12079104 50 33554432000 4194304 5432328 140735137229680 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/1456/statm: 2949 50 31 303 0 2643 0
[startup+0.120531 s]
/proc/loadavg: 2.00 2.01 2.00 2/559 1456
/proc/meminfo: memFree=30126140/32950928 swapFree=41528364/67111528
[pid=1456] ppid=1454 vsize=13621524 CPUtime=0.09 cores=1,3,5,7
/proc/1456/stat : 1456 (java) S 1454 1456 31166 0 -1 4202496 15284 0 1 0 8 1 0 0 25 0 18 0 826865756 13948440576 14980 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1456/statm: 3405381 14980 2088 9 0 3396115 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621524
[startup+0.200517 s]
/proc/loadavg: 2.00 2.01 2.00 2/559 1456
/proc/meminfo: memFree=30126140/32950928 swapFree=41528364/67111528
[pid=1456] ppid=1454 vsize=13622592 CPUtime=0.23 cores=1,3,5,7
/proc/1456/stat : 1456 (java) S 1454 1456 31166 0 -1 4202496 16325 0 1 0 21 2 0 0 25 0 18 0 826865756 13949534208 16021 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1456/statm: 3405648 16021 2169 9 0 3396382 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 13622592
[startup+0.300501 s]
/proc/loadavg: 2.00 2.01 2.00 2/559 1456
/proc/meminfo: memFree=30126140/32950928 swapFree=41528364/67111528
[pid=1456] ppid=1454 vsize=13627788 CPUtime=0.49 cores=1,3,5,7
/proc/1456/stat : 1456 (java) S 1454 1456 31166 0 -1 4202496 21080 0 1 0 47 2 0 0 25 0 18 0 826865756 13954854912 20058 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1456/statm: 3406947 20060 2201 9 0 3397681 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13627788
[startup+0.700429 s]
/proc/loadavg: 2.00 2.01 2.00 2/559 1456
/proc/meminfo: memFree=30126140/32950928 swapFree=41528364/67111528
[pid=1456] ppid=1454 vsize=13628816 CPUtime=1.27 cores=1,3,5,7
/proc/1456/stat : 1456 (java) S 1454 1456 31166 0 -1 4202496 23196 0 1 0 125 2 0 0 25 0 19 0 826865756 13955907584 21900 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1456/statm: 3407204 21900 2228 9 0 3397938 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 13628816
[startup+1.50129 s]
/proc/loadavg: 1.92 2.00 1.99 2/578 1475
/proc/meminfo: memFree=30044156/32950928 swapFree=41528364/67111528
[pid=1456] ppid=1454 vsize=13628816 CPUtime=2.07 cores=1,3,5,7
/proc/1456/stat : 1456 (java) S 1454 1456 31166 0 -1 4202496 24251 0 1 0 205 2 0 0 25 0 19 0 826865756 13955907584 22954 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1456/statm: 3407204 22954 2228 9 0 3397938 0
[pid=1456/tid=1458] ppid=1454 vsize=13628816 CPUtime=1.47 cores=1,3,5,7
/proc/1456/task/1458/stat : 1458 (java) R 1454 1456 31166 0 -1 4202560 18792 0 1 0 145 2 0 0 25 0 19 0 826865759 13955907584 22954 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 46912505742594 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1456/tid=1459] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1459/stat : 1459 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865761 13955907584 22954 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1460] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1460/stat : 1460 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865761 13955907584 22954 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1461] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1461/stat : 1461 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865761 13955907584 22954 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1462] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1462/stat : 1462 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865761 13955907584 22954 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1463] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1463/stat : 1463 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865761 13955907584 22954 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1464] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1464/stat : 1464 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865761 13955907584 22954 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1465] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1465/stat : 1465 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865761 13955907584 22954 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1466] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1466/stat : 1466 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865761 13955907584 22954 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1467] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1467/stat : 1467 (java) S 1454 1456 31166 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 826865762 13955907584 22955 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 0 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1468] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1468/stat : 1468 (java) S 1454 1456 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826865762 13955907584 22955 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1469] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1469/stat : 1469 (java) S 1454 1456 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826865762 13955907584 22955 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1470] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1470/stat : 1470 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865765 13955907584 22955 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826063793 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1471] ppid=1454 vsize=13628816 CPUtime=0.31 cores=1,3,5,7
/proc/1456/task/1471/stat : 1471 (java) S 1454 1456 31166 0 -1 4202560 2027 0 0 0 31 0 0 0 25 0 19 0 826865765 13955907584 22955 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1472] ppid=1454 vsize=13628816 CPUtime=0.29 cores=1,3,5,7
/proc/1456/task/1472/stat : 1472 (java) S 1454 1456 31166 0 -1 4202560 2270 0 0 0 29 0 0 0 25 0 19 0 826865765 13955907584 22955 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 5 0 0 0
[pid=1456/tid=1473] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1473/stat : 1473 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865765 13955907584 22955 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1474] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1474/stat : 1474 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826865765 13955907584 22955 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1475] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1475/stat : 1475 (java) S 1454 1456 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826865789 13955907584 22955 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 13628816
[startup+3.10103 s]
/proc/loadavg: 1.92 2.00 1.99 5/598 1520
/proc/meminfo: memFree=29989980/32950928 swapFree=41528364/67111528
[pid=1456] ppid=1454 vsize=13628816 CPUtime=3.7 cores=1,3,5,7
/proc/1456/stat : 1456 (java) S 1454 1456 31166 0 -1 4202496 28554 0 1 0 367 3 0 0 25 0 19 0 826865756 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1456/statm: 3407204 27252 2253 9 0 3397938 0
[pid=1456/tid=1458] ppid=1454 vsize=13628816 CPUtime=3.04 cores=1,3,5,7
/proc/1456/task/1458/stat : 1458 (java) R 1454 1456 31166 0 -1 4202560 19955 0 1 0 302 2 0 0 25 0 19 0 826865759 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 46912505702336 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1456/tid=1459] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1459/stat : 1459 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826865761 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1460] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1460/stat : 1460 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826865761 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1461] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1461/stat : 1461 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826865761 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1462] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1462/stat : 1462 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826865761 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1463] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1463/stat : 1463 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826865761 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1464] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1464/stat : 1464 (java) S 1454 1456 31166 0 -1 4202560 507 0 0 0 0 0 0 0 18 0 19 0 826865761 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
[pid=1456/tid=1465] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1465/stat : 1465 (java) S 1454 1456 31166 0 -1 4202560 567 0 0 0 0 0 0 0 18 0 19 0 826865761 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1466] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1466/stat : 1466 (java) S 1454 1456 31166 0 -1 4202560 504 0 0 0 0 0 0 0 18 0 19 0 826865761 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1467] ppid=1454 vsize=13628816 CPUtime=0.01 cores=1,3,5,7
/proc/1456/task/1467/stat : 1467 (java) S 1454 1456 31166 0 -1 4202560 1558 0 0 0 1 0 0 0 17 0 19 0 826865762 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 0 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1468] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1468/stat : 1468 (java) S 1454 1456 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826865762 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1469] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1469/stat : 1469 (java) S 1454 1456 31166 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826865762 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1470] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1470/stat : 1470 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865765 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826063793 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1471] ppid=1454 vsize=13628816 CPUtime=0.32 cores=1,3,5,7
/proc/1456/task/1471/stat : 1471 (java) S 1454 1456 31166 0 -1 4202560 2033 0 0 0 32 0 0 0 17 0 19 0 826865765 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1472] ppid=1454 vsize=13628816 CPUtime=0.3 cores=1,3,5,7
/proc/1456/task/1472/stat : 1472 (java) S 1454 1456 31166 0 -1 4202560 2274 0 0 0 30 0 0 0 18 0 19 0 826865765 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 5 0 0 0
[pid=1456/tid=1473] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1473/stat : 1473 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865765 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1474] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1474/stat : 1474 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826865765 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1475] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1475/stat : 1475 (java) S 1454 1456 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826865789 13955907584 27252 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 13628816
[startup+6.30155 s]
/proc/loadavg: 1.92 2.00 1.99 3/598 1520
/proc/meminfo: memFree=29947560/32950928 swapFree=41528364/67111528
[pid=1456] ppid=1454 vsize=13628816 CPUtime=6.95 cores=1,3,5,7
/proc/1456/stat : 1456 (java) S 1454 1456 31166 0 -1 4202496 32475 0 1 0 691 4 0 0 25 0 19 0 826865756 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1456/statm: 3407204 31171 2253 9 0 3397938 0
[pid=1456/tid=1458] ppid=1454 vsize=13628816 CPUtime=6.21 cores=1,3,5,7
/proc/1456/task/1458/stat : 1458 (java) R 1454 1456 31166 0 -1 4202560 19958 0 1 0 619 2 0 0 25 0 19 0 826865759 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 46912505742576 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1456/tid=1459] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1459/stat : 1459 (java) S 1454 1456 31166 0 -1 4202560 962 0 0 0 0 0 0 0 15 0 19 0 826865761 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1460] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1460/stat : 1460 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826865761 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1461] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1461/stat : 1461 (java) S 1454 1456 31166 0 -1 4202560 1237 0 0 0 0 0 0 0 16 0 19 0 826865761 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1462] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1462/stat : 1462 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826865761 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1463] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1463/stat : 1463 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826865761 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1464] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1464/stat : 1464 (java) S 1454 1456 31166 0 -1 4202560 1373 0 0 0 0 0 0 0 18 0 19 0 826865761 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
[pid=1456/tid=1465] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1465/stat : 1465 (java) S 1454 1456 31166 0 -1 4202560 567 0 0 0 0 0 0 0 18 0 19 0 826865761 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1466] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1466/stat : 1466 (java) S 1454 1456 31166 0 -1 4202560 504 0 0 0 0 0 0 0 18 0 19 0 826865761 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1467] ppid=1454 vsize=13628816 CPUtime=0.03 cores=1,3,5,7
/proc/1456/task/1467/stat : 1467 (java) S 1454 1456 31166 0 -1 4202560 2408 0 0 0 3 0 0 0 15 0 19 0 826865762 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 0 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1468] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1468/stat : 1468 (java) S 1454 1456 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826865762 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1469] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1469/stat : 1469 (java) S 1454 1456 31166 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826865762 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1470] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1470/stat : 1470 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865765 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826063793 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1471] ppid=1454 vsize=13628816 CPUtime=0.35 cores=1,3,5,7
/proc/1456/task/1471/stat : 1471 (java) S 1454 1456 31166 0 -1 4202560 2035 0 0 0 35 0 0 0 15 0 19 0 826865765 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1472] ppid=1454 vsize=13628816 CPUtime=0.31 cores=1,3,5,7
/proc/1456/task/1472/stat : 1472 (java) S 1454 1456 31166 0 -1 4202560 2277 0 0 0 31 0 0 0 15 0 19 0 826865765 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 5 0 0 0
[pid=1456/tid=1473] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1473/stat : 1473 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865765 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1474] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1474/stat : 1474 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826865765 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 4 0 16800975 18446604460115868352 0 0 -1 5 0 0 0
[pid=1456/tid=1475] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1475/stat : 1475 (java) S 1454 1456 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826865789 13955907584 31171 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.95
Current children cumulated vsize (KiB) 13628816
[startup+12.7014 s]
################
# More data... #
################
[pid=1456/tid=1464] ppid=1454 vsize=13628816 CPUtime=0.59 cores=1,3,5,7
/proc/1456/task/1464/stat : 1464 (java) S 1454 1456 31166 0 -1 4202560 3587 0 0 0 59 0 0 0 16 0 19 0 826865761 13955907584 102710 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 5 0 0 0
[pid=1456/tid=1465] ppid=1454 vsize=13628816 CPUtime=0.51 cores=1,3,5,7
/proc/1456/task/1465/stat : 1465 (java) S 1454 1456 31166 0 -1 4202560 9590 0 0 0 50 1 0 0 15 0 19 0 826865761 13955907584 102710 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 5 0 0 0
[pid=1456/tid=1466] ppid=1454 vsize=13628816 CPUtime=0.52 cores=1,3,5,7
/proc/1456/task/1466/stat : 1466 (java) S 1454 1456 31166 0 -1 4202560 3280 0 0 0 52 0 0 0 16 0 19 0 826865761 13955907584 102710 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1467] ppid=1454 vsize=13628816 CPUtime=7.98 cores=1,3,5,7
/proc/1456/task/1467/stat : 1467 (java) S 1454 1456 31166 0 -1 4202560 18100 0 0 0 795 3 0 0 15 0 19 0 826865762 13955907584 102710 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 0 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1468] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1468/stat : 1468 (java) S 1454 1456 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826865762 13955907584 102710 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1469] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1469/stat : 1469 (java) S 1454 1456 31166 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826865762 13955907584 102710 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1470] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1470/stat : 1470 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865765 13955907584 102710 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826063793 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1471] ppid=1454 vsize=13628816 CPUtime=0.35 cores=1,3,5,7
/proc/1456/task/1471/stat : 1471 (java) S 1454 1456 31166 0 -1 4202560 2035 0 0 0 35 0 0 0 15 0 19 0 826865765 13955907584 102710 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1472] ppid=1454 vsize=13628816 CPUtime=0.36 cores=1,3,5,7
/proc/1456/task/1472/stat : 1472 (java) S 1454 1456 31166 0 -1 4202560 2293 0 0 0 36 0 0 0 15 0 19 0 826865765 13955907584 102710 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 5 0 0 0
[pid=1456/tid=1473] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1473/stat : 1473 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865765 13955907584 102710 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1474] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1474/stat : 1474 (java) S 1454 1456 31166 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 826865765 13955907584 102710 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
[pid=1456/tid=1475] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1475/stat : 1475 (java) S 1454 1456 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826865789 13955907584 102710 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1665.83
Current children cumulated vsize (KiB) 13628816
[startup+1722.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/598 2114
/proc/meminfo: memFree=29639640/32950928 swapFree=41528364/67111528
[pid=1456] ppid=1454 vsize=13628816 CPUtime=1725.92 cores=1,3,5,7
/proc/1456/stat : 1456 (java) S 1454 1456 31166 0 -1 4202496 104433 0 1 0 172576 16 0 0 25 0 19 0 826865756 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1456/statm: 3407204 102722 2254 9 0 3397938 0
[pid=1456/tid=1458] ppid=1454 vsize=13628816 CPUtime=1712.26 cores=1,3,5,7
/proc/1456/task/1458/stat : 1458 (java) R 1454 1456 31166 0 -1 4202560 35818 0 1 0 171221 5 0 0 25 0 19 0 826865759 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 46912505742635 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1456/tid=1459] ppid=1454 vsize=13628816 CPUtime=0.6 cores=1,3,5,7
/proc/1456/task/1459/stat : 1459 (java) S 1454 1456 31166 0 -1 4202560 8099 0 0 0 60 0 0 0 15 0 19 0 826865761 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
[pid=1456/tid=1460] ppid=1454 vsize=13628816 CPUtime=0.56 cores=1,3,5,7
/proc/1456/task/1460/stat : 1460 (java) S 1454 1456 31166 0 -1 4202560 1292 0 0 0 56 0 0 0 15 0 19 0 826865761 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1461] ppid=1454 vsize=13628816 CPUtime=0.57 cores=1,3,5,7
/proc/1456/task/1461/stat : 1461 (java) S 1454 1456 31166 0 -1 4202560 5392 0 0 0 57 0 0 0 16 0 19 0 826865761 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1462] ppid=1454 vsize=13628816 CPUtime=0.56 cores=1,3,5,7
/proc/1456/task/1462/stat : 1462 (java) S 1454 1456 31166 0 -1 4202560 8126 0 0 0 56 0 0 0 16 0 19 0 826865761 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
[pid=1456/tid=1463] ppid=1454 vsize=13628816 CPUtime=0.55 cores=1,3,5,7
/proc/1456/task/1463/stat : 1463 (java) S 1454 1456 31166 0 -1 4202560 5567 0 0 0 54 1 0 0 15 0 19 0 826865761 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 5 0 0 0
[pid=1456/tid=1464] ppid=1454 vsize=13628816 CPUtime=0.61 cores=1,3,5,7
/proc/1456/task/1464/stat : 1464 (java) S 1454 1456 31166 0 -1 4202560 3587 0 0 0 61 0 0 0 15 0 19 0 826865761 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 5 0 0 0
[pid=1456/tid=1465] ppid=1454 vsize=13628816 CPUtime=0.52 cores=1,3,5,7
/proc/1456/task/1465/stat : 1465 (java) S 1454 1456 31166 0 -1 4202560 9590 0 0 0 51 1 0 0 15 0 19 0 826865761 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1466] ppid=1454 vsize=13628816 CPUtime=0.52 cores=1,3,5,7
/proc/1456/task/1466/stat : 1466 (java) S 1454 1456 31166 0 -1 4202560 3280 0 0 0 52 0 0 0 15 0 19 0 826865761 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1467] ppid=1454 vsize=13628816 CPUtime=8.33 cores=1,3,5,7
/proc/1456/task/1467/stat : 1467 (java) S 1454 1456 31166 0 -1 4202560 18104 0 0 0 830 3 0 0 15 0 19 0 826865762 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 0 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1468] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1468/stat : 1468 (java) S 1454 1456 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826865762 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1469] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1469/stat : 1469 (java) S 1454 1456 31166 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826865762 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1470] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1470/stat : 1470 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865765 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826063793 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1471] ppid=1454 vsize=13628816 CPUtime=0.35 cores=1,3,5,7
/proc/1456/task/1471/stat : 1471 (java) S 1454 1456 31166 0 -1 4202560 2035 0 0 0 35 0 0 0 15 0 19 0 826865765 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1472] ppid=1454 vsize=13628816 CPUtime=0.36 cores=1,3,5,7
/proc/1456/task/1472/stat : 1472 (java) S 1454 1456 31166 0 -1 4202560 2293 0 0 0 36 0 0 0 15 0 19 0 826865765 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 5 0 0 0
[pid=1456/tid=1473] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1473/stat : 1473 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865765 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1474] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1474/stat : 1474 (java) S 1454 1456 31166 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 826865765 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
[pid=1456/tid=1475] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1475/stat : 1475 (java) S 1454 1456 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826865789 13955907584 102722 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1725.92
Current children cumulated vsize (KiB) 13628816
[startup+1782.3 s]
/proc/loadavg: 2.36 2.14 2.04 3/598 2116
/proc/meminfo: memFree=29637724/32950928 swapFree=41528364/67111528
[pid=1456] ppid=1454 vsize=13628816 CPUtime=1786.04 cores=1,3,5,7
/proc/1456/stat : 1456 (java) S 1454 1456 31166 0 -1 4202496 104859 0 1 0 178588 16 0 0 25 0 19 0 826865756 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1456/statm: 3407204 103136 2254 9 0 3397938 0
[pid=1456/tid=1458] ppid=1454 vsize=13628816 CPUtime=1771.77 cores=1,3,5,7
/proc/1456/task/1458/stat : 1458 (java) R 1454 1456 31166 0 -1 4202560 35826 0 1 0 177172 5 0 0 25 0 19 0 826865759 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 46912505742576 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1456/tid=1459] ppid=1454 vsize=13628816 CPUtime=0.61 cores=1,3,5,7
/proc/1456/task/1459/stat : 1459 (java) S 1454 1456 31166 0 -1 4202560 8099 0 0 0 61 0 0 0 15 0 19 0 826865761 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
[pid=1456/tid=1460] ppid=1454 vsize=13628816 CPUtime=0.57 cores=1,3,5,7
/proc/1456/task/1460/stat : 1460 (java) S 1454 1456 31166 0 -1 4202560 1292 0 0 0 57 0 0 0 16 0 19 0 826865761 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1461] ppid=1454 vsize=13628816 CPUtime=0.59 cores=1,3,5,7
/proc/1456/task/1461/stat : 1461 (java) S 1454 1456 31166 0 -1 4202560 5393 0 0 0 59 0 0 0 16 0 19 0 826865761 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1462] ppid=1454 vsize=13628816 CPUtime=0.59 cores=1,3,5,7
/proc/1456/task/1462/stat : 1462 (java) S 1454 1456 31166 0 -1 4202560 8129 0 0 0 59 0 0 0 16 0 19 0 826865761 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 5 0 0 0
[pid=1456/tid=1463] ppid=1454 vsize=13628816 CPUtime=0.57 cores=1,3,5,7
/proc/1456/task/1463/stat : 1463 (java) S 1454 1456 31166 0 -1 4202560 5567 0 0 0 56 1 0 0 15 0 19 0 826865761 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 5 0 0 0
[pid=1456/tid=1464] ppid=1454 vsize=13628816 CPUtime=0.65 cores=1,3,5,7
/proc/1456/task/1464/stat : 1464 (java) S 1454 1456 31166 0 -1 4202560 3593 0 0 0 65 0 0 0 16 0 19 0 826865761 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
[pid=1456/tid=1465] ppid=1454 vsize=13628816 CPUtime=0.54 cores=1,3,5,7
/proc/1456/task/1465/stat : 1465 (java) S 1454 1456 31166 0 -1 4202560 9590 0 0 0 53 1 0 0 15 0 19 0 826865761 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1466] ppid=1454 vsize=13628816 CPUtime=0.56 cores=1,3,5,7
/proc/1456/task/1466/stat : 1466 (java) S 1454 1456 31166 0 -1 4202560 3280 0 0 0 56 0 0 0 15 0 19 0 826865761 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
[pid=1456/tid=1467] ppid=1454 vsize=13628816 CPUtime=8.75 cores=1,3,5,7
/proc/1456/task/1467/stat : 1467 (java) S 1454 1456 31166 0 -1 4202560 18510 0 0 0 872 3 0 0 15 0 19 0 826865762 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 0 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1468] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1468/stat : 1468 (java) S 1454 1456 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826865762 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1469] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1469/stat : 1469 (java) S 1454 1456 31166 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826865762 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1470] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1470/stat : 1470 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865765 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826063793 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1471] ppid=1454 vsize=13628816 CPUtime=0.35 cores=1,3,5,7
/proc/1456/task/1471/stat : 1471 (java) S 1454 1456 31166 0 -1 4202560 2035 0 0 0 35 0 0 0 15 0 19 0 826865765 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1472] ppid=1454 vsize=13628816 CPUtime=0.36 cores=1,3,5,7
/proc/1456/task/1472/stat : 1472 (java) S 1454 1456 31166 0 -1 4202560 2293 0 0 0 36 0 0 0 15 0 19 0 826865765 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 5 0 0 0
[pid=1456/tid=1473] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1473/stat : 1473 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865765 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1474] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1474/stat : 1474 (java) S 1454 1456 31166 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 826865765 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
[pid=1456/tid=1475] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1475/stat : 1475 (java) S 1454 1456 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826865789 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1786.04
Current children cumulated vsize (KiB) 13628816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.3 s]
/proc/loadavg: 2.28 2.13 2.03 4/598 2116
/proc/meminfo: memFree=29637696/32950928 swapFree=41528364/67111528
[pid=1456] ppid=1454 vsize=13628816 CPUtime=1800.08 cores=1,3,5,7
/proc/1456/stat : 1456 (java) S 1454 1456 31166 0 -1 4202496 104865 0 1 0 179992 16 0 0 25 0 19 0 826865756 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1456/statm: 3407204 103136 2254 9 0 3397938 0
[pid=1456/tid=1458] ppid=1454 vsize=13628816 CPUtime=1785.7 cores=1,3,5,7
/proc/1456/task/1458/stat : 1458 (java) R 1454 1456 31166 0 -1 4202560 35828 0 1 0 178565 5 0 0 25 0 19 0 826865759 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 46912505742635 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1456/tid=1459] ppid=1454 vsize=13628816 CPUtime=0.61 cores=1,3,5,7
/proc/1456/task/1459/stat : 1459 (java) S 1454 1456 31166 0 -1 4202560 8099 0 0 0 61 0 0 0 16 0 19 0 826865761 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1460] ppid=1454 vsize=13628816 CPUtime=0.58 cores=1,3,5,7
/proc/1456/task/1460/stat : 1460 (java) S 1454 1456 31166 0 -1 4202560 1292 0 0 0 58 0 0 0 16 0 19 0 826865761 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
[pid=1456/tid=1461] ppid=1454 vsize=13628816 CPUtime=0.59 cores=1,3,5,7
/proc/1456/task/1461/stat : 1461 (java) S 1454 1456 31166 0 -1 4202560 5393 0 0 0 59 0 0 0 16 0 19 0 826865761 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1462] ppid=1454 vsize=13628816 CPUtime=0.59 cores=1,3,5,7
/proc/1456/task/1462/stat : 1462 (java) S 1454 1456 31166 0 -1 4202560 8129 0 0 0 59 0 0 0 15 0 19 0 826865761 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 5 0 0 0
[pid=1456/tid=1463] ppid=1454 vsize=13628816 CPUtime=0.57 cores=1,3,5,7
/proc/1456/task/1463/stat : 1463 (java) S 1454 1456 31166 0 -1 4202560 5567 0 0 0 56 1 0 0 15 0 19 0 826865761 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 5 0 0 0
[pid=1456/tid=1464] ppid=1454 vsize=13628816 CPUtime=0.65 cores=1,3,5,7
/proc/1456/task/1464/stat : 1464 (java) S 1454 1456 31166 0 -1 4202560 3593 0 0 0 65 0 0 0 16 0 19 0 826865761 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
[pid=1456/tid=1465] ppid=1454 vsize=13628816 CPUtime=0.55 cores=1,3,5,7
/proc/1456/task/1465/stat : 1465 (java) S 1454 1456 31166 0 -1 4202560 9590 0 0 0 54 1 0 0 15 0 19 0 826865761 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1466] ppid=1454 vsize=13628816 CPUtime=0.56 cores=1,3,5,7
/proc/1456/task/1466/stat : 1466 (java) S 1454 1456 31166 0 -1 4202560 3280 0 0 0 56 0 0 0 16 0 19 0 826865761 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
[pid=1456/tid=1467] ppid=1454 vsize=13628816 CPUtime=8.84 cores=1,3,5,7
/proc/1456/task/1467/stat : 1467 (java) S 1454 1456 31166 0 -1 4202560 18512 0 0 0 881 3 0 0 15 0 19 0 826865762 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 0 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1468] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1468/stat : 1468 (java) S 1454 1456 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826865762 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1469] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1469/stat : 1469 (java) S 1454 1456 31166 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826865762 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1470] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1470/stat : 1470 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865765 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826063793 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1471] ppid=1454 vsize=13628816 CPUtime=0.35 cores=1,3,5,7
/proc/1456/task/1471/stat : 1471 (java) S 1454 1456 31166 0 -1 4202560 2035 0 0 0 35 0 0 0 15 0 19 0 826865765 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 7 0 0 0
[pid=1456/tid=1472] ppid=1454 vsize=13628816 CPUtime=0.36 cores=1,3,5,7
/proc/1456/task/1472/stat : 1472 (java) S 1454 1456 31166 0 -1 4202560 2293 0 0 0 36 0 0 0 15 0 19 0 826865765 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 5 0 0 0
[pid=1456/tid=1473] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1473/stat : 1473 (java) S 1454 1456 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826865765 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056089 0 4 0 16800975 18446604460115868352 0 0 -1 3 0 0 0
[pid=1456/tid=1474] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1474/stat : 1474 (java) R 1454 1456 31166 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826865765 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=1456/tid=1475] ppid=1454 vsize=13628816 CPUtime=0 cores=1,3,5,7
/proc/1456/task/1475/stat : 1475 (java) S 1454 1456 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826865789 13955907584 103136 33554432000 1073741824 1073778376 140734591167152 18446744073709551615 251826056704 0 4 0 16800975 18446604460115868352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13628816
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1796.38
CPU time (s): 1800.16
CPU user time (s): 1799.97
CPU system time (s): 0.187971
CPU usage (%): 100.21
Max. virtual memory (cumulated for all children) (KiB): 13628816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.187971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104902
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= 42027
involuntary context switches= 25070
runsolver used 10.4944 second user time and 23.4954 second system time
The end