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-3482294-1307578896/watcher-3482294-1307578896 -o /tmp/evaluation-result-3482294-1307578896/solver-3482294-1307578896 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482294-1307578896.opb -seed 125587043 -budget 1800
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: 2.37 2.16 1.96 2/810 25447
/proc/meminfo: memFree=10581108/32950928 swapFree=67056572/67111528
[pid=25447] ppid=25445 vsize=16396 CPUtime=0.01 cores=1,3,5,7
/proc/25447/stat : 25447 (python) R 25445 25447 23102 0 -1 4202496 1113 0 0 0 1 0 0 0 17 0 1 0 869486723 16789504 982 33554432000 4194304 5683644 140736495591984 18446744073709551615 5214752 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/25447/statm: 4099 982 407 364 0 586 0
[startup+0.037257 s]
/proc/loadavg: 2.37 2.16 1.96 2/810 25447
/proc/meminfo: memFree=10581108/32950928 swapFree=67056572/67111528
[pid=25447] ppid=25445 vsize=18884 CPUtime=0.02 cores=1,3,5,7
/proc/25447/stat : 25447 (python) R 25445 25447 23102 0 -1 4202496 1285 0 0 0 2 0 0 0 17 0 1 0 869486723 19337216 1138 33554432000 4194304 5683644 140736495591984 18446744073709551615 4887645 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/25447/statm: 4721 1138 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.100224 s]
/proc/loadavg: 2.37 2.16 1.96 2/810 25447
/proc/meminfo: memFree=10581108/32950928 swapFree=67056572/67111528
[pid=25447] ppid=25445 vsize=96124 CPUtime=0.06 cores=1,3,5,7
/proc/25447/stat : 25447 (python) R 25445 25447 23102 0 -1 4202496 3168 928 1 0 5 1 0 0 18 0 1 0 869486723 98430976 2483 33554432000 4194304 5683644 140736495591984 18446744073709551615 5177994 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/25447/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.300151 s]
/proc/loadavg: 2.37 2.16 1.96 2/810 25447
/proc/meminfo: memFree=10581108/32950928 swapFree=67056572/67111528
[pid=25447] ppid=25445 vsize=173420 CPUtime=0.22 cores=1,3,5,7
/proc/25447/stat : 25447 (python) R 25445 25447 23102 0 -1 4202496 6232 928 1 0 17 5 0 0 17 0 1 0 869486723 177582080 4543 33554432000 4194304 5683644 140736495591984 18446744073709551615 239476692992 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/25447/statm: 43355 4543 1232 364 0 3533 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 173420
[startup+0.70113 s]
/proc/loadavg: 2.37 2.16 1.96 2/810 25447
/proc/meminfo: memFree=10581108/32950928 swapFree=67056572/67111528
[pid=25447] ppid=25445 vsize=287656 CPUtime=0.57 cores=1,3,5,7
/proc/25447/stat : 25447 (python) R 25445 25447 23102 0 -1 4202496 11168 928 1 0 50 7 0 0 17 0 1 0 869486723 294559744 8261 33554432000 4194304 5683644 140736495591984 18446744073709551615 47100708209596 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/25447/statm: 71914 8261 1815 364 0 6807 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 287656
[startup+1.50099 s]
/proc/loadavg: 2.37 2.16 1.96 5/831 25472
/proc/meminfo: memFree=10542440/32950928 swapFree=67056572/67111528
[pid=25447] ppid=25445 vsize=298312 CPUtime=0.79 cores=1,3,5,7
/proc/25447/stat : 25447 (python) S 25445 25447 23102 0 -1 4202496 11557 928 1 0 72 7 0 0 19 0 2 0 869486723 305471488 8419 33554432000 4194304 5683644 140736495591984 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/25447/statm: 74578 8419 1872 364 0 9465 0
[pid=25453] ppid=25447 vsize=288068 CPUtime=0 cores=1,3,5,7
/proc/25453/stat : 25453 (python) S 25447 25447 23102 0 -1 4202560 766 0 0 0 0 0 0 0 18 0 1 0 869486816 294981632 6894 33554432000 4194304 5683644 140736495591984 18446744073709551615 239476715023 0 0 16781312 33554946 5636489511882948869 0 0 17 5 0 0 0
/proc/25453/statm: 72017 6894 351 364 0 6904 0
[pid=25455] ppid=25453 vsize=8538112 CPUtime=1.02 cores=1,3,5,7
/proc/25455/stat : 25455 (java) S 25453 25455 25455 0 -1 4202496 74117 0 1 0 95 7 0 0 18 0 18 0 869486816 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25455/statm: 2134528 72298 2222 9 0 2125269 0
[pid=25455/tid=25456] ppid=25453 vsize=8538112 CPUtime=0.54 cores=1,3,5,7
/proc/25455/task/25456/stat : 25456 (java) R 25453 25455 25455 0 -1 4202560 66975 0 1 0 48 6 0 0 18 0 18 0 869486817 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 46912505617953 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25455/tid=25457] ppid=25453 vsize=8538112 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25457/stat : 25457 (java) S 25453 25455 25455 0 -1 4202560 330 0 0 0 0 0 0 0 15 0 18 0 869486817 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 7 0 0 0
[pid=25455/tid=25458] ppid=25453 vsize=8538112 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25458/stat : 25458 (java) S 25453 25455 25455 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 18 0 869486817 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 5 0 0 0
[pid=25455/tid=25459] ppid=25453 vsize=8538112 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25459/stat : 25459 (java) S 25453 25455 25455 0 -1 4202560 176 0 0 0 0 0 0 0 16 0 18 0 869486817 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 1 0 0 0
[pid=25455/tid=25460] ppid=25453 vsize=8538112 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25460/stat : 25460 (java) S 25453 25455 25455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869486817 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 5 0 0 0
[pid=25455/tid=25461] ppid=25453 vsize=8538112 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25461/stat : 25461 (java) S 25453 25455 25455 0 -1 4202560 286 0 0 0 0 0 0 0 16 0 18 0 869486817 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 5 0 0 0
[pid=25455/tid=25462] ppid=25453 vsize=8538112 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25462/stat : 25462 (java) S 25453 25455 25455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869486817 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 7 0 0 0
[pid=25455/tid=25463] ppid=25453 vsize=8538112 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25463/stat : 25463 (java) S 25453 25455 25455 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 18 0 869486817 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 7 0 0 0
[pid=25455/tid=25464] ppid=25453 vsize=8538112 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25464/stat : 25464 (java) S 25453 25455 25455 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 18 0 869486817 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 7 0 0 0
[pid=25455/tid=25465] ppid=25453 vsize=8538112 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25465/stat : 25465 (java) S 25453 25455 25455 0 -1 4202560 197 0 0 0 0 0 0 0 16 0 18 0 869486818 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488511488 0 0 0 16800975 18446604461448824896 0 0 -1 1 0 0 0
[pid=25455/tid=25466] ppid=25453 vsize=8538112 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25466/stat : 25466 (java) S 25453 25455 25455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 869486819 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 5 0 0 0
[pid=25455/tid=25467] ppid=25453 vsize=8538112 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25467/stat : 25467 (java) S 25453 25455 25455 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 18 0 869486819 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 5 0 0 0
[pid=25455/tid=25468] ppid=25453 vsize=8538112 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25468/stat : 25468 (java) S 25453 25455 25455 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869486821 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488518577 0 4 0 16800975 18446604461448824896 0 0 -1 1 0 0 0
[pid=25455/tid=25469] ppid=25453 vsize=8538112 CPUtime=0.23 cores=1,3,5,7
/proc/25455/task/25469/stat : 25469 (java) S 25453 25455 25455 0 -1 4202560 1685 0 0 0 23 0 0 0 17 0 18 0 869486821 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 5 0 0 0
[pid=25455/tid=25470] ppid=25453 vsize=8538112 CPUtime=0.21 cores=1,3,5,7
/proc/25455/task/25470/stat : 25470 (java) S 25453 25455 25455 0 -1 4202560 2479 0 0 0 21 0 0 0 25 0 18 0 869486821 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 7 0 0 0
[pid=25455/tid=25471] ppid=25453 vsize=8538112 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25471/stat : 25471 (java) S 25453 25455 25455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869486821 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 1 0 0 0
[pid=25455/tid=25472] ppid=25453 vsize=8538112 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25472/stat : 25472 (java) S 25453 25455 25455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869486821 8743026688 72298 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488511488 0 4 0 16800975 18446604461448824896 0 0 -1 7 0 0 0
[pid=25447/tid=25454] ppid=25445 vsize=298312 CPUtime=0 cores=1,3,5,7
/proc/25447/task/25454/stat : 25454 (python) S 25445 25447 23102 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 869486816 305471488 8419 33554432000 4194304 5683644 140736495591984 18446744073709551615 239488518577 0 0 16781312 33554434 18446604456629080192 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 9124492
Solver just ended. Dumping a history of the last processes samples
[startup+1.60098 s]
/proc/loadavg: 2.37 2.16 1.96 5/831 25472
/proc/meminfo: memFree=10542440/32950928 swapFree=67056572/67111528
[pid=25447] ppid=25445 vsize=298312 CPUtime=0.79 cores=1,3,5,7
/proc/25447/stat : 25447 (python) S 25445 25447 23102 0 -1 4202496 11557 928 1 0 72 7 0 0 19 0 2 0 869486723 305471488 8419 33554432000 4194304 5683644 140736495591984 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/25447/statm: 74578 8419 1872 364 0 9465 0
[pid=25453] ppid=25447 vsize=288068 CPUtime=0 cores=1,3,5,7
/proc/25453/stat : 25453 (python) S 25447 25447 23102 0 -1 4202560 776 0 0 0 0 0 0 0 15 0 1 0 869486816 294981632 6894 33554432000 4194304 5683644 140736495591984 18446744073709551615 239476715023 0 0 16781312 33554946 5636489511882948869 0 0 17 5 0 0 0
/proc/25453/statm: 72017 6894 351 364 0 6904 0
[pid=25455] ppid=25453 vsize=8540152 CPUtime=1.22 cores=1,3,5,7
/proc/25455/stat : 25455 (java) S 25453 25455 25455 0 -1 4202496 75879 0 1 0 114 8 0 0 18 0 17 0 869486816 8745115648 73144 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25455/statm: 2135038 73144 2233 9 0 2125779 0
[pid=25455/tid=25456] ppid=25453 vsize=8540152 CPUtime=0.63 cores=1,3,5,7
/proc/25455/task/25456/stat : 25456 (java) S 25453 25455 25455 0 -1 4202560 67039 0 1 0 57 6 0 0 20 0 17 0 869486817 8745115648 73144 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 1 0 0 0
[pid=25455/tid=25457] ppid=25453 vsize=8540152 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25457/stat : 25457 (java) S 25453 25455 25455 0 -1 4202560 330 0 0 0 0 0 0 0 15 0 17 0 869486817 8745115648 73144 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 7 0 0 0
[pid=25455/tid=25458] ppid=25453 vsize=8540152 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25458/stat : 25458 (java) S 25453 25455 25455 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 17 0 869486817 8745115648 73144 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 5 0 0 0
[pid=25455/tid=25459] ppid=25453 vsize=8540152 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25459/stat : 25459 (java) S 25453 25455 25455 0 -1 4202560 176 0 0 0 0 0 0 0 16 0 17 0 869486817 8745115648 73144 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 1 0 0 0
[pid=25455/tid=25460] ppid=25453 vsize=8540152 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25460/stat : 25460 (java) S 25453 25455 25455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 17 0 869486817 8745115648 73144 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 5 0 0 0
[pid=25455/tid=25461] ppid=25453 vsize=8540152 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25461/stat : 25461 (java) S 25453 25455 25455 0 -1 4202560 286 0 0 0 0 0 0 0 16 0 17 0 869486817 8745115648 73144 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 5 0 0 0
[pid=25455/tid=25462] ppid=25453 vsize=8540152 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25462/stat : 25462 (java) S 25453 25455 25455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 17 0 869486817 8745115648 73144 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 7 0 0 0
[pid=25455/tid=25463] ppid=25453 vsize=8540152 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25463/stat : 25463 (java) S 25453 25455 25455 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 17 0 869486817 8745115648 73144 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 7 0 0 0
[pid=25455/tid=25464] ppid=25453 vsize=8540152 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25464/stat : 25464 (java) S 25453 25455 25455 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 17 0 869486817 8745115648 73144 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 7 0 0 0
[pid=25455/tid=25465] ppid=25453 vsize=8540152 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25465/stat : 25465 (java) S 25453 25455 25455 0 -1 4202560 198 0 0 0 0 0 0 0 16 0 17 0 869486818 8745115648 73144 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488511488 0 0 0 16800975 18446604461448824896 0 0 -1 1 0 0 0
[pid=25455/tid=25466] ppid=25453 vsize=8540152 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25466/stat : 25466 (java) S 25453 25455 25455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 17 0 869486819 8745115648 73144 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 5 0 0 0
[pid=25455/tid=25467] ppid=25453 vsize=8540152 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25467/stat : 25467 (java) S 25453 25455 25455 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 17 0 869486819 8745115648 73144 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 5 0 0 0
[pid=25455/tid=25469] ppid=25453 vsize=8540152 CPUtime=0.28 cores=1,3,5,7
/proc/25455/task/25469/stat : 25469 (java) S 25453 25455 25455 0 -1 4202560 3245 0 0 0 28 0 0 0 16 0 17 0 869486821 8745115648 73144 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 5 0 0 0
[pid=25455/tid=25470] ppid=25453 vsize=8540152 CPUtime=0.26 cores=1,3,5,7
/proc/25455/task/25470/stat : 25470 (java) S 25453 25455 25455 0 -1 4202560 2594 0 0 0 26 0 0 0 25 0 17 0 869486821 8745115648 73144 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 7 0 0 0
[pid=25455/tid=25471] ppid=25453 vsize=8540152 CPUtime=0 cores=1,3,5,7
/proc/25455/task/25471/stat : 25471 (java) S 25453 25455 25455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 869486821 8745115648 73144 33554432000 1073741824 1073778376 140734931182288 18446744073709551615 239488510873 0 4 0 16800975 18446604461448824896 0 0 -1 1 0 0 0
[pid=25447/tid=25454] ppid=25445 vsize=298312 CPUtime=0 cores=1,3,5,7
/proc/25447/task/25454/stat : 25454 (python) S 25445 25447 23102 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 869486816 305471488 8419 33554432000 4194304 5683644 140736495591984 18446744073709551615 239488518577 0 0 16781312 33554434 18446604456629080192 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 9126532
Child status: 0
Real time (s): 1.63672
CPU time (s): 2.07468
CPU user time (s): 1.89171
CPU system time (s): 0.182972
CPU usage (%): 126.759
Max. virtual memory (cumulated for all children) (KiB): 9126532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.89171
system time used= 0.182972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94315
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1323
involuntary context switches= 112
runsolver used 0.013997 second user time and 0.032994 second system time
The end