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-3453757-1307194180/watcher-3453757-1307194180 -o /tmp/evaluation-result-3453757-1307194180/solver-3453757-1307194180 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453757-1307194180.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: 3.15 3.66 3.62 2/501 18574
/proc/meminfo: memFree=23880764/32950928 swapFree=39617324/67111528
[pid=18574] ppid=18572 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/18574/stat : 18574 (java) S 18572 18574 13533 0 -1 4202496 6180 0 1 0 0 1 0 0 25 0 2 0 831017662 10694979584 5882 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18574/statm: 2611079 5895 917 9 0 2602235 0
[pid=18574/tid=18575] ppid=18572 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18575/stat : 18575 (java) R 18572 18574 13533 0 -1 4202560 7189 0 1 0 0 0 0 0 25 0 2 0 831017663 10694979584 8006 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.107488 s]
/proc/loadavg: 3.15 3.66 3.62 2/501 18574
/proc/meminfo: memFree=23880764/32950928 swapFree=39617324/67111528
[pid=18574] ppid=18572 vsize=10539972 CPUtime=0.12 cores=1,3,5,7
/proc/18574/stat : 18574 (java) S 18572 18574 13533 0 -1 4202496 13217 0 1 0 10 2 0 0 25 0 18 0 831017662 10792931328 12873 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18574/statm: 2634993 12874 2114 9 0 2625727 0
[pid=18574/tid=18575] ppid=18572 vsize=10539972 CPUtime=0.09 cores=1,3,5,7
/proc/18574/task/18575/stat : 18575 (java) R 18572 18574 13533 0 -1 4202560 11226 0 1 0 8 1 0 0 25 0 18 0 831017663 10792931328 12877 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 47222535709443 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539972
[startup+0.200471 s]
/proc/loadavg: 3.15 3.66 3.62 2/501 18574
/proc/meminfo: memFree=23880764/32950928 swapFree=39617324/67111528
[pid=18574] ppid=18572 vsize=10545960 CPUtime=0.29 cores=1,3,5,7
/proc/18574/stat : 18574 (java) S 18572 18574 13533 0 -1 4202496 14857 0 1 0 27 2 0 0 25 0 22 0 831017662 10799063040 14137 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18574/statm: 2636490 14137 2179 9 0 2627224 0
[pid=18574/tid=18575] ppid=18572 vsize=10545960 CPUtime=0.15 cores=1,3,5,7
/proc/18574/task/18575/stat : 18575 (java) S 18572 18574 13533 0 -1 4202560 11690 0 1 0 14 1 0 0 25 0 22 0 831017663 10799063040 14137 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10545960
[startup+0.300453 s]
/proc/loadavg: 3.15 3.66 3.62 2/501 18574
/proc/meminfo: memFree=23880764/32950928 swapFree=39617324/67111528
[pid=18574] ppid=18572 vsize=10548232 CPUtime=0.69 cores=1,3,5,7
/proc/18574/stat : 18574 (java) S 18572 18574 13533 0 -1 4202496 17692 0 1 0 67 2 0 0 25 0 22 0 831017662 10801389568 15745 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18574/statm: 2637058 15745 2193 9 0 2627792 0
[pid=18574/tid=18575] ppid=18572 vsize=10548232 CPUtime=0.15 cores=1,3,5,7
/proc/18574/task/18575/stat : 18575 (java) S 18572 18574 13533 0 -1 4202560 11690 0 1 0 14 1 0 0 25 0 22 0 831017663 10801389568 15745 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10548232
[startup+0.700379 s]
/proc/loadavg: 3.15 3.66 3.62 2/501 18574
/proc/meminfo: memFree=23880764/32950928 swapFree=39617324/67111528
[pid=18574] ppid=18572 vsize=10556960 CPUtime=2.26 cores=1,3,5,7
/proc/18574/stat : 18574 (java) S 18572 18574 13533 0 -1 4202496 44207 0 1 0 221 5 0 0 25 0 22 0 831017662 10810327040 37495 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18574/statm: 2639240 37495 2235 9 0 2629974 0
[pid=18574/tid=18575] ppid=18572 vsize=10556960 CPUtime=0.15 cores=1,3,5,7
/proc/18574/task/18575/stat : 18575 (java) S 18572 18574 13533 0 -1 4202560 11690 0 1 0 14 1 0 0 20 0 22 0 831017663 10810327040 37495 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 10556960
[startup+1.50122 s]
/proc/loadavg: 3.15 3.66 3.62 3/520 18596
/proc/meminfo: memFree=23719916/32950928 swapFree=39617324/67111528
[pid=18574] ppid=18572 vsize=10556960 CPUtime=3.89 cores=1,3,5,7
/proc/18574/stat : 18574 (java) S 18572 18574 13533 0 -1 4202496 83836 0 1 0 380 9 0 0 25 0 22 0 831017662 10810327040 74706 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18574/statm: 2639240 74711 2249 9 0 2629974 0
[pid=18574/tid=18575] ppid=18572 vsize=10556960 CPUtime=0.15 cores=1,3,5,7
/proc/18574/task/18575/stat : 18575 (java) S 18572 18574 13533 0 -1 4202560 11690 0 1 0 14 1 0 0 16 0 22 0 831017663 10810327040 74714 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18577] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18577/stat : 18577 (java) S 18572 18574 13533 0 -1 4202560 336 0 0 0 0 0 0 0 16 0 22 0 831017664 10810327040 74717 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18578] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18578/stat : 18578 (java) S 18572 18574 13533 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 74721 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18579] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18579/stat : 18579 (java) S 18572 18574 13533 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 74724 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18580] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18580/stat : 18580 (java) S 18572 18574 13533 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 74728 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18581] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18581/stat : 18581 (java) S 18572 18574 13533 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 74731 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18582] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18582/stat : 18582 (java) S 18572 18574 13533 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 74734 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18583] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18583/stat : 18583 (java) S 18572 18574 13533 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 74737 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18584] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18584/stat : 18584 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 74740 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18585] ppid=18572 vsize=10556960 CPUtime=0.03 cores=1,3,5,7
/proc/18574/task/18585/stat : 18585 (java) S 18572 18574 13533 0 -1 4202560 902 0 0 0 3 0 0 0 15 0 22 0 831017665 10810327040 74742 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18586] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18586/stat : 18586 (java) S 18572 18574 13533 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831017666 10810327040 74745 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18587] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18587/stat : 18587 (java) S 18572 18574 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 831017666 10810327040 74749 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18588] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18588/stat : 18588 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017668 10810327040 74751 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18589] ppid=18572 vsize=10556960 CPUtime=0.81 cores=1,3,5,7
/proc/18574/task/18589/stat : 18589 (java) S 18572 18574 13533 0 -1 4202560 5826 0 0 0 81 0 0 0 21 0 22 0 831017668 10810327040 74755 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18590] ppid=18572 vsize=10556960 CPUtime=1.08 cores=1,3,5,7
/proc/18574/task/18590/stat : 18590 (java) S 18572 18574 13533 0 -1 4202560 12087 0 0 0 107 1 0 0 25 0 22 0 831017668 10810327040 74758 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18591] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18591/stat : 18591 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017668 10810327040 74761 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18592] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18592/stat : 18592 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017668 10810327040 74764 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18595] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18595/stat : 18595 (java) S 18572 18574 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831017679 10810327040 74768 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 10556960
[startup+3.10092 s]
/proc/loadavg: 3.15 3.66 3.62 4/523 18599
/proc/meminfo: memFree=23533536/32950928 swapFree=39617324/67111528
[pid=18574] ppid=18572 vsize=10556960 CPUtime=7.1 cores=1,3,5,7
/proc/18574/stat : 18574 (java) S 18572 18574 13533 0 -1 4202496 105297 0 1 0 697 13 0 0 25 0 22 0 831017662 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18574/statm: 2639240 96163 2257 9 0 2629974 0
[pid=18574/tid=18575] ppid=18572 vsize=10556960 CPUtime=0.15 cores=1,3,5,7
/proc/18574/task/18575/stat : 18575 (java) S 18572 18574 13533 0 -1 4202560 11690 0 1 0 14 1 0 0 15 0 22 0 831017663 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18577] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18577/stat : 18577 (java) S 18572 18574 13533 0 -1 4202560 379 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18578] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18578/stat : 18578 (java) S 18572 18574 13533 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18579] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18579/stat : 18579 (java) S 18572 18574 13533 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18580] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18580/stat : 18580 (java) S 18572 18574 13533 0 -1 4202560 396 0 0 0 0 0 0 0 16 0 22 0 831017664 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18581] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18581/stat : 18581 (java) S 18572 18574 13533 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18582] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18582/stat : 18582 (java) S 18572 18574 13533 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18583] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18583/stat : 18583 (java) S 18572 18574 13533 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18584] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18584/stat : 18584 (java) S 18572 18574 13533 0 -1 4202560 151 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18585] ppid=18572 vsize=10556960 CPUtime=0.1 cores=1,3,5,7
/proc/18574/task/18585/stat : 18585 (java) S 18572 18574 13533 0 -1 4202560 2308 0 0 0 10 0 0 0 15 0 22 0 831017665 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18586] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18586/stat : 18586 (java) S 18572 18574 13533 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831017666 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18587] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18587/stat : 18587 (java) S 18572 18574 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 831017666 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18588] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18588/stat : 18588 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017668 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18589] ppid=18572 vsize=10556960 CPUtime=0.87 cores=1,3,5,7
/proc/18574/task/18589/stat : 18589 (java) S 18572 18574 13533 0 -1 4202560 5841 0 0 0 87 0 0 0 15 0 22 0 831017668 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18590] ppid=18572 vsize=10556960 CPUtime=1.1 cores=1,3,5,7
/proc/18574/task/18590/stat : 18590 (java) S 18572 18574 13533 0 -1 4202560 12088 0 0 0 109 1 0 0 15 0 22 0 831017668 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18591] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18591/stat : 18591 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017668 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18592] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18592/stat : 18592 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017668 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18595] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18595/stat : 18595 (java) S 18572 18574 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831017679 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18597] ppid=18572 vsize=10556960 CPUtime=1.82 cores=1,3,5,7
/proc/18574/task/18597/stat : 18597 (java) R 18572 18574 13533 0 -1 4202560 389 0 0 0 182 0 0 0 18 0 22 0 831017779 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 46912505533362 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18574/tid=18598] ppid=18572 vsize=10556960 CPUtime=1.82 cores=1,3,5,7
/proc/18574/task/18598/stat : 18598 (java) R 18572 18574 13533 0 -1 4202560 50691 0 0 0 177 5 0 0 19 0 22 0 831017779 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 46912505622862 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18574/tid=18599] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18599/stat : 18599 (java) S 18572 18574 13533 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831017779 10810327040 96163 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 10556960
[startup+6.30131 s]
/proc/loadavg: 3.13 3.65 3.62 4/523 18600
/proc/meminfo: memFree=23398900/32950928 swapFree=39617324/67111528
[pid=18574] ppid=18572 vsize=10556960 CPUtime=13.43 cores=1,3,5,7
/proc/18574/stat : 18574 (java) S 18572 18574 13533 0 -1 4202496 131786 0 1 0 1327 16 0 0 25 0 22 0 831017662 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18574/statm: 2639240 121853 2257 9 0 2629974 0
[pid=18574/tid=18575] ppid=18572 vsize=10556960 CPUtime=0.15 cores=1,3,5,7
/proc/18574/task/18575/stat : 18575 (java) S 18572 18574 13533 0 -1 4202560 11690 0 1 0 14 1 0 0 15 0 22 0 831017663 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18577] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18577/stat : 18577 (java) S 18572 18574 13533 0 -1 4202560 431 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18578] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18578/stat : 18578 (java) S 18572 18574 13533 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18579] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18579/stat : 18579 (java) S 18572 18574 13533 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18580] ppid=18572 vsize=10556960 CPUtime=0.01 cores=1,3,5,7
/proc/18574/task/18580/stat : 18580 (java) S 18572 18574 13533 0 -1 4202560 416 0 0 0 1 0 0 0 15 0 22 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18581] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18581/stat : 18581 (java) S 18572 18574 13533 0 -1 4202560 248 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18582] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18582/stat : 18582 (java) S 18572 18574 13533 0 -1 4202560 194 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18583] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18583/stat : 18583 (java) S 18572 18574 13533 0 -1 4202560 132 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18584] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18584/stat : 18584 (java) S 18572 18574 13533 0 -1 4202560 151 0 0 0 0 0 0 0 16 0 22 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18585] ppid=18572 vsize=10556960 CPUtime=0.24 cores=1,3,5,7
/proc/18574/task/18585/stat : 18585 (java) S 18572 18574 13533 0 -1 4202560 3679 0 0 0 24 0 0 0 15 0 22 0 831017665 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18586] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18586/stat : 18586 (java) S 18572 18574 13533 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831017666 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18587] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18587/stat : 18587 (java) S 18572 18574 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 831017666 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18588] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18588/stat : 18588 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18589] ppid=18572 vsize=10556960 CPUtime=0.88 cores=1,3,5,7
/proc/18574/task/18589/stat : 18589 (java) S 18572 18574 13533 0 -1 4202560 5846 0 0 0 88 0 0 0 15 0 22 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18590] ppid=18572 vsize=10556960 CPUtime=1.15 cores=1,3,5,7
/proc/18574/task/18590/stat : 18590 (java) S 18572 18574 13533 0 -1 4202560 12096 0 0 0 114 1 0 0 15 0 22 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18591] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18591/stat : 18591 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18592] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18592/stat : 18592 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18595] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18595/stat : 18595 (java) S 18572 18574 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831017679 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18597] ppid=18572 vsize=10556960 CPUtime=4.86 cores=1,3,5,7
/proc/18574/task/18597/stat : 18597 (java) R 18572 18574 13533 0 -1 4202560 622 0 0 0 486 0 0 0 22 0 22 0 831017779 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 46912505534128 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18574/tid=18598] ppid=18572 vsize=10556960 CPUtime=4.86 cores=1,3,5,7
/proc/18574/task/18598/stat : 18598 (java) R 18572 18574 13533 0 -1 4202560 75395 0 0 0 479 7 0 0 25 0 22 0 831017779 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 46912505678513 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18574/tid=18599] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18599/stat : 18599 (java) S 18572 18574 13533 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831017779 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.43
Current children cumulated vsize (KiB) 10556960
Solver just ended. Dumping a history of the last processes samples
[startup+6.40129 s]
/proc/loadavg: 3.13 3.65 3.62 4/523 18600
/proc/meminfo: memFree=23398900/32950928 swapFree=39617324/67111528
[pid=18574] ppid=18572 vsize=10556960 CPUtime=13.63 cores=1,3,5,7
/proc/18574/stat : 18574 (java) S 18572 18574 13533 0 -1 4202496 131786 0 1 0 1347 16 0 0 25 0 22 0 831017662 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18574/statm: 2639240 121853 2257 9 0 2629974 0
[pid=18574/tid=18575] ppid=18572 vsize=10556960 CPUtime=0.15 cores=1,3,5,7
/proc/18574/task/18575/stat : 18575 (java) S 18572 18574 13533 0 -1 4202560 11690 0 1 0 14 1 0 0 15 0 22 0 831017663 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18577] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18577/stat : 18577 (java) S 18572 18574 13533 0 -1 4202560 431 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18578] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18578/stat : 18578 (java) S 18572 18574 13533 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18579] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18579/stat : 18579 (java) S 18572 18574 13533 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18580] ppid=18572 vsize=10556960 CPUtime=0.01 cores=1,3,5,7
/proc/18574/task/18580/stat : 18580 (java) S 18572 18574 13533 0 -1 4202560 416 0 0 0 1 0 0 0 15 0 22 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18581] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18581/stat : 18581 (java) S 18572 18574 13533 0 -1 4202560 248 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18582] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18582/stat : 18582 (java) S 18572 18574 13533 0 -1 4202560 194 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18583] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18583/stat : 18583 (java) S 18572 18574 13533 0 -1 4202560 132 0 0 0 0 0 0 0 15 0 22 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18584] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18584/stat : 18584 (java) S 18572 18574 13533 0 -1 4202560 151 0 0 0 0 0 0 0 16 0 22 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18585] ppid=18572 vsize=10556960 CPUtime=0.24 cores=1,3,5,7
/proc/18574/task/18585/stat : 18585 (java) S 18572 18574 13533 0 -1 4202560 3679 0 0 0 24 0 0 0 15 0 22 0 831017665 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18586] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18586/stat : 18586 (java) S 18572 18574 13533 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831017666 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18587] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18587/stat : 18587 (java) S 18572 18574 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 831017666 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18588] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18588/stat : 18588 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18589] ppid=18572 vsize=10556960 CPUtime=0.88 cores=1,3,5,7
/proc/18574/task/18589/stat : 18589 (java) S 18572 18574 13533 0 -1 4202560 5846 0 0 0 88 0 0 0 15 0 22 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18590] ppid=18572 vsize=10556960 CPUtime=1.15 cores=1,3,5,7
/proc/18574/task/18590/stat : 18590 (java) S 18572 18574 13533 0 -1 4202560 12096 0 0 0 114 1 0 0 15 0 22 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18591] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18591/stat : 18591 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18592] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18592/stat : 18592 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18595] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18595/stat : 18595 (java) S 18572 18574 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831017679 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18597] ppid=18572 vsize=10556960 CPUtime=4.96 cores=1,3,5,7
/proc/18574/task/18597/stat : 18597 (java) R 18572 18574 13533 0 -1 4202560 622 0 0 0 496 0 0 0 22 0 22 0 831017779 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 46912505515647 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18574/tid=18598] ppid=18572 vsize=10556960 CPUtime=4.96 cores=1,3,5,7
/proc/18574/task/18598/stat : 18598 (java) R 18572 18574 13533 0 -1 4202560 75395 0 0 0 489 7 0 0 25 0 22 0 831017779 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 46912505675646 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18574/tid=18599] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18599/stat : 18599 (java) S 18572 18574 13533 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831017779 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.63
Current children cumulated vsize (KiB) 10556960
[startup+6.60125 s]
/proc/loadavg: 3.13 3.65 3.62 2/520 18600
/proc/meminfo: memFree=23398428/32950928 swapFree=39617324/67111528
[pid=18574] ppid=18572 vsize=10556960 CPUtime=13.77 cores=1,3,5,7
/proc/18574/stat : 18574 (java) S 18572 18574 13533 0 -1 4202496 131786 0 1 0 1361 16 0 0 25 0 19 0 831017662 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18574/statm: 2639240 121853 2257 9 0 2629974 0
[pid=18574/tid=18575] ppid=18572 vsize=10556960 CPUtime=0.15 cores=1,3,5,7
/proc/18574/task/18575/stat : 18575 (java) S 18572 18574 13533 0 -1 4202560 11690 0 1 0 14 1 0 0 15 0 19 0 831017663 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18577] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18577/stat : 18577 (java) S 18572 18574 13533 0 -1 4202560 431 0 0 0 0 0 0 0 15 0 19 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18578] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18578/stat : 18578 (java) S 18572 18574 13533 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18579] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18579/stat : 18579 (java) S 18572 18574 13533 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 19 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18580] ppid=18572 vsize=10556960 CPUtime=0.01 cores=1,3,5,7
/proc/18574/task/18580/stat : 18580 (java) S 18572 18574 13533 0 -1 4202560 416 0 0 0 1 0 0 0 15 0 19 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18581] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18581/stat : 18581 (java) S 18572 18574 13533 0 -1 4202560 248 0 0 0 0 0 0 0 15 0 19 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18582] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18582/stat : 18582 (java) S 18572 18574 13533 0 -1 4202560 194 0 0 0 0 0 0 0 15 0 19 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18583] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18583/stat : 18583 (java) S 18572 18574 13533 0 -1 4202560 132 0 0 0 0 0 0 0 15 0 19 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18584] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18584/stat : 18584 (java) S 18572 18574 13533 0 -1 4202560 151 0 0 0 0 0 0 0 16 0 19 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18585] ppid=18572 vsize=10556960 CPUtime=0.24 cores=1,3,5,7
/proc/18574/task/18585/stat : 18585 (java) S 18572 18574 13533 0 -1 4202560 3679 0 0 0 24 0 0 0 15 0 19 0 831017665 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18586] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18586/stat : 18586 (java) S 18572 18574 13533 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 831017666 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18587] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18587/stat : 18587 (java) S 18572 18574 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 831017666 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18588] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18588/stat : 18588 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18589] ppid=18572 vsize=10556960 CPUtime=0.88 cores=1,3,5,7
/proc/18574/task/18589/stat : 18589 (java) S 18572 18574 13533 0 -1 4202560 5846 0 0 0 88 0 0 0 15 0 19 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18590] ppid=18572 vsize=10556960 CPUtime=1.15 cores=1,3,5,7
/proc/18574/task/18590/stat : 18590 (java) S 18572 18574 13533 0 -1 4202560 12096 0 0 0 114 1 0 0 15 0 19 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18591] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18591/stat : 18591 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18592] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18592/stat : 18592 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18595] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18595/stat : 18595 (java) S 18572 18574 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831017679 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.77
Current children cumulated vsize (KiB) 10556960
[startup+6.72327 s]
/proc/loadavg: 3.13 3.65 3.62 2/520 18600
/proc/meminfo: memFree=23398428/32950928 swapFree=39617324/67111528
[pid=18574] ppid=18572 vsize=10556960 CPUtime=13.8 cores=1,3,5,7
/proc/18574/stat : 18574 (java) S 18572 18574 13533 0 -1 4202496 131786 0 1 0 1364 16 0 0 25 0 19 0 831017662 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18574/statm: 2639240 121853 2257 9 0 2629974 0
[pid=18574/tid=18575] ppid=18572 vsize=10556960 CPUtime=0.18 cores=1,3,5,7
/proc/18574/task/18575/stat : 18575 (java) R 18572 18574 13533 0 -1 4202560 11690 0 1 0 17 1 0 0 15 0 19 0 831017663 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18574/tid=18577] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18577/stat : 18577 (java) S 18572 18574 13533 0 -1 4202560 431 0 0 0 0 0 0 0 15 0 19 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18578] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18578/stat : 18578 (java) S 18572 18574 13533 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18579] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18579/stat : 18579 (java) S 18572 18574 13533 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 19 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18580] ppid=18572 vsize=10556960 CPUtime=0.01 cores=1,3,5,7
/proc/18574/task/18580/stat : 18580 (java) S 18572 18574 13533 0 -1 4202560 416 0 0 0 1 0 0 0 15 0 19 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18581] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18581/stat : 18581 (java) S 18572 18574 13533 0 -1 4202560 248 0 0 0 0 0 0 0 15 0 19 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18582] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18582/stat : 18582 (java) S 18572 18574 13533 0 -1 4202560 194 0 0 0 0 0 0 0 15 0 19 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18583] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18583/stat : 18583 (java) S 18572 18574 13533 0 -1 4202560 132 0 0 0 0 0 0 0 15 0 19 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18584] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18584/stat : 18584 (java) S 18572 18574 13533 0 -1 4202560 151 0 0 0 0 0 0 0 16 0 19 0 831017664 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18585] ppid=18572 vsize=10556960 CPUtime=0.24 cores=1,3,5,7
/proc/18574/task/18585/stat : 18585 (java) S 18572 18574 13533 0 -1 4202560 3679 0 0 0 24 0 0 0 15 0 19 0 831017665 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18586] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18586/stat : 18586 (java) S 18572 18574 13533 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 831017666 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18587] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18587/stat : 18587 (java) S 18572 18574 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 831017666 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18588] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18588/stat : 18588 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18589] ppid=18572 vsize=10556960 CPUtime=0.88 cores=1,3,5,7
/proc/18574/task/18589/stat : 18589 (java) S 18572 18574 13533 0 -1 4202560 5846 0 0 0 88 0 0 0 15 0 19 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18574/tid=18590] ppid=18572 vsize=10556960 CPUtime=1.15 cores=1,3,5,7
/proc/18574/task/18590/stat : 18590 (java) S 18572 18574 13533 0 -1 4202560 12096 0 0 0 114 1 0 0 15 0 19 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18574/tid=18591] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18591/stat : 18591 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18574/tid=18592] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18592/stat : 18592 (java) S 18572 18574 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017668 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18574/tid=18595] ppid=18572 vsize=10556960 CPUtime=0 cores=1,3,5,7
/proc/18574/task/18595/stat : 18595 (java) S 18572 18574 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831017679 10810327040 121853 33554432000 1073741824 1073778376 140737214257200 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.8
Current children cumulated vsize (KiB) 10556960
Child status: 30
Real time (s): 6.79307
CPU time (s): 13.8939
CPU user time (s): 13.7069
CPU system time (s): 0.186971
CPU usage (%): 204.53
Max. virtual memory (cumulated for all children) (KiB): 10556960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.7069
system time used= 0.186971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131796
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= 645
involuntary context switches= 306
runsolver used 0.030995 second user time and 0.101984 second system time
The end