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-3459295-1307634113/watcher-3459295-1307634113 -o /tmp/evaluation-result-3459295-1307634113/solver-3459295-1307634113 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459295-1307634113.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: 2.03 1.88 1.22 3/195 26761
/proc/meminfo: memFree=32127904/32951124 swapFree=67050780/67111528
[pid=26761] ppid=26759 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/26761/stat : 26761 (java) S 26759 26761 26276 0 -1 4202496 1236 0 0 0 0 0 0 0 25 0 2 0 875014151 31260672 956 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/26761/statm: 7632 956 730 9 0 383 0
[pid=26761/tid=26762] ppid=26759 vsize=30536 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26762/stat : 26762 (java) R 26759 26761 26276 0 -1 4202560 125 0 0 0 0 0 0 0 25 0 2 0 875014152 31268864 958 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218370574048 0 0 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.012378 s]
/proc/loadavg: 2.03 1.88 1.22 3/195 26761
/proc/meminfo: memFree=32127904/32951124 swapFree=67050780/67111528
[pid=26761] ppid=26759 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/26761/stat : 26761 (java) S 26759 26761 26276 0 -1 4202496 4460 0 1 0 0 0 0 0 25 0 2 0 875014151 13850947584 4163 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/26761/statm: 3381579 4181 917 9 0 3372735 0
[pid=26761/tid=26762] ppid=26759 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26762/stat : 26762 (java) R 26759 26761 26276 0 -1 4202560 3378 0 1 0 0 0 0 0 25 0 2 0 875014152 13850947584 4193 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13526316
[startup+0.10439 s]
/proc/loadavg: 2.03 1.88 1.22 3/195 26761
/proc/meminfo: memFree=32127904/32951124 swapFree=67050780/67111528
[pid=26761] ppid=26759 vsize=13621344 CPUtime=0.1 cores=0,2,4,6
/proc/26761/stat : 26761 (java) S 26759 26761 26276 0 -1 4202496 15605 0 1 0 9 1 0 0 25 0 18 0 875014151 13948256256 15281 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26761/statm: 3405336 15281 2093 9 0 3396070 0
[pid=26761/tid=26762] ppid=26759 vsize=13621344 CPUtime=0.08 cores=0,2,4,6
/proc/26761/task/26762/stat : 26762 (java) R 26759 26761 26276 0 -1 4202560 13676 0 1 0 7 1 0 0 20 0 18 0 875014152 13948256256 15281 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218370649808 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621344
[startup+0.300368 s]
/proc/loadavg: 2.03 1.88 1.22 3/195 26761
/proc/meminfo: memFree=32127904/32951124 swapFree=67050780/67111528
[pid=26761] ppid=26759 vsize=13623104 CPUtime=0.48 cores=0,2,4,6
/proc/26761/stat : 26761 (java) S 26759 26761 26276 0 -1 4202496 18420 0 1 0 46 2 0 0 25 0 18 0 875014151 13950058496 17868 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26761/statm: 3405776 17869 2200 9 0 3396510 0
[pid=26761/tid=26762] ppid=26759 vsize=13623104 CPUtime=0.28 cores=0,2,4,6
/proc/26761/task/26762/stat : 26762 (java) R 26759 26761 26276 0 -1 4202560 15522 0 1 0 27 1 0 0 20 0 18 0 875014152 13950058496 17869 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13623104
[startup+0.7003 s]
/proc/loadavg: 2.03 1.88 1.22 3/195 26761
/proc/meminfo: memFree=32127904/32951124 swapFree=67050780/67111528
[pid=26761] ppid=26759 vsize=13625512 CPUtime=1.17 cores=0,2,4,6
/proc/26761/stat : 26761 (java) S 26759 26761 26276 0 -1 4202496 57255 0 1 0 110 7 0 0 25 0 18 0 875014151 13952524288 54826 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26761/statm: 3406378 54831 2214 9 0 3397112 0
[pid=26761/tid=26762] ppid=26759 vsize=13625512 CPUtime=0.67 cores=0,2,4,6
/proc/26761/task/26762/stat : 26762 (java) R 26759 26761 26276 0 -1 4202560 50991 0 1 0 62 5 0 0 18 0 18 0 875014152 13952524288 54833 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 46912505546281 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 13625512
[startup+1.50117 s]
/proc/loadavg: 2.03 1.88 1.22 3/213 26779
/proc/meminfo: memFree=31781884/32951124 swapFree=67050780/67111528
[pid=26761] ppid=26759 vsize=13625512 CPUtime=1.97 cores=0,2,4,6
/proc/26761/stat : 26761 (java) S 26759 26761 26276 0 -1 4202496 146761 0 1 0 179 18 0 0 25 0 18 0 875014151 13952524288 144332 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26761/statm: 3406378 144337 2214 9 0 3397112 0
[pid=26761/tid=26762] ppid=26759 vsize=13625512 CPUtime=1.48 cores=0,2,4,6
/proc/26761/task/26762/stat : 26762 (java) R 26759 26761 26276 0 -1 4202560 140497 0 1 0 131 17 0 0 19 0 18 0 875014152 13952524288 144339 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 46912505578188 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26761/tid=26764] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26764/stat : 26764 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014154 13952524288 144342 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26765] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26765/stat : 26765 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014154 13952524288 144345 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26766] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26766/stat : 26766 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014154 13952524288 144348 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26767] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26767/stat : 26767 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014154 13952524288 144350 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26768] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26768/stat : 26768 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014154 13952524288 144354 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26769] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26769/stat : 26769 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014154 13952524288 144357 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26770] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26770/stat : 26770 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014154 13952524288 144359 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26771] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26771/stat : 26771 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014154 13952524288 144362 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26772] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26772/stat : 26772 (java) S 26759 26761 26276 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 875014155 13952524288 144365 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773760 0 0 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26773] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26773/stat : 26773 (java) S 26759 26761 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 875014155 13952524288 144368 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26774] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26774/stat : 26774 (java) S 26759 26761 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 875014155 13952524288 144370 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26775] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26775/stat : 26775 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014157 13952524288 144373 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382780849 0 4 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26776] ppid=26759 vsize=13625512 CPUtime=0.24 cores=0,2,4,6
/proc/26761/task/26776/stat : 26776 (java) S 26759 26761 26276 0 -1 4202560 2621 0 0 0 24 0 0 0 16 0 18 0 875014157 13952524288 144376 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26777] ppid=26759 vsize=13625512 CPUtime=0.23 cores=0,2,4,6
/proc/26761/task/26777/stat : 26777 (java) S 26759 26761 26276 0 -1 4202560 2500 0 0 0 23 0 0 0 16 0 18 0 875014157 13952524288 144379 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 0 0 0 0
[pid=26761/tid=26778] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26778/stat : 26778 (java) S 26759 26761 26276 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 875014158 13952524288 144381 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26779] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26779/stat : 26779 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 875014158 13952524288 144382 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773760 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 13625512
Solver just ended. Dumping a history of the last processes samples
[startup+1.9011 s]
/proc/loadavg: 2.03 1.88 1.22 3/213 26779
/proc/meminfo: memFree=31781884/32951124 swapFree=67050780/67111528
[pid=26761] ppid=26759 vsize=13625512 CPUtime=2.37 cores=0,2,4,6
/proc/26761/stat : 26761 (java) S 26759 26761 26276 0 -1 4202496 191244 0 1 0 213 24 0 0 25 0 18 0 875014151 13952524288 188816 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26761/statm: 3406378 188820 2214 9 0 3397112 0
[pid=26761/tid=26762] ppid=26759 vsize=13625512 CPUtime=1.88 cores=0,2,4,6
/proc/26761/task/26762/stat : 26762 (java) R 26759 26761 26276 0 -1 4202560 184980 0 1 0 165 23 0 0 20 0 18 0 875014152 13952524288 188822 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 46912505593619 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26761/tid=26764] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26764/stat : 26764 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014154 13952524288 188825 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26765] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26765/stat : 26765 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014154 13952524288 188828 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26766] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26766/stat : 26766 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014154 13952524288 188831 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26767] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26767/stat : 26767 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014154 13952524288 188834 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26768] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26768/stat : 26768 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014154 13952524288 188837 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26769] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26769/stat : 26769 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014154 13952524288 188840 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26770] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26770/stat : 26770 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014154 13952524288 188842 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26771] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26771/stat : 26771 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014154 13952524288 188845 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26772] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26772/stat : 26772 (java) S 26759 26761 26276 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 875014155 13952524288 188848 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773760 0 0 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26773] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26773/stat : 26773 (java) S 26759 26761 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 875014155 13952524288 188851 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26774] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26774/stat : 26774 (java) S 26759 26761 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 875014155 13952524288 188853 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26775] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26775/stat : 26775 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875014157 13952524288 188856 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382780849 0 4 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26776] ppid=26759 vsize=13625512 CPUtime=0.24 cores=0,2,4,6
/proc/26761/task/26776/stat : 26776 (java) S 26759 26761 26276 0 -1 4202560 2621 0 0 0 24 0 0 0 16 0 18 0 875014157 13952524288 188859 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26777] ppid=26759 vsize=13625512 CPUtime=0.23 cores=0,2,4,6
/proc/26761/task/26777/stat : 26777 (java) S 26759 26761 26276 0 -1 4202560 2500 0 0 0 23 0 0 0 16 0 18 0 875014157 13952524288 188862 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 0 0 0 0
[pid=26761/tid=26778] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26778/stat : 26778 (java) S 26759 26761 26276 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 875014158 13952524288 188864 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26779] ppid=26759 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26779/stat : 26779 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 875014158 13952524288 188867 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773760 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 13625512
[startup+2.30104 s]
/proc/loadavg: 2.03 1.88 1.22 5/213 26779
/proc/meminfo: memFree=31300888/32951124 swapFree=67050780/67111528
[pid=26761] ppid=26759 vsize=13626352 CPUtime=3.07 cores=0,2,4,6
/proc/26761/stat : 26761 (java) S 26759 26761 26276 0 -1 4202496 222630 0 1 0 279 28 0 0 25 0 19 0 875014151 13953384448 219032 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26761/statm: 3406588 219032 2234 9 0 3397322 0
[pid=26761/tid=26762] ppid=26759 vsize=13626352 CPUtime=2.28 cores=0,2,4,6
/proc/26761/task/26762/stat : 26762 (java) R 26759 26761 26276 0 -1 4202560 215144 0 1 0 202 26 0 0 19 0 19 0 875014152 13953384448 219032 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 46912505122376 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26761/tid=26764] ppid=26759 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26764/stat : 26764 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014154 13953384448 219032 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26765] ppid=26759 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26765/stat : 26765 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014154 13953384448 219032 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26766] ppid=26759 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26766/stat : 26766 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014154 13953384448 219032 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26767] ppid=26759 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26767/stat : 26767 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014154 13953384448 219032 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26768] ppid=26759 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26768/stat : 26768 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014154 13953384448 219032 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26769] ppid=26759 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26769/stat : 26769 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014154 13953384448 219036 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26770] ppid=26759 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26770/stat : 26770 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014154 13953384448 219036 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26771] ppid=26759 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26771/stat : 26771 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014154 13953384448 219036 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
[pid=26761/tid=26772] ppid=26759 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26772/stat : 26772 (java) S 26759 26761 26276 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 875014155 13953384448 219032 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773760 0 0 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26773] ppid=26759 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26773/stat : 26773 (java) S 26759 26761 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 875014155 13953384448 219032 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26774] ppid=26759 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26774/stat : 26774 (java) S 26759 26761 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 875014155 13953384448 219032 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26775] ppid=26759 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26775/stat : 26775 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875014157 13953384448 219032 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382780849 0 4 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26776] ppid=26759 vsize=13626352 CPUtime=0.36 cores=0,2,4,6
/proc/26761/task/26776/stat : 26776 (java) R 26759 26761 26276 0 -1 4202560 2959 0 0 0 36 0 0 0 16 0 19 0 875014157 13953384448 219032 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218371000679 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26761/tid=26777] ppid=26759 vsize=13626352 CPUtime=0.4 cores=0,2,4,6
/proc/26761/task/26777/stat : 26777 (java) S 26759 26761 26276 0 -1 4202560 3371 0 0 0 40 0 0 0 15 0 19 0 875014157 13953384448 219032 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 0 0 0 0
[pid=26761/tid=26778] ppid=26759 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26778/stat : 26778 (java) S 26759 26761 26276 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 875014158 13953384448 219032 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773145 0 4 0 16800975 18446604453918529600 0 0 -1 2 0 0 0
[pid=26761/tid=26779] ppid=26759 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/26761/task/26779/stat : 26779 (java) S 26759 26761 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 875014158 13953384448 219032 33554432000 1073741824 1073778376 140735387632000 18446744073709551615 218382773760 0 4 0 16800975 18446604453918529600 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13626352
Child status: 10
Real time (s): 2.36653
CPU time (s): 3.18851
CPU user time (s): 2.87156
CPU system time (s): 0.316951
CPU usage (%): 134.734
Max. virtual memory (cumulated for all children) (KiB): 13626352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.87156
system time used= 0.316951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222802
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= 287
involuntary context switches= 72
runsolver used 0.003999 second user time and 0.014997 second system time
The end