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-3453725-1307194143/watcher-3453725-1307194143 -o /tmp/evaluation-result-3453725-1307194143/solver-3453725-1307194143 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453725-1307194143.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.27 3.81 3.67 3/500 13822
/proc/meminfo: memFree=30314248/32951124 swapFree=51712236/67111528
[pid=13822] ppid=13820 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/13822/stat : 13822 (java) S 13820 13822 9506 0 -1 4202496 1620 0 1 0 0 0 0 0 18 0 2 0 831016916 10681323520 1323 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/13822/statm: 2607745 1337 906 9 0 2598901 0
[pid=13822/tid=13827] ppid=13820 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13827/stat : 13827 (java) R 13820 13822 9506 0 -1 4202560 5171 0 1 0 0 0 0 0 19 0 2 0 831016917 10694979584 5987 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0299471 s]
/proc/loadavg: 3.27 3.81 3.67 3/500 13822
/proc/meminfo: memFree=30314248/32951124 swapFree=51712236/67111528
[pid=13822] ppid=13820 vsize=10455012 CPUtime=0.02 cores=0,2,4,6
/proc/13822/stat : 13822 (java) S 13820 13822 9506 0 -1 4202496 10642 0 1 0 1 1 0 0 18 0 10 0 831016916 10705932288 10342 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/13822/statm: 2613753 10345 1511 9 0 2604501 0
[pid=13822/tid=13827] ppid=13820 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/13822/task/13827/stat : 13827 (java) R 13820 13822 9506 0 -1 4202560 9526 0 1 0 1 0 0 0 22 0 10 0 831016917 10705932288 10347 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 47791571078040 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.104947 s]
/proc/loadavg: 3.27 3.81 3.67 3/500 13822
/proc/meminfo: memFree=30314248/32951124 swapFree=51712236/67111528
[pid=13822] ppid=13820 vsize=10540224 CPUtime=0.1 cores=0,2,4,6
/proc/13822/stat : 13822 (java) S 13820 13822 9506 0 -1 4202496 13102 0 1 0 9 1 0 0 18 0 18 0 831016916 10793189376 12772 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13822/statm: 2635056 12772 2093 9 0 2625790 0
[pid=13822/tid=13827] ppid=13820 vsize=10540224 CPUtime=0.08 cores=0,2,4,6
/proc/13822/task/13827/stat : 13827 (java) R 13820 13822 9506 0 -1 4202560 11166 0 1 0 7 1 0 0 18 0 18 0 831016917 10793189376 12772 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540224
[startup+0.340774 s]
/proc/loadavg: 3.27 3.81 3.67 3/500 13822
/proc/meminfo: memFree=30314248/32951124 swapFree=51712236/67111528
[pid=13822] ppid=13820 vsize=10548428 CPUtime=1.03 cores=0,2,4,6
/proc/13822/stat : 13822 (java) S 13820 13822 9506 0 -1 4202496 19689 0 1 0 101 2 0 0 18 0 22 0 831016916 10801590272 17438 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13822/statm: 2637107 17438 2200 9 0 2627841 0
[pid=13822/tid=13827] ppid=13820 vsize=10548428 CPUtime=0.16 cores=0,2,4,6
/proc/13822/task/13827/stat : 13827 (java) S 13820 13822 9506 0 -1 4202560 11791 0 1 0 15 1 0 0 19 0 22 0 831016917 10801590272 17438 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 10548428
[startup+0.712763 s]
/proc/loadavg: 3.27 3.81 3.67 3/500 13822
/proc/meminfo: memFree=30314248/32951124 swapFree=51712236/67111528
[pid=13822] ppid=13820 vsize=10557736 CPUtime=2.29 cores=0,2,4,6
/proc/13822/stat : 13822 (java) S 13820 13822 9506 0 -1 4202496 40189 0 1 0 223 6 0 0 18 0 22 0 831016916 10811121664 34416 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13822/statm: 2639434 34449 2223 9 0 2630168 0
[pid=13822/tid=13827] ppid=13820 vsize=10557736 CPUtime=0.16 cores=0,2,4,6
/proc/13822/task/13827/stat : 13827 (java) S 13820 13822 9506 0 -1 4202560 11791 0 1 0 15 1 0 0 15 0 22 0 831016917 10811121664 34465 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10557736
[startup+1.50165 s]
/proc/loadavg: 3.27 3.81 3.67 7/545 13878
/proc/meminfo: memFree=29975700/32951124 swapFree=51712236/67111528
[pid=13822] ppid=13820 vsize=10570268 CPUtime=5.05 cores=0,2,4,6
/proc/13822/stat : 13822 (java) S 13820 13822 9506 0 -1 4202496 76190 0 1 0 495 10 0 0 18 0 22 0 831016916 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13822/statm: 2642567 68939 2251 9 0 2633301 0
[pid=13822/tid=13827] ppid=13820 vsize=10570268 CPUtime=0.16 cores=0,2,4,6
/proc/13822/task/13827/stat : 13827 (java) S 13820 13822 9506 0 -1 4202560 11791 0 1 0 15 1 0 0 15 0 22 0 831016917 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13832] ppid=13820 vsize=10570268 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13832/stat : 13832 (java) S 13820 13822 9506 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 22 0 831016919 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13833] ppid=13820 vsize=10570268 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13833/stat : 13833 (java) S 13820 13822 9506 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 22 0 831016919 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13834] ppid=13820 vsize=10570268 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13834/stat : 13834 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831016919 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13835] ppid=13820 vsize=10570268 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13835/stat : 13835 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831016919 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13836] ppid=13820 vsize=10570268 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13836/stat : 13836 (java) S 13820 13822 9506 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 22 0 831016919 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13838] ppid=13820 vsize=10570268 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13838/stat : 13838 (java) S 13820 13822 9506 0 -1 4202560 430 0 0 0 0 0 0 0 15 0 22 0 831016919 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13839] ppid=13820 vsize=10570268 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13839/stat : 13839 (java) S 13820 13822 9506 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 22 0 831016919 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13842] ppid=13820 vsize=10570268 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13842/stat : 13842 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831016919 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13851] ppid=13820 vsize=10570268 CPUtime=0.03 cores=0,2,4,6
/proc/13822/task/13851/stat : 13851 (java) S 13820 13822 9506 0 -1 4202560 1022 0 0 0 3 0 0 0 16 0 22 0 831016920 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 0 0 16800975 18446604445170514880 0 0 -1 4 0 0 0
[pid=13822/tid=13853] ppid=13820 vsize=10570268 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13853/stat : 13853 (java) S 13820 13822 9506 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 831016920 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13856] ppid=13820 vsize=10570268 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13856/stat : 13856 (java) S 13820 13822 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831016920 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13857] ppid=13820 vsize=10570268 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13857/stat : 13857 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831016922 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646338993 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13858] ppid=13820 vsize=10570268 CPUtime=1 cores=0,2,4,6
/proc/13822/task/13858/stat : 13858 (java) S 13820 13822 9506 0 -1 4202560 8197 0 0 0 99 1 0 0 19 0 22 0 831016922 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13861] ppid=13820 vsize=10570268 CPUtime=1.28 cores=0,2,4,6
/proc/13822/task/13861/stat : 13861 (java) R 13820 13822 9506 0 -1 4202560 10800 0 0 0 128 0 0 0 18 0 22 0 831016922 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 47791568672188 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13822/tid=13862] ppid=13820 vsize=10570268 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13862/stat : 13862 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831016922 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13864] ppid=13820 vsize=10570268 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13864/stat : 13864 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831016922 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 4 0 0 0
[pid=13822/tid=13872] ppid=13820 vsize=10570268 CPUtime=1.26 cores=0,2,4,6
/proc/13822/task/13872/stat : 13872 (java) R 13820 13822 9506 0 -1 4202560 476 0 0 0 126 0 0 0 22 0 22 0 831016935 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 46912505366588 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13822/tid=13873] ppid=13820 vsize=10570268 CPUtime=1.24 cores=0,2,4,6
/proc/13822/task/13873/stat : 13873 (java) R 13820 13822 9506 0 -1 4202560 41579 0 0 0 119 5 0 0 18 0 22 0 831016935 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 46912505957626 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13822/tid=13874] ppid=13820 vsize=10570268 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13874/stat : 13874 (java) S 13820 13822 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831016935 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 4 0 0 0
[pid=13822/tid=13875] ppid=13820 vsize=10570268 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13875/stat : 13875 (java) S 13820 13822 9506 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 831016935 10823954432 68939 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.05
Current children cumulated vsize (KiB) 10570268
[startup+3.10137 s]
/proc/loadavg: 3.27 3.81 3.67 6/543 13928
/proc/meminfo: memFree=29871852/32951124 swapFree=51712236/67111528
[pid=13822] ppid=13820 vsize=10571680 CPUtime=8.26 cores=0,2,4,6
/proc/13822/stat : 13822 (java) S 13820 13822 9506 0 -1 4202496 122358 0 1 0 810 16 0 0 18 0 22 0 831016916 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13822/statm: 2642920 115104 2259 9 0 2633654 0
[pid=13822/tid=13827] ppid=13820 vsize=10571680 CPUtime=0.16 cores=0,2,4,6
/proc/13822/task/13827/stat : 13827 (java) S 13820 13822 9506 0 -1 4202560 11791 0 1 0 15 1 0 0 15 0 22 0 831016917 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13832] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13832/stat : 13832 (java) S 13820 13822 9506 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 22 0 831016919 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13833] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13833/stat : 13833 (java) S 13820 13822 9506 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 22 0 831016919 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13834] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13834/stat : 13834 (java) S 13820 13822 9506 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 831016919 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13835] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13835/stat : 13835 (java) S 13820 13822 9506 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831016919 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13836] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13836/stat : 13836 (java) S 13820 13822 9506 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 22 0 831016919 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13838] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13838/stat : 13838 (java) S 13820 13822 9506 0 -1 4202560 432 0 0 0 0 0 0 0 16 0 22 0 831016919 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13839] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13839/stat : 13839 (java) S 13820 13822 9506 0 -1 4202560 248 0 0 0 0 0 0 0 16 0 22 0 831016919 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13842] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13842/stat : 13842 (java) S 13820 13822 9506 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 831016919 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13851] ppid=13820 vsize=10571680 CPUtime=0.1 cores=0,2,4,6
/proc/13822/task/13851/stat : 13851 (java) S 13820 13822 9506 0 -1 4202560 2143 0 0 0 10 0 0 0 15 0 22 0 831016920 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 0 0 16800975 18446604445170514880 0 0 -1 4 0 0 0
[pid=13822/tid=13853] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13853/stat : 13853 (java) S 13820 13822 9506 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831016920 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13856] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13856/stat : 13856 (java) S 13820 13822 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831016920 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13857] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13857/stat : 13857 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831016922 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646338993 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13858] ppid=13820 vsize=10571680 CPUtime=1.02 cores=0,2,4,6
/proc/13822/task/13858/stat : 13858 (java) S 13820 13822 9506 0 -1 4202560 8198 0 0 0 101 1 0 0 15 0 22 0 831016922 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13861] ppid=13820 vsize=10571680 CPUtime=1.85 cores=0,2,4,6
/proc/13822/task/13861/stat : 13861 (java) S 13820 13822 9506 0 -1 4202560 11461 0 0 0 185 0 0 0 16 0 22 0 831016922 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13862] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13862/stat : 13862 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831016922 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13864] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13864/stat : 13864 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831016922 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13874] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13874/stat : 13874 (java) S 13820 13822 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831016935 10825400320 115104 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.26
Current children cumulated vsize (KiB) 10571680
Solver just ended. Dumping a history of the last processes samples
[startup+3.90123 s]
/proc/loadavg: 3.27 3.81 3.67 6/548 13933
/proc/meminfo: memFree=29640800/32951124 swapFree=51712236/67111528
[pid=13822] ppid=13820 vsize=10571680 CPUtime=9.83 cores=0,2,4,6
/proc/13822/stat : 13822 (java) S 13820 13822 9506 0 -1 4202496 122779 0 1 0 967 16 0 0 18 0 22 0 831016916 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13822/statm: 2642920 115524 2259 9 0 2633654 0
[pid=13822/tid=13827] ppid=13820 vsize=10571680 CPUtime=0.16 cores=0,2,4,6
/proc/13822/task/13827/stat : 13827 (java) S 13820 13822 9506 0 -1 4202560 11791 0 1 0 15 1 0 0 15 0 22 0 831016917 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13832] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13832/stat : 13832 (java) S 13820 13822 9506 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 22 0 831016919 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13833] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13833/stat : 13833 (java) S 13820 13822 9506 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 22 0 831016919 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13834] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13834/stat : 13834 (java) S 13820 13822 9506 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 831016919 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13835] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13835/stat : 13835 (java) S 13820 13822 9506 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831016919 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13836] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13836/stat : 13836 (java) S 13820 13822 9506 0 -1 4202560 273 0 0 0 0 0 0 0 16 0 22 0 831016919 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13838] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13838/stat : 13838 (java) S 13820 13822 9506 0 -1 4202560 447 0 0 0 0 0 0 0 16 0 22 0 831016919 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13839] ppid=13820 vsize=10571680 CPUtime=0.01 cores=0,2,4,6
/proc/13822/task/13839/stat : 13839 (java) S 13820 13822 9506 0 -1 4202560 275 0 0 0 1 0 0 0 15 0 22 0 831016919 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13842] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13842/stat : 13842 (java) S 13820 13822 9506 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 831016919 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13851] ppid=13820 vsize=10571680 CPUtime=0.13 cores=0,2,4,6
/proc/13822/task/13851/stat : 13851 (java) R 13820 13822 9506 0 -1 4202560 2492 0 0 0 13 0 0 0 15 0 22 0 831016920 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 47791567825066 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=13822/tid=13853] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13853/stat : 13853 (java) S 13820 13822 9506 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831016920 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13856] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13856/stat : 13856 (java) S 13820 13822 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831016920 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13857] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13857/stat : 13857 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831016922 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646338993 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13858] ppid=13820 vsize=10571680 CPUtime=1.02 cores=0,2,4,6
/proc/13822/task/13858/stat : 13858 (java) S 13820 13822 9506 0 -1 4202560 8198 0 0 0 101 1 0 0 15 0 22 0 831016922 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13861] ppid=13820 vsize=10571680 CPUtime=1.85 cores=0,2,4,6
/proc/13822/task/13861/stat : 13861 (java) S 13820 13822 9506 0 -1 4202560 11461 0 0 0 185 0 0 0 16 0 22 0 831016922 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13862] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13862/stat : 13862 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831016922 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13864] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13864/stat : 13864 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831016922 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13874] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13874/stat : 13874 (java) S 13820 13822 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831016935 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 4 0 0 0
[pid=13822/tid=13931] ppid=13820 vsize=10571680 CPUtime=1.6 cores=0,2,4,6
/proc/13822/task/13931/stat : 13931 (java) S 13820 13822 9506 0 -1 4202560 2 0 0 0 160 0 0 0 18 0 22 0 831017136 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13932] ppid=13820 vsize=10571680 CPUtime=1.59 cores=0,2,4,6
/proc/13822/task/13932/stat : 13932 (java) S 13820 13822 9506 0 -1 4202560 14738 0 0 0 158 1 0 0 19 0 22 0 831017136 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 4 0 0 0
[pid=13822/tid=13933] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13933/stat : 13933 (java) S 13820 13822 9506 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831017136 10825400320 115524 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.83
Current children cumulated vsize (KiB) 10571680
[startup+4.70115 s]
/proc/loadavg: 3.49 3.85 3.68 5/548 13933
/proc/meminfo: memFree=29483952/32951124 swapFree=51712236/67111528
[pid=13822] ppid=13820 vsize=10571680 CPUtime=11.36 cores=0,2,4,6
/proc/13822/stat : 13822 (java) S 13820 13822 9506 0 -1 4202496 131151 0 1 0 1119 17 0 0 18 0 22 0 831016916 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13822/statm: 2642920 123892 2259 9 0 2633654 0
[pid=13822/tid=13827] ppid=13820 vsize=10571680 CPUtime=0.16 cores=0,2,4,6
/proc/13822/task/13827/stat : 13827 (java) S 13820 13822 9506 0 -1 4202560 11791 0 1 0 15 1 0 0 15 0 22 0 831016917 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13832] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13832/stat : 13832 (java) S 13820 13822 9506 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 22 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13833] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13833/stat : 13833 (java) S 13820 13822 9506 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 22 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13834] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13834/stat : 13834 (java) S 13820 13822 9506 0 -1 4202560 166 0 0 0 0 0 0 0 16 0 22 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13835] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13835/stat : 13835 (java) S 13820 13822 9506 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13836] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13836/stat : 13836 (java) S 13820 13822 9506 0 -1 4202560 313 0 0 0 0 0 0 0 16 0 22 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13838] ppid=13820 vsize=10571680 CPUtime=0.01 cores=0,2,4,6
/proc/13822/task/13838/stat : 13838 (java) S 13820 13822 9506 0 -1 4202560 513 0 0 0 1 0 0 0 16 0 22 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13839] ppid=13820 vsize=10571680 CPUtime=0.01 cores=0,2,4,6
/proc/13822/task/13839/stat : 13839 (java) S 13820 13822 9506 0 -1 4202560 275 0 0 0 1 0 0 0 15 0 22 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13842] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13842/stat : 13842 (java) S 13820 13822 9506 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13851] ppid=13820 vsize=10571680 CPUtime=0.21 cores=0,2,4,6
/proc/13822/task/13851/stat : 13851 (java) S 13820 13822 9506 0 -1 4202560 3370 0 0 0 21 0 0 0 15 0 22 0 831016920 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 0 0 16800975 18446604445170514880 0 0 -1 4 0 0 0
[pid=13822/tid=13853] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13853/stat : 13853 (java) S 13820 13822 9506 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831016920 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13856] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13856/stat : 13856 (java) S 13820 13822 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831016920 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13857] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13857/stat : 13857 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831016922 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646338993 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13858] ppid=13820 vsize=10571680 CPUtime=1.02 cores=0,2,4,6
/proc/13822/task/13858/stat : 13858 (java) S 13820 13822 9506 0 -1 4202560 8198 0 0 0 101 1 0 0 15 0 22 0 831016922 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13861] ppid=13820 vsize=10571680 CPUtime=1.85 cores=0,2,4,6
/proc/13822/task/13861/stat : 13861 (java) S 13820 13822 9506 0 -1 4202560 11461 0 0 0 185 0 0 0 16 0 22 0 831016922 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13862] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13862/stat : 13862 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831016922 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13864] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13864/stat : 13864 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831016922 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13874] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13874/stat : 13874 (java) S 13820 13822 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831016935 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 4 0 0 0
[pid=13822/tid=13931] ppid=13820 vsize=10571680 CPUtime=2.32 cores=0,2,4,6
/proc/13822/task/13931/stat : 13931 (java) R 13820 13822 9506 0 -1 4202560 4 0 0 0 232 0 0 0 19 0 22 0 831017136 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 46912505651475 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13822/tid=13932] ppid=13820 vsize=10571680 CPUtime=2.32 cores=0,2,4,6
/proc/13822/task/13932/stat : 13932 (java) R 13820 13822 9506 0 -1 4202560 22030 0 0 0 230 2 0 0 19 0 22 0 831017136 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 46912505727400 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13822/tid=13933] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13933/stat : 13933 (java) S 13820 13822 9506 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831017136 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.36
Current children cumulated vsize (KiB) 10571680
[startup+5.10109 s]
/proc/loadavg: 3.49 3.85 3.68 5/548 13933
/proc/meminfo: memFree=29483952/32951124 swapFree=51712236/67111528
[pid=13822] ppid=13820 vsize=10571680 CPUtime=11.77 cores=0,2,4,6
/proc/13822/stat : 13822 (java) S 13820 13822 9506 0 -1 4202496 131151 0 1 0 1160 17 0 0 18 0 19 0 831016916 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13822/statm: 2642920 123892 2259 9 0 2633654 0
[pid=13822/tid=13827] ppid=13820 vsize=10571680 CPUtime=0.16 cores=0,2,4,6
/proc/13822/task/13827/stat : 13827 (java) S 13820 13822 9506 0 -1 4202560 11791 0 1 0 15 1 0 0 15 0 19 0 831016917 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13832] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13832/stat : 13832 (java) S 13820 13822 9506 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 19 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13833] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13833/stat : 13833 (java) S 13820 13822 9506 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13834] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13834/stat : 13834 (java) S 13820 13822 9506 0 -1 4202560 166 0 0 0 0 0 0 0 16 0 19 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13835] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13835/stat : 13835 (java) S 13820 13822 9506 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13836] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13836/stat : 13836 (java) S 13820 13822 9506 0 -1 4202560 313 0 0 0 0 0 0 0 16 0 19 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13838] ppid=13820 vsize=10571680 CPUtime=0.01 cores=0,2,4,6
/proc/13822/task/13838/stat : 13838 (java) S 13820 13822 9506 0 -1 4202560 513 0 0 0 1 0 0 0 16 0 19 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13839] ppid=13820 vsize=10571680 CPUtime=0.01 cores=0,2,4,6
/proc/13822/task/13839/stat : 13839 (java) S 13820 13822 9506 0 -1 4202560 275 0 0 0 1 0 0 0 15 0 19 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13842] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13842/stat : 13842 (java) S 13820 13822 9506 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13851] ppid=13820 vsize=10571680 CPUtime=0.21 cores=0,2,4,6
/proc/13822/task/13851/stat : 13851 (java) S 13820 13822 9506 0 -1 4202560 3370 0 0 0 21 0 0 0 15 0 19 0 831016920 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 0 0 16800975 18446604445170514880 0 0 -1 4 0 0 0
[pid=13822/tid=13853] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13853/stat : 13853 (java) S 13820 13822 9506 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 831016920 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13856] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13856/stat : 13856 (java) S 13820 13822 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 831016920 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13857] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13857/stat : 13857 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831016922 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646338993 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13858] ppid=13820 vsize=10571680 CPUtime=1.02 cores=0,2,4,6
/proc/13822/task/13858/stat : 13858 (java) S 13820 13822 9506 0 -1 4202560 8198 0 0 0 101 1 0 0 15 0 19 0 831016922 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13861] ppid=13820 vsize=10571680 CPUtime=1.85 cores=0,2,4,6
/proc/13822/task/13861/stat : 13861 (java) S 13820 13822 9506 0 -1 4202560 11461 0 0 0 185 0 0 0 16 0 19 0 831016922 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13862] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13862/stat : 13862 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831016922 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13864] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13864/stat : 13864 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831016922 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13933] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13933/stat : 13933 (java) S 13820 13822 9506 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 831017136 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.77
Current children cumulated vsize (KiB) 10571680
[startup+5.20107 s]
/proc/loadavg: 3.49 3.85 3.68 5/548 13933
/proc/meminfo: memFree=29483952/32951124 swapFree=51712236/67111528
[pid=13822] ppid=13820 vsize=10571680 CPUtime=11.77 cores=0,2,4,6
/proc/13822/stat : 13822 (java) S 13820 13822 9506 0 -1 4202496 131151 0 1 0 1160 17 0 0 18 0 19 0 831016916 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13822/statm: 2642920 123892 2259 9 0 2633654 0
[pid=13822/tid=13827] ppid=13820 vsize=10571680 CPUtime=0.16 cores=0,2,4,6
/proc/13822/task/13827/stat : 13827 (java) S 13820 13822 9506 0 -1 4202560 11791 0 1 0 15 1 0 0 15 0 19 0 831016917 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13832] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13832/stat : 13832 (java) S 13820 13822 9506 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 19 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13833] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13833/stat : 13833 (java) S 13820 13822 9506 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13834] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13834/stat : 13834 (java) S 13820 13822 9506 0 -1 4202560 166 0 0 0 0 0 0 0 16 0 19 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13835] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13835/stat : 13835 (java) S 13820 13822 9506 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13836] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13836/stat : 13836 (java) S 13820 13822 9506 0 -1 4202560 313 0 0 0 0 0 0 0 16 0 19 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 6 0 0 0
[pid=13822/tid=13838] ppid=13820 vsize=10571680 CPUtime=0.01 cores=0,2,4,6
/proc/13822/task/13838/stat : 13838 (java) S 13820 13822 9506 0 -1 4202560 513 0 0 0 1 0 0 0 16 0 19 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13839] ppid=13820 vsize=10571680 CPUtime=0.01 cores=0,2,4,6
/proc/13822/task/13839/stat : 13839 (java) S 13820 13822 9506 0 -1 4202560 275 0 0 0 1 0 0 0 15 0 19 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13842] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13842/stat : 13842 (java) S 13820 13822 9506 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831016919 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13851] ppid=13820 vsize=10571680 CPUtime=0.21 cores=0,2,4,6
/proc/13822/task/13851/stat : 13851 (java) S 13820 13822 9506 0 -1 4202560 3370 0 0 0 21 0 0 0 15 0 19 0 831016920 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 0 0 16800975 18446604445170514880 0 0 -1 4 0 0 0
[pid=13822/tid=13853] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13853/stat : 13853 (java) S 13820 13822 9506 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 831016920 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13856] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13856/stat : 13856 (java) S 13820 13822 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 831016920 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13857] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13857/stat : 13857 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831016922 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646338993 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13858] ppid=13820 vsize=10571680 CPUtime=1.02 cores=0,2,4,6
/proc/13822/task/13858/stat : 13858 (java) S 13820 13822 9506 0 -1 4202560 8198 0 0 0 101 1 0 0 15 0 19 0 831016922 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 2 0 0 0
[pid=13822/tid=13861] ppid=13820 vsize=10571680 CPUtime=1.85 cores=0,2,4,6
/proc/13822/task/13861/stat : 13861 (java) S 13820 13822 9506 0 -1 4202560 11461 0 0 0 185 0 0 0 16 0 19 0 831016922 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13862] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13862/stat : 13862 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831016922 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331289 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13864] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13864/stat : 13864 (java) S 13820 13822 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831016922 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 0 0 0 0
[pid=13822/tid=13933] ppid=13820 vsize=10571680 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13933/stat : 13933 (java) S 13820 13822 9506 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 831017136 10825400320 123892 33554432000 1073741824 1073778376 140735312996784 18446744073709551615 216646331904 0 4 0 16800975 18446604445170514880 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.77
Current children cumulated vsize (KiB) 10571680
Child status: 30
Real time (s): 5.26615
CPU time (s): 11.8502
CPU user time (s): 11.6582
CPU system time (s): 0.19197
CPU usage (%): 225.026
Max. virtual memory (cumulated for all children) (KiB): 10571680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6582
system time used= 0.19197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131161
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= 840
involuntary context switches= 287
runsolver used 0.029995 second user time and 0.06499 second system time
The end