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-3453760-1307194187/watcher-3453760-1307194187 -o /tmp/evaluation-result-3453760-1307194187/solver-3453760-1307194187 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453760-1307194187.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.13 3.65 3.62 3/501 18627
/proc/meminfo: memFree=23880684/32950928 swapFree=39617324/67111528
[pid=18627] ppid=18625 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18627/stat : 18627 (java) S 18625 18627 13533 0 -1 4202496 4699 0 1 0 0 0 0 0 25 0 2 0 831018352 10694979584 4402 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/18627/statm: 2611079 4414 917 9 0 2602235 0
[pid=18627/tid=18628] ppid=18625 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18628/stat : 18628 (java) R 18625 18627 13533 0 -1 4202560 5659 0 1 0 0 0 0 0 25 0 2 0 831018352 10694979584 6475 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.100487 s]
/proc/loadavg: 3.13 3.65 3.62 3/501 18627
/proc/meminfo: memFree=23880684/32950928 swapFree=39617324/67111528
[pid=18627] ppid=18625 vsize=10540216 CPUtime=0.09 cores=1,3,5,7
/proc/18627/stat : 18627 (java) S 18625 18627 13533 0 -1 4202496 13043 0 1 0 8 1 0 0 25 0 18 0 831018352 10793181184 12740 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18627/statm: 2635054 12741 2092 9 0 2625788 0
[pid=18627/tid=18628] ppid=18625 vsize=10540216 CPUtime=0.08 cores=1,3,5,7
/proc/18627/task/18628/stat : 18628 (java) R 18625 18627 13533 0 -1 4202560 11137 0 1 0 7 1 0 0 25 0 18 0 831018352 10793181184 12744 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 46912496197424 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) 10540216
[startup+0.20047 s]
/proc/loadavg: 3.13 3.65 3.62 3/501 18627
/proc/meminfo: memFree=23880684/32950928 swapFree=39617324/67111528
[pid=18627] ppid=18625 vsize=10544760 CPUtime=0.26 cores=1,3,5,7
/proc/18627/stat : 18627 (java) S 18625 18627 13533 0 -1 4202496 14166 0 1 0 24 2 0 0 25 0 22 0 831018352 10797834240 13861 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18627/statm: 2636190 13862 2186 9 0 2626924 0
[pid=18627/tid=18628] ppid=18625 vsize=10544760 CPUtime=0.17 cores=1,3,5,7
/proc/18627/task/18628/stat : 18628 (java) S 18625 18627 13533 0 -1 4202560 11874 0 1 0 16 1 0 0 25 0 22 0 831018352 10797834240 13862 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10544760
[startup+0.30045 s]
/proc/loadavg: 3.13 3.65 3.62 3/501 18627
/proc/meminfo: memFree=23880684/32950928 swapFree=39617324/67111528
[pid=18627] ppid=18625 vsize=10546288 CPUtime=0.65 cores=1,3,5,7
/proc/18627/stat : 18627 (java) S 18625 18627 13533 0 -1 4202496 17372 0 1 0 63 2 0 0 25 0 22 0 831018352 10799398912 16375 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18627/statm: 2636572 16375 2209 9 0 2627306 0
[pid=18627/tid=18628] ppid=18625 vsize=10546288 CPUtime=0.17 cores=1,3,5,7
/proc/18627/task/18628/stat : 18628 (java) S 18625 18627 13533 0 -1 4202560 11874 0 1 0 16 1 0 0 25 0 22 0 831018352 10799398912 16376 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 10546288
[startup+0.700375 s]
/proc/loadavg: 3.13 3.65 3.62 3/501 18627
/proc/meminfo: memFree=23880684/32950928 swapFree=39617324/67111528
[pid=18627] ppid=18625 vsize=10557652 CPUtime=2.24 cores=1,3,5,7
/proc/18627/stat : 18627 (java) S 18625 18627 13533 0 -1 4202496 37570 0 1 0 219 5 0 0 25 0 22 0 831018352 10811035648 33723 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18627/statm: 2639413 33724 2226 9 0 2630147 0
[pid=18627/tid=18628] ppid=18625 vsize=10557652 CPUtime=0.17 cores=1,3,5,7
/proc/18627/task/18628/stat : 18628 (java) S 18625 18627 13533 0 -1 4202560 11874 0 1 0 16 1 0 0 20 0 22 0 831018352 10811035648 33725 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 10557652
[startup+1.50122 s]
/proc/loadavg: 3.13 3.65 3.62 4/523 18649
/proc/meminfo: memFree=23647264/32950928 swapFree=39617324/67111528
[pid=18627] ppid=18625 vsize=10555256 CPUtime=4.44 cores=1,3,5,7
/proc/18627/stat : 18627 (java) S 18625 18627 13533 0 -1 4202496 78981 0 1 0 434 10 0 0 25 0 22 0 831018352 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18627/statm: 2638814 67613 2255 9 0 2629548 0
[pid=18627/tid=18628] ppid=18625 vsize=10555256 CPUtime=0.17 cores=1,3,5,7
/proc/18627/task/18628/stat : 18628 (java) S 18625 18627 13533 0 -1 4202560 11874 0 1 0 16 1 0 0 15 0 22 0 831018352 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18630] ppid=18625 vsize=10555256 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18630/stat : 18630 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831018354 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18631] ppid=18625 vsize=10555256 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18631/stat : 18631 (java) S 18625 18627 13533 0 -1 4202560 189 0 0 0 0 0 0 0 16 0 22 0 831018354 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18632] ppid=18625 vsize=10555256 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18632/stat : 18632 (java) S 18625 18627 13533 0 -1 4202560 146 0 0 0 0 0 0 0 16 0 22 0 831018354 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 3 0 0 0
[pid=18627/tid=18633] ppid=18625 vsize=10555256 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18633/stat : 18633 (java) S 18625 18627 13533 0 -1 4202560 124 0 0 0 0 0 0 0 15 0 22 0 831018354 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18634] ppid=18625 vsize=10555256 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18634/stat : 18634 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831018354 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18635] ppid=18625 vsize=10555256 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18635/stat : 18635 (java) S 18625 18627 13533 0 -1 4202560 269 0 0 0 0 0 0 0 15 0 22 0 831018354 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18636] ppid=18625 vsize=10555256 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18636/stat : 18636 (java) S 18625 18627 13533 0 -1 4202560 474 0 0 0 0 0 0 0 15 0 22 0 831018354 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18637] ppid=18625 vsize=10555256 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18637/stat : 18637 (java) S 18625 18627 13533 0 -1 4202560 207 0 0 0 0 0 0 0 16 0 22 0 831018354 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 3 0 0 0
[pid=18627/tid=18638] ppid=18625 vsize=10555256 CPUtime=0.03 cores=1,3,5,7
/proc/18627/task/18638/stat : 18638 (java) S 18625 18627 13533 0 -1 4202560 1262 0 0 0 3 0 0 0 16 0 22 0 831018355 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 0 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18639] ppid=18625 vsize=10555256 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18639/stat : 18639 (java) S 18625 18627 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831018355 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18640] ppid=18625 vsize=10555256 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18640/stat : 18640 (java) S 18625 18627 13533 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831018355 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18641] ppid=18625 vsize=10555256 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18641/stat : 18641 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831018358 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092055985 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18642] ppid=18625 vsize=10555256 CPUtime=0.8 cores=1,3,5,7
/proc/18627/task/18642/stat : 18642 (java) S 18625 18627 13533 0 -1 4202560 6267 0 0 0 80 0 0 0 22 0 22 0 831018358 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 3 0 0 0
[pid=18627/tid=18643] ppid=18625 vsize=10555256 CPUtime=0.85 cores=1,3,5,7
/proc/18627/task/18643/stat : 18643 (java) S 18625 18627 13533 0 -1 4202560 11385 0 0 0 84 1 0 0 22 0 22 0 831018358 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18644] ppid=18625 vsize=10555256 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18644/stat : 18644 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831018358 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18645] ppid=18625 vsize=10555256 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18645/stat : 18645 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831018358 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18646] ppid=18625 vsize=10555256 CPUtime=1.26 cores=1,3,5,7
/proc/18627/task/18646/stat : 18646 (java) R 18625 18627 13533 0 -1 4202560 649 0 0 0 126 0 0 0 25 0 22 0 831018371 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 46912505567813 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18627/tid=18647] ppid=18625 vsize=10555256 CPUtime=1.26 cores=1,3,5,7
/proc/18627/task/18647/stat : 18647 (java) R 18625 18627 13533 0 -1 4202560 44976 0 0 0 121 5 0 0 25 0 22 0 831018371 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 46912505980723 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18627/tid=18648] ppid=18625 vsize=10555256 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18648/stat : 18648 (java) S 18625 18627 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831018371 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18649] ppid=18625 vsize=10555256 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18649/stat : 18649 (java) S 18625 18627 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831018371 10808582144 67613 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 10555256
[startup+3.10092 s]
/proc/loadavg: 3.12 3.64 3.61 4/523 18649
/proc/meminfo: memFree=23547940/32950928 swapFree=39617324/67111528
[pid=18627] ppid=18625 vsize=10561580 CPUtime=7.66 cores=1,3,5,7
/proc/18627/stat : 18627 (java) S 18625 18627 13533 0 -1 4202496 116142 0 1 0 752 14 0 0 25 0 22 0 831018352 10815057920 103905 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18627/statm: 2640395 103941 2256 9 0 2631129 0
[pid=18627/tid=18628] ppid=18625 vsize=10561580 CPUtime=0.17 cores=1,3,5,7
/proc/18627/task/18628/stat : 18628 (java) S 18625 18627 13533 0 -1 4202560 11874 0 1 0 16 1 0 0 15 0 22 0 831018352 10815057920 103960 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18630] ppid=18625 vsize=10561580 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18630/stat : 18630 (java) S 18625 18627 13533 0 -1 4202560 135 0 0 0 0 0 0 0 15 0 22 0 831018354 10815057920 103981 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18631] ppid=18625 vsize=10561768 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18631/stat : 18631 (java) S 18625 18627 13533 0 -1 4202560 323 0 0 0 0 0 0 0 15 0 22 0 831018354 10815250432 103997 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18632] ppid=18625 vsize=10561768 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18632/stat : 18632 (java) S 18625 18627 13533 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 22 0 831018354 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 3 0 0 0
[pid=18627/tid=18633] ppid=18625 vsize=10561768 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18633/stat : 18633 (java) S 18625 18627 13533 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 22 0 831018354 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18634] ppid=18625 vsize=10561768 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18634/stat : 18634 (java) S 18625 18627 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 831018354 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18635] ppid=18625 vsize=10561768 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18635/stat : 18635 (java) S 18625 18627 13533 0 -1 4202560 340 0 0 0 0 0 0 0 16 0 22 0 831018354 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18636] ppid=18625 vsize=10561768 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18636/stat : 18636 (java) S 18625 18627 13533 0 -1 4202560 474 0 0 0 0 0 0 0 15 0 22 0 831018354 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18637] ppid=18625 vsize=10561768 CPUtime=0.01 cores=1,3,5,7
/proc/18627/task/18637/stat : 18637 (java) S 18625 18627 13533 0 -1 4202560 284 0 0 0 1 0 0 0 16 0 22 0 831018354 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18638] ppid=18625 vsize=10561768 CPUtime=0.11 cores=1,3,5,7
/proc/18627/task/18638/stat : 18638 (java) S 18625 18627 13533 0 -1 4202560 2915 0 0 0 11 0 0 0 16 0 22 0 831018355 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 0 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18639] ppid=18625 vsize=10561768 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18639/stat : 18639 (java) S 18625 18627 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831018355 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18640] ppid=18625 vsize=10561768 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18640/stat : 18640 (java) S 18625 18627 13533 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831018355 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18641] ppid=18625 vsize=10561768 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18641/stat : 18641 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831018358 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092055985 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18642] ppid=18625 vsize=10561768 CPUtime=0.88 cores=1,3,5,7
/proc/18627/task/18642/stat : 18642 (java) R 18625 18627 13533 0 -1 4202560 8619 0 0 0 87 1 0 0 15 0 22 0 831018358 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208079926223 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18627/tid=18643] ppid=18625 vsize=10561768 CPUtime=0.89 cores=1,3,5,7
/proc/18627/task/18643/stat : 18643 (java) S 18625 18627 13533 0 -1 4202560 11392 0 0 0 88 1 0 0 15 0 22 0 831018358 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18644] ppid=18625 vsize=10561768 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18644/stat : 18644 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831018358 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18645] ppid=18625 vsize=10561768 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18645/stat : 18645 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831018358 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18646] ppid=18625 vsize=10561768 CPUtime=2.76 cores=1,3,5,7
/proc/18627/task/18646/stat : 18646 (java) R 18625 18627 13533 0 -1 4202560 655 0 0 0 276 0 0 0 25 0 22 0 831018371 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 46912505558124 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18627/tid=18647] ppid=18625 vsize=10561768 CPUtime=2.76 cores=1,3,5,7
/proc/18627/task/18647/stat : 18647 (java) R 18625 18627 13533 0 -1 4202560 77706 0 0 0 268 8 0 0 25 0 22 0 831018371 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 46912505543913 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18627/tid=18648] ppid=18625 vsize=10561768 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18648/stat : 18648 (java) S 18625 18627 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831018371 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18649] ppid=18625 vsize=10561768 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18649/stat : 18649 (java) S 18625 18627 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831018371 10815250432 104008 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.66
Current children cumulated vsize (KiB) 10561580
[startup+6.30137 s]
/proc/loadavg: 3.12 3.64 3.61 4/523 18649
/proc/meminfo: memFree=23338144/32950928 swapFree=39617324/67111528
[pid=18627] ppid=18625 vsize=10559800 CPUtime=14.6 cores=1,3,5,7
/proc/18627/stat : 18627 (java) S 18625 18627 13533 0 -1 4202496 153579 0 1 0 1442 18 0 0 25 0 22 0 831018352 10813235200 139354 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18627/statm: 2639950 139354 2256 9 0 2630684 0
[pid=18627/tid=18628] ppid=18625 vsize=10559800 CPUtime=0.17 cores=1,3,5,7
/proc/18627/task/18628/stat : 18628 (java) S 18625 18627 13533 0 -1 4202560 11874 0 1 0 16 1 0 0 15 0 22 0 831018352 10813235200 139354 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18630] ppid=18625 vsize=10559800 CPUtime=0.01 cores=1,3,5,7
/proc/18627/task/18630/stat : 18630 (java) S 18625 18627 13533 0 -1 4202560 221 0 0 0 1 0 0 0 15 0 22 0 831018354 10813235200 139354 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18631] ppid=18625 vsize=10559800 CPUtime=0.01 cores=1,3,5,7
/proc/18627/task/18631/stat : 18631 (java) S 18625 18627 13533 0 -1 4202560 324 0 0 0 1 0 0 0 15 0 22 0 831018354 10813235200 139354 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 3 0 0 0
[pid=18627/tid=18632] ppid=18625 vsize=10559800 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18632/stat : 18632 (java) S 18625 18627 13533 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 22 0 831018354 10813235200 139354 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18633] ppid=18625 vsize=10559800 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18633/stat : 18633 (java) S 18625 18627 13533 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 22 0 831018354 10813235200 139354 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18634] ppid=18625 vsize=10559800 CPUtime=0.01 cores=1,3,5,7
/proc/18627/task/18634/stat : 18634 (java) S 18625 18627 13533 0 -1 4202560 23 0 0 0 1 0 0 0 15 0 22 0 831018354 10813235200 139354 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18635] ppid=18625 vsize=10559800 CPUtime=0.01 cores=1,3,5,7
/proc/18627/task/18635/stat : 18635 (java) S 18625 18627 13533 0 -1 4202560 344 0 0 0 1 0 0 0 15 0 22 0 831018354 10813235200 139354 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 3 0 0 0
[pid=18627/tid=18636] ppid=18625 vsize=10559800 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18636/stat : 18636 (java) S 18625 18627 13533 0 -1 4202560 474 0 0 0 0 0 0 0 15 0 22 0 831018354 10813235200 139354 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18637] ppid=18625 vsize=10559800 CPUtime=0.01 cores=1,3,5,7
/proc/18627/task/18637/stat : 18637 (java) S 18625 18627 13533 0 -1 4202560 284 0 0 0 1 0 0 0 15 0 22 0 831018354 10813235200 139354 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/18627/task/18637/stat : 18637 (java) S 18625 18627 13533 0 -1 4202560 305 0 0 0 5 0 0 0 15 0 22 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18638] ppid=18625 vsize=10553040 CPUtime=1.87 cores=1,3,5,7
/proc/18627/task/18638/stat : 18638 (java) S 18625 18627 13533 0 -1 4202560 10164 0 0 0 186 1 0 0 15 0 22 0 831018355 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 0 0 16800975 18446604471128849408 0 0 -1 3 0 0 0
[pid=18627/tid=18639] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18639/stat : 18639 (java) S 18625 18627 13533 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831018355 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18640] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18640/stat : 18640 (java) S 18625 18627 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 831018355 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18641] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18641/stat : 18641 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831018358 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092055985 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18642] ppid=18625 vsize=10553040 CPUtime=1.61 cores=1,3,5,7
/proc/18627/task/18642/stat : 18642 (java) S 18625 18627 13533 0 -1 4202560 10104 0 0 0 160 1 0 0 15 0 22 0 831018358 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18643] ppid=18625 vsize=10553040 CPUtime=1.42 cores=1,3,5,7
/proc/18627/task/18643/stat : 18643 (java) S 18625 18627 13533 0 -1 4202560 17538 0 0 0 139 3 0 0 16 0 22 0 831018358 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 3 0 0 0
[pid=18627/tid=18644] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18644/stat : 18644 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831018358 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18645] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18645/stat : 18645 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831018358 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18648] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18648/stat : 18648 (java) S 18625 18627 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831018371 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18656] ppid=18625 vsize=10553040 CPUtime=5.94 cores=1,3,5,7
/proc/18627/task/18656/stat : 18656 (java) R 18625 18627 13533 0 -1 4202560 6 0 0 0 594 0 0 0 17 0 22 0 831020232 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 46912506176053 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18627/tid=18657] ppid=18625 vsize=10553040 CPUtime=5.94 cores=1,3,5,7
/proc/18627/task/18657/stat : 18657 (java) R 18625 18627 13533 0 -1 4202560 1 0 0 0 594 0 0 0 17 0 22 0 831020232 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 46912505624730 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18627/tid=18658] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18658/stat : 18658 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831020233 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 10553040
Solver just ended. Dumping a history of the last processes samples
[startup+25.6016 s]
/proc/loadavg: 3.01 3.58 3.60 4/523 18658
/proc/meminfo: memFree=23136452/32950928 swapFree=39617324/67111528
[pid=18627] ppid=18625 vsize=10553040 CPUtime=51.19 cores=1,3,5,7
/proc/18627/stat : 18627 (java) S 18625 18627 13533 0 -1 4202496 200187 0 1 0 5094 25 0 0 25 0 22 0 831018352 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18627/statm: 2638260 179893 2257 9 0 2628994 0
[pid=18627/tid=18628] ppid=18625 vsize=10553040 CPUtime=0.17 cores=1,3,5,7
/proc/18627/task/18628/stat : 18628 (java) S 18625 18627 13533 0 -1 4202560 11878 0 1 0 16 1 0 0 15 0 22 0 831018352 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18630] ppid=18625 vsize=10553040 CPUtime=0.05 cores=1,3,5,7
/proc/18627/task/18630/stat : 18630 (java) S 18625 18627 13533 0 -1 4202560 224 0 0 0 5 0 0 0 16 0 22 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18631] ppid=18625 vsize=10553040 CPUtime=0.05 cores=1,3,5,7
/proc/18627/task/18631/stat : 18631 (java) S 18625 18627 13533 0 -1 4202560 330 0 0 0 5 0 0 0 16 0 22 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18632] ppid=18625 vsize=10553040 CPUtime=0.03 cores=1,3,5,7
/proc/18627/task/18632/stat : 18632 (java) S 18625 18627 13533 0 -1 4202560 320 0 0 0 3 0 0 0 16 0 22 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18633] ppid=18625 vsize=10553040 CPUtime=0.02 cores=1,3,5,7
/proc/18627/task/18633/stat : 18633 (java) S 18625 18627 13533 0 -1 4202560 156 0 0 0 2 0 0 0 15 0 22 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18634] ppid=18625 vsize=10553040 CPUtime=0.05 cores=1,3,5,7
/proc/18627/task/18634/stat : 18634 (java) S 18625 18627 13533 0 -1 4202560 28 0 0 0 5 0 0 0 15 0 22 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18635] ppid=18625 vsize=10553040 CPUtime=0.03 cores=1,3,5,7
/proc/18627/task/18635/stat : 18635 (java) S 18625 18627 13533 0 -1 4202560 365 0 0 0 3 0 0 0 15 0 22 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18636] ppid=18625 vsize=10553040 CPUtime=0.03 cores=1,3,5,7
/proc/18627/task/18636/stat : 18636 (java) S 18625 18627 13533 0 -1 4202560 484 0 0 0 3 0 0 0 15 0 22 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18637] ppid=18625 vsize=10553040 CPUtime=0.05 cores=1,3,5,7
/proc/18627/task/18637/stat : 18637 (java) S 18625 18627 13533 0 -1 4202560 305 0 0 0 5 0 0 0 15 0 22 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18638] ppid=18625 vsize=10553040 CPUtime=1.87 cores=1,3,5,7
/proc/18627/task/18638/stat : 18638 (java) S 18625 18627 13533 0 -1 4202560 10164 0 0 0 186 1 0 0 15 0 22 0 831018355 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 0 0 16800975 18446604471128849408 0 0 -1 3 0 0 0
[pid=18627/tid=18639] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18639/stat : 18639 (java) S 18625 18627 13533 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831018355 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18640] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18640/stat : 18640 (java) S 18625 18627 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 831018355 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18641] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18641/stat : 18641 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831018358 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092055985 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18642] ppid=18625 vsize=10553040 CPUtime=1.61 cores=1,3,5,7
/proc/18627/task/18642/stat : 18642 (java) S 18625 18627 13533 0 -1 4202560 10104 0 0 0 160 1 0 0 15 0 22 0 831018358 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18643] ppid=18625 vsize=10553040 CPUtime=1.42 cores=1,3,5,7
/proc/18627/task/18643/stat : 18643 (java) S 18625 18627 13533 0 -1 4202560 17538 0 0 0 139 3 0 0 16 0 22 0 831018358 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 3 0 0 0
[pid=18627/tid=18644] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18644/stat : 18644 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831018358 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18645] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18645/stat : 18645 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831018358 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18648] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18648/stat : 18648 (java) S 18625 18627 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831018371 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18656] ppid=18625 vsize=10553040 CPUtime=6.04 cores=1,3,5,7
/proc/18627/task/18656/stat : 18656 (java) R 18625 18627 13533 0 -1 4202560 6 0 0 0 604 0 0 0 17 0 22 0 831020232 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 46912505651218 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18627/tid=18657] ppid=18625 vsize=10553040 CPUtime=6.04 cores=1,3,5,7
/proc/18627/task/18657/stat : 18657 (java) R 18625 18627 13533 0 -1 4202560 1 0 0 0 604 0 0 0 17 0 22 0 831020232 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 46912506086785 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18627/tid=18658] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18658/stat : 18658 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831020233 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 10553040
[startup+26.4015 s]
/proc/loadavg: 2.85 3.54 3.58 2/520 18658
/proc/meminfo: memFree=23136476/32950928 swapFree=39617324/67111528
[pid=18627] ppid=18625 vsize=10553040 CPUtime=52.61 cores=1,3,5,7
/proc/18627/stat : 18627 (java) S 18625 18627 13533 0 -1 4202496 200187 0 1 0 5236 25 0 0 25 0 19 0 831018352 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18627/statm: 2638260 179893 2257 9 0 2628994 0
[pid=18627/tid=18628] ppid=18625 vsize=10553040 CPUtime=0.17 cores=1,3,5,7
/proc/18627/task/18628/stat : 18628 (java) S 18625 18627 13533 0 -1 4202560 11878 0 1 0 16 1 0 0 15 0 19 0 831018352 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18630] ppid=18625 vsize=10553040 CPUtime=0.05 cores=1,3,5,7
/proc/18627/task/18630/stat : 18630 (java) S 18625 18627 13533 0 -1 4202560 224 0 0 0 5 0 0 0 16 0 19 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18631] ppid=18625 vsize=10553040 CPUtime=0.05 cores=1,3,5,7
/proc/18627/task/18631/stat : 18631 (java) S 18625 18627 13533 0 -1 4202560 330 0 0 0 5 0 0 0 16 0 19 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18632] ppid=18625 vsize=10553040 CPUtime=0.03 cores=1,3,5,7
/proc/18627/task/18632/stat : 18632 (java) S 18625 18627 13533 0 -1 4202560 320 0 0 0 3 0 0 0 16 0 19 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18633] ppid=18625 vsize=10553040 CPUtime=0.02 cores=1,3,5,7
/proc/18627/task/18633/stat : 18633 (java) S 18625 18627 13533 0 -1 4202560 156 0 0 0 2 0 0 0 15 0 19 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18634] ppid=18625 vsize=10553040 CPUtime=0.05 cores=1,3,5,7
/proc/18627/task/18634/stat : 18634 (java) S 18625 18627 13533 0 -1 4202560 28 0 0 0 5 0 0 0 15 0 19 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18635] ppid=18625 vsize=10553040 CPUtime=0.03 cores=1,3,5,7
/proc/18627/task/18635/stat : 18635 (java) S 18625 18627 13533 0 -1 4202560 365 0 0 0 3 0 0 0 15 0 19 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18636] ppid=18625 vsize=10553040 CPUtime=0.03 cores=1,3,5,7
/proc/18627/task/18636/stat : 18636 (java) S 18625 18627 13533 0 -1 4202560 484 0 0 0 3 0 0 0 15 0 19 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18637] ppid=18625 vsize=10553040 CPUtime=0.05 cores=1,3,5,7
/proc/18627/task/18637/stat : 18637 (java) S 18625 18627 13533 0 -1 4202560 305 0 0 0 5 0 0 0 15 0 19 0 831018354 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18638] ppid=18625 vsize=10553040 CPUtime=1.87 cores=1,3,5,7
/proc/18627/task/18638/stat : 18638 (java) S 18625 18627 13533 0 -1 4202560 10164 0 0 0 186 1 0 0 15 0 19 0 831018355 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 0 0 16800975 18446604471128849408 0 0 -1 3 0 0 0
[pid=18627/tid=18639] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18639/stat : 18639 (java) S 18625 18627 13533 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 831018355 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18640] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18640/stat : 18640 (java) S 18625 18627 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 831018355 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18641] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18641/stat : 18641 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831018358 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092055985 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18642] ppid=18625 vsize=10553040 CPUtime=1.61 cores=1,3,5,7
/proc/18627/task/18642/stat : 18642 (java) S 18625 18627 13533 0 -1 4202560 10104 0 0 0 160 1 0 0 15 0 19 0 831018358 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18643] ppid=18625 vsize=10553040 CPUtime=1.42 cores=1,3,5,7
/proc/18627/task/18643/stat : 18643 (java) S 18625 18627 13533 0 -1 4202560 17538 0 0 0 139 3 0 0 16 0 19 0 831018358 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 3 0 0 0
[pid=18627/tid=18644] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18644/stat : 18644 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831018358 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18645] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18645/stat : 18645 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831018358 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18648] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18648/stat : 18648 (java) S 18625 18627 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831018371 10806312960 179893 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 52.61
Current children cumulated vsize (KiB) 10553040
[startup+26.6014 s]
/proc/loadavg: 2.85 3.54 3.58 2/520 18658
/proc/meminfo: memFree=23136476/32950928 swapFree=39617324/67111528
[pid=18627] ppid=18625 vsize=10553040 CPUtime=52.73 cores=1,3,5,7
/proc/18627/stat : 18627 (java) S 18625 18627 13533 0 -1 4202496 200189 0 1 0 5248 25 0 0 25 0 19 0 831018352 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18627/statm: 2638260 179894 2257 9 0 2628994 0
[pid=18627/tid=18628] ppid=18625 vsize=10553040 CPUtime=0.27 cores=1,3,5,7
/proc/18627/task/18628/stat : 18628 (java) R 18625 18627 13533 0 -1 4202560 11880 0 1 0 26 1 0 0 15 0 19 0 831018352 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 46912505784429 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18627/tid=18630] ppid=18625 vsize=10553040 CPUtime=0.05 cores=1,3,5,7
/proc/18627/task/18630/stat : 18630 (java) S 18625 18627 13533 0 -1 4202560 224 0 0 0 5 0 0 0 16 0 19 0 831018354 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18631] ppid=18625 vsize=10553040 CPUtime=0.05 cores=1,3,5,7
/proc/18627/task/18631/stat : 18631 (java) S 18625 18627 13533 0 -1 4202560 330 0 0 0 5 0 0 0 16 0 19 0 831018354 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18632] ppid=18625 vsize=10553040 CPUtime=0.03 cores=1,3,5,7
/proc/18627/task/18632/stat : 18632 (java) S 18625 18627 13533 0 -1 4202560 320 0 0 0 3 0 0 0 16 0 19 0 831018354 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18633] ppid=18625 vsize=10553040 CPUtime=0.02 cores=1,3,5,7
/proc/18627/task/18633/stat : 18633 (java) S 18625 18627 13533 0 -1 4202560 156 0 0 0 2 0 0 0 15 0 19 0 831018354 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18634] ppid=18625 vsize=10553040 CPUtime=0.05 cores=1,3,5,7
/proc/18627/task/18634/stat : 18634 (java) S 18625 18627 13533 0 -1 4202560 28 0 0 0 5 0 0 0 15 0 19 0 831018354 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18635] ppid=18625 vsize=10553040 CPUtime=0.03 cores=1,3,5,7
/proc/18627/task/18635/stat : 18635 (java) S 18625 18627 13533 0 -1 4202560 365 0 0 0 3 0 0 0 15 0 19 0 831018354 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18636] ppid=18625 vsize=10553040 CPUtime=0.03 cores=1,3,5,7
/proc/18627/task/18636/stat : 18636 (java) S 18625 18627 13533 0 -1 4202560 484 0 0 0 3 0 0 0 15 0 19 0 831018354 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18637] ppid=18625 vsize=10553040 CPUtime=0.05 cores=1,3,5,7
/proc/18627/task/18637/stat : 18637 (java) S 18625 18627 13533 0 -1 4202560 305 0 0 0 5 0 0 0 15 0 19 0 831018354 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 1 0 0 0
[pid=18627/tid=18638] ppid=18625 vsize=10553040 CPUtime=1.87 cores=1,3,5,7
/proc/18627/task/18638/stat : 18638 (java) S 18625 18627 13533 0 -1 4202560 10164 0 0 0 186 1 0 0 15 0 19 0 831018355 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 0 0 16800975 18446604471128849408 0 0 -1 3 0 0 0
[pid=18627/tid=18639] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18639/stat : 18639 (java) S 18625 18627 13533 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 831018355 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18640] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18640/stat : 18640 (java) S 18625 18627 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 831018355 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18641] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18641/stat : 18641 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831018358 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092055985 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18642] ppid=18625 vsize=10553040 CPUtime=1.61 cores=1,3,5,7
/proc/18627/task/18642/stat : 18642 (java) S 18625 18627 13533 0 -1 4202560 10104 0 0 0 160 1 0 0 15 0 19 0 831018358 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18643] ppid=18625 vsize=10553040 CPUtime=1.43 cores=1,3,5,7
/proc/18627/task/18643/stat : 18643 (java) S 18625 18627 13533 0 -1 4202560 17538 0 0 0 140 3 0 0 15 0 19 0 831018358 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 3 0 0 0
[pid=18627/tid=18644] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18644/stat : 18644 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831018358 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048281 0 4 0 16800975 18446604471128849408 0 0 -1 5 0 0 0
[pid=18627/tid=18645] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18645/stat : 18645 (java) S 18625 18627 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831018358 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
[pid=18627/tid=18648] ppid=18625 vsize=10553040 CPUtime=0 cores=1,3,5,7
/proc/18627/task/18648/stat : 18648 (java) S 18625 18627 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831018371 10806312960 179894 33554432000 1073741824 1073778376 140733545913776 18446744073709551615 208092048896 0 4 0 16800975 18446604471128849408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 52.73
Current children cumulated vsize (KiB) 10553040
Child status: 30
Real time (s): 26.7001
CPU time (s): 52.833
CPU user time (s): 52.546
CPU system time (s): 0.286956
CPU usage (%): 197.876
Max. virtual memory (cumulated for all children) (KiB): 10564260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.546
system time used= 0.286956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200199
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= 1957
involuntary context switches= 1395
runsolver used 0.131979 second user time and 0.32395 second system time
The end