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-3454186-1307189196/watcher-3454186-1307189196 -o /tmp/evaluation-result-3454186-1307189196/solver-3454186-1307189196 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454186-1307189196.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.68 3.83 3.12 2/511 27594
/proc/meminfo: memFree=21728692/32951124 swapFree=62999000/67111528
[pid=27594] ppid=27592 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27594/stat : 27594 (java) S 27592 27594 24981 0 -1 4202496 6292 0 1 0 0 0 0 0 24 0 2 0 811335194 10694979584 5994 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27594/statm: 2611079 6006 917 9 0 2602235 0
[pid=27594/tid=27595] ppid=27592 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27595/stat : 27595 (java) R 27592 27594 24981 0 -1 4202560 5238 0 1 0 0 0 0 0 25 0 2 0 811335195 10694979584 6055 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0865671 s]
/proc/loadavg: 3.68 3.83 3.12 2/511 27594
/proc/meminfo: memFree=21728692/32951124 swapFree=62999000/67111528
[pid=27594] ppid=27592 vsize=10538648 CPUtime=0.07 cores=1,3,5,7
/proc/27594/stat : 27594 (java) S 27592 27594 24981 0 -1 4202496 12339 0 1 0 6 1 0 0 24 0 18 0 811335194 10791575552 12036 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27594/statm: 2634662 12044 1938 9 0 2625396 0
[pid=27594/tid=27595] ppid=27592 vsize=10538648 CPUtime=0.06 cores=1,3,5,7
/proc/27594/task/27595/stat : 27595 (java) R 27592 27594 24981 0 -1 4202560 10920 0 1 0 5 1 0 0 25 0 18 0 811335195 10791575552 12046 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264726448311 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538648
[startup+0.100538 s]
/proc/loadavg: 3.68 3.83 3.12 2/511 27594
/proc/meminfo: memFree=21728692/32951124 swapFree=62999000/67111528
[pid=27594] ppid=27592 vsize=10539988 CPUtime=0.1 cores=1,3,5,7
/proc/27594/stat : 27594 (java) S 27592 27594 24981 0 -1 4202496 13011 0 1 0 8 2 0 0 24 0 18 0 811335194 10792947712 12688 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27594/statm: 2634997 12690 2092 9 0 2625731 0
[pid=27594/tid=27595] ppid=27592 vsize=10539988 CPUtime=0.08 cores=1,3,5,7
/proc/27594/task/27595/stat : 27595 (java) R 27592 27594 24981 0 -1 4202560 11096 0 1 0 7 1 0 0 25 0 18 0 811335195 10792947712 12690 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 47887369328152 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539988
[startup+0.300495 s]
/proc/loadavg: 3.68 3.83 3.12 2/511 27594
/proc/meminfo: memFree=21728692/32951124 swapFree=62999000/67111528
[pid=27594] ppid=27592 vsize=10541960 CPUtime=0.48 cores=1,3,5,7
/proc/27594/stat : 27594 (java) S 27592 27594 24981 0 -1 4202496 16128 0 1 0 45 3 0 0 24 0 18 0 811335194 10794967040 15540 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27594/statm: 2635490 15541 2200 9 0 2626224 0
[pid=27594/tid=27595] ppid=27592 vsize=10541960 CPUtime=0.28 cores=1,3,5,7
/proc/27594/task/27595/stat : 27595 (java) R 27592 27594 24981 0 -1 4202560 13242 0 1 0 26 2 0 0 25 0 18 0 811335195 10794967040 15541 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 46912505217324 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541960
[startup+0.704481 s]
/proc/loadavg: 3.68 3.83 3.12 2/511 27594
/proc/meminfo: memFree=21728692/32951124 swapFree=62999000/67111528
[pid=27594] ppid=27592 vsize=10550192 CPUtime=1.8 cores=1,3,5,7
/proc/27594/stat : 27594 (java) S 27592 27594 24981 0 -1 4202496 31001 0 1 0 175 5 0 0 24 0 22 0 811335194 10803396608 27349 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27594/statm: 2637548 27350 2239 9 0 2628282 0
[pid=27594/tid=27595] ppid=27592 vsize=10550192 CPUtime=0.43 cores=1,3,5,7
/proc/27594/task/27595/stat : 27595 (java) S 27592 27594 24981 0 -1 4202560 20369 0 1 0 40 3 0 0 25 0 22 0 811335195 10803396608 27350 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 10550192
[startup+1.50127 s]
/proc/loadavg: 3.68 3.83 3.12 3/554 27661
/proc/meminfo: memFree=21508616/32951124 swapFree=62999000/67111528
[pid=27594] ppid=27592 vsize=10550192 CPUtime=3.49 cores=1,3,5,7
/proc/27594/stat : 27594 (java) S 27592 27594 24981 0 -1 4202496 68912 0 1 0 339 10 0 0 24 0 22 0 811335194 10803396608 64926 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27594/statm: 2637548 64928 2240 9 0 2628282 0
[pid=27594/tid=27595] ppid=27592 vsize=10550192 CPUtime=0.43 cores=1,3,5,7
/proc/27594/task/27595/stat : 27595 (java) S 27592 27594 24981 0 -1 4202560 20369 0 1 0 40 3 0 0 15 0 22 0 811335195 10803396608 64929 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27600] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27600/stat : 27600 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335197 10803396608 64930 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27601] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27601/stat : 27601 (java) S 27592 27594 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811335197 10803396608 64931 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27602] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27602/stat : 27602 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335197 10803396608 64933 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27603] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27603/stat : 27603 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335197 10803396608 64934 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27604] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27604/stat : 27604 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335197 10803396608 64935 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27605] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27605/stat : 27605 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335197 10803396608 64936 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27606] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27606/stat : 27606 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335197 10803396608 64937 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27607] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27607/stat : 27607 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335197 10803396608 64939 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27608] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27608/stat : 27608 (java) S 27592 27594 24981 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 811335198 10803396608 64941 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 0 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=27594/tid=27609] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27609/stat : 27609 (java) S 27592 27594 24981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811335198 10803396608 64941 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27610] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27610/stat : 27610 (java) S 27592 27594 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811335198 10803396608 64941 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27611] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27611/stat : 27611 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335201 10803396608 64941 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738228657 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27612] ppid=27592 vsize=10550192 CPUtime=0.52 cores=1,3,5,7
/proc/27594/task/27612/stat : 27612 (java) S 27592 27594 24981 0 -1 4202560 4607 0 0 0 52 0 0 0 15 0 22 0 811335201 10803396608 64941 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27613] ppid=27592 vsize=10550192 CPUtime=0.43 cores=1,3,5,7
/proc/27594/task/27613/stat : 27613 (java) S 27592 27594 24981 0 -1 4202560 2187 0 0 0 43 0 0 0 15 0 22 0 811335201 10803396608 64941 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27614] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27614/stat : 27614 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335201 10803396608 64941 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27615] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27615/stat : 27615 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811335201 10803396608 64941 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27654] ppid=27592 vsize=10550192 CPUtime=1.04 cores=1,3,5,7
/proc/27594/task/27654/stat : 27654 (java) R 27592 27594 24981 0 -1 4202560 273 0 0 0 104 0 0 0 25 0 22 0 811335240 10803396608 64941 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 46912505816087 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27594/tid=27655] ppid=27592 vsize=10550192 CPUtime=1.02 cores=1,3,5,7
/proc/27594/task/27655/stat : 27655 (java) R 27592 27594 24981 0 -1 4202560 40323 0 0 0 97 5 0 0 20 0 22 0 811335240 10803396608 64941 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 46912505893774 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27594/tid=27656] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27656/stat : 27656 (java) S 27592 27594 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811335244 10803396608 64941 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=27594/tid=27657] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27657/stat : 27657 (java) S 27592 27594 24981 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811335244 10803396608 64941 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 10550192
[startup+3.10094 s]
/proc/loadavg: 3.68 3.83 3.12 5/557 27664
/proc/meminfo: memFree=21045452/32951124 swapFree=62999000/67111528
[pid=27594] ppid=27592 vsize=10550192 CPUtime=6.72 cores=1,3,5,7
/proc/27594/stat : 27594 (java) S 27592 27594 24981 0 -1 4202496 141264 0 1 0 653 19 0 0 24 0 22 0 811335194 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27594/statm: 2637548 136991 2242 9 0 2628282 0
[pid=27594/tid=27595] ppid=27592 vsize=10550192 CPUtime=0.43 cores=1,3,5,7
/proc/27594/task/27595/stat : 27595 (java) S 27592 27594 24981 0 -1 4202560 20369 0 1 0 40 3 0 0 15 0 22 0 811335195 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27600] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27600/stat : 27600 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335197 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27601] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27601/stat : 27601 (java) S 27592 27594 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811335197 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27602] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27602/stat : 27602 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335197 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27603] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27603/stat : 27603 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335197 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27604] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27604/stat : 27604 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335197 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27605] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27605/stat : 27605 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335197 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27606] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27606/stat : 27606 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335197 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27607] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27607/stat : 27607 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335197 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27608] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27608/stat : 27608 (java) S 27592 27594 24981 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 811335198 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 0 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=27594/tid=27609] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27609/stat : 27609 (java) S 27592 27594 24981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811335198 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27610] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27610/stat : 27610 (java) S 27592 27594 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811335198 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27611] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27611/stat : 27611 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335201 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738228657 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27612] ppid=27592 vsize=10550192 CPUtime=0.55 cores=1,3,5,7
/proc/27594/task/27612/stat : 27612 (java) S 27592 27594 24981 0 -1 4202560 4902 0 0 0 55 0 0 0 15 0 22 0 811335201 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27613] ppid=27592 vsize=10550192 CPUtime=0.43 cores=1,3,5,7
/proc/27594/task/27613/stat : 27613 (java) S 27592 27594 24981 0 -1 4202560 2187 0 0 0 43 0 0 0 16 0 22 0 811335201 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27614] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27614/stat : 27614 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335201 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27615] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27615/stat : 27615 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811335201 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27654] ppid=27592 vsize=10550192 CPUtime=2.64 cores=1,3,5,7
/proc/27594/task/27654/stat : 27654 (java) R 27592 27594 24981 0 -1 4202560 415 0 0 0 264 0 0 0 25 0 22 0 811335240 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 46912505809544 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27594/tid=27655] ppid=27592 vsize=10550192 CPUtime=2.63 cores=1,3,5,7
/proc/27594/task/27655/stat : 27655 (java) R 27592 27594 24981 0 -1 4202560 112223 0 0 0 249 14 0 0 25 0 22 0 811335240 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 46912505815734 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27594/tid=27656] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27656/stat : 27656 (java) S 27592 27594 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811335244 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=27594/tid=27657] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27657/stat : 27657 (java) S 27592 27594 24981 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811335244 10803396608 136991 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (KiB) 10550192
[startup+6.30133 s]
/proc/loadavg: 3.71 3.84 3.13 5/557 27664
/proc/meminfo: memFree=20302508/32951124 swapFree=62999000/67111528
[pid=27594] ppid=27592 vsize=10550192 CPUtime=13.58 cores=1,3,5,7
/proc/27594/stat : 27594 (java) S 27592 27594 24981 0 -1 4202496 190809 0 1 0 1333 25 0 0 24 0 22 0 811335194 10803396608 180908 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27594/statm: 2637548 180908 2266 9 0 2628282 0
[pid=27594/tid=27595] ppid=27592 vsize=10550192 CPUtime=0.43 cores=1,3,5,7
/proc/27594/task/27595/stat : 27595 (java) S 27592 27594 24981 0 -1 4202560 20369 0 1 0 40 3 0 0 15 0 22 0 811335195 10803396608 180908 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27600] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27600/stat : 27600 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811335197 10803396608 180908 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27601] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27601/stat : 27601 (java) S 27592 27594 24981 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811335197 10803396608 180908 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27602] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27602/stat : 27602 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811335197 10803396608 180908 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27603] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27603/stat : 27603 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811335197 10803396608 180908 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27604] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27604/stat : 27604 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811335197 10803396608 180908 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27605] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27605/stat : 27605 (java) S 27592 27594 24981 0 -1 4202560 524 0 0 0 0 0 0 0 18 0 22 0 811335197 10803396608 180908 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27606] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27606/stat : 27606 (java) S 27592 27594 24981 0 -1 4202560 612 0 0 0 0 0 0 0 18 0 22 0 811335197 10803396608 180908 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27607] ppid=27592 vsize=10550192 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27607/stat : 27607 (java) S 27592 27594 24981 0 -1 4202560 534 0 0 0 0 0 0 0 18 0 22 0 811335197 10803396608 180908 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=16397736/32951124 swapFree=62999000/67111528
[pid=27594] ppid=27592 vsize=10553176 CPUtime=1639.36 cores=1,3,5,7
/proc/27594/stat : 27594 (java) S 27592 27594 24981 0 -1 4202496 785720 0 1 0 163843 93 0 0 24 0 22 0 811335194 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27594/statm: 2638294 774089 2267 9 0 2629028 0
[pid=27594/tid=27595] ppid=27592 vsize=10553176 CPUtime=0.43 cores=1,3,5,7
/proc/27594/task/27595/stat : 27595 (java) S 27592 27594 24981 0 -1 4202560 20383 0 1 0 40 3 0 0 15 0 22 0 811335195 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27600] ppid=27592 vsize=10553176 CPUtime=0.1 cores=1,3,5,7
/proc/27594/task/27600/stat : 27600 (java) S 27592 27594 24981 0 -1 4202560 1737 0 0 0 10 0 0 0 15 0 22 0 811335197 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27601] ppid=27592 vsize=10553176 CPUtime=0.09 cores=1,3,5,7
/proc/27594/task/27601/stat : 27601 (java) S 27592 27594 24981 0 -1 4202560 229 0 0 0 9 0 0 0 16 0 22 0 811335197 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27602] ppid=27592 vsize=10553176 CPUtime=0.1 cores=1,3,5,7
/proc/27594/task/27602/stat : 27602 (java) S 27592 27594 24981 0 -1 4202560 247 0 0 0 10 0 0 0 15 0 22 0 811335197 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27603] ppid=27592 vsize=10553176 CPUtime=0.08 cores=1,3,5,7
/proc/27594/task/27603/stat : 27603 (java) S 27592 27594 24981 0 -1 4202560 721 0 0 0 8 0 0 0 15 0 22 0 811335197 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27604] ppid=27592 vsize=10553176 CPUtime=0.09 cores=1,3,5,7
/proc/27594/task/27604/stat : 27604 (java) S 27592 27594 24981 0 -1 4202560 305 0 0 0 9 0 0 0 15 0 22 0 811335197 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27605] ppid=27592 vsize=10553176 CPUtime=0.1 cores=1,3,5,7
/proc/27594/task/27605/stat : 27605 (java) S 27592 27594 24981 0 -1 4202560 1104 0 0 0 10 0 0 0 16 0 22 0 811335197 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27606] ppid=27592 vsize=10553176 CPUtime=0.1 cores=1,3,5,7
/proc/27594/task/27606/stat : 27606 (java) S 27592 27594 24981 0 -1 4202560 1027 0 0 0 10 0 0 0 16 0 22 0 811335197 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27607] ppid=27592 vsize=10553176 CPUtime=0.12 cores=1,3,5,7
/proc/27594/task/27607/stat : 27607 (java) S 27592 27594 24981 0 -1 4202560 1369 0 0 0 12 0 0 0 15 0 22 0 811335197 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27608] ppid=27592 vsize=10553176 CPUtime=6.82 cores=1,3,5,7
/proc/27594/task/27608/stat : 27608 (java) S 27592 27594 24981 0 -1 4202560 27206 0 0 0 678 4 0 0 15 0 22 0 811335198 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 0 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=27594/tid=27609] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27609/stat : 27609 (java) S 27592 27594 24981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811335198 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27610] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27610/stat : 27610 (java) S 27592 27594 24981 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811335198 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27611] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27611/stat : 27611 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335201 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738228657 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27612] ppid=27592 vsize=10553176 CPUtime=1.12 cores=1,3,5,7
/proc/27594/task/27612/stat : 27612 (java) S 27592 27594 24981 0 -1 4202560 12094 0 0 0 112 0 0 0 16 0 22 0 811335201 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27613] ppid=27592 vsize=10553176 CPUtime=0.79 cores=1,3,5,7
/proc/27594/task/27613/stat : 27613 (java) S 27592 27594 24981 0 -1 4202560 4669 0 0 0 79 0 0 0 15 0 22 0 811335201 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27614] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27614/stat : 27614 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335201 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27615] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27615/stat : 27615 (java) S 27592 27594 24981 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 811335201 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27654] ppid=27592 vsize=10553176 CPUtime=814.67 cores=1,3,5,7
/proc/27594/task/27654/stat : 27654 (java) R 27592 27594 24981 0 -1 4202560 550 0 0 0 81467 0 0 0 25 0 22 0 811335240 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 46912505838871 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27594/tid=27655] ppid=27592 vsize=10553176 CPUtime=814.61 cores=1,3,5,7
/proc/27594/task/27655/stat : 27655 (java) R 27592 27594 24981 0 -1 4202560 712874 0 0 0 81381 80 0 0 25 0 22 0 811335240 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 46912505925749 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27594/tid=27656] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27656/stat : 27656 (java) S 27592 27594 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811335244 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=27594/tid=27657] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27657/stat : 27657 (java) S 27592 27594 24981 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811335244 10806452224 774089 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1639.36
Current children cumulated vsize (KiB) 10553176
[startup+882.301 s]
/proc/loadavg: 3.98 3.94 3.61 5/557 27688
/proc/meminfo: memFree=16382296/32951124 swapFree=62999000/67111528
[pid=27594] ppid=27592 vsize=10553176 CPUtime=1758.42 cores=1,3,5,7
/proc/27594/stat : 27594 (java) S 27592 27594 24981 0 -1 4202496 789816 0 1 0 175748 94 0 0 24 0 22 0 811335194 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27594/statm: 2638294 778170 2267 9 0 2629028 0
[pid=27594/tid=27595] ppid=27592 vsize=10553176 CPUtime=0.43 cores=1,3,5,7
/proc/27594/task/27595/stat : 27595 (java) S 27592 27594 24981 0 -1 4202560 20385 0 1 0 40 3 0 0 15 0 22 0 811335195 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27600] ppid=27592 vsize=10553176 CPUtime=0.11 cores=1,3,5,7
/proc/27594/task/27600/stat : 27600 (java) S 27592 27594 24981 0 -1 4202560 1858 0 0 0 11 0 0 0 16 0 22 0 811335197 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27601] ppid=27592 vsize=10553176 CPUtime=0.1 cores=1,3,5,7
/proc/27594/task/27601/stat : 27601 (java) S 27592 27594 24981 0 -1 4202560 229 0 0 0 10 0 0 0 15 0 22 0 811335197 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27602] ppid=27592 vsize=10553176 CPUtime=0.12 cores=1,3,5,7
/proc/27594/task/27602/stat : 27602 (java) S 27592 27594 24981 0 -1 4202560 365 0 0 0 12 0 0 0 15 0 22 0 811335197 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27603] ppid=27592 vsize=10553176 CPUtime=0.09 cores=1,3,5,7
/proc/27594/task/27603/stat : 27603 (java) S 27592 27594 24981 0 -1 4202560 721 0 0 0 9 0 0 0 16 0 22 0 811335197 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27604] ppid=27592 vsize=10553176 CPUtime=0.1 cores=1,3,5,7
/proc/27594/task/27604/stat : 27604 (java) S 27592 27594 24981 0 -1 4202560 357 0 0 0 10 0 0 0 15 0 22 0 811335197 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27605] ppid=27592 vsize=10553176 CPUtime=0.11 cores=1,3,5,7
/proc/27594/task/27605/stat : 27605 (java) S 27592 27594 24981 0 -1 4202560 1208 0 0 0 11 0 0 0 15 0 22 0 811335197 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27606] ppid=27592 vsize=10553176 CPUtime=0.11 cores=1,3,5,7
/proc/27594/task/27606/stat : 27606 (java) S 27592 27594 24981 0 -1 4202560 1027 0 0 0 11 0 0 0 16 0 22 0 811335197 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27607] ppid=27592 vsize=10553176 CPUtime=0.14 cores=1,3,5,7
/proc/27594/task/27607/stat : 27607 (java) S 27592 27594 24981 0 -1 4202560 1687 0 0 0 14 0 0 0 15 0 22 0 811335197 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27608] ppid=27592 vsize=10553176 CPUtime=7.78 cores=1,3,5,7
/proc/27594/task/27608/stat : 27608 (java) S 27592 27594 24981 0 -1 4202560 30578 0 0 0 774 4 0 0 15 0 22 0 811335198 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 0 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=27594/tid=27609] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27609/stat : 27609 (java) S 27592 27594 24981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811335198 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27610] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27610/stat : 27610 (java) S 27592 27594 24981 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811335198 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27611] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27611/stat : 27611 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335201 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738228657 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27612] ppid=27592 vsize=10553176 CPUtime=1.12 cores=1,3,5,7
/proc/27594/task/27612/stat : 27612 (java) S 27592 27594 24981 0 -1 4202560 12094 0 0 0 112 0 0 0 16 0 22 0 811335201 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27613] ppid=27592 vsize=10553176 CPUtime=0.79 cores=1,3,5,7
/proc/27594/task/27613/stat : 27613 (java) S 27592 27594 24981 0 -1 4202560 4669 0 0 0 79 0 0 0 15 0 22 0 811335201 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27614] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27614/stat : 27614 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335201 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27615] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27615/stat : 27615 (java) S 27592 27594 24981 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811335201 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27654] ppid=27592 vsize=10553176 CPUtime=873.67 cores=1,3,5,7
/proc/27594/task/27654/stat : 27654 (java) R 27592 27594 24981 0 -1 4202560 552 0 0 0 87367 0 0 0 25 0 22 0 811335240 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 46912505809383 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27594/tid=27655] ppid=27592 vsize=10553176 CPUtime=873.61 cores=1,3,5,7
/proc/27594/task/27655/stat : 27655 (java) R 27592 27594 24981 0 -1 4202560 712877 0 0 0 87281 80 0 0 25 0 22 0 811335240 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 46912505911903 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27594/tid=27656] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27656/stat : 27656 (java) S 27592 27594 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811335244 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=27594/tid=27657] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27657/stat : 27657 (java) S 27592 27594 24981 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811335244 10806452224 778170 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1758.42
Current children cumulated vsize (KiB) 10553176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+903.301 s]
/proc/loadavg: 3.98 3.94 3.61 5/557 27688
/proc/meminfo: memFree=16381172/32951124 swapFree=62999000/67111528
[pid=27594] ppid=27592 vsize=10553176 CPUtime=1800.21 cores=1,3,5,7
/proc/27594/stat : 27594 (java) S 27592 27594 24981 0 -1 4202496 790091 0 1 0 179927 94 0 0 24 0 22 0 811335194 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27594/statm: 2638294 778441 2267 9 0 2629028 0
[pid=27594/tid=27595] ppid=27592 vsize=10553176 CPUtime=0.43 cores=1,3,5,7
/proc/27594/task/27595/stat : 27595 (java) S 27592 27594 24981 0 -1 4202560 20385 0 1 0 40 3 0 0 15 0 22 0 811335195 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27600] ppid=27592 vsize=10553176 CPUtime=0.11 cores=1,3,5,7
/proc/27594/task/27600/stat : 27600 (java) S 27592 27594 24981 0 -1 4202560 1858 0 0 0 11 0 0 0 15 0 22 0 811335197 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27601] ppid=27592 vsize=10553176 CPUtime=0.1 cores=1,3,5,7
/proc/27594/task/27601/stat : 27601 (java) S 27592 27594 24981 0 -1 4202560 229 0 0 0 10 0 0 0 15 0 22 0 811335197 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27602] ppid=27592 vsize=10553176 CPUtime=0.13 cores=1,3,5,7
/proc/27594/task/27602/stat : 27602 (java) S 27592 27594 24981 0 -1 4202560 365 0 0 0 13 0 0 0 16 0 22 0 811335197 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27603] ppid=27592 vsize=10553176 CPUtime=0.09 cores=1,3,5,7
/proc/27594/task/27603/stat : 27603 (java) S 27592 27594 24981 0 -1 4202560 721 0 0 0 9 0 0 0 16 0 22 0 811335197 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27604] ppid=27592 vsize=10553176 CPUtime=0.1 cores=1,3,5,7
/proc/27594/task/27604/stat : 27604 (java) S 27592 27594 24981 0 -1 4202560 357 0 0 0 10 0 0 0 15 0 22 0 811335197 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27605] ppid=27592 vsize=10553176 CPUtime=0.12 cores=1,3,5,7
/proc/27594/task/27605/stat : 27605 (java) S 27592 27594 24981 0 -1 4202560 1208 0 0 0 12 0 0 0 16 0 22 0 811335197 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27606] ppid=27592 vsize=10553176 CPUtime=0.12 cores=1,3,5,7
/proc/27594/task/27606/stat : 27606 (java) S 27592 27594 24981 0 -1 4202560 1027 0 0 0 12 0 0 0 15 0 22 0 811335197 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27607] ppid=27592 vsize=10553176 CPUtime=0.14 cores=1,3,5,7
/proc/27594/task/27607/stat : 27607 (java) S 27592 27594 24981 0 -1 4202560 1687 0 0 0 14 0 0 0 15 0 22 0 811335197 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27608] ppid=27592 vsize=10553176 CPUtime=8.04 cores=1,3,5,7
/proc/27594/task/27608/stat : 27608 (java) S 27592 27594 24981 0 -1 4202560 30851 0 0 0 800 4 0 0 15 0 22 0 811335198 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 0 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=27594/tid=27609] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27609/stat : 27609 (java) S 27592 27594 24981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811335198 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27610] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27610/stat : 27610 (java) S 27592 27594 24981 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811335198 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27611] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27611/stat : 27611 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335201 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738228657 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27612] ppid=27592 vsize=10553176 CPUtime=1.12 cores=1,3,5,7
/proc/27594/task/27612/stat : 27612 (java) S 27592 27594 24981 0 -1 4202560 12094 0 0 0 112 0 0 0 16 0 22 0 811335201 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=27594/tid=27613] ppid=27592 vsize=10553176 CPUtime=0.79 cores=1,3,5,7
/proc/27594/task/27613/stat : 27613 (java) S 27592 27594 24981 0 -1 4202560 4669 0 0 0 79 0 0 0 15 0 22 0 811335201 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27614] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27614/stat : 27614 (java) S 27592 27594 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811335201 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=27594/tid=27615] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27615/stat : 27615 (java) S 27592 27594 24981 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811335201 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=27594/tid=27654] ppid=27592 vsize=10553176 CPUtime=894.42 cores=1,3,5,7
/proc/27594/task/27654/stat : 27654 (java) R 27592 27594 24981 0 -1 4202560 553 0 0 0 89442 0 0 0 25 0 22 0 811335240 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 46912505838981 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27594/tid=27655] ppid=27592 vsize=10553176 CPUtime=894.36 cores=1,3,5,7
/proc/27594/task/27655/stat : 27655 (java) R 27592 27594 24981 0 -1 4202560 712878 0 0 0 89356 80 0 0 25 0 22 0 811335240 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 46912505871446 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27594/tid=27656] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27656/stat : 27656 (java) S 27592 27594 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811335244 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=27594/tid=27657] ppid=27592 vsize=10553176 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27657/stat : 27657 (java) S 27592 27594 24981 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811335244 10806452224 778441 33554432000 1073741824 1073778376 140735538232704 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 10553176
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+903.426 s]
/proc/loadavg: 3.98 3.94 3.61 5/557 27688
/proc/meminfo: memFree=16381172/32951124 swapFree=62999000/67111528
[pid=27594] ppid=27592 vsize=0 CPUtime=1800.38 cores=1,3,5,7
/proc/27594/stat : 27594 (java) Z 27592 27594 24981 0 -1 4203548 790121 0 1 0 179937 101 0 0 17 0 2 0 811335194 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27594/statm: 0 0 0 0 0 0 0
[pid=27594/tid=27655] ppid=27592 vsize=0 CPUtime=894.46 cores=1,3,5,7
/proc/27594/task/27655/stat : 27655 (java) R 27592 27594 24981 0 -1 4203588 712878 0 0 0 89359 87 0 0 25 0 2 0 811335240 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 903.473
CPU time (s): 1800.44
CPU user time (s): 1799.38
CPU system time (s): 1.06084
CPU usage (%): 199.279
Max. virtual memory (cumulated for all children) (KiB): 10559344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 1.06084
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 790121
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= 23529
involuntary context switches= 22657
runsolver used 4.71328 second user time and 10.9263 second system time
The end