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-3729501-1338729263/watcher-3729501-1338729263 -o /tmp/evaluation-result-3729501-1338729263/solver-3729501-1338729263 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3729501-1338729263.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: 1.96 1.98 1.99 3/194 10219
/proc/meminfo: memFree=30609112/32873844 swapFree=7116/7116
[pid=10219] ppid=10217 vsize=89800 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (java) S 10217 10219 2614 0 -1 4202496 1177 0 0 0 0 0 0 0 20 0 2 0 339051234 91955200 896 33554432000 1073741824 1073778376 140733555730624 140733555721760 240568533053 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10219/statm: 22970 902 685 9 0 16769 0
[pid=10219/tid=10220] ppid=10217 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10220/stat : 10220 (java) R 10217 10219 2614 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 2 0 339051235 94019584 912 33554432000 1073741824 1073778376 140733555730624 140733555719688 240564851306 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0436199 s]
/proc/loadavg: 1.96 1.98 1.99 3/194 10219
/proc/meminfo: memFree=30609112/32873844 swapFree=7116/7116
[pid=10219] ppid=10217 vsize=2315716 CPUtime=0.03 cores=1,3,5,7
/proc/10219/stat : 10219 (java) S 10217 10219 2614 0 -1 4202496 3685 0 1 0 2 1 0 0 20 0 13 0 339051234 2371293184 4893 33554432000 1073741824 1073778376 140733555730624 140733555721760 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10219/statm: 578929 4893 1699 9 0 569630 0
[pid=10219/tid=10220] ppid=10217 vsize=2315716 CPUtime=0.02 cores=1,3,5,7
/proc/10219/task/10220/stat : 10220 (java) R 10217 10219 2614 0 -1 4202560 2503 0 1 0 2 0 0 0 20 0 13 0 339051235 2371293184 4893 33554432000 1073741824 1073778376 140733555730624 140477866201328 140477870337643 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2315716
[startup+0.100375 s]
/proc/loadavg: 1.96 1.98 1.99 3/194 10219
/proc/meminfo: memFree=30609112/32873844 swapFree=7116/7116
[pid=10219] ppid=10217 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/10219/stat : 10219 (java) S 10217 10219 2614 0 -1 4202496 4684 0 1 0 8 1 0 0 20 0 18 0 339051234 2712133632 6400 33554432000 1073741824 1073778376 140733555730624 140733555721760 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10219/statm: 662142 6400 2109 9 0 652835 0
[pid=10219/tid=10220] ppid=10217 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/10219/task/10220/stat : 10220 (java) R 10217 10219 2614 0 -1 4202560 2737 0 1 0 6 1 0 0 20 0 18 0 339051235 2712133632 6400 33554432000 1073741824 1073778376 140733555730624 140477866193224 240568558861 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) 2648568
[startup+0.300222 s]
/proc/loadavg: 1.96 1.98 1.99 3/194 10219
/proc/meminfo: memFree=30609112/32873844 swapFree=7116/7116
[pid=10219] ppid=10217 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/10219/stat : 10219 (java) S 10217 10219 2614 0 -1 4202496 7772 0 1 0 56 3 0 0 20 0 19 0 339051234 2780295168 8917 33554432000 1073741824 1073778376 140733555730624 140733555721760 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10219/statm: 678783 8917 2231 9 0 669476 0
[pid=10219/tid=10220] ppid=10217 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/10219/task/10220/stat : 10220 (java) R 10217 10219 2614 0 -1 4202560 2759 0 1 0 26 1 0 0 20 0 19 0 339051235 2780295168 8917 33554432000 1073741824 1073778376 140733555730624 140477866205528 140477726799566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 2715132
[startup+0.700305 s]
/proc/loadavg: 1.96 1.98 1.99 3/194 10219
/proc/meminfo: memFree=30609112/32873844 swapFree=7116/7116
[pid=10219] ppid=10217 vsize=2715132 CPUtime=1.13 cores=1,3,5,7
/proc/10219/stat : 10219 (java) S 10217 10219 2614 0 -1 4202496 7969 0 1 0 110 3 0 0 20 0 19 0 339051234 2780295168 10485 33554432000 1073741824 1073778376 140733555730624 140733555721760 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10219/statm: 678783 10485 2236 9 0 669476 0
[pid=10219/tid=10220] ppid=10217 vsize=2715132 CPUtime=0.67 cores=1,3,5,7
/proc/10219/task/10220/stat : 10220 (java) R 10217 10219 2614 0 -1 4202560 2762 0 1 0 66 1 0 0 20 0 19 0 339051235 2780295168 10485 33554432000 1073741824 1073778376 140733555730624 140477866205432 140477727144099 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 2715132
Solver just ended. Dumping a history of the last processes samples
[startup+1.1077 s]
/proc/loadavg: 1.96 1.98 1.99 3/213 10238
/proc/meminfo: memFree=30571608/32873844 swapFree=7116/7116
[pid=10219] ppid=10217 vsize=2715132 CPUtime=1.54 cores=1,3,5,7
/proc/10219/stat : 10219 (java) S 10217 10219 2614 0 -1 4202496 7976 0 1 0 151 3 0 0 20 0 19 0 339051234 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140733555721760 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10219/statm: 678783 12024 2238 9 0 669476 0
[pid=10219/tid=10220] ppid=10217 vsize=2715132 CPUtime=1.08 cores=1,3,5,7
/proc/10219/task/10220/stat : 10220 (java) R 10217 10219 2614 0 -1 4202560 2766 0 1 0 106 2 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477866205912 140477727247811 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10219/tid=10222] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10222/stat : 10222 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477850655400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10219/tid=10223] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10223/stat : 10223 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477849602856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10219/tid=10224] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10224/stat : 10224 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477848550312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10219/tid=10225] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10225/stat : 10225 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477847497768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10219/tid=10226] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10226/stat : 10226 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477846444200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10219/tid=10227] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10227/stat : 10227 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477845391656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10219/tid=10228] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10228/stat : 10228 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477726714280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10219/tid=10229] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10229/stat : 10229 (java) S 10217 10219 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477725661736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10219/tid=10230] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10230/stat : 10230 (java) S 10217 10219 2614 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339051237 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477713250920 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10219/tid=10231] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10231/stat : 10231 (java) S 10217 10219 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339051237 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477712197240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10219/tid=10232] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10232/stat : 10232 (java) S 10217 10219 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339051237 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477711144584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10219/tid=10233] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10233/stat : 10233 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051240 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140476971740176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10219/tid=10234] ppid=10217 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/10219/task/10234/stat : 10234 (java) S 10217 10219 2614 0 -1 4202560 1813 0 0 0 26 0 0 0 20 0 19 0 339051240 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140476970686520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10219/tid=10235] ppid=10217 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/10219/task/10235/stat : 10235 (java) S 10217 10219 2614 0 -1 4202560 2202 0 0 0 16 0 0 0 20 0 19 0 339051240 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140476969633976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10219/tid=10236] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10236/stat : 10236 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051240 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140476968581624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10219/tid=10237] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10237/stat : 10237 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051240 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140476967529288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10219/tid=10238] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10238/stat : 10238 (java) S 10217 10219 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339051250 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140476966475048 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 2715132
[startup+1.20086 s]
/proc/loadavg: 1.96 1.98 1.99 3/213 10238
/proc/meminfo: memFree=30571608/32873844 swapFree=7116/7116
[pid=10219] ppid=10217 vsize=2715132 CPUtime=1.63 cores=1,3,5,7
/proc/10219/stat : 10219 (java) S 10217 10219 2614 0 -1 4202496 7976 0 1 0 160 3 0 0 20 0 19 0 339051234 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140733555721760 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10219/statm: 678783 12024 2238 9 0 669476 0
[pid=10219/tid=10220] ppid=10217 vsize=2715132 CPUtime=1.18 cores=1,3,5,7
/proc/10219/task/10220/stat : 10220 (java) R 10217 10219 2614 0 -1 4202560 2766 0 1 0 116 2 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477866205912 140477727262392 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10219/tid=10222] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10222/stat : 10222 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477850655400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10219/tid=10223] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10223/stat : 10223 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477849602856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10219/tid=10224] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10224/stat : 10224 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477848550312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10219/tid=10225] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10225/stat : 10225 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477847497768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10219/tid=10226] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10226/stat : 10226 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477846444200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10219/tid=10227] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10227/stat : 10227 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477845391656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10219/tid=10228] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10228/stat : 10228 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477726714280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10219/tid=10229] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10229/stat : 10229 (java) S 10217 10219 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339051235 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477725661736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10219/tid=10230] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10230/stat : 10230 (java) S 10217 10219 2614 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339051237 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477713250920 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10219/tid=10231] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10231/stat : 10231 (java) S 10217 10219 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339051237 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477712197240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10219/tid=10232] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10232/stat : 10232 (java) S 10217 10219 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339051237 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140477711144584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10219/tid=10233] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10233/stat : 10233 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051240 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140476971740176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10219/tid=10234] ppid=10217 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/10219/task/10234/stat : 10234 (java) S 10217 10219 2614 0 -1 4202560 1813 0 0 0 26 0 0 0 20 0 19 0 339051240 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140476970686520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10219/tid=10235] ppid=10217 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/10219/task/10235/stat : 10235 (java) S 10217 10219 2614 0 -1 4202560 2202 0 0 0 16 0 0 0 20 0 19 0 339051240 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140476969633976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10219/tid=10236] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10236/stat : 10236 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051240 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140476968581624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10219/tid=10237] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10237/stat : 10237 (java) S 10217 10219 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339051240 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140476967529288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10219/tid=10238] ppid=10217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10219/task/10238/stat : 10238 (java) S 10217 10219 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339051250 2780295168 12024 33554432000 1073741824 1073778376 140733555730624 140476966475048 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 2715132
Child status: 10
Real time (s): 1.28905
CPU time (s): 1.74373
CPU user time (s): 1.68174
CPU system time (s): 0.06199
CPU usage (%): 135.273
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.68174
system time used= 0.06199
maximum resident set size= 50256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8011
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= 258
involuntary context switches= 26
runsolver used 0.000999 second user time and 0.015997 second system time
The end