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-3454783-1307186811/watcher-3454783-1307186811 -o /tmp/evaluation-result-3454783-1307186811/solver-3454783-1307186811 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454783-1307186811.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.62 3.47 2.74 3/538 18061
/proc/meminfo: memFree=20525872/32950928 swapFree=34259960/67111528
[pid=18061] ppid=18059 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/18061/stat : 18061 (java) S 18059 18061 15618 0 -1 4202496 5855 0 1 0 0 0 0 0 25 0 2 0 830277773 10694979584 5556 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/18061/statm: 2611079 5570 917 9 0 2602235 0
[pid=18061/tid=18062] ppid=18059 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18062/stat : 18062 (java) R 18059 18061 15618 0 -1 4202560 7985 0 1 0 0 0 0 0 25 0 2 0 830277773 10694979584 8801 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.121401 s]
/proc/loadavg: 3.62 3.47 2.74 3/538 18061
/proc/meminfo: memFree=20525872/32950928 swapFree=34259960/67111528
[pid=18061] ppid=18059 vsize=10539312 CPUtime=0.13 cores=0,2,4,6
/proc/18061/stat : 18061 (java) S 18059 18061 15618 0 -1 4202496 13296 0 1 0 12 1 0 0 25 0 18 0 830277773 10792255488 12964 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18061/statm: 2634828 12964 2136 9 0 2625562 0
[pid=18061/tid=18062] ppid=18059 vsize=10539312 CPUtime=0.1 cores=0,2,4,6
/proc/18061/task/18062/stat : 18062 (java) R 18059 18061 15618 0 -1 4202560 11384 0 1 0 9 1 0 0 22 0 18 0 830277773 10792255488 12965 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 47005651225427 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539312
[startup+0.207697 s]
/proc/loadavg: 3.62 3.47 2.74 3/538 18061
/proc/meminfo: memFree=20525872/32950928 swapFree=34259960/67111528
[pid=18061] ppid=18059 vsize=10547436 CPUtime=0.57 cores=0,2,4,6
/proc/18061/stat : 18061 (java) S 18059 18061 15618 0 -1 4202496 16990 0 1 0 55 2 0 0 25 0 22 0 830277773 10800574464 15736 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18061/statm: 2636859 15736 2211 9 0 2627593 0
[pid=18061/tid=18062] ppid=18059 vsize=10547436 CPUtime=0.15 cores=0,2,4,6
/proc/18061/task/18062/stat : 18062 (java) S 18059 18061 15618 0 -1 4202560 11751 0 1 0 14 1 0 0 23 0 22 0 830277773 10800574464 15736 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10547436
[startup+0.374634 s]
/proc/loadavg: 3.62 3.47 2.74 3/538 18061
/proc/meminfo: memFree=20525872/32950928 swapFree=34259960/67111528
[pid=18061] ppid=18059 vsize=10548252 CPUtime=0.97 cores=0,2,4,6
/proc/18061/stat : 18061 (java) S 18059 18061 15618 0 -1 4202496 18817 0 1 0 95 2 0 0 25 0 22 0 830277773 10801410048 17139 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18061/statm: 2637063 17140 2217 9 0 2627797 0
[pid=18061/tid=18062] ppid=18059 vsize=10548252 CPUtime=0.15 cores=0,2,4,6
/proc/18061/task/18062/stat : 18062 (java) S 18059 18061 15618 0 -1 4202560 11751 0 1 0 14 1 0 0 23 0 22 0 830277773 10801410048 17142 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 10548252
[startup+0.842156 s]
/proc/loadavg: 3.62 3.47 2.74 3/538 18061
/proc/meminfo: memFree=20525872/32950928 swapFree=34259960/67111528
[pid=18061] ppid=18059 vsize=10557140 CPUtime=2.78 cores=0,2,4,6
/proc/18061/stat : 18061 (java) S 18059 18061 15618 0 -1 4202496 57322 0 1 0 270 8 0 0 25 0 22 0 830277773 10810511360 48092 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18061/statm: 2639285 48092 2253 9 0 2630019 0
[pid=18061/tid=18062] ppid=18059 vsize=10557140 CPUtime=0.15 cores=0,2,4,6
/proc/18061/task/18062/stat : 18062 (java) S 18059 18061 15618 0 -1 4202560 11751 0 1 0 14 1 0 0 18 0 22 0 830277773 10810511360 48092 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 10557140
[startup+1.50145 s]
/proc/loadavg: 3.62 3.47 2.74 5/560 18083
/proc/meminfo: memFree=20277644/32950928 swapFree=34259960/67111528
[pid=18061] ppid=18059 vsize=10557140 CPUtime=4.36 cores=0,2,4,6
/proc/18061/stat : 18061 (java) S 18059 18061 15618 0 -1 4202496 85475 0 1 0 425 11 0 0 25 0 22 0 830277773 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18061/statm: 2639285 76243 2256 9 0 2630019 0
[pid=18061/tid=18062] ppid=18059 vsize=10557140 CPUtime=0.15 cores=0,2,4,6
/proc/18061/task/18062/stat : 18062 (java) S 18059 18061 15618 0 -1 4202560 11751 0 1 0 14 1 0 0 15 0 22 0 830277773 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18064] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18064/stat : 18064 (java) S 18059 18061 15618 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18065] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18065/stat : 18065 (java) S 18059 18061 15618 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18066] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18066/stat : 18066 (java) S 18059 18061 15618 0 -1 4202560 174 0 0 0 0 0 0 0 16 0 22 0 830277775 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18067] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18067/stat : 18067 (java) S 18059 18061 15618 0 -1 4202560 92 0 0 0 0 0 0 0 16 0 22 0 830277775 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18068] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18068/stat : 18068 (java) S 18059 18061 15618 0 -1 4202560 34 0 0 0 0 0 0 0 16 0 22 0 830277775 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18069] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18069/stat : 18069 (java) S 18059 18061 15618 0 -1 4202560 216 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18070] ppid=18059 vsize=10557140 CPUtime=0.01 cores=0,2,4,6
/proc/18061/task/18070/stat : 18070 (java) S 18059 18061 15618 0 -1 4202560 345 0 0 0 1 0 0 0 16 0 22 0 830277775 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18071] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18071/stat : 18071 (java) S 18059 18061 15618 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18072] ppid=18059 vsize=10557140 CPUtime=0.06 cores=0,2,4,6
/proc/18061/task/18072/stat : 18072 (java) S 18059 18061 15618 0 -1 4202560 1457 0 0 0 6 0 0 0 16 0 22 0 830277776 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 0 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
[pid=18061/tid=18073] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18073/stat : 18073 (java) S 18059 18061 15618 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 830277776 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18074] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18074/stat : 18074 (java) S 18059 18061 15618 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 22 0 830277776 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18075] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18075/stat : 18075 (java) S 18059 18061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830277778 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512515505 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18076] ppid=18059 vsize=10557140 CPUtime=0.81 cores=0,2,4,6
/proc/18061/task/18076/stat : 18076 (java) S 18059 18061 15618 0 -1 4202560 10968 0 0 0 79 2 0 0 15 0 22 0 830277778 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18077] ppid=18059 vsize=10557140 CPUtime=0.79 cores=0,2,4,6
/proc/18061/task/18077/stat : 18077 (java) S 18059 18061 15618 0 -1 4202560 5592 0 0 0 79 0 0 0 15 0 22 0 830277778 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18078] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18078/stat : 18078 (java) S 18059 18061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830277778 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18079] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18079/stat : 18079 (java) S 18059 18061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830277778 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
[pid=18061/tid=18080] ppid=18059 vsize=10557140 CPUtime=1.23 cores=0,2,4,6
/proc/18061/task/18080/stat : 18080 (java) R 18059 18061 15618 0 -1 4202560 305 0 0 0 123 0 0 0 20 0 22 0 830277790 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 46912505577320 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18061/tid=18081] ppid=18059 vsize=10557140 CPUtime=1.21 cores=0,2,4,6
/proc/18061/task/18081/stat : 18081 (java) R 18059 18061 15618 0 -1 4202560 52954 0 0 0 115 6 0 0 17 0 22 0 830277790 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 46912505700097 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18061/tid=18082] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18082/stat : 18082 (java) S 18059 18061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830277790 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
[pid=18061/tid=18083] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18083/stat : 18083 (java) S 18059 18061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830277790 10810511360 76243 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 10557140
[startup+3.10285 s]
/proc/loadavg: 3.62 3.47 2.74 5/560 18083
/proc/meminfo: memFree=20224556/32950928 swapFree=34259960/67111528
[pid=18061] ppid=18059 vsize=10557140 CPUtime=7.5 cores=0,2,4,6
/proc/18061/stat : 18061 (java) S 18059 18061 15618 0 -1 4202496 86051 0 1 0 739 11 0 0 25 0 22 0 830277773 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18061/statm: 2639285 76815 2256 9 0 2630019 0
[pid=18061/tid=18062] ppid=18059 vsize=10557140 CPUtime=0.15 cores=0,2,4,6
/proc/18061/task/18062/stat : 18062 (java) S 18059 18061 15618 0 -1 4202560 11751 0 1 0 14 1 0 0 15 0 22 0 830277773 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18064] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18064/stat : 18064 (java) S 18059 18061 15618 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18065] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18065/stat : 18065 (java) S 18059 18061 15618 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18066] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18066/stat : 18066 (java) S 18059 18061 15618 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18067] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18067/stat : 18067 (java) S 18059 18061 15618 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18068] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18068/stat : 18068 (java) S 18059 18061 15618 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18069] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18069/stat : 18069 (java) S 18059 18061 15618 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18070] ppid=18059 vsize=10557140 CPUtime=0.01 cores=0,2,4,6
/proc/18061/task/18070/stat : 18070 (java) S 18059 18061 15618 0 -1 4202560 345 0 0 0 1 0 0 0 15 0 22 0 830277775 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18071] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18071/stat : 18071 (java) S 18059 18061 15618 0 -1 4202560 179 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18072] ppid=18059 vsize=10557140 CPUtime=0.14 cores=0,2,4,6
/proc/18061/task/18072/stat : 18072 (java) S 18059 18061 15618 0 -1 4202560 2019 0 0 0 14 0 0 0 16 0 22 0 830277776 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 0 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
[pid=18061/tid=18073] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18073/stat : 18073 (java) S 18059 18061 15618 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 830277776 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18074] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18074/stat : 18074 (java) S 18059 18061 15618 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 22 0 830277776 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18075] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18075/stat : 18075 (java) S 18059 18061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830277778 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512515505 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18076] ppid=18059 vsize=10557140 CPUtime=0.82 cores=0,2,4,6
/proc/18061/task/18076/stat : 18076 (java) S 18059 18061 15618 0 -1 4202560 10970 0 0 0 80 2 0 0 15 0 22 0 830277778 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18077] ppid=18059 vsize=10557140 CPUtime=0.8 cores=0,2,4,6
/proc/18061/task/18077/stat : 18077 (java) S 18059 18061 15618 0 -1 4202560 5592 0 0 0 80 0 0 0 15 0 22 0 830277778 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18078] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18078/stat : 18078 (java) S 18059 18061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830277778 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18079] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18079/stat : 18079 (java) S 18059 18061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830277778 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18080] ppid=18059 vsize=10557140 CPUtime=2.75 cores=0,2,4,6
/proc/18061/task/18080/stat : 18080 (java) R 18059 18061 15618 0 -1 4202560 308 0 0 0 275 0 0 0 23 0 22 0 830277790 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 46912505552107 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18061/tid=18081] ppid=18059 vsize=10557140 CPUtime=2.73 cores=0,2,4,6
/proc/18061/task/18081/stat : 18081 (java) R 18059 18061 15618 0 -1 4202560 52955 0 0 0 267 6 0 0 19 0 22 0 830277790 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 46912505597195 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18061/tid=18082] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18082/stat : 18082 (java) S 18059 18061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830277790 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
[pid=18061/tid=18083] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18083/stat : 18083 (java) S 18059 18061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830277790 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 10557140
Solver just ended. Dumping a history of the last processes samples
[startup+3.30111 s]
/proc/loadavg: 3.62 3.47 2.74 5/560 18083
/proc/meminfo: memFree=20224556/32950928 swapFree=34259960/67111528
[pid=18061] ppid=18059 vsize=10557140 CPUtime=7.89 cores=0,2,4,6
/proc/18061/stat : 18061 (java) S 18059 18061 15618 0 -1 4202496 86051 0 1 0 778 11 0 0 25 0 22 0 830277773 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18061/statm: 2639285 76815 2256 9 0 2630019 0
[pid=18061/tid=18062] ppid=18059 vsize=10557140 CPUtime=0.15 cores=0,2,4,6
/proc/18061/task/18062/stat : 18062 (java) S 18059 18061 15618 0 -1 4202560 11751 0 1 0 14 1 0 0 15 0 22 0 830277773 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18064] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18064/stat : 18064 (java) S 18059 18061 15618 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18065] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18065/stat : 18065 (java) S 18059 18061 15618 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18066] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18066/stat : 18066 (java) S 18059 18061 15618 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18067] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18067/stat : 18067 (java) S 18059 18061 15618 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18068] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18068/stat : 18068 (java) S 18059 18061 15618 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18069] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18069/stat : 18069 (java) S 18059 18061 15618 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18070] ppid=18059 vsize=10557140 CPUtime=0.01 cores=0,2,4,6
/proc/18061/task/18070/stat : 18070 (java) S 18059 18061 15618 0 -1 4202560 345 0 0 0 1 0 0 0 15 0 22 0 830277775 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/18061/task/18072/stat : 18072 (java) S 18059 18061 15618 0 -1 4202560 2019 0 0 0 14 0 0 0 16 0 22 0 830277776 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 0 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
[pid=18061/tid=18073] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18073/stat : 18073 (java) S 18059 18061 15618 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 830277776 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18074] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18074/stat : 18074 (java) S 18059 18061 15618 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 22 0 830277776 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18075] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18075/stat : 18075 (java) S 18059 18061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830277778 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512515505 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18076] ppid=18059 vsize=10557140 CPUtime=0.82 cores=0,2,4,6
/proc/18061/task/18076/stat : 18076 (java) S 18059 18061 15618 0 -1 4202560 10970 0 0 0 80 2 0 0 15 0 22 0 830277778 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18077] ppid=18059 vsize=10557140 CPUtime=0.8 cores=0,2,4,6
/proc/18061/task/18077/stat : 18077 (java) S 18059 18061 15618 0 -1 4202560 5592 0 0 0 80 0 0 0 15 0 22 0 830277778 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18078] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18078/stat : 18078 (java) S 18059 18061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830277778 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18079] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18079/stat : 18079 (java) S 18059 18061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830277778 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18080] ppid=18059 vsize=10557140 CPUtime=2.94 cores=0,2,4,6
/proc/18061/task/18080/stat : 18080 (java) R 18059 18061 15618 0 -1 4202560 308 0 0 0 294 0 0 0 23 0 22 0 830277790 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 46912505553151 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18061/tid=18081] ppid=18059 vsize=10557140 CPUtime=2.93 cores=0,2,4,6
/proc/18061/task/18081/stat : 18081 (java) R 18059 18061 15618 0 -1 4202560 52955 0 0 0 287 6 0 0 19 0 22 0 830277790 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 46912505700097 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18061/tid=18082] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18082/stat : 18082 (java) S 18059 18061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830277790 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
[pid=18061/tid=18083] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18083/stat : 18083 (java) S 18059 18061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830277790 10810511360 76815 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 10557140
[startup+3.70101 s]
/proc/loadavg: 3.62 3.47 2.74 5/560 18083
/proc/meminfo: memFree=20224060/32950928 swapFree=34259960/67111528
[pid=18061] ppid=18059 vsize=10557140 CPUtime=8.68 cores=0,2,4,6
/proc/18061/stat : 18061 (java) S 18059 18061 15618 0 -1 4202496 86325 0 1 0 856 12 0 0 25 0 22 0 830277773 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18061/statm: 2639285 77088 2256 9 0 2630019 0
[pid=18061/tid=18062] ppid=18059 vsize=10557140 CPUtime=0.15 cores=0,2,4,6
/proc/18061/task/18062/stat : 18062 (java) S 18059 18061 15618 0 -1 4202560 11751 0 1 0 14 1 0 0 15 0 22 0 830277773 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18064] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18064/stat : 18064 (java) S 18059 18061 15618 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18065] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18065/stat : 18065 (java) S 18059 18061 15618 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18066] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18066/stat : 18066 (java) S 18059 18061 15618 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18067] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18067/stat : 18067 (java) S 18059 18061 15618 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18068] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18068/stat : 18068 (java) S 18059 18061 15618 0 -1 4202560 36 0 0 0 0 0 0 0 16 0 22 0 830277775 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18069] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18069/stat : 18069 (java) S 18059 18061 15618 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18070] ppid=18059 vsize=10557140 CPUtime=0.01 cores=0,2,4,6
/proc/18061/task/18070/stat : 18070 (java) S 18059 18061 15618 0 -1 4202560 345 0 0 0 1 0 0 0 15 0 22 0 830277775 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18071] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18071/stat : 18071 (java) S 18059 18061 15618 0 -1 4202560 179 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18072] ppid=18059 vsize=10557140 CPUtime=0.16 cores=0,2,4,6
/proc/18061/task/18072/stat : 18072 (java) S 18059 18061 15618 0 -1 4202560 2292 0 0 0 16 0 0 0 16 0 22 0 830277776 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 0 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
[pid=18061/tid=18073] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18073/stat : 18073 (java) S 18059 18061 15618 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 830277776 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18074] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18074/stat : 18074 (java) S 18059 18061 15618 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 22 0 830277776 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18075] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18075/stat : 18075 (java) S 18059 18061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830277778 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512515505 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18076] ppid=18059 vsize=10557140 CPUtime=0.82 cores=0,2,4,6
/proc/18061/task/18076/stat : 18076 (java) S 18059 18061 15618 0 -1 4202560 10970 0 0 0 80 2 0 0 15 0 22 0 830277778 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18077] ppid=18059 vsize=10557140 CPUtime=0.8 cores=0,2,4,6
/proc/18061/task/18077/stat : 18077 (java) S 18059 18061 15618 0 -1 4202560 5592 0 0 0 80 0 0 0 15 0 22 0 830277778 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18078] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18078/stat : 18078 (java) S 18059 18061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830277778 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18079] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18079/stat : 18079 (java) S 18059 18061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830277778 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18080] ppid=18059 vsize=10557140 CPUtime=3.32 cores=0,2,4,6
/proc/18061/task/18080/stat : 18080 (java) R 18059 18061 15618 0 -1 4202560 309 0 0 0 332 0 0 0 25 0 22 0 830277790 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 46912505567319 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18061/tid=18081] ppid=18059 vsize=10557140 CPUtime=3.31 cores=0,2,4,6
/proc/18061/task/18081/stat : 18081 (java) R 18059 18061 15618 0 -1 4202560 52955 0 0 0 325 6 0 0 19 0 22 0 830277790 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 46912506190701 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18061/tid=18082] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18082/stat : 18082 (java) S 18059 18061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830277790 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
[pid=18061/tid=18083] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18083/stat : 18083 (java) S 18059 18061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830277790 10810511360 77088 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 10557140
[startup+4.10095 s]
/proc/loadavg: 3.62 3.47 2.74 5/560 18083
/proc/meminfo: memFree=20224060/32950928 swapFree=34259960/67111528
[pid=18061] ppid=18059 vsize=10557140 CPUtime=9.48 cores=0,2,4,6
/proc/18061/stat : 18061 (java) S 18059 18061 15618 0 -1 4202496 86528 0 1 0 936 12 0 0 25 0 22 0 830277773 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18061/statm: 2639285 77290 2256 9 0 2630019 0
[pid=18061/tid=18062] ppid=18059 vsize=10557140 CPUtime=0.15 cores=0,2,4,6
/proc/18061/task/18062/stat : 18062 (java) S 18059 18061 15618 0 -1 4202560 11751 0 1 0 14 1 0 0 15 0 22 0 830277773 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18064] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18064/stat : 18064 (java) S 18059 18061 15618 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18065] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18065/stat : 18065 (java) S 18059 18061 15618 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18066] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18066/stat : 18066 (java) S 18059 18061 15618 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18067] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18067/stat : 18067 (java) S 18059 18061 15618 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18068] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18068/stat : 18068 (java) S 18059 18061 15618 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18069] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18069/stat : 18069 (java) S 18059 18061 15618 0 -1 4202560 217 0 0 0 0 0 0 0 16 0 22 0 830277775 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18070] ppid=18059 vsize=10557140 CPUtime=0.01 cores=0,2,4,6
/proc/18061/task/18070/stat : 18070 (java) S 18059 18061 15618 0 -1 4202560 345 0 0 0 1 0 0 0 15 0 22 0 830277775 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18071] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18071/stat : 18071 (java) S 18059 18061 15618 0 -1 4202560 179 0 0 0 0 0 0 0 15 0 22 0 830277775 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18072] ppid=18059 vsize=10557140 CPUtime=0.18 cores=0,2,4,6
/proc/18061/task/18072/stat : 18072 (java) S 18059 18061 15618 0 -1 4202560 2489 0 0 0 18 0 0 0 16 0 22 0 830277776 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 0 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
[pid=18061/tid=18073] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18073/stat : 18073 (java) S 18059 18061 15618 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 830277776 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18074] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18074/stat : 18074 (java) S 18059 18061 15618 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 22 0 830277776 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18075] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18075/stat : 18075 (java) S 18059 18061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830277778 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512515505 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18076] ppid=18059 vsize=10557140 CPUtime=0.84 cores=0,2,4,6
/proc/18061/task/18076/stat : 18076 (java) S 18059 18061 15618 0 -1 4202560 10970 0 0 0 82 2 0 0 15 0 22 0 830277778 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18077] ppid=18059 vsize=10557140 CPUtime=0.8 cores=0,2,4,6
/proc/18061/task/18077/stat : 18077 (java) S 18059 18061 15618 0 -1 4202560 5592 0 0 0 80 0 0 0 15 0 22 0 830277778 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18078] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18078/stat : 18078 (java) S 18059 18061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830277778 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18079] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18079/stat : 18079 (java) S 18059 18061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830277778 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18080] ppid=18059 vsize=10557140 CPUtime=3.7 cores=0,2,4,6
/proc/18061/task/18080/stat : 18080 (java) R 18059 18061 15618 0 -1 4202560 312 0 0 0 370 0 0 0 25 0 22 0 830277790 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 46912505524516 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18061/tid=18081] ppid=18059 vsize=10557140 CPUtime=3.68 cores=0,2,4,6
/proc/18061/task/18081/stat : 18081 (java) R 18059 18061 15618 0 -1 4202560 52955 0 0 0 362 6 0 0 20 0 22 0 830277790 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 46912505578327 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18061/tid=18082] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18082/stat : 18082 (java) S 18059 18061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830277790 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
[pid=18061/tid=18083] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18083/stat : 18083 (java) S 18059 18061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830277790 10810511360 77290 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.48
Current children cumulated vsize (KiB) 10557140
[startup+4.20094 s]
/proc/loadavg: 3.62 3.47 2.74 5/560 18083
/proc/meminfo: memFree=20224060/32950928 swapFree=34259960/67111528
[pid=18061] ppid=18059 vsize=10557140 CPUtime=9.59 cores=0,2,4,6
/proc/18061/stat : 18061 (java) S 18059 18061 15618 0 -1 4202496 86550 0 1 0 947 12 0 0 25 0 18 0 830277773 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18061/statm: 2639285 77312 2265 9 0 2630019 0
[pid=18061/tid=18062] ppid=18059 vsize=10557140 CPUtime=0.15 cores=0,2,4,6
/proc/18061/task/18062/stat : 18062 (java) S 18059 18061 15618 0 -1 4202560 11754 0 1 0 14 1 0 0 15 0 18 0 830277773 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18064] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18064/stat : 18064 (java) S 18059 18061 15618 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 18 0 830277775 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18065] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18065/stat : 18065 (java) S 18059 18061 15618 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 18 0 830277775 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18066] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18066/stat : 18066 (java) S 18059 18061 15618 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 18 0 830277775 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18067] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18067/stat : 18067 (java) S 18059 18061 15618 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 18 0 830277775 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18068] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18068/stat : 18068 (java) S 18059 18061 15618 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 18 0 830277775 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 0 0 0 0
[pid=18061/tid=18069] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18069/stat : 18069 (java) S 18059 18061 15618 0 -1 4202560 217 0 0 0 0 0 0 0 16 0 18 0 830277775 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18070] ppid=18059 vsize=10557140 CPUtime=0.01 cores=0,2,4,6
/proc/18061/task/18070/stat : 18070 (java) S 18059 18061 15618 0 -1 4202560 345 0 0 0 1 0 0 0 15 0 18 0 830277775 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18071] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18071/stat : 18071 (java) S 18059 18061 15618 0 -1 4202560 179 0 0 0 0 0 0 0 15 0 18 0 830277775 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 4 0 0 0
[pid=18061/tid=18072] ppid=18059 vsize=10557140 CPUtime=0.18 cores=0,2,4,6
/proc/18061/task/18072/stat : 18072 (java) D 18059 18061 15618 0 -1 4202560 2490 0 0 0 18 0 0 0 16 0 18 0 830277776 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254500735159 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=18061/tid=18073] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18073/stat : 18073 (java) S 18059 18061 15618 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 830277776 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18074] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18074/stat : 18074 (java) S 18059 18061 15618 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 18 0 830277776 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18075] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18075/stat : 18075 (java) R 18059 18061 15618 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 830277778 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 46912505164388 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18061/tid=18076] ppid=18059 vsize=10557140 CPUtime=0.84 cores=0,2,4,6
/proc/18061/task/18076/stat : 18076 (java) S 18059 18061 15618 0 -1 4202560 10973 0 0 0 82 2 0 0 15 0 18 0 830277778 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18077] ppid=18059 vsize=10557140 CPUtime=0.8 cores=0,2,4,6
/proc/18061/task/18077/stat : 18077 (java) D 18059 18061 15618 0 -1 4202560 5596 0 0 0 80 0 0 0 15 0 18 0 830277778 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 47005646199938 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18061/tid=18078] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18078/stat : 18078 (java) S 18059 18061 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830277778 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512507801 0 4 0 16800975 18446604448270906304 0 0 -1 6 0 0 0
[pid=18061/tid=18083] ppid=18059 vsize=10557140 CPUtime=0 cores=0,2,4,6
/proc/18061/task/18083/stat : 18083 (java) S 18059 18061 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 830277790 10810511360 77312 33554432000 1073741824 1073778376 140733679966880 18446744073709551615 254512508416 0 4 0 16800975 18446604448270906304 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (KiB) 10557140
Child status: 20
Real time (s): 4.21482
CPU time (s): 9.60754
CPU user time (s): 9.47256
CPU system time (s): 0.134979
CPU usage (%): 227.947
Max. virtual memory (cumulated for all children) (KiB): 10557140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.47256
system time used= 0.134979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86553
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= 697
involuntary context switches= 320
runsolver used 0.028995 second user time and 0.050992 second system time
The end