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-3458667-1307154684/watcher-3458667-1307154684 -o /tmp/evaluation-result-3458667-1307154684/solver-3458667-1307154684 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458667-1307154684.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.04 2.05 2.01 2/345 25532
/proc/meminfo: memFree=21339764/32951124 swapFree=67056304/67111528
[pid=25532] ppid=25530 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/25532/stat : 25532 (java) S 25530 25532 22016 0 -1 4202496 3890 0 1 0 0 0 0 0 25 0 2 0 905698976 13850947584 3592 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/25532/statm: 3381579 3606 917 9 0 3372735 0
[pid=25532/tid=25533] ppid=25530 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25533/stat : 25533 (java) R 25530 25532 22016 0 -1 4202560 2852 0 1 0 0 0 0 0 25 0 2 0 905698977 13850947584 3668 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.106713 s]
/proc/loadavg: 2.04 2.05 2.01 2/345 25532
/proc/meminfo: memFree=21339764/32951124 swapFree=67056304/67111528
[pid=25532] ppid=25530 vsize=13556892 CPUtime=0.1 cores=1,3,5,7
/proc/25532/stat : 25532 (java) S 25530 25532 22016 0 -1 4202496 15577 0 1 0 9 1 0 0 25 0 18 0 905698976 13882257408 15246 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25532/statm: 3389223 15246 2093 9 0 3379957 0
[pid=25532/tid=25533] ppid=25530 vsize=13556892 CPUtime=0.08 cores=1,3,5,7
/proc/25532/task/25533/stat : 25533 (java) R 25530 25532 22016 0 -1 4202560 13649 0 1 0 7 1 0 0 22 0 18 0 905698977 13882257408 15246 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260020088528 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13556892
[startup+0.223866 s]
/proc/loadavg: 2.04 2.05 2.01 2/345 25532
/proc/meminfo: memFree=21339764/32951124 swapFree=67056304/67111528
[pid=25532] ppid=25530 vsize=13623856 CPUtime=0.33 cores=1,3,5,7
/proc/25532/stat : 25532 (java) S 25530 25532 22016 0 -1 4202496 17110 0 1 0 31 2 0 0 25 0 18 0 905698976 13950828544 16778 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25532/statm: 3405964 16778 2190 9 0 3396698 0
[pid=25532/tid=25533] ppid=25530 vsize=13623856 CPUtime=0.2 cores=1,3,5,7
/proc/25532/task/25533/stat : 25533 (java) R 25530 25532 22016 0 -1 4202560 14747 0 1 0 19 1 0 0 22 0 18 0 905698977 13950828544 16778 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 46912505176688 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 13623856
[startup+0.310858 s]
/proc/loadavg: 2.04 2.05 2.01 2/345 25532
/proc/meminfo: memFree=21339764/32951124 swapFree=67056304/67111528
[pid=25532] ppid=25530 vsize=13623876 CPUtime=0.55 cores=1,3,5,7
/proc/25532/stat : 25532 (java) S 25530 25532 22016 0 -1 4202496 19718 0 1 0 53 2 0 0 25 0 18 0 905698976 13950849024 18892 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25532/statm: 3405969 20036 2209 9 0 3396703 0
[pid=25532/tid=25533] ppid=25530 vsize=13623876 CPUtime=0.33 cores=1,3,5,7
/proc/25532/task/25533/stat : 25533 (java) R 25530 25532 22016 0 -1 4202560 17669 0 1 0 32 1 0 0 22 0 18 0 905698977 13950849024 20038 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13623876
[startup+0.700524 s]
/proc/loadavg: 2.04 2.05 2.01 2/345 25532
/proc/meminfo: memFree=21339764/32951124 swapFree=67056304/67111528
[pid=25532] ppid=25530 vsize=13627424 CPUtime=1.17 cores=1,3,5,7
/proc/25532/stat : 25532 (java) S 25530 25532 22016 0 -1 4202496 57584 0 1 0 111 6 0 0 25 0 18 0 905698976 13954482176 54974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25532/statm: 3406856 54974 2214 9 0 3397590 0
[pid=25532/tid=25533] ppid=25530 vsize=13627424 CPUtime=0.67 cores=1,3,5,7
/proc/25532/task/25533/stat : 25533 (java) R 25530 25532 22016 0 -1 4202560 50949 0 1 0 62 5 0 0 24 0 18 0 905698977 13954482176 54974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 46912505614826 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 13627424
[startup+1.50141 s]
/proc/loadavg: 2.04 2.05 2.01 3/363 25550
/proc/meminfo: memFree=21028080/32951124 swapFree=67056304/67111528
[pid=25532] ppid=25530 vsize=13628452 CPUtime=2.19 cores=1,3,5,7
/proc/25532/stat : 25532 (java) S 25530 25532 22016 0 -1 4202496 87834 0 1 0 209 10 0 0 25 0 19 0 905698976 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25532/statm: 3407113 85224 2228 9 0 3397847 0
[pid=25532/tid=25533] ppid=25530 vsize=13628452 CPUtime=1.47 cores=1,3,5,7
/proc/25532/task/25533/stat : 25533 (java) R 25530 25532 22016 0 -1 4202560 81155 0 1 0 138 9 0 0 25 0 19 0 905698977 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 46912505774837 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25532/tid=25535] ppid=25530 vsize=13628452 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25535/stat : 25535 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25536] ppid=25530 vsize=13628452 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25536/stat : 25536 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25537] ppid=25530 vsize=13628452 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25537/stat : 25537 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25538] ppid=25530 vsize=13628452 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25538/stat : 25538 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25539] ppid=25530 vsize=13628452 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25539/stat : 25539 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25540] ppid=25530 vsize=13628452 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25540/stat : 25540 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25541] ppid=25530 vsize=13628452 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25541/stat : 25541 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25542] ppid=25530 vsize=13628452 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25542/stat : 25542 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25543] ppid=25530 vsize=13628452 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25543/stat : 25543 (java) S 25530 25532 22016 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 905698980 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 0 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25544] ppid=25530 vsize=13628452 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25544/stat : 25544 (java) S 25530 25532 22016 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905698980 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25545] ppid=25530 vsize=13628452 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25545/stat : 25545 (java) S 25530 25532 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905698980 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25546] ppid=25530 vsize=13628452 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25546/stat : 25546 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905698982 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032219569 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25547] ppid=25530 vsize=13628452 CPUtime=0.29 cores=1,3,5,7
/proc/25532/task/25547/stat : 25547 (java) S 25530 25532 22016 0 -1 4202560 1980 0 0 0 29 0 0 0 15 0 19 0 905698982 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25548] ppid=25530 vsize=13628452 CPUtime=0.41 cores=1,3,5,7
/proc/25532/task/25548/stat : 25548 (java) S 25530 25532 22016 0 -1 4202560 3542 0 0 0 41 0 0 0 15 0 19 0 905698982 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25549] ppid=25530 vsize=13628452 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25549/stat : 25549 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905698982 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25550] ppid=25530 vsize=13628452 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25550/stat : 25550 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905698982 13955534848 85224 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 4 0 16800975 18446604457359466880 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 13628452
[startup+3.10111 s]
/proc/loadavg: 2.04 2.05 2.01 3/364 25551
/proc/meminfo: memFree=21004500/32951124 swapFree=67056304/67111528
[pid=25532] ppid=25530 vsize=13628692 CPUtime=3.9 cores=1,3,5,7
/proc/25532/stat : 25532 (java) S 25530 25532 22016 0 -1 4202496 88381 0 1 0 380 10 0 0 25 0 19 0 905698976 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25532/statm: 3407173 85770 2235 9 0 3397907 0
[pid=25532/tid=25533] ppid=25530 vsize=13628692 CPUtime=3.07 cores=1,3,5,7
/proc/25532/task/25533/stat : 25533 (java) R 25530 25532 22016 0 -1 4202560 81630 0 1 0 298 9 0 0 25 0 19 0 905698977 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 46912505783372 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25532/tid=25535] ppid=25530 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25535/stat : 25535 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25536] ppid=25530 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25536/stat : 25536 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25537] ppid=25530 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25537/stat : 25537 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25538] ppid=25530 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25538/stat : 25538 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25539] ppid=25530 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25539/stat : 25539 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25540] ppid=25530 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25540/stat : 25540 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25541] ppid=25530 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25541/stat : 25541 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25542] ppid=25530 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25542/stat : 25542 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25543] ppid=25530 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25543/stat : 25543 (java) S 25530 25532 22016 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 905698980 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 0 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25544] ppid=25530 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25544/stat : 25544 (java) S 25530 25532 22016 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905698980 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25545] ppid=25530 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25545/stat : 25545 (java) S 25530 25532 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905698980 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25546] ppid=25530 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25546/stat : 25546 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905698982 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032219569 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25547] ppid=25530 vsize=13628692 CPUtime=0.36 cores=1,3,5,7
/proc/25532/task/25547/stat : 25547 (java) S 25530 25532 22016 0 -1 4202560 2033 0 0 0 36 0 0 0 15 0 19 0 905698982 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25548] ppid=25530 vsize=13628692 CPUtime=0.45 cores=1,3,5,7
/proc/25532/task/25548/stat : 25548 (java) S 25530 25532 22016 0 -1 4202560 3557 0 0 0 45 0 0 0 15 0 19 0 905698982 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25549] ppid=25530 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25549/stat : 25549 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905698982 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25550] ppid=25530 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25550/stat : 25550 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905698982 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 4 0 16800975 18446604457359466880 0 0 -1 1 0 0 0
[pid=25532/tid=25551] ppid=25530 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25551/stat : 25551 (java) S 25530 25532 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905699105 13955780608 85770 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 4 0 16800975 18446604457359466880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 13628692
[startup+6.30153 s]
/proc/loadavg: 2.04 2.05 2.01 3/364 25551
/proc/meminfo: memFree=20998788/32951124 swapFree=67056304/67111528
[pid=25532] ppid=25530 vsize=13628856 CPUtime=7.34 cores=1,3,5,7
/proc/25532/stat : 25532 (java) S 25530 25532 22016 0 -1 4202496 90777 0 1 0 723 11 0 0 25 0 19 0 905698976 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25532/statm: 3407214 86974 2236 9 0 3397948 0
[pid=25532/tid=25533] ppid=25530 vsize=13628856 CPUtime=6.27 cores=1,3,5,7
/proc/25532/task/25533/stat : 25533 (java) R 25530 25532 22016 0 -1 4202560 82784 0 1 0 618 9 0 0 25 0 19 0 905698977 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 46912505774752 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25532/tid=25535] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25535/stat : 25535 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25536] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25536/stat : 25536 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25537] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25537/stat : 25537 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25538] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25538/stat : 25538 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25539] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25539/stat : 25539 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25540] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25540/stat : 25540 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25541] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25541/stat : 25541 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25542] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25542/stat : 25542 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905698979 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25543] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25543/stat : 25543 (java) S 25530 25532 22016 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 905698980 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 0 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25544] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25544/stat : 25544 (java) S 25530 25532 22016 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905698980 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25545] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25545/stat : 25545 (java) S 25530 25532 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905698980 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25546] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25546/stat : 25546 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905698982 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032219569 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25547] ppid=25530 vsize=13628856 CPUtime=0.47 cores=1,3,5,7
/proc/25532/task/25547/stat : 25547 (java) S 25530 25532 22016 0 -1 4202560 3114 0 0 0 47 0 0 0 15 0 19 0 905698982 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25548] ppid=25530 vsize=13628856 CPUtime=0.56 cores=1,3,5,7
/proc/25532/task/25548/stat : 25548 (java) S 25530 25532 22016 0 -1 4202560 3718 0 0 0 56 0 0 0 15 0 19 0 905698982 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25549] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25549/stat : 25549 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905698982 13955948544 86974 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=25532/tid=25540] ppid=25530 vsize=13628856 CPUtime=0.04 cores=1,3,5,7
/proc/25532/task/25540/stat : 25540 (java) S 25530 25532 22016 0 -1 4202560 8812 0 0 0 3 1 0 0 18 0 19 0 905698979 13955948544 415289 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25541] ppid=25530 vsize=13628856 CPUtime=0.04 cores=1,3,5,7
/proc/25532/task/25541/stat : 25541 (java) S 25530 25532 22016 0 -1 4202560 14578 0 0 0 3 1 0 0 18 0 19 0 905698979 13955948544 415289 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 7 0 0 0
[pid=25532/tid=25542] ppid=25530 vsize=13628856 CPUtime=0.01 cores=1,3,5,7
/proc/25532/task/25542/stat : 25542 (java) S 25530 25532 22016 0 -1 4202560 1121 0 0 0 1 0 0 0 18 0 19 0 905698979 13955948544 415289 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25543] ppid=25530 vsize=13628856 CPUtime=0.12 cores=1,3,5,7
/proc/25532/task/25543/stat : 25543 (java) S 25530 25532 22016 0 -1 4202560 26366 0 0 0 9 3 0 0 15 0 19 0 905698980 13955948544 415289 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 0 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25544] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25544/stat : 25544 (java) S 25530 25532 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905698980 13955948544 415289 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25545] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25545/stat : 25545 (java) S 25530 25532 22016 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905698980 13955948544 415289 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25546] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25546/stat : 25546 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905698982 13955948544 415289 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032219569 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25547] ppid=25530 vsize=13628856 CPUtime=0.51 cores=1,3,5,7
/proc/25532/task/25547/stat : 25547 (java) S 25530 25532 22016 0 -1 4202560 3153 0 0 0 51 0 0 0 15 0 19 0 905698982 13955948544 415289 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25548] ppid=25530 vsize=13628856 CPUtime=0.63 cores=1,3,5,7
/proc/25532/task/25548/stat : 25548 (java) S 25530 25532 22016 0 -1 4202560 3755 0 0 0 63 0 0 0 16 0 19 0 905698982 13955948544 415289 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25549] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25549/stat : 25549 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905698982 13955948544 415289 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25550] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25550/stat : 25550 (java) S 25530 25532 22016 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 905698982 13955948544 415289 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 4 0 16800975 18446604457359466880 0 0 -1 1 0 0 0
[pid=25532/tid=25551] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25551/stat : 25551 (java) S 25530 25532 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905699105 13955948544 415289 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 4 0 16800975 18446604457359466880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1723.55
Current children cumulated vsize (KiB) 13628856
[startup+1782.3 s]
/proc/loadavg: 1.75 1.95 1.98 2/340 25630
/proc/meminfo: memFree=22424792/32951124 swapFree=67056304/67111528
[pid=25532] ppid=25530 vsize=13628856 CPUtime=1783.55 cores=1,3,5,7
/proc/25532/stat : 25532 (java) S 25530 25532 22016 0 -1 4202496 436599 0 1 0 178300 55 0 0 25 0 19 0 905698976 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25532/statm: 3407214 432636 2264 9 0 3397948 0
[pid=25532/tid=25533] ppid=25530 vsize=13628856 CPUtime=1782.11 cores=1,3,5,7
/proc/25532/task/25533/stat : 25533 (java) R 25530 25532 22016 0 -1 4202560 376761 0 1 0 178165 46 0 0 25 0 19 0 905698977 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 46912505783381 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25532/tid=25535] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25535/stat : 25535 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905698979 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25536] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25536/stat : 25536 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905698979 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25537] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25537/stat : 25537 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905698979 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 7 0 0 0
[pid=25532/tid=25538] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25538/stat : 25538 (java) S 25530 25532 22016 0 -1 4202560 119 0 0 0 0 0 0 0 18 0 19 0 905698979 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 1 0 0 0
[pid=25532/tid=25539] ppid=25530 vsize=13628856 CPUtime=0.01 cores=1,3,5,7
/proc/25532/task/25539/stat : 25539 (java) S 25530 25532 22016 0 -1 4202560 677 0 0 0 1 0 0 0 18 0 19 0 905698979 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 1 0 0 0
[pid=25532/tid=25540] ppid=25530 vsize=13628856 CPUtime=0.04 cores=1,3,5,7
/proc/25532/task/25540/stat : 25540 (java) S 25530 25532 22016 0 -1 4202560 8812 0 0 0 3 1 0 0 18 0 19 0 905698979 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25541] ppid=25530 vsize=13628856 CPUtime=0.04 cores=1,3,5,7
/proc/25532/task/25541/stat : 25541 (java) S 25530 25532 22016 0 -1 4202560 14578 0 0 0 3 1 0 0 18 0 19 0 905698979 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 7 0 0 0
[pid=25532/tid=25542] ppid=25530 vsize=13628856 CPUtime=0.01 cores=1,3,5,7
/proc/25532/task/25542/stat : 25542 (java) S 25530 25532 22016 0 -1 4202560 1121 0 0 0 1 0 0 0 18 0 19 0 905698979 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25543] ppid=25530 vsize=13628856 CPUtime=0.12 cores=1,3,5,7
/proc/25532/task/25543/stat : 25543 (java) S 25530 25532 22016 0 -1 4202560 26366 0 0 0 9 3 0 0 15 0 19 0 905698980 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 0 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25544] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25544/stat : 25544 (java) S 25530 25532 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905698980 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25545] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25545/stat : 25545 (java) S 25530 25532 22016 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905698980 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25546] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25546/stat : 25546 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905698982 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032219569 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25547] ppid=25530 vsize=13628856 CPUtime=0.52 cores=1,3,5,7
/proc/25532/task/25547/stat : 25547 (java) S 25530 25532 22016 0 -1 4202560 3155 0 0 0 52 0 0 0 15 0 19 0 905698982 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25548] ppid=25530 vsize=13628856 CPUtime=0.63 cores=1,3,5,7
/proc/25532/task/25548/stat : 25548 (java) S 25530 25532 22016 0 -1 4202560 3755 0 0 0 63 0 0 0 16 0 19 0 905698982 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25549] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25549/stat : 25549 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905698982 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25550] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25550/stat : 25550 (java) S 25530 25532 22016 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 905698982 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 4 0 16800975 18446604457359466880 0 0 -1 1 0 0 0
[pid=25532/tid=25551] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25551/stat : 25551 (java) S 25530 25532 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905699105 13955948544 432636 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 4 0 16800975 18446604457359466880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1783.55
Current children cumulated vsize (KiB) 13628856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.8 s]
/proc/loadavg: 1.58 1.90 1.96 2/340 25631
/proc/meminfo: memFree=22405136/32951124 swapFree=67056304/67111528
[pid=25532] ppid=25530 vsize=13628856 CPUtime=1800.07 cores=1,3,5,7
/proc/25532/stat : 25532 (java) S 25530 25532 22016 0 -1 4202496 441382 0 1 0 179951 56 0 0 25 0 19 0 905698976 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25532/statm: 3407214 437419 2264 9 0 3397948 0
[pid=25532/tid=25533] ppid=25530 vsize=13628856 CPUtime=1798.62 cores=1,3,5,7
/proc/25532/task/25533/stat : 25533 (java) R 25530 25532 22016 0 -1 4202560 381544 0 1 0 179815 47 0 0 25 0 19 0 905698977 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 46912505774837 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25532/tid=25535] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25535/stat : 25535 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905698979 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25536] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25536/stat : 25536 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905698979 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25537] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25537/stat : 25537 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905698979 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 7 0 0 0
[pid=25532/tid=25538] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25538/stat : 25538 (java) S 25530 25532 22016 0 -1 4202560 119 0 0 0 0 0 0 0 18 0 19 0 905698979 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 1 0 0 0
[pid=25532/tid=25539] ppid=25530 vsize=13628856 CPUtime=0.01 cores=1,3,5,7
/proc/25532/task/25539/stat : 25539 (java) S 25530 25532 22016 0 -1 4202560 677 0 0 0 1 0 0 0 18 0 19 0 905698979 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 1 0 0 0
[pid=25532/tid=25540] ppid=25530 vsize=13628856 CPUtime=0.04 cores=1,3,5,7
/proc/25532/task/25540/stat : 25540 (java) S 25530 25532 22016 0 -1 4202560 8812 0 0 0 3 1 0 0 18 0 19 0 905698979 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25541] ppid=25530 vsize=13628856 CPUtime=0.04 cores=1,3,5,7
/proc/25532/task/25541/stat : 25541 (java) S 25530 25532 22016 0 -1 4202560 14578 0 0 0 3 1 0 0 18 0 19 0 905698979 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 7 0 0 0
[pid=25532/tid=25542] ppid=25530 vsize=13628856 CPUtime=0.01 cores=1,3,5,7
/proc/25532/task/25542/stat : 25542 (java) S 25530 25532 22016 0 -1 4202560 1121 0 0 0 1 0 0 0 18 0 19 0 905698979 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25543] ppid=25530 vsize=13628856 CPUtime=0.12 cores=1,3,5,7
/proc/25532/task/25543/stat : 25543 (java) S 25530 25532 22016 0 -1 4202560 26366 0 0 0 9 3 0 0 15 0 19 0 905698980 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 0 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25544] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25544/stat : 25544 (java) S 25530 25532 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905698980 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25545] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25545/stat : 25545 (java) S 25530 25532 22016 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905698980 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25546] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25546/stat : 25546 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905698982 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032219569 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25547] ppid=25530 vsize=13628856 CPUtime=0.52 cores=1,3,5,7
/proc/25532/task/25547/stat : 25547 (java) S 25530 25532 22016 0 -1 4202560 3155 0 0 0 52 0 0 0 15 0 19 0 905698982 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25548] ppid=25530 vsize=13628856 CPUtime=0.63 cores=1,3,5,7
/proc/25532/task/25548/stat : 25548 (java) S 25530 25532 22016 0 -1 4202560 3755 0 0 0 63 0 0 0 16 0 19 0 905698982 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25549] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25549/stat : 25549 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905698982 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25550] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25550/stat : 25550 (java) S 25530 25532 22016 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 905698982 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 4 0 16800975 18446604457359466880 0 0 -1 1 0 0 0
[pid=25532/tid=25551] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25551/stat : 25551 (java) S 25530 25532 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905699105 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 4 0 16800975 18446604457359466880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13628856
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.8 s]
/proc/loadavg: 1.58 1.90 1.96 2/340 25631
/proc/meminfo: memFree=22405136/32951124 swapFree=67056304/67111528
[pid=25532] ppid=25530 vsize=13628856 CPUtime=1800.07 cores=1,3,5,7
/proc/25532/stat : 25532 (java) S 25530 25532 22016 0 -1 4202496 441382 0 1 0 179951 56 0 0 25 0 19 0 905698976 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25532/statm: 3407214 437419 2264 9 0 3397948 0
[pid=25532/tid=25533] ppid=25530 vsize=13628856 CPUtime=1798.62 cores=1,3,5,7
/proc/25532/task/25533/stat : 25533 (java) R 25530 25532 22016 0 -1 4202560 381544 0 1 0 179815 47 0 0 25 0 19 0 905698977 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 46912505774837 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25532/tid=25535] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25535/stat : 25535 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905698979 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25536] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25536/stat : 25536 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905698979 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25537] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25537/stat : 25537 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905698979 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 7 0 0 0
[pid=25532/tid=25538] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25538/stat : 25538 (java) S 25530 25532 22016 0 -1 4202560 119 0 0 0 0 0 0 0 18 0 19 0 905698979 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 1 0 0 0
[pid=25532/tid=25539] ppid=25530 vsize=13628856 CPUtime=0.01 cores=1,3,5,7
/proc/25532/task/25539/stat : 25539 (java) S 25530 25532 22016 0 -1 4202560 677 0 0 0 1 0 0 0 18 0 19 0 905698979 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 1 0 0 0
[pid=25532/tid=25540] ppid=25530 vsize=13628856 CPUtime=0.04 cores=1,3,5,7
/proc/25532/task/25540/stat : 25540 (java) S 25530 25532 22016 0 -1 4202560 8812 0 0 0 3 1 0 0 18 0 19 0 905698979 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25541] ppid=25530 vsize=13628856 CPUtime=0.04 cores=1,3,5,7
/proc/25532/task/25541/stat : 25541 (java) S 25530 25532 22016 0 -1 4202560 14578 0 0 0 3 1 0 0 18 0 19 0 905698979 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 7 0 0 0
[pid=25532/tid=25542] ppid=25530 vsize=13628856 CPUtime=0.01 cores=1,3,5,7
/proc/25532/task/25542/stat : 25542 (java) S 25530 25532 22016 0 -1 4202560 1121 0 0 0 1 0 0 0 18 0 19 0 905698979 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25543] ppid=25530 vsize=13628856 CPUtime=0.12 cores=1,3,5,7
/proc/25532/task/25543/stat : 25543 (java) S 25530 25532 22016 0 -1 4202560 26366 0 0 0 9 3 0 0 15 0 19 0 905698980 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 0 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25544] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25544/stat : 25544 (java) S 25530 25532 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905698980 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25545] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25545/stat : 25545 (java) S 25530 25532 22016 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905698980 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25546] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25546/stat : 25546 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905698982 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032219569 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25547] ppid=25530 vsize=13628856 CPUtime=0.52 cores=1,3,5,7
/proc/25532/task/25547/stat : 25547 (java) S 25530 25532 22016 0 -1 4202560 3155 0 0 0 52 0 0 0 15 0 19 0 905698982 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25548] ppid=25530 vsize=13628856 CPUtime=0.63 cores=1,3,5,7
/proc/25532/task/25548/stat : 25548 (java) S 25530 25532 22016 0 -1 4202560 3755 0 0 0 63 0 0 0 16 0 19 0 905698982 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 3 0 0 0
[pid=25532/tid=25549] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25549/stat : 25549 (java) S 25530 25532 22016 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905698982 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032211865 0 4 0 16800975 18446604457359466880 0 0 -1 5 0 0 0
[pid=25532/tid=25550] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25550/stat : 25550 (java) S 25530 25532 22016 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 905698982 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 4 0 16800975 18446604457359466880 0 0 -1 1 0 0 0
[pid=25532/tid=25551] ppid=25530 vsize=13628856 CPUtime=0 cores=1,3,5,7
/proc/25532/task/25551/stat : 25551 (java) S 25530 25532 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905699105 13955948544 437419 33554432000 1073741824 1073778376 140737127750272 18446744073709551615 260032212480 0 4 0 16800975 18446604457359466880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13628856
Child status: 143
Real time (s): 1798.89
CPU time (s): 1800.16
CPU user time (s): 1799.53
CPU system time (s): 0.630904
CPU usage (%): 100.07
Max. virtual memory (cumulated for all children) (KiB): 13628856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.630904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 441419
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= 36728
involuntary context switches= 12555
runsolver used 6.05008 second user time and 13.439 second system time
The end