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-3459380-1307138158/watcher-3459380-1307138158 -o /tmp/evaluation-result-3459380-1307138158/solver-3459380-1307138158 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459380-1307138158.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.12 2.05 2.03 2/501 18177
/proc/meminfo: memFree=24417880/32950928 swapFree=61542356/67111528
[pid=18177] ppid=18175 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/18177/stat : 18177 (java) S 18175 18177 14759 0 -1 4202496 1537 0 1 0 0 0 0 0 25 0 2 0 904046522 13833195520 1239 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/18177/statm: 3377245 1252 906 9 0 3368401 0
[pid=18177/tid=18178] ppid=18175 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18178/stat : 18178 (java) R 18175 18177 14759 0 -1 4202560 6290 0 1 0 0 0 0 0 25 0 2 0 904046522 13850947584 7106 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0918859 s]
/proc/loadavg: 2.12 2.05 2.03 2/501 18177
/proc/meminfo: memFree=24417880/32950928 swapFree=61542356/67111528
[pid=18177] ppid=18175 vsize=13621684 CPUtime=0.07 cores=1,3,5,7
/proc/18177/stat : 18177 (java) S 18175 18177 14759 0 -1 4202496 15204 0 1 0 6 1 0 0 25 0 18 0 904046522 13948604416 14878 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18177/statm: 3405421 14881 2018 9 0 3396155 0
[pid=18177/tid=18178] ppid=18175 vsize=13621684 CPUtime=0.07 cores=1,3,5,7
/proc/18177/task/18178/stat : 18178 (java) R 18175 18177 14759 0 -1 4202560 13447 0 1 0 6 1 0 0 18 0 18 0 904046522 13948604416 14881 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260905389925 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13621684
[startup+0.10072 s]
/proc/loadavg: 2.12 2.05 2.03 2/501 18177
/proc/meminfo: memFree=24417880/32950928 swapFree=61542356/67111528
[pid=18177] ppid=18175 vsize=13621848 CPUtime=0.09 cores=1,3,5,7
/proc/18177/stat : 18177 (java) S 18175 18177 14759 0 -1 4202496 15499 0 1 0 8 1 0 0 25 0 18 0 904046522 13948772352 15173 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18177/statm: 3405462 15173 2092 9 0 3396196 0
[pid=18177/tid=18178] ppid=18175 vsize=13621848 CPUtime=0.08 cores=1,3,5,7
/proc/18177/task/18178/stat : 18178 (java) R 18175 18177 14759 0 -1 4202560 13569 0 1 0 7 1 0 0 18 0 18 0 904046522 13948772352 15173 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 47270381720773 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621848
[startup+0.300688 s]
/proc/loadavg: 2.12 2.05 2.03 2/501 18177
/proc/meminfo: memFree=24417880/32950928 swapFree=61542356/67111528
[pid=18177] ppid=18175 vsize=13623268 CPUtime=0.48 cores=1,3,5,7
/proc/18177/stat : 18177 (java) S 18175 18177 14759 0 -1 4202496 18519 0 1 0 46 2 0 0 25 0 18 0 904046522 13950226432 17782 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18177/statm: 3405817 17783 2201 9 0 3396551 0
[pid=18177/tid=18178] ppid=18175 vsize=13623268 CPUtime=0.27 cores=1,3,5,7
/proc/18177/task/18178/stat : 18178 (java) R 18175 18177 14759 0 -1 4202560 15502 0 1 0 26 1 0 0 18 0 18 0 904046522 13950226432 17783 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13623268
[startup+0.700635 s]
/proc/loadavg: 2.12 2.05 2.03 2/501 18177
/proc/meminfo: memFree=24417880/32950928 swapFree=61542356/67111528
[pid=18177] ppid=18175 vsize=13634656 CPUtime=1.53 cores=1,3,5,7
/proc/18177/stat : 18177 (java) S 18175 18177 14759 0 -1 4202496 35002 0 1 0 149 4 0 0 25 0 19 0 904046522 13961887744 27520 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18177/statm: 3408664 27520 2234 9 0 3399398 0
[pid=18177/tid=18178] ppid=18175 vsize=13634656 CPUtime=0.68 cores=1,3,5,7
/proc/18177/task/18178/stat : 18178 (java) R 18175 18177 14759 0 -1 4202560 20738 0 1 0 66 2 0 0 19 0 19 0 904046522 13961887744 27520 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 46912505716152 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 13634656
[startup+1.50146 s]
/proc/loadavg: 2.27 2.08 2.04 3/520 18196
/proc/meminfo: memFree=24310104/32950928 swapFree=61542356/67111528
[pid=18177] ppid=18175 vsize=13634656 CPUtime=2.46 cores=1,3,5,7
/proc/18177/stat : 18177 (java) S 18175 18177 14759 0 -1 4202496 36733 0 1 0 242 4 0 0 25 0 19 0 904046522 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18177/statm: 3408664 29245 2263 9 0 3399398 0
[pid=18177/tid=18178] ppid=18175 vsize=13634656 CPUtime=1.45 cores=1,3,5,7
/proc/18177/task/18178/stat : 18178 (java) R 18175 18177 14759 0 -1 4202560 21034 0 1 0 143 2 0 0 20 0 19 0 904046522 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 46912505726221 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18180/stat : 18180 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904046525 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18181] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18181/stat : 18181 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904046525 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18182] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18182/stat : 18182 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 904046525 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18183] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18183/stat : 18183 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 904046525 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18184] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18184/stat : 18184 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904046525 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18185] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18185/stat : 18185 (java) S 18175 18177 14759 0 -1 4202560 149 0 0 0 0 0 0 0 17 0 19 0 904046525 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18186] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18186/stat : 18186 (java) S 18175 18177 14759 0 -1 4202560 298 0 0 0 0 0 0 0 18 0 19 0 904046525 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18187] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18187/stat : 18187 (java) S 18175 18177 14759 0 -1 4202560 242 0 0 0 0 0 0 0 18 0 19 0 904046525 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18188] ppid=18175 vsize=13634656 CPUtime=0.01 cores=1,3,5,7
/proc/18177/task/18188/stat : 18188 (java) S 18175 18177 14759 0 -1 4202560 695 0 0 0 1 0 0 0 17 0 19 0 904046526 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210624 0 0 0 16800975 18446604470787515520 0 0 -1 3 0 0 0
[pid=18177/tid=18189] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18189/stat : 18189 (java) S 18175 18177 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904046526 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18190] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18190/stat : 18190 (java) S 18175 18177 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 904046526 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18191] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18191/stat : 18191 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904046528 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917217713 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18192] ppid=18175 vsize=13634656 CPUtime=0.45 cores=1,3,5,7
/proc/18177/task/18192/stat : 18192 (java) S 18175 18177 14759 0 -1 4202560 8193 0 0 0 45 0 0 0 18 0 19 0 904046528 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18193] ppid=18175 vsize=13634656 CPUtime=0.51 cores=1,3,5,7
/proc/18177/task/18193/stat : 18193 (java) S 18175 18177 14759 0 -1 4202560 4967 0 0 0 51 0 0 0 19 0 19 0 904046528 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 1 0 0 0
[pid=18177/tid=18194] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18194/stat : 18194 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904046528 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18195] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18195/stat : 18195 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904046529 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210624 0 4 0 16800975 18446604470787515520 0 0 -1 1 0 0 0
[pid=18177/tid=18196] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18196/stat : 18196 (java) S 18175 18177 14759 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904046569 13961887744 29245 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210624 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 13634656
[startup+3.10117 s]
/proc/loadavg: 2.27 2.08 2.04 3/520 18196
/proc/meminfo: memFree=24303644/32950928 swapFree=61542356/67111528
[pid=18177] ppid=18175 vsize=13634656 CPUtime=4.11 cores=1,3,5,7
/proc/18177/stat : 18177 (java) S 18175 18177 14759 0 -1 4202496 37166 0 1 0 407 4 0 0 25 0 19 0 904046522 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18177/statm: 3408664 29677 2263 9 0 3399398 0
[pid=18177/tid=18178] ppid=18175 vsize=13634656 CPUtime=3.03 cores=1,3,5,7
/proc/18177/task/18178/stat : 18178 (java) R 18175 18177 14759 0 -1 4202560 21036 0 1 0 301 2 0 0 25 0 19 0 904046522 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 46912505839871 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18180/stat : 18180 (java) S 18175 18177 14759 0 -1 4202560 168 0 0 0 0 0 0 0 16 0 19 0 904046525 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18181] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18181/stat : 18181 (java) S 18175 18177 14759 0 -1 4202560 124 0 0 0 0 0 0 0 16 0 19 0 904046525 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18182] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18182/stat : 18182 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18183] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18183/stat : 18183 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18184] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18184/stat : 18184 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18185] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18185/stat : 18185 (java) S 18175 18177 14759 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18186] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18186/stat : 18186 (java) S 18175 18177 14759 0 -1 4202560 298 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18187] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18187/stat : 18187 (java) S 18175 18177 14759 0 -1 4202560 242 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18188] ppid=18175 vsize=13634656 CPUtime=0.03 cores=1,3,5,7
/proc/18177/task/18188/stat : 18188 (java) S 18175 18177 14759 0 -1 4202560 828 0 0 0 3 0 0 0 15 0 19 0 904046526 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210624 0 0 0 16800975 18446604470787515520 0 0 -1 3 0 0 0
[pid=18177/tid=18189] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18189/stat : 18189 (java) S 18175 18177 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904046526 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18190] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18190/stat : 18190 (java) S 18175 18177 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 904046526 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18191] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18191/stat : 18191 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904046528 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917217713 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18192] ppid=18175 vsize=13634656 CPUtime=0.47 cores=1,3,5,7
/proc/18177/task/18192/stat : 18192 (java) S 18175 18177 14759 0 -1 4202560 8197 0 0 0 47 0 0 0 16 0 19 0 904046528 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18193] ppid=18175 vsize=13634656 CPUtime=0.53 cores=1,3,5,7
/proc/18177/task/18193/stat : 18193 (java) S 18175 18177 14759 0 -1 4202560 4971 0 0 0 53 0 0 0 16 0 19 0 904046528 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 1 0 0 0
[pid=18177/tid=18194] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18194/stat : 18194 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904046528 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18195] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18195/stat : 18195 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904046529 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210624 0 4 0 16800975 18446604470787515520 0 0 -1 1 0 0 0
[pid=18177/tid=18196] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18196/stat : 18196 (java) S 18175 18177 14759 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904046569 13961887744 29677 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210624 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 13634656
Solver just ended. Dumping a history of the last processes samples
[startup+3.90102 s]
/proc/loadavg: 2.27 2.08 2.04 3/520 18196
/proc/meminfo: memFree=24300668/32950928 swapFree=61542356/67111528
[pid=18177] ppid=18175 vsize=13634656 CPUtime=4.92 cores=1,3,5,7
/proc/18177/stat : 18177 (java) S 18175 18177 14759 0 -1 4202496 37280 0 1 0 488 4 0 0 25 0 19 0 904046522 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18177/statm: 3408664 29790 2263 9 0 3399398 0
[pid=18177/tid=18178] ppid=18175 vsize=13634656 CPUtime=3.81 cores=1,3,5,7
/proc/18177/task/18178/stat : 18178 (java) R 18175 18177 14759 0 -1 4202560 21037 0 1 0 379 2 0 0 25 0 19 0 904046522 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 46912505716085 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18180/stat : 18180 (java) S 18175 18177 14759 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18181] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18181/stat : 18181 (java) S 18175 18177 14759 0 -1 4202560 124 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18182] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18182/stat : 18182 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18183] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18183/stat : 18183 (java) S 18175 18177 14759 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 904046525 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18184] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18184/stat : 18184 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18185] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18185/stat : 18185 (java) S 18175 18177 14759 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18186] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18186/stat : 18186 (java) S 18175 18177 14759 0 -1 4202560 298 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18187] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18187/stat : 18187 (java) S 18175 18177 14759 0 -1 4202560 242 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18188] ppid=18175 vsize=13634656 CPUtime=0.05 cores=1,3,5,7
/proc/18177/task/18188/stat : 18188 (java) S 18175 18177 14759 0 -1 4202560 935 0 0 0 5 0 0 0 15 0 19 0 904046526 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210624 0 0 0 16800975 18446604470787515520 0 0 -1 3 0 0 0
[pid=18177/tid=18189] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18189/stat : 18189 (java) S 18175 18177 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904046526 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18190] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18190/stat : 18190 (java) S 18175 18177 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 904046526 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18191] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18191/stat : 18191 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904046528 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917217713 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18192] ppid=18175 vsize=13634656 CPUtime=0.47 cores=1,3,5,7
/proc/18177/task/18192/stat : 18192 (java) S 18175 18177 14759 0 -1 4202560 8198 0 0 0 47 0 0 0 15 0 19 0 904046528 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18193] ppid=18175 vsize=13634656 CPUtime=0.54 cores=1,3,5,7
/proc/18177/task/18193/stat : 18193 (java) S 18175 18177 14759 0 -1 4202560 4971 0 0 0 54 0 0 0 15 0 19 0 904046528 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 1 0 0 0
[pid=18177/tid=18194] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18194/stat : 18194 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904046528 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18195] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18195/stat : 18195 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904046529 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210624 0 4 0 16800975 18446604470787515520 0 0 -1 1 0 0 0
[pid=18177/tid=18196] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18196/stat : 18196 (java) S 18175 18177 14759 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904046569 13961887744 29790 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210624 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 13634656
[startup+4.30095 s]
/proc/loadavg: 2.27 2.08 2.04 3/520 18196
/proc/meminfo: memFree=24300588/32950928 swapFree=61542356/67111528
[pid=18177] ppid=18175 vsize=13634656 CPUtime=5.33 cores=1,3,5,7
/proc/18177/stat : 18177 (java) S 18175 18177 14759 0 -1 4202496 37282 0 1 0 529 4 0 0 25 0 19 0 904046522 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18177/statm: 3408664 29791 2264 9 0 3399398 0
[pid=18177/tid=18178] ppid=18175 vsize=13634656 CPUtime=4.23 cores=1,3,5,7
/proc/18177/task/18178/stat : 18178 (java) R 18175 18177 14759 0 -1 4202560 21038 0 1 0 421 2 0 0 25 0 19 0 904046522 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917211078 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18180/stat : 18180 (java) S 18175 18177 14759 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18181] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18181/stat : 18181 (java) S 18175 18177 14759 0 -1 4202560 124 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18182] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18182/stat : 18182 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18183] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18183/stat : 18183 (java) S 18175 18177 14759 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 904046525 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18184] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18184/stat : 18184 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18185] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18185/stat : 18185 (java) S 18175 18177 14759 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18186] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18186/stat : 18186 (java) S 18175 18177 14759 0 -1 4202560 298 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18187] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18187/stat : 18187 (java) S 18175 18177 14759 0 -1 4202560 242 0 0 0 0 0 0 0 15 0 19 0 904046525 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18188] ppid=18175 vsize=13634656 CPUtime=0.05 cores=1,3,5,7
/proc/18177/task/18188/stat : 18188 (java) S 18175 18177 14759 0 -1 4202560 935 0 0 0 5 0 0 0 16 0 19 0 904046526 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210624 0 0 0 16800975 18446604470787515520 0 0 -1 3 0 0 0
[pid=18177/tid=18189] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18189/stat : 18189 (java) S 18175 18177 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904046526 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18190] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18190/stat : 18190 (java) S 18175 18177 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 904046526 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18191] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18191/stat : 18191 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904046528 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917217713 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18192] ppid=18175 vsize=13634656 CPUtime=0.48 cores=1,3,5,7
/proc/18177/task/18192/stat : 18192 (java) R 18175 18177 14759 0 -1 4202560 8199 0 0 0 48 0 0 0 15 0 19 0 904046528 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18177/tid=18193] ppid=18175 vsize=13634656 CPUtime=0.54 cores=1,3,5,7
/proc/18177/task/18193/stat : 18193 (java) S 18175 18177 14759 0 -1 4202560 4971 0 0 0 54 0 0 0 15 0 19 0 904046528 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 1 0 0 0
[pid=18177/tid=18194] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18194/stat : 18194 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904046528 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18195] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18195/stat : 18195 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904046529 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210624 0 4 0 16800975 18446604470787515520 0 0 -1 1 0 0 0
[pid=18177/tid=18196] ppid=18175 vsize=13634656 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18196/stat : 18196 (java) S 18175 18177 14759 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904046569 13961887744 29791 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210624 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 13634656
[startup+4.41893 s]
/proc/loadavg: 2.27 2.08 2.04 3/520 18196
/proc/meminfo: memFree=24300588/32950928 swapFree=61542356/67111528
[pid=18177] ppid=18175 vsize=13635684 CPUtime=5.45 cores=1,3,5,7
/proc/18177/stat : 18177 (java) S 18175 18177 14759 0 -1 4202496 37297 0 1 0 541 4 0 0 25 0 20 0 904046522 13962940416 29806 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18177/statm: 3408921 29806 2264 9 0 3399655 0
[pid=18177/tid=18178] ppid=18175 vsize=13635684 CPUtime=4.33 cores=1,3,5,7
/proc/18177/task/18178/stat : 18178 (java) S 18175 18177 14759 0 -1 4202560 21042 0 1 0 431 2 0 0 25 0 20 0 904046522 13962940416 29806 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=13635684 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18180/stat : 18180 (java) S 18175 18177 14759 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 20 0 904046525 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18181] ppid=18175 vsize=13635684 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18181/stat : 18181 (java) S 18175 18177 14759 0 -1 4202560 124 0 0 0 0 0 0 0 15 0 20 0 904046525 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18182] ppid=18175 vsize=13635684 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18182/stat : 18182 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 904046525 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18183] ppid=18175 vsize=13635684 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18183/stat : 18183 (java) S 18175 18177 14759 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 20 0 904046525 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18184] ppid=18175 vsize=13635684 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18184/stat : 18184 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 904046525 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18185] ppid=18175 vsize=13635684 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18185/stat : 18185 (java) S 18175 18177 14759 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 20 0 904046525 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18186] ppid=18175 vsize=13635684 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18186/stat : 18186 (java) S 18175 18177 14759 0 -1 4202560 298 0 0 0 0 0 0 0 15 0 20 0 904046525 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18187] ppid=18175 vsize=13635684 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18187/stat : 18187 (java) S 18175 18177 14759 0 -1 4202560 242 0 0 0 0 0 0 0 15 0 20 0 904046525 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 7 0 0 0
[pid=18177/tid=18188] ppid=18175 vsize=13635684 CPUtime=0.05 cores=1,3,5,7
/proc/18177/task/18188/stat : 18188 (java) S 18175 18177 14759 0 -1 4202560 935 0 0 0 5 0 0 0 16 0 20 0 904046526 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210624 0 0 0 16800975 18446604470787515520 0 0 -1 3 0 0 0
[pid=18177/tid=18189] ppid=18175 vsize=13635684 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18189/stat : 18189 (java) S 18175 18177 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 20 0 904046526 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18190] ppid=18175 vsize=13635684 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18190/stat : 18190 (java) S 18175 18177 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 20 0 904046526 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18191] ppid=18175 vsize=13635684 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18191/stat : 18191 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 904046528 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917217713 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18192] ppid=18175 vsize=13635684 CPUtime=0.49 cores=1,3,5,7
/proc/18177/task/18192/stat : 18192 (java) S 18175 18177 14759 0 -1 4202560 8200 0 0 0 49 0 0 0 15 0 20 0 904046528 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 3 0 0 0
[pid=18177/tid=18193] ppid=18175 vsize=13635684 CPUtime=0.54 cores=1,3,5,7
/proc/18177/task/18193/stat : 18193 (java) S 18175 18177 14759 0 -1 4202560 4971 0 0 0 54 0 0 0 15 0 20 0 904046528 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 1 0 0 0
[pid=18177/tid=18194] ppid=18175 vsize=13635684 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18194/stat : 18194 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 904046528 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210009 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
[pid=18177/tid=18195] ppid=18175 vsize=13635684 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18195/stat : 18195 (java) S 18175 18177 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 904046529 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210624 0 4 0 16800975 18446604470787515520 0 0 -1 1 0 0 0
[pid=18177/tid=18196] ppid=18175 vsize=13635684 CPUtime=0 cores=1,3,5,7
/proc/18177/task/18196/stat : 18196 (java) S 18175 18177 14759 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 904046569 13962940416 29807 33554432000 1073741824 1073778376 140735573691328 18446744073709551615 260917210624 0 4 0 16800975 18446604470787515520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 13635684
Child status: 20
Real time (s): 4.44398
CPU time (s): 5.47717
CPU user time (s): 5.42717
CPU system time (s): 0.049992
CPU usage (%): 123.249
Max. virtual memory (cumulated for all children) (KiB): 13635684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.42717
system time used= 0.049992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37307
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= 437
involuntary context switches= 71
runsolver used 0.018997 second user time and 0.068989 second system time
The end