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-3733962-1338744111/watcher-3733962-1338744111 -o /tmp/evaluation-result-3733962-1338744111/solver-3733962-1338744111 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3733962-1338744111.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.94 1.96 2.42 4/197 15291
/proc/meminfo: memFree=28132588/32873844 swapFree=7644/7644
[pid=15291] ppid=15289 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/15291/stat : 15291 (java6) D 15289 15291 13986 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 340535515 278528 33 33554432000 1073741824 1073778376 140734574873328 140734574870504 239228513575 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/15291/statm: 68 33 25 9 0 25 0
[startup+0.0259231 s]
/proc/loadavg: 1.94 1.96 2.42 4/197 15291
/proc/meminfo: memFree=28132588/32873844 swapFree=7644/7644
[pid=15291] ppid=15289 vsize=101560 CPUtime=0 cores=1,3,5,7
/proc/15291/stat : 15291 (java) S 15289 15291 13986 0 -1 4202496 1422 0 1 0 0 0 0 0 20 0 2 0 340535515 103997440 1103 33554432000 1073741824 1073778376 140736352829728 140736352820864 239241035837 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15291/statm: 25390 1103 853 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101560
[startup+0.100276 s]
/proc/loadavg: 1.94 1.96 2.42 4/197 15291
/proc/meminfo: memFree=28132588/32873844 swapFree=7644/7644
[pid=15291] ppid=15289 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/15291/stat : 15291 (java) S 15289 15291 13986 0 -1 4202496 3897 0 1 0 5 1 0 0 20 0 18 0 340535515 2764726272 5616 33554432000 1073741824 1073778376 140736352829728 140736352820864 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15291/statm: 674982 5616 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928
[startup+0.300229 s]
/proc/loadavg: 1.94 1.96 2.42 4/197 15291
/proc/meminfo: memFree=28132588/32873844 swapFree=7644/7644
[pid=15291] ppid=15289 vsize=2966184 CPUtime=0.25 cores=1,3,5,7
/proc/15291/stat : 15291 (java) S 15289 15291 13986 0 -1 4202496 6066 0 1 0 22 3 0 0 20 0 20 0 340535515 3037372416 8719 33554432000 1073741824 1073778376 140736352829728 140736352820864 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15291/statm: 741546 8719 2194 9 0 732240 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 2966184
[startup+0.700209 s]
/proc/loadavg: 1.94 1.96 2.42 4/197 15291
/proc/meminfo: memFree=28132588/32873844 swapFree=7644/7644
[pid=15291] ppid=15289 vsize=2966184 CPUtime=0.25 cores=1,3,5,7
/proc/15291/stat : 15291 (java) S 15289 15291 13986 0 -1 4202496 6066 0 1 0 22 3 0 0 20 0 20 0 340535515 3037372416 8719 33554432000 1073741824 1073778376 140736352829728 140736352820864 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15291/statm: 741546 8719 2194 9 0 732240 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 2966184
[startup+1.50067 s]
/proc/loadavg: 1.94 1.96 2.41 3/217 15313
/proc/meminfo: memFree=28106312/32873844 swapFree=7644/7644
[pid=15291] ppid=15289 vsize=2966184 CPUtime=0.26 cores=1,3,5,7
/proc/15291/stat : 15291 (java) S 15289 15291 13986 0 -1 4202496 6096 0 1 0 23 3 0 0 20 0 20 0 340535515 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 140736352820864 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15291/statm: 741546 9762 2209 9 0 732240 0
[pid=15291/tid=15293] ppid=15289 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/15291/task/15293/stat : 15293 (java) S 15289 15291 13986 0 -1 4202560 2784 0 1 0 11 1 0 0 20 0 20 0 340535517 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878480954520 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15291/tid=15294] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15294/stat : 15294 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535519 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878465235624 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15291/tid=15295] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15295/stat : 15295 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535519 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878464183080 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15291/tid=15296] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15296/stat : 15296 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535519 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878463130536 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15291/tid=15297] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15297/stat : 15297 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535519 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878462077992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15291/tid=15298] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15298/stat : 15298 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535519 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878461024424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15291/tid=15299] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15299/stat : 15299 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535519 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878459971880 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15291/tid=15300] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15300/stat : 15300 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535519 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878458919336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15291/tid=15301] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15301/stat : 15301 (java) S 15289 15291 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340535519 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878457866792 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15291/tid=15302] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15302/stat : 15302 (java) S 15289 15291 13986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340535520 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878445455976 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15291/tid=15303] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15303/stat : 15303 (java) S 15289 15291 13986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340535520 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878444402296 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15291/tid=15304] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15304/stat : 15304 (java) S 15289 15291 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340535520 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878443349640 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15291/tid=15305] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15305/stat : 15305 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535523 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878442298384 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15291/tid=15306] ppid=15289 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/15291/task/15306/stat : 15306 (java) S 15289 15291 13986 0 -1 4202560 1180 0 0 0 4 0 0 0 20 0 20 0 340535523 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878441244728 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15291/tid=15307] ppid=15289 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/15291/task/15307/stat : 15307 (java) S 15289 15291 13986 0 -1 4202560 796 0 0 0 2 0 0 0 20 0 20 0 340535523 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878440192184 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15291/tid=15308] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15308/stat : 15308 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535523 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878439139832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15291/tid=15309] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15309/stat : 15309 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535523 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878438087496 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15291/tid=15312] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15312/stat : 15312 (java) S 15289 15291 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340535533 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878434928168 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15291/tid=15313] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15313/stat : 15313 (java) S 15289 15291 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340535533 3037372416 9762 33554432000 1073741824 1073778376 140736352829728 139878433875624 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 2966184
[startup+3.10067 s]
/proc/loadavg: 1.94 1.96 2.41 3/217 15315
/proc/meminfo: memFree=28101968/32873844 swapFree=7644/7644
[pid=15291] ppid=15289 vsize=2966184 CPUtime=0.27 cores=1,3,5,7
/proc/15291/stat : 15291 (java) S 15289 15291 13986 0 -1 4202496 6103 0 1 0 24 3 0 0 20 0 20 0 340535515 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 140736352820864 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15291/statm: 741546 10786 2209 9 0 732240 0
[pid=15291/tid=15293] ppid=15289 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/15291/task/15293/stat : 15293 (java) S 15289 15291 13986 0 -1 4202560 2785 0 1 0 11 1 0 0 20 0 20 0 340535517 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878480954520 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15291/tid=15294] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15294/stat : 15294 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535519 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878465235624 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15291/tid=15295] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15295/stat : 15295 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535519 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878464183080 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15291/tid=15296] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15296/stat : 15296 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535519 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878463130536 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15291/tid=15297] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15297/stat : 15297 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535519 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878462077992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15291/tid=15298] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15298/stat : 15298 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535519 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878461024424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15291/tid=15299] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15299/stat : 15299 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535519 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878459971880 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15291/tid=15300] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15300/stat : 15300 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535519 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878458919336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15291/tid=15301] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15301/stat : 15301 (java) S 15289 15291 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340535519 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878457866792 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15291/tid=15302] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15302/stat : 15302 (java) S 15289 15291 13986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340535520 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878445455976 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15291/tid=15303] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15303/stat : 15303 (java) S 15289 15291 13986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340535520 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878444402296 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15291/tid=15304] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15304/stat : 15304 (java) S 15289 15291 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340535520 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878443349640 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15291/tid=15305] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15305/stat : 15305 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535523 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878442298384 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15291/tid=15306] ppid=15289 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/15291/task/15306/stat : 15306 (java) S 15289 15291 13986 0 -1 4202560 1180 0 0 0 4 0 0 0 20 0 20 0 340535523 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878441244728 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15291/tid=15307] ppid=15289 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/15291/task/15307/stat : 15307 (java) S 15289 15291 13986 0 -1 4202560 796 0 0 0 2 0 0 0 20 0 20 0 340535523 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878440192184 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15291/tid=15308] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15308/stat : 15308 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535523 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878439139832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15291/tid=15309] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15309/stat : 15309 (java) S 15289 15291 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340535523 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878438087496 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15291/tid=15312] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15312/stat : 15312 (java) S 15289 15291 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340535533 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878434928168 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15291/tid=15313] ppid=15289 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15313/stat : 15313 (java) S 15289 15291 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340535533 3037372416 10786 33554432000 1073741824 1073778376 140736352829728 139878433875624 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 2966184
heavy processes:
Solver just ended. Dumping a history of the last processes samples
Child status: 30
Real time (s): 3.1796
CPU time (s): 0.285956
CPU user time (s): 0.221966
CPU system time (s): 0.06399
CPU usage (%): 8.99346
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.221966
system time used= 0.06399
maximum resident set size= 45204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6110
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= 355
involuntary context switches= 20
runsolver used 0.007998 second user time and 0.028995 second system time
The end