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-3462671-1307181685/watcher-3462671-1307181685 -o /tmp/evaluation-result-3462671-1307181685/solver-3462671-1307181685 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462671-1307181685.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: 2.00 2.00 2.00 2/481 15533
/proc/meminfo: memFree=27382900/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=11060 CPUtime=0.01 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 380 0 0 0 1 0 0 0 25 0 1 0 829768163 11325440 332 33554432000 134512640 137138936 4289444864 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 2765 332 192 642 0 2121 0
[startup+0.11467 s]
/proc/loadavg: 2.00 2.00 2.00 2/481 15533
/proc/meminfo: memFree=27382900/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=12088 CPUtime=0.11 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 634 0 0 0 11 0 0 0 25 0 1 0 829768163 12378112 586 33554432000 134512640 137138936 4289444864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 3022 586 192 642 0 2378 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 12088
[startup+0.200659 s]
/proc/loadavg: 2.00 2.00 2.00 2/481 15533
/proc/meminfo: memFree=27382900/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=12856 CPUtime=0.19 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 834 0 0 0 19 0 0 0 25 0 1 0 829768163 13164544 786 33554432000 134512640 137138936 4289444864 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 3214 786 192 642 0 2570 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12856
[startup+0.300638 s]
/proc/loadavg: 2.00 2.00 2.00 2/481 15533
/proc/meminfo: memFree=27382900/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=14012 CPUtime=0.29 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 1115 0 0 0 29 0 0 0 25 0 1 0 829768163 14348288 1067 33554432000 134512640 137138936 4289444864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 3503 1067 192 642 0 2859 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14012
[startup+0.700564 s]
/proc/loadavg: 2.00 2.00 2.00 2/481 15533
/proc/meminfo: memFree=27382900/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=16664 CPUtime=0.69 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 1785 0 0 0 69 0 0 0 25 0 1 0 829768163 17063936 1737 33554432000 134512640 137138936 4289444864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 4166 1737 192 642 0 3522 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16664
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15534
/proc/meminfo: memFree=27373480/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=20772 CPUtime=1.49 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 2789 0 0 0 148 1 0 0 25 0 1 0 829768163 21270528 2741 33554432000 134512640 137138936 4289444864 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 5193 2741 192 642 0 4549 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20772
[startup+3.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15534
/proc/meminfo: memFree=27370132/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=21132 CPUtime=3.09 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 2886 0 0 0 308 1 0 0 25 0 1 0 829768163 21639168 2838 33554432000 134512640 137138936 4289444864 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 5283 2838 192 642 0 4639 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21132
[startup+6.3005 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15534
/proc/meminfo: memFree=27368612/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=22524 CPUtime=6.29 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 3236 0 0 0 628 1 0 0 25 0 1 0 829768163 23064576 3188 33554432000 134512640 137138936 4289444864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 5631 3188 192 642 0 4987 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22524
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15535
/proc/meminfo: memFree=27367876/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=22472 CPUtime=12.69 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 3236 0 0 0 1266 3 0 0 25 0 1 0 829768163 23011328 3188 33554432000 134512640 137138936 4289444864 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 5618 3188 192 642 0 4974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22472
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15535
/proc/meminfo: memFree=27364296/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=26508 CPUtime=25.49 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 4261 0 0 0 2542 7 0 0 25 0 1 0 829768163 27144192 4197 33554432000 134512640 137138936 4289444864 18446744073709551615 134606677 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 6627 4197 192 642 0 5983 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26508
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15536
/proc/meminfo: memFree=27361536/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=28384 CPUtime=51.09 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 4724 0 0 0 5098 11 0 0 25 0 1 0 829768163 29065216 4660 33554432000 134512640 137138936 4289444864 18446744073709551615 134609401 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 7096 4660 192 642 0 6452 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28384
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15537
/proc/meminfo: memFree=27361028/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=28356 CPUtime=102.31 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 4724 0 0 0 10212 19 0 0 25 0 1 0 829768163 29036544 4660 33554432000 134512640 137138936 4289444864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 7089 4660 192 642 0 6445 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 28356
[startup+162.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/482 15541
/proc/meminfo: memFree=27360512/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=28352 CPUtime=162.3 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 4725 0 0 0 16199 31 0 0 25 0 1 0 829768163 29032448 4661 33554432000 134512640 137138936 4289444864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 7088 4661 192 642 0 6444 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 28352
[startup+222.318 s]
/proc/loadavg: 2.20 2.06 2.02 3/482 15543
/proc/meminfo: memFree=27358612/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=28452 CPUtime=222.32 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 4739 0 0 0 22193 39 0 0 25 0 1 0 829768163 29134848 4675 33554432000 134512640 137138936 4289444864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 7113 4675 192 642 0 6469 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 28452
[startup+282.301 s]
/proc/loadavg: 2.14 2.07 2.02 3/482 15545
/proc/meminfo: memFree=27358716/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=29908 CPUtime=282.29 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5106 0 0 0 28185 44 0 0 25 0 1 0 829768163 30625792 5042 33554432000 134512640 137138936 4289444864 18446744073709551615 136504048 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 7477 5042 192 642 0 6833 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 29908
[startup+342.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/482 15546
/proc/meminfo: memFree=27358684/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=29916 CPUtime=342.29 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5108 0 0 0 34178 51 0 0 25 0 1 0 829768163 30633984 5044 33554432000 134512640 137138936 4289444864 18446744073709551615 134542184 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 7479 5044 192 642 0 6835 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 29916
[startup+402.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 15575
/proc/meminfo: memFree=27331188/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=31012 CPUtime=402.3 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5386 0 0 0 40172 58 0 0 25 0 1 0 829768163 31756288 5322 33554432000 134512640 137138936 4289444864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 7753 5322 192 642 0 7109 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 31012
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 15577
/proc/meminfo: memFree=27235604/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32044 CPUtime=462.3 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5644 0 0 0 46165 65 0 0 25 0 1 0 829768163 32813056 5579 33554432000 134512640 137138936 4289444864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8011 5579 192 642 0 7367 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 32044
[startup+522.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/482 15578
/proc/meminfo: memFree=27161164/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32040 CPUtime=522.3 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5644 0 0 0 52158 72 0 0 25 0 1 0 829768163 32808960 5579 33554432000 134512640 137138936 4289444864 18446744073709551615 134542817 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8010 5579 192 642 0 7366 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 32040
[startup+582.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/482 15580
/proc/meminfo: memFree=27095920/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32640 CPUtime=582.3 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5796 0 0 0 58149 81 0 0 25 0 1 0 829768163 33423360 5731 33554432000 134512640 137138936 4289444864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8160 5731 192 642 0 7516 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 32640
[startup+642.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 15581
/proc/meminfo: memFree=27045436/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32636 CPUtime=642.3 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5796 0 0 0 64144 86 0 0 25 0 1 0 829768163 33419264 5731 33554432000 134512640 137138936 4289444864 18446744073709551615 134603118 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8159 5731 192 642 0 7515 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 32636
[startup+702.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 15583
/proc/meminfo: memFree=26993080/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32624 CPUtime=702.3 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5796 0 0 0 70140 90 0 0 25 0 1 0 829768163 33406976 5731 33554432000 134512640 137138936 4289444864 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8156 5731 192 642 0 7512 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 32624
[startup+762.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 15585
/proc/meminfo: memFree=26951272/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32624 CPUtime=762.32 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5796 0 0 0 76136 96 0 0 25 0 1 0 829768163 33406976 5731 33554432000 134512640 137138936 4289444864 18446744073709551615 134542424 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8156 5731 192 642 0 7512 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 32624
[startup+822.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 15586
/proc/meminfo: memFree=26922368/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32620 CPUtime=822.31 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5796 0 0 0 82128 103 0 0 25 0 1 0 829768163 33402880 5731 33554432000 134512640 137138936 4289444864 18446744073709551615 134599648 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8155 5731 192 642 0 7511 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 32620
Solver just ended. Dumping a history of the last processes samples
[startup+825.6 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 15586
/proc/meminfo: memFree=26920876/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32628 CPUtime=825.6 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5798 0 0 0 82457 103 0 0 25 0 1 0 829768163 33411072 5733 33554432000 134512640 137138936 4289444864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8157 5733 192 642 0 7513 0
Current children cumulated CPU time (s) 825.6
Current children cumulated vsize (KiB) 32628
[startup+832.001 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 15586
/proc/meminfo: memFree=26917776/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32628 CPUtime=832 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5798 0 0 0 83096 104 0 0 25 0 1 0 829768163 33411072 5733 33554432000 134512640 137138936 4289444864 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8157 5733 192 642 0 7513 0
Current children cumulated CPU time (s) 832
Current children cumulated vsize (KiB) 32628
[startup+833.601 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 15586
/proc/meminfo: memFree=26917528/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32628 CPUtime=833.6 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5798 0 0 0 83256 104 0 0 25 0 1 0 829768163 33411072 5733 33554432000 134512640 137138936 4289444864 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8157 5733 192 642 0 7513 0
Current children cumulated CPU time (s) 833.6
Current children cumulated vsize (KiB) 32628
[startup+834.401 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 15586
/proc/meminfo: memFree=26917032/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32628 CPUtime=834.4 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5798 0 0 0 83336 104 0 0 25 0 1 0 829768163 33411072 5733 33554432000 134512640 137138936 4289444864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8157 5733 192 642 0 7513 0
Current children cumulated CPU time (s) 834.4
Current children cumulated vsize (KiB) 32628
[startup+835.2 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 15587
/proc/meminfo: memFree=26916784/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32628 CPUtime=835.2 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5798 0 0 0 83416 104 0 0 25 0 1 0 829768163 33411072 5733 33554432000 134512640 137138936 4289444864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8157 5733 192 642 0 7513 0
Current children cumulated CPU time (s) 835.2
Current children cumulated vsize (KiB) 32628
[startup+835.4 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 15587
/proc/meminfo: memFree=26916784/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32628 CPUtime=835.4 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5798 0 0 0 83436 104 0 0 25 0 1 0 829768163 33411072 5733 33554432000 134512640 137138936 4289444864 18446744073709551615 134617986 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8157 5733 192 642 0 7513 0
Current children cumulated CPU time (s) 835.4
Current children cumulated vsize (KiB) 32628
[startup+835.5 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 15587
/proc/meminfo: memFree=26916784/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32628 CPUtime=835.5 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5798 0 0 0 83446 104 0 0 25 0 1 0 829768163 33411072 5733 33554432000 134512640 137138936 4289444864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8157 5733 192 642 0 7513 0
Current children cumulated CPU time (s) 835.5
Current children cumulated vsize (KiB) 32628
Child status: 0
Real time (s): 835.517
CPU time (s): 835.528
CPU user time (s): 834.479
CPU system time (s): 1.04884
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 32640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 834.479
system time used= 1.04884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2459
runsolver used 3.89941 second user time and 9.2176 second system time
The end