runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3731223-1338735149/watcher-3731223-1338735149 -o /tmp/evaluation-result-3731223-1338735149/solver-3731223-1338735149 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3731223-1338735149.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.30 3.68 3.70 4/197 16787
/proc/meminfo: memFree=30643948/32873648 swapFree=7628/7628
[pid=16787] ppid=16785 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/16787/stat : 16787 (java) S 16785 16787 3958 0 -1 4202496 1217 0 0 0 0 0 0 0 20 0 2 0 339640844 95129600 926 33554432000 1073741824 1073778376 140733907099328 140733907090464 217413877821 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16787/statm: 23528 926 703 9 0 16769 0
[pid=16787/tid=16788] ppid=16785 vsize=94112 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16788/stat : 16788 (java) R 16785 16787 3958 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 2 0 339640845 96370688 930 33554432000 1073741824 1073778376 140733907099328 140516101721640 217401356074 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.09302 s]
/proc/loadavg: 3.30 3.68 3.70 4/197 16787
/proc/meminfo: memFree=30643948/32873648 swapFree=7628/7628
[pid=16787] ppid=16785 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/16787/stat : 16787 (java) S 16785 16787 3958 0 -1 4202496 4825 0 1 0 8 1 0 0 20 0 18 0 339640844 2764726272 6006 33554432000 1073741824 1073778376 140733907099328 140733907090464 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16787/statm: 674982 6006 2124 9 0 665676 0
[pid=16787/tid=16788] ppid=16785 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/16787/task/16788/stat : 16788 (java) R 16785 16787 3958 0 -1 4202560 2827 0 1 0 6 1 0 0 20 0 18 0 339640845 2764726272 6006 33554432000 1073741824 1073778376 140733907099328 140516101709600 140516023721398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.100245 s]
/proc/loadavg: 3.30 3.68 3.70 4/197 16787
/proc/meminfo: memFree=30643948/32873648 swapFree=7628/7628
[pid=16787] ppid=16785 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/16787/stat : 16787 (java) S 16785 16787 3958 0 -1 4202496 4913 0 1 0 10 1 0 0 20 0 18 0 339640844 2764726272 6064 33554432000 1073741824 1073778376 140733907099328 140733907090464 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16787/statm: 674982 6064 2153 9 0 665676 0
[pid=16787/tid=16788] ppid=16785 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/16787/task/16788/stat : 16788 (java) R 16785 16787 3958 0 -1 4202560 2832 0 1 0 6 1 0 0 20 0 18 0 339640845 2764726272 6064 33554432000 1073741824 1073778376 140733907099328 140516101709600 140516109526768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.300256 s]
/proc/loadavg: 3.30 3.68 3.70 4/197 16787
/proc/meminfo: memFree=30643948/32873648 swapFree=7628/7628
[pid=16787] ppid=16785 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/16787/stat : 16787 (java) S 16785 16787 3958 0 -1 4202496 4990 0 1 0 12 1 0 0 20 0 20 0 339640844 3037372416 7153 33554432000 1073741824 1073778376 140733907099328 140733907090464 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16787/statm: 741546 7153 2157 9 0 732240 0
[pid=16787/tid=16788] ppid=16785 vsize=2966184 CPUtime=0.09 cores=1,3,5,7
/proc/16787/task/16788/stat : 16788 (java) S 16785 16787 3958 0 -1 4202560 2836 0 1 0 8 1 0 0 20 0 20 0 339640845 3037372416 7153 33554432000 1073741824 1073778376 140733907099328 140516101727384 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2966184
[startup+0.700229 s]
/proc/loadavg: 3.30 3.68 3.70 4/197 16787
/proc/meminfo: memFree=30643948/32873648 swapFree=7628/7628
[pid=16787] ppid=16785 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/16787/stat : 16787 (java) S 16785 16787 3958 0 -1 4202496 4990 0 1 0 12 1 0 0 20 0 20 0 339640844 3037372416 7153 33554432000 1073741824 1073778376 140733907099328 140733907090464 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16787/statm: 741546 7153 2157 9 0 732240 0
[pid=16787/tid=16788] ppid=16785 vsize=2966184 CPUtime=0.09 cores=1,3,5,7
/proc/16787/task/16788/stat : 16788 (java) S 16785 16787 3958 0 -1 4202560 2836 0 1 0 8 1 0 0 20 0 20 0 339640845 3037372416 7153 33554432000 1073741824 1073778376 140733907099328 140516101727384 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2966184
[startup+1.50058 s]
/proc/loadavg: 3.20 3.66 3.69 3/217 16809
/proc/meminfo: memFree=30624080/32873648 swapFree=7628/7628
[pid=16787] ppid=16785 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/16787/stat : 16787 (java) S 16785 16787 3958 0 -1 4202496 5056 0 1 0 12 1 0 0 20 0 20 0 339640844 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140733907090464 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16787/statm: 741546 8216 2157 9 0 732240 0
[pid=16787/tid=16788] ppid=16785 vsize=2966184 CPUtime=0.09 cores=1,3,5,7
/proc/16787/task/16788/stat : 16788 (java) S 16785 16787 3958 0 -1 4202560 2836 0 1 0 8 1 0 0 20 0 20 0 339640845 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140516101727384 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16787/tid=16790] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16790/stat : 16790 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515968563880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16791] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16791/stat : 16791 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515967511336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16787/tid=16792] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16792/stat : 16792 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515966458792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16787/tid=16793] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16793/stat : 16793 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515965406248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16787/tid=16794] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16794/stat : 16794 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515964352680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16795] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16795/stat : 16795 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515963300136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16787/tid=16796] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16796/stat : 16796 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515626445224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16787/tid=16797] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16797/stat : 16797 (java) S 16785 16787 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515625392680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16798] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16798/stat : 16798 (java) S 16785 16787 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 339640847 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515613194856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16787/tid=16799] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16799/stat : 16799 (java) S 16785 16787 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 339640847 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515612141176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16800] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16800/stat : 16800 (java) S 16785 16787 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640847 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515611088520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16801] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16801/stat : 16801 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640849 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515610037264 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16802] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16802/stat : 16802 (java) S 16785 16787 3958 0 -1 4202560 382 0 0 0 0 0 0 0 20 0 20 0 339640849 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515608983608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16803] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16803/stat : 16803 (java) S 16785 16787 3958 0 -1 4202560 529 0 0 0 0 0 0 0 20 0 20 0 339640849 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515607931064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16787/tid=16804] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16804/stat : 16804 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640849 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515606878712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16787/tid=16805] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16805/stat : 16805 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640849 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515605826376 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16787/tid=16808] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16808/stat : 16808 (java) S 16785 16787 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640856 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515602667048 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16787/tid=16809] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16809/stat : 16809 (java) S 16785 16787 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640856 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515601614504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+1.90067 s]
/proc/loadavg: 3.20 3.66 3.69 3/217 16809
/proc/meminfo: memFree=30624080/32873648 swapFree=7628/7628
[pid=16787] ppid=16785 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/16787/stat : 16787 (java) S 16785 16787 3958 0 -1 4202496 5056 0 1 0 12 1 0 0 20 0 20 0 339640844 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140733907090464 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16787/statm: 741546 8216 2157 9 0 732240 0
[pid=16787/tid=16788] ppid=16785 vsize=2966184 CPUtime=0.09 cores=1,3,5,7
/proc/16787/task/16788/stat : 16788 (java) S 16785 16787 3958 0 -1 4202560 2836 0 1 0 8 1 0 0 20 0 20 0 339640845 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140516101727384 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16787/tid=16790] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16790/stat : 16790 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515968563880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16791] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16791/stat : 16791 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515967511336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16787/tid=16792] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16792/stat : 16792 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515966458792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16787/tid=16793] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16793/stat : 16793 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515965406248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16787/tid=16794] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16794/stat : 16794 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515964352680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16795] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16795/stat : 16795 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515963300136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16787/tid=16796] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16796/stat : 16796 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515626445224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16787/tid=16797] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16797/stat : 16797 (java) S 16785 16787 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515625392680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16798] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16798/stat : 16798 (java) S 16785 16787 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 339640847 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515613194856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16787/tid=16799] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16799/stat : 16799 (java) S 16785 16787 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 339640847 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515612141176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16800] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16800/stat : 16800 (java) S 16785 16787 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640847 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515611088520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16801] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16801/stat : 16801 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640849 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515610037264 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16802] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16802/stat : 16802 (java) S 16785 16787 3958 0 -1 4202560 382 0 0 0 0 0 0 0 20 0 20 0 339640849 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515608983608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16803] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16803/stat : 16803 (java) S 16785 16787 3958 0 -1 4202560 529 0 0 0 0 0 0 0 20 0 20 0 339640849 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515607931064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16787/tid=16804] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16804/stat : 16804 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640849 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515606878712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16787/tid=16805] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16805/stat : 16805 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640849 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515605826376 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16787/tid=16808] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16808/stat : 16808 (java) S 16785 16787 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640856 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515602667048 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16787/tid=16809] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16809/stat : 16809 (java) S 16785 16787 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640856 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515601614504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2966184
[startup+2.10059 s]
/proc/loadavg: 3.20 3.66 3.69 3/217 16811
/proc/meminfo: memFree=30619604/32873648 swapFree=7628/7628
[pid=16787] ppid=16785 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/16787/stat : 16787 (java) S 16785 16787 3958 0 -1 4202496 5056 0 1 0 12 1 0 0 20 0 20 0 339640844 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140733907090464 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16787/statm: 741546 8216 2157 9 0 732240 0
[pid=16787/tid=16788] ppid=16785 vsize=2966184 CPUtime=0.09 cores=1,3,5,7
/proc/16787/task/16788/stat : 16788 (java) S 16785 16787 3958 0 -1 4202560 2836 0 1 0 8 1 0 0 20 0 20 0 339640845 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140516101727384 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16787/tid=16790] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16790/stat : 16790 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515968563880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16791] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16791/stat : 16791 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515967511336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16787/tid=16792] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16792/stat : 16792 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515966458792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16787/tid=16793] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16793/stat : 16793 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515965406248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16787/tid=16794] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16794/stat : 16794 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515964352680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16795] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16795/stat : 16795 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515963300136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16787/tid=16796] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16796/stat : 16796 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515626445224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16787/tid=16797] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16797/stat : 16797 (java) S 16785 16787 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 339640846 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515625392680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16798] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16798/stat : 16798 (java) S 16785 16787 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 339640847 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515613194856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16787/tid=16799] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16799/stat : 16799 (java) S 16785 16787 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 339640847 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515612141176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16800] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16800/stat : 16800 (java) S 16785 16787 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640847 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515611088520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16801] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16801/stat : 16801 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640849 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515610037264 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16802] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16802/stat : 16802 (java) S 16785 16787 3958 0 -1 4202560 382 0 0 0 0 0 0 0 20 0 20 0 339640849 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515608983608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16787/tid=16803] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16803/stat : 16803 (java) S 16785 16787 3958 0 -1 4202560 529 0 0 0 0 0 0 0 20 0 20 0 339640849 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515607931064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16787/tid=16804] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16804/stat : 16804 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640849 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515606878712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16787/tid=16805] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16805/stat : 16805 (java) S 16785 16787 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339640849 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515605826376 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16787/tid=16808] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16808/stat : 16808 (java) S 16785 16787 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640856 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515602667048 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16787/tid=16809] ppid=16785 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16787/task/16809/stat : 16809 (java) S 16785 16787 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339640856 3037372416 8216 33554432000 1073741824 1073778376 140733907099328 140515601614504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 2.11772
CPU time (s): 0.152976
CPU user time (s): 0.110983
CPU system time (s): 0.041993
CPU usage (%): 7.22361
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.110983
system time used= 0.041993
maximum resident set size= 34924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5064
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 255
involuntary context switches= 22
runsolver used 0.009998 second user time and 0.018997 second system time
The end