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-3463409-1307175013/watcher-3463409-1307175013 -o /tmp/evaluation-result-3463409-1307175013/solver-3463409-1307175013 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463409-1307175013.opb
running on 4 cores: 0,2,4,6
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 1.95 1.85 3/455 26147
/proc/meminfo: memFree=24550136/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=11328 CPUtime=0 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 442 0 0 0 0 0 0 0 25 0 1 0 809917205 11599872 375 33554432000 134512640 137138936 4292407024 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 2832 375 185 642 0 2188 0
[startup+0.0420201 s]
/proc/loadavg: 2.00 1.95 1.85 3/455 26147
/proc/meminfo: memFree=24550136/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=11320 CPUtime=0.03 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 452 0 0 0 3 0 0 0 25 0 1 0 809917205 11591680 385 33554432000 134512640 137138936 4292407024 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 2830 385 192 642 0 2186 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11320
[startup+0.101021 s]
/proc/loadavg: 2.00 1.95 1.85 3/455 26147
/proc/meminfo: memFree=24550136/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=11572 CPUtime=0.09 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 521 0 0 0 9 0 0 0 25 0 1 0 809917205 11849728 454 33554432000 134512640 137138936 4292407024 18446744073709551615 134543117 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 2893 454 192 642 0 2249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11572
[startup+0.300982 s]
/proc/loadavg: 2.00 1.95 1.85 3/455 26147
/proc/meminfo: memFree=24550136/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=12068 CPUtime=0.29 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 645 0 0 0 29 0 0 0 25 0 1 0 809917205 12357632 578 33554432000 134512640 137138936 4292407024 18446744073709551615 134543177 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 3017 578 192 642 0 2373 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12068
[startup+0.700898 s]
/proc/loadavg: 2.00 1.95 1.85 3/455 26147
/proc/meminfo: memFree=24550136/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=12936 CPUtime=0.69 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 850 0 0 0 69 0 0 0 25 0 1 0 809917205 13246464 783 33554432000 134512640 137138936 4292407024 18446744073709551615 134607601 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 3234 783 192 642 0 2590 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12936
[startup+1.50078 s]
/proc/loadavg: 2.00 1.95 1.85 3/456 26148
/proc/meminfo: memFree=24546904/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=13428 CPUtime=1.49 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 985 0 0 0 149 0 0 0 25 0 1 0 809917205 13750272 918 33554432000 134512640 137138936 4292407024 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 3357 918 192 642 0 2713 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13428
[startup+3.10049 s]
/proc/loadavg: 2.00 1.95 1.85 3/456 26148
/proc/meminfo: memFree=24545600/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=13796 CPUtime=3.09 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 1075 0 0 0 309 0 0 0 25 0 1 0 809917205 14127104 1008 33554432000 134512640 137138936 4292407024 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 3449 1008 192 642 0 2805 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13796
[startup+6.30087 s]
/proc/loadavg: 2.00 1.95 1.85 3/456 26149
/proc/meminfo: memFree=24544748/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=14280 CPUtime=6.29 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 1191 0 0 0 628 1 0 0 25 0 1 0 809917205 14622720 1124 33554432000 134512640 137138936 4292407024 18446744073709551615 134599045 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 3570 1124 192 642 0 2926 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14280
[startup+12.7007 s]
/proc/loadavg: 2.00 1.95 1.85 3/456 26149
/proc/meminfo: memFree=24543812/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=14900 CPUtime=12.69 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 1346 0 0 0 1266 3 0 0 25 0 1 0 809917205 15257600 1279 33554432000 134512640 137138936 4292407024 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 3725 1279 192 642 0 3081 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14900
[startup+25.5004 s]
/proc/loadavg: 2.00 1.96 1.85 3/456 26149
/proc/meminfo: memFree=24543304/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=15400 CPUtime=25.49 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 1470 0 0 0 2544 5 0 0 25 0 1 0 809917205 15769600 1403 33554432000 134512640 137138936 4292407024 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 3850 1403 192 642 0 3206 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15400
[startup+51.1006 s]
/proc/loadavg: 2.00 1.96 1.85 3/456 26150
/proc/meminfo: memFree=24542284/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=16376 CPUtime=51.09 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 1714 0 0 0 5097 12 0 0 25 0 1 0 809917205 16769024 1647 33554432000 134512640 137138936 4292407024 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 4094 1647 192 642 0 3450 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16376
[startup+102.317 s]
/proc/loadavg: 2.16 2.00 1.87 3/456 26151
/proc/meminfo: memFree=24541772/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=16488 CPUtime=102.3 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 1761 0 0 0 10208 22 0 0 25 0 1 0 809917205 16883712 1694 33554432000 134512640 137138936 4292407024 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 4122 1694 192 642 0 3478 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 16488
[startup+162.301 s]
/proc/loadavg: 2.13 2.01 1.88 3/456 26153
/proc/meminfo: memFree=24539520/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=17684 CPUtime=162.29 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2044 0 0 0 16196 33 0 0 25 0 1 0 809917205 18108416 1977 33554432000 134512640 137138936 4292407024 18446744073709551615 134606703 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 4421 1977 192 642 0 3777 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 17684
[startup+222.301 s]
/proc/loadavg: 2.19 2.04 1.90 3/456 26181
/proc/meminfo: memFree=23901980/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=18096 CPUtime=222.29 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2152 0 0 0 22186 43 0 0 25 0 1 0 809917205 18530304 2085 33554432000 134512640 137138936 4292407024 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 4524 2085 192 642 0 3880 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 18096
[startup+282.301 s]
/proc/loadavg: 2.14 2.04 1.91 3/456 26183
/proc/meminfo: memFree=23901468/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=18096 CPUtime=282.22 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2152 0 0 0 28170 52 0 0 25 0 1 0 809917205 18530304 2085 33554432000 134512640 137138936 4292407024 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/26147/statm: 4524 2085 192 642 0 3880 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 18096
[startup+342.301 s]
/proc/loadavg: 2.05 2.03 1.91 3/456 26184
/proc/meminfo: memFree=23901696/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=18860 CPUtime=342.21 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2352 0 0 0 34160 61 0 0 25 0 1 0 809917205 19312640 2285 33554432000 134512640 137138936 4292407024 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 4715 2285 192 642 0 4071 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 18860
[startup+402.301 s]
/proc/loadavg: 1.97 2.01 1.91 3/456 26213
/proc/meminfo: memFree=24496000/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=19212 CPUtime=402.2 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2443 0 0 0 40150 70 0 0 25 0 1 0 809917205 19673088 2376 33554432000 134512640 137138936 4292407024 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 4803 2376 192 642 0 4159 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 19212
[startup+462.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/456 26215
/proc/meminfo: memFree=24348660/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=19212 CPUtime=462.21 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2443 0 0 0 46141 80 0 0 25 0 1 0 809917205 19673088 2376 33554432000 134512640 137138936 4292407024 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 4803 2376 192 642 0 4159 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 19212
[startup+522.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/456 26216
/proc/meminfo: memFree=24263080/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=19764 CPUtime=522.21 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2579 0 0 0 52132 89 0 0 25 0 1 0 809917205 20238336 2512 33554432000 134512640 137138936 4292407024 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 4941 2512 192 642 0 4297 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 19764
[startup+582.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/456 26218
/proc/meminfo: memFree=24243704/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=19764 CPUtime=582.22 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2579 0 0 0 58123 99 0 0 25 0 1 0 809917205 20238336 2512 33554432000 134512640 137138936 4292407024 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 4941 2512 192 642 0 4297 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 19764
[startup+642.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/456 26219
/proc/meminfo: memFree=24243288/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=19764 CPUtime=642.23 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2579 0 0 0 64117 106 0 0 25 0 1 0 809917205 20238336 2512 33554432000 134512640 137138936 4292407024 18446744073709551615 134600040 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 4941 2512 192 642 0 4297 0
Current children cumulated CPU time (s) 642.23
Current children cumulated vsize (KiB) 19764
[startup+702.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/456 26221
/proc/meminfo: memFree=24182132/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=20220 CPUtime=702.22 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2680 0 0 0 70109 113 0 0 25 0 1 0 809917205 20705280 2613 33554432000 134512640 137138936 4292407024 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 5055 2613 192 642 0 4411 0
Current children cumulated CPU time (s) 702.22
Current children cumulated vsize (KiB) 20220
[startup+762.317 s]
/proc/loadavg: 2.14 2.03 1.92 3/456 26223
/proc/meminfo: memFree=24130528/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=20216 CPUtime=762.23 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2680 0 0 0 76102 121 0 0 25 0 1 0 809917205 20701184 2613 33554432000 134512640 137138936 4292407024 18446744073709551615 136504129 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 5054 2613 192 642 0 4410 0
Current children cumulated CPU time (s) 762.23
Current children cumulated vsize (KiB) 20216
Solver just ended. Dumping a history of the last processes samples
[startup+767.901 s]
/proc/loadavg: 2.13 2.03 1.92 3/456 26223
/proc/meminfo: memFree=24130280/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=20216 CPUtime=767.82 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2680 0 0 0 76660 122 0 0 25 0 1 0 809917205 20701184 2613 33554432000 134512640 137138936 4292407024 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 5054 2613 192 642 0 4410 0
Current children cumulated CPU time (s) 767.82
Current children cumulated vsize (KiB) 20216
[startup+774.3 s]
/proc/loadavg: 2.12 2.03 1.92 3/456 26223
/proc/meminfo: memFree=24130520/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=20216 CPUtime=774.24 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2680 0 0 0 77301 123 0 0 25 0 1 0 809917205 20701184 2613 33554432000 134512640 137138936 4292407024 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 5054 2613 192 642 0 4410 0
Current children cumulated CPU time (s) 774.24
Current children cumulated vsize (KiB) 20216
[startup+777.501 s]
/proc/loadavg: 2.27 2.06 1.93 3/456 26223
/proc/meminfo: memFree=24130520/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=20216 CPUtime=777.42 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2680 0 0 0 77619 123 0 0 25 0 1 0 809917205 20701184 2613 33554432000 134512640 137138936 4292407024 18446744073709551615 134607589 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 5054 2613 192 642 0 4410 0
Current children cumulated CPU time (s) 777.42
Current children cumulated vsize (KiB) 20216
[startup+780.701 s]
/proc/loadavg: 2.25 2.06 1.93 3/456 26223
/proc/meminfo: memFree=24130520/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=20216 CPUtime=780.62 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2680 0 0 0 77939 123 0 0 25 0 1 0 809917205 20701184 2613 33554432000 134512640 137138936 4292407024 18446744073709551615 136504045 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 5054 2613 192 642 0 4410 0
Current children cumulated CPU time (s) 780.62
Current children cumulated vsize (KiB) 20216
[startup+782.301 s]
/proc/loadavg: 2.25 2.06 1.93 3/456 26223
/proc/meminfo: memFree=24130520/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=20212 CPUtime=782.22 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2680 0 0 0 78099 123 0 0 25 0 1 0 809917205 20697088 2613 33554432000 134512640 137138936 4292407024 18446744073709551615 134606958 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 5053 2613 192 642 0 4409 0
Current children cumulated CPU time (s) 782.22
Current children cumulated vsize (KiB) 20212
[startup+783.101 s]
/proc/loadavg: 2.25 2.06 1.93 3/456 26223
/proc/meminfo: memFree=24130520/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=20212 CPUtime=783.03 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2680 0 0 0 78180 123 0 0 25 0 1 0 809917205 20697088 2613 33554432000 134512640 137138936 4292407024 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 5053 2613 192 642 0 4409 0
Current children cumulated CPU time (s) 783.03
Current children cumulated vsize (KiB) 20212
[startup+783.501 s]
/proc/loadavg: 2.25 2.06 1.93 3/456 26223
/proc/meminfo: memFree=24130520/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=20212 CPUtime=783.43 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2680 0 0 0 78219 124 0 0 25 0 1 0 809917205 20697088 2613 33554432000 134512640 137138936 4292407024 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 5053 2613 192 642 0 4409 0
Current children cumulated CPU time (s) 783.43
Current children cumulated vsize (KiB) 20212
[startup+783.601 s]
/proc/loadavg: 2.25 2.06 1.93 3/456 26223
/proc/meminfo: memFree=24130520/32951124 swapFree=60476376/67111528
[pid=26147] ppid=26145 vsize=20212 CPUtime=783.53 cores=0,2,4,6
/proc/26147/stat : 26147 (bsolo) R 26145 26147 23562 0 -1 4202496 2680 0 0 0 78229 124 0 0 25 0 1 0 809917205 20697088 2613 33554432000 134512640 137138936 4292407024 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26147/statm: 5053 2613 192 642 0 4409 0
Current children cumulated CPU time (s) 783.53
Current children cumulated vsize (KiB) 20212
Child status: 0
Real time (s): 783.603
CPU time (s): 783.533
CPU user time (s): 782.291
CPU system time (s): 1.24181
CPU usage (%): 99.991
Max. virtual memory (cumulated for all children) (KiB): 20224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 782.291
system time used= 1.24181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2680
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= 2737
runsolver used 3.74743 second user time and 7.65984 second system time
The end