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-3736412-1338751681/watcher-3736412-1338751681 -o /tmp/evaluation-result-3736412-1338751681/solver-3736412-1338751681 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736412-1338751681.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.48 3.74 3.76 4/197 17307
/proc/meminfo: memFree=28091736/32873844 swapFree=7644/7644
[pid=17307] ppid=17305 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/17307/stat : 17307 (java) R 17305 17307 13986 0 -1 4202496 723 0 0 0 0 0 0 0 20 0 1 0 341292458 23793664 451 33554432000 1073741824 1073778376 140734982889936 140734982879000 239228467777 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17307/statm: 5809 464 352 9 0 128 0
[startup+0.0496051 s]
/proc/loadavg: 3.48 3.74 3.76 4/197 17307
/proc/meminfo: memFree=28091736/32873844 swapFree=7644/7644
[pid=17307] ppid=17305 vsize=2367080 CPUtime=0.03 cores=1,3,5,7
/proc/17307/stat : 17307 (java) S 17305 17307 13986 0 -1 4202496 3734 0 1 0 3 0 0 0 20 0 13 0 341292458 2423889920 4943 33554432000 1073741824 1073778376 140734982889936 140734982881072 239241035837 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17307/statm: 591770 4943 1706 9 0 582471 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2367080
[startup+0.100227 s]
/proc/loadavg: 3.48 3.74 3.76 4/197 17307
/proc/meminfo: memFree=28091736/32873844 swapFree=7644/7644
[pid=17307] ppid=17305 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/17307/stat : 17307 (java) S 17305 17307 13986 0 -1 4202496 4689 0 1 0 9 1 0 0 20 0 18 0 341292458 2764726272 6398 33554432000 1073741824 1073778376 140734982889936 140734982881072 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17307/statm: 674982 6398 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300257 s]
/proc/loadavg: 3.48 3.74 3.76 4/197 17307
/proc/meminfo: memFree=28091736/32873844 swapFree=7644/7644
[pid=17307] ppid=17305 vsize=2966184 CPUtime=0.69 cores=1,3,5,7
/proc/17307/stat : 17307 (java) S 17305 17307 13986 0 -1 4202496 8963 0 1 0 65 4 0 0 20 0 20 0 341292458 3037372416 11345 33554432000 1073741824 1073778376 140734982889936 140734982881072 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17307/statm: 741546 11345 2215 9 0 732240 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2966184
[startup+0.700208 s]
/proc/loadavg: 3.48 3.74 3.76 4/197 17307
/proc/meminfo: memFree=28091736/32873844 swapFree=7644/7644
[pid=17307] ppid=17305 vsize=2966184 CPUtime=0.71 cores=1,3,5,7
/proc/17307/stat : 17307 (java) S 17305 17307 13986 0 -1 4202496 9071 0 1 0 67 4 0 0 20 0 20 0 341292458 3037372416 11305 33554432000 1073741824 1073778376 140734982889936 140734982881072 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17307/statm: 741546 11305 2216 9 0 732240 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 2966184
[startup+1.50068 s]
/proc/loadavg: 3.48 3.74 3.76 3/217 17329
/proc/meminfo: memFree=28054900/32873844 swapFree=7644/7644
[pid=17307] ppid=17305 vsize=2966184 CPUtime=0.83 cores=1,3,5,7
/proc/17307/stat : 17307 (java) S 17305 17307 13986 0 -1 4202496 9087 0 1 0 77 6 0 0 20 0 20 0 341292458 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140734982881072 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17307/statm: 741546 12847 2218 9 0 732240 0
[pid=17307/tid=17309] ppid=17305 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/17307/task/17309/stat : 17309 (java) S 17305 17307 13986 0 -1 4202560 2783 0 1 0 12 0 0 0 20 0 20 0 341292458 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494458086552 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17310] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17310/stat : 17310 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292459 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494442367656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17311] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17311/stat : 17311 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292459 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494441315112 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17307/tid=17312] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17312/stat : 17312 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292459 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494440262568 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17307/tid=17313] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17313/stat : 17313 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292459 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494439210024 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17307/tid=17314] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17314/stat : 17314 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292459 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494438156456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17315] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17315/stat : 17315 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292459 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494437103912 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17307/tid=17316] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17316/stat : 17316 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292459 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494436051368 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17307/tid=17317] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17317/stat : 17317 (java) S 17305 17307 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341292459 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494434998824 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17318] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17318/stat : 17318 (java) S 17305 17307 13986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341292461 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494422588008 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17319] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17319/stat : 17319 (java) S 17305 17307 13986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341292461 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494421534328 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17320] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17320/stat : 17320 (java) S 17305 17307 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341292461 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494302602888 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17321] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17321/stat : 17321 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292464 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494301551632 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17322] ppid=17305 vsize=2966184 CPUtime=0.17 cores=1,3,5,7
/proc/17307/task/17322/stat : 17322 (java) S 17305 17307 13986 0 -1 4202560 1823 0 0 0 17 0 0 0 20 0 20 0 341292464 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494300497976 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17323] ppid=17305 vsize=2966184 CPUtime=0.19 cores=1,3,5,7
/proc/17307/task/17323/stat : 17323 (java) S 17305 17307 13986 0 -1 4202560 3171 0 0 0 19 0 0 0 20 0 20 0 341292464 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494299445432 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17307/tid=17324] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17324/stat : 17324 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292464 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494298393080 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17307/tid=17325] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17325/stat : 17325 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292464 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494297340744 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17328] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17328/stat : 17328 (java) S 17305 17307 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341292473 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494294181416 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17307/tid=17329] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17329/stat : 17329 (java) S 17305 17307 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341292473 3037372416 12847 33554432000 1073741824 1073778376 140734982889936 140494293128872 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 2966184
[startup+3.10081 s]
/proc/loadavg: 3.48 3.74 3.76 3/217 17331
/proc/meminfo: memFree=28048012/32873844 swapFree=7644/7644
[pid=17307] ppid=17305 vsize=2966184 CPUtime=3.76 cores=1,3,5,7
/proc/17307/stat : 17307 (java) S 17305 17307 13986 0 -1 4202496 24141 0 1 0 360 16 0 0 20 0 20 0 341292458 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140734982881072 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17307/statm: 741546 68154 2266 9 0 732240 0
[pid=17307/tid=17309] ppid=17305 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/17307/task/17309/stat : 17309 (java) S 17305 17307 13986 0 -1 4202560 2784 0 1 0 12 0 0 0 20 0 20 0 341292458 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494458086552 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17310] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17310/stat : 17310 (java) S 17305 17307 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341292459 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494442367656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17311] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17311/stat : 17311 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292459 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494441315112 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17312] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17312/stat : 17312 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292459 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494440262568 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17307/tid=17313] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17313/stat : 17313 (java) S 17305 17307 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341292459 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494439210024 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17307/tid=17314] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17314/stat : 17314 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292459 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494438156456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17315] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17315/stat : 17315 (java) S 17305 17307 13986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 341292459 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494437103912 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17307/tid=17316] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17316/stat : 17316 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292459 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494436051368 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17307/tid=17317] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17317/stat : 17317 (java) S 17305 17307 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341292459 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494434998824 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17307/tid=17318] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17318/stat : 17318 (java) S 17305 17307 13986 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 20 0 341292461 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494422588008 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17307/tid=17319] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17319/stat : 17319 (java) S 17305 17307 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 341292461 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494421534328 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17320] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17320/stat : 17320 (java) S 17305 17307 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341292461 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494302602888 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17321] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17321/stat : 17321 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292464 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494301551632 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17322] ppid=17305 vsize=2966184 CPUtime=0.86 cores=1,3,5,7
/proc/17307/task/17322/stat : 17322 (java) S 17305 17307 13986 0 -1 4202560 8264 0 0 0 84 2 0 0 20 0 20 0 341292464 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494300497976 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17307/tid=17323] ppid=17305 vsize=2966184 CPUtime=1.1 cores=1,3,5,7
/proc/17307/task/17323/stat : 17323 (java) R 17305 17307 13986 0 -1 4202560 11621 0 0 0 107 3 0 0 20 0 20 0 341292464 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494299432712 140494463929598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17324] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17324/stat : 17324 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292464 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494298393080 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17307/tid=17325] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17325/stat : 17325 (java) S 17305 17307 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341292464 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494297340744 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17307/tid=17328] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17328/stat : 17328 (java) S 17305 17307 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341292473 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494294181416 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17307/tid=17329] ppid=17305 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17329/stat : 17329 (java) S 17305 17307 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341292473 3037372416 68154 33554432000 1073741824 1073778376 140734982889936 140494293128872 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
Child status: 30
Real time (s): 3.18088
CPU time (s): 3.85341
CPU user time (s): 3.66044
CPU system time (s): 0.19297
CPU usage (%): 121.143
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.66044
system time used= 0.19297
maximum resident set size= 272660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24484
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= 399
involuntary context switches= 101
runsolver used 0.012998 second user time and 0.031995 second system time
The end