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-3462993-1307174726/watcher-3462993-1307174726 -o /tmp/evaluation-result-3462993-1307174726/solver-3462993-1307174726 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462993-1307174726.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.00 1.14 1.52 2/273 12771
/proc/meminfo: memFree=28445740/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=11016 CPUtime=0 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 338 0 0 0 0 0 0 0 25 0 1 0 829073344 11280384 293 33554432000 134512640 137138936 4291406624 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 2754 294 183 642 0 2089 0
[startup+0.0952821 s]
/proc/loadavg: 1.00 1.14 1.52 2/273 12771
/proc/meminfo: memFree=28445740/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=11572 CPUtime=0.09 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 519 0 0 0 9 0 0 0 25 0 1 0 829073344 11849728 453 33554432000 134512640 137138936 4291406624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 2893 453 192 642 0 2249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11572
[startup+0.10028 s]
/proc/loadavg: 1.00 1.14 1.52 2/273 12771
/proc/meminfo: memFree=28445740/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=11572 CPUtime=0.09 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 523 0 0 0 9 0 0 0 25 0 1 0 829073344 11849728 457 33554432000 134512640 137138936 4291406624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 2893 457 192 642 0 2249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11572
[startup+0.300255 s]
/proc/loadavg: 1.00 1.14 1.52 2/273 12771
/proc/meminfo: memFree=28445740/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=12192 CPUtime=0.29 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 662 0 0 0 29 0 0 0 25 0 1 0 829073344 12484608 596 33554432000 134512640 137138936 4291406624 18446744073709551615 134600656 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 3048 596 192 642 0 2404 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12192
[startup+0.700171 s]
/proc/loadavg: 1.00 1.14 1.52 2/273 12771
/proc/meminfo: memFree=28445740/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=13052 CPUtime=0.69 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 898 0 0 0 69 0 0 0 25 0 1 0 829073344 13365248 832 33554432000 134512640 137138936 4291406624 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 3263 832 192 642 0 2619 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13052
[startup+1.50102 s]
/proc/loadavg: 1.00 1.14 1.52 3/274 12773
/proc/meminfo: memFree=28442444/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=13180 CPUtime=1.49 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 917 0 0 0 149 0 0 0 25 0 1 0 829073344 13496320 851 33554432000 134512640 137138936 4291406624 18446744073709551615 136296964 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 3295 851 192 642 0 2651 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13180
[startup+3.10074 s]
/proc/loadavg: 1.00 1.14 1.52 3/274 12773
/proc/meminfo: memFree=28440472/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=14296 CPUtime=3.09 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 1211 0 0 0 308 1 0 0 25 0 1 0 829073344 14639104 1145 33554432000 134512640 137138936 4291406624 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 3574 1145 192 642 0 2930 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14296
[startup+6.30015 s]
/proc/loadavg: 1.08 1.15 1.52 3/274 12773
/proc/meminfo: memFree=28439224/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=15152 CPUtime=6.29 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 1416 0 0 0 627 2 0 0 25 0 1 0 829073344 15515648 1350 33554432000 134512640 137138936 4291406624 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 3788 1350 192 642 0 3144 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15152
[startup+12.701 s]
/proc/loadavg: 1.15 1.17 1.53 3/274 12773
/proc/meminfo: memFree=28438528/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=15156 CPUtime=12.69 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 1417 0 0 0 1265 4 0 0 25 0 1 0 829073344 15519744 1351 33554432000 134512640 137138936 4291406624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 3789 1351 192 642 0 3145 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15156
[startup+25.5006 s]
/proc/loadavg: 1.34 1.21 1.53 3/274 12773
/proc/meminfo: memFree=28436920/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=16032 CPUtime=25.49 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 1649 0 0 0 2540 9 0 0 25 0 1 0 829073344 16416768 1583 33554432000 134512640 137138936 4291406624 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 4008 1583 192 642 0 3364 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16032
[startup+51.1009 s]
/proc/loadavg: 1.56 1.27 1.55 3/274 12774
/proc/meminfo: memFree=28434756/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=17624 CPUtime=51.09 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2024 0 0 0 5091 18 0 0 25 0 1 0 829073344 18046976 1958 33554432000 134512640 137138936 4291406624 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 4406 1958 192 642 0 3762 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17624
[startup+102.31 s]
/proc/loadavg: 1.82 1.39 1.57 3/274 12775
/proc/meminfo: memFree=28433748/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=17564 CPUtime=102.3 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2024 0 0 0 10196 34 0 0 25 0 1 0 829073344 17985536 1958 33554432000 134512640 137138936 4291406624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 4391 1958 192 642 0 3747 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 17564
[startup+162.301 s]
/proc/loadavg: 1.99 1.51 1.59 3/274 12777
/proc/meminfo: memFree=28432120/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=17564 CPUtime=162.29 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2025 0 0 0 16178 51 0 0 25 0 1 0 829073344 17985536 1959 33554432000 134512640 137138936 4291406624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 4391 1959 192 642 0 3747 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 17564
[startup+222.301 s]
/proc/loadavg: 1.99 1.59 1.62 3/274 12778
/proc/meminfo: memFree=28430736/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=19036 CPUtime=222.29 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2383 0 0 0 22160 69 0 0 25 0 1 0 829073344 19492864 2317 33554432000 134512640 137138936 4291406624 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 4759 2317 192 642 0 4115 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 19036
[startup+282.301 s]
/proc/loadavg: 1.99 1.66 1.64 3/274 12780
/proc/meminfo: memFree=28430464/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=19156 CPUtime=282.3 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2422 0 0 0 28144 86 0 0 25 0 1 0 829073344 19615744 2356 33554432000 134512640 137138936 4291406624 18446744073709551615 136297742 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 4789 2356 192 642 0 4145 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19156
[startup+342.301 s]
/proc/loadavg: 1.99 1.72 1.66 3/274 12782
/proc/meminfo: memFree=28428336/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=19712 CPUtime=342.3 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2550 0 0 0 34129 101 0 0 25 0 1 0 829073344 20185088 2484 33554432000 134512640 137138936 4291406624 18446744073709551615 134576319 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 4928 2484 192 642 0 4284 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19712
[startup+402.301 s]
/proc/loadavg: 1.99 1.77 1.68 3/274 12783
/proc/meminfo: memFree=28428316/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=19704 CPUtime=402.3 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2550 0 0 0 40113 117 0 0 25 0 1 0 829073344 20176896 2484 33554432000 134512640 137138936 4291406624 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 4926 2484 192 642 0 4282 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19704
[startup+462.301 s]
/proc/loadavg: 1.99 1.81 1.69 3/274 12785
/proc/meminfo: memFree=28428292/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=19700 CPUtime=462.31 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2550 0 0 0 46098 133 0 0 25 0 1 0 829073344 20172800 2484 33554432000 134512640 137138936 4291406624 18446744073709551615 134606614 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 4925 2484 192 642 0 4281 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 19700
[startup+522.301 s]
/proc/loadavg: 2.05 1.86 1.72 3/274 12786
/proc/meminfo: memFree=28426788/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21144 CPUtime=522.31 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2922 0 0 0 52083 148 0 0 25 0 1 0 829073344 21651456 2856 33554432000 134512640 137138936 4291406624 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5286 2856 192 642 0 4642 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 21144
[startup+582.301 s]
/proc/loadavg: 2.02 1.88 1.73 3/274 12788
/proc/meminfo: memFree=28426760/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21080 CPUtime=582.31 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2922 0 0 0 58072 159 0 0 25 0 1 0 829073344 21585920 2845 33554432000 134512640 137138936 4291406624 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5270 2845 192 642 0 4626 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 21080
[startup+642.301 s]
/proc/loadavg: 1.99 1.89 1.74 3/274 13060
/proc/meminfo: memFree=28406336/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21076 CPUtime=642.31 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2922 0 0 0 64061 170 0 0 25 0 1 0 829073344 21581824 2844 33554432000 134512640 137138936 4291406624 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5269 2844 192 642 0 4625 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 21076
[startup+702.301 s]
/proc/loadavg: 1.99 1.90 1.75 3/274 13061
/proc/meminfo: memFree=28391816/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21072 CPUtime=702.31 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2922 0 0 0 70047 184 0 0 25 0 1 0 829073344 21577728 2843 33554432000 134512640 137138936 4291406624 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5268 2843 192 642 0 4624 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 21072
[startup+762.31 s]
/proc/loadavg: 2.07 1.94 1.77 3/274 13063
/proc/meminfo: memFree=28351368/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21072 CPUtime=762.32 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2923 0 0 0 76032 200 0 0 25 0 1 0 829073344 21577728 2843 33554432000 134512640 137138936 4291406624 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5268 2843 192 642 0 4624 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 21072
[startup+822.301 s]
/proc/loadavg: 2.03 1.94 1.78 3/274 13064
/proc/meminfo: memFree=28318872/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21072 CPUtime=822.32 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2923 0 0 0 82017 215 0 0 25 0 1 0 829073344 21577728 2843 33554432000 134512640 137138936 4291406624 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5268 2843 192 642 0 4624 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 21072
[startup+882.301 s]
/proc/loadavg: 2.01 1.95 1.79 3/274 13066
/proc/meminfo: memFree=28287716/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21068 CPUtime=882.32 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2923 0 0 0 88004 228 0 0 25 0 1 0 829073344 21573632 2842 33554432000 134512640 137138936 4291406624 18446744073709551615 136505202 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5267 2842 192 642 0 4623 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 21068
[startup+942.301 s]
/proc/loadavg: 2.00 1.96 1.80 3/274 13068
/proc/meminfo: memFree=28267492/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21068 CPUtime=942.32 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2923 0 0 0 93990 242 0 0 25 0 1 0 829073344 21573632 2842 33554432000 134512640 137138936 4291406624 18446744073709551615 136521046 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5267 2842 192 642 0 4623 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 21068
[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.81 3/274 13069
/proc/meminfo: memFree=28241428/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21064 CPUtime=1002.32 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2923 0 0 0 99976 256 0 0 25 0 1 0 829073344 21569536 2841 33554432000 134512640 137138936 4291406624 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5266 2841 192 642 0 4622 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 21064
[startup+1062.3 s]
/proc/loadavg: 2.08 1.98 1.83 3/274 13071
/proc/meminfo: memFree=28212400/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21180 CPUtime=1062.32 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2935 0 0 0 105963 269 0 0 25 0 1 0 829073344 21688320 2853 33554432000 134512640 137138936 4291406624 18446744073709551615 134600273 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5295 2853 192 642 0 4651 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 21180
[startup+1122.3 s]
/proc/loadavg: 2.03 1.98 1.83 3/274 13072
/proc/meminfo: memFree=28185348/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21300 CPUtime=1122.32 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2978 0 0 0 111948 284 0 0 25 0 1 0 829073344 21811200 2896 33554432000 134512640 137138936 4291406624 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5325 2896 192 642 0 4681 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 21300
Solver just ended. Dumping a history of the last processes samples
[startup+1126.3 s]
/proc/loadavg: 2.02 1.98 1.83 3/274 13073
/proc/meminfo: memFree=28183736/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21300 CPUtime=1126.33 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 2978 0 0 0 112348 285 0 0 25 0 1 0 829073344 21811200 2896 33554432000 134512640 137138936 4291406624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5325 2896 192 642 0 4681 0
Current children cumulated CPU time (s) 1126.33
Current children cumulated vsize (KiB) 21300
[startup+1139.1 s]
/proc/loadavg: 2.02 1.98 1.84 3/274 13073
/proc/meminfo: memFree=28179888/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21496 CPUtime=1139.13 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 3014 0 0 0 113626 287 0 0 25 0 1 0 829073344 22011904 2932 33554432000 134512640 137138936 4291406624 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5374 2932 192 642 0 4730 0
Current children cumulated CPU time (s) 1139.13
Current children cumulated vsize (KiB) 21496
[startup+1151.9 s]
/proc/loadavg: 2.02 1.98 1.84 3/274 13073
/proc/meminfo: memFree=28175796/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21492 CPUtime=1151.93 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 3014 0 0 0 114903 290 0 0 25 0 1 0 829073344 22007808 2932 33554432000 134512640 137138936 4291406624 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5373 2932 192 642 0 4729 0
Current children cumulated CPU time (s) 1151.93
Current children cumulated vsize (KiB) 21492
[startup+1158.31 s]
/proc/loadavg: 2.01 1.98 1.84 3/274 13073
/proc/meminfo: memFree=28172812/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21492 CPUtime=1158.33 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 3014 0 0 0 115542 291 0 0 25 0 1 0 829073344 22007808 2932 33554432000 134512640 137138936 4291406624 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5373 2932 192 642 0 4729 0
Current children cumulated CPU time (s) 1158.33
Current children cumulated vsize (KiB) 21492
[startup+1159.9 s]
/proc/loadavg: 2.01 1.98 1.84 3/274 13073
/proc/meminfo: memFree=28172192/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21492 CPUtime=1159.93 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 3014 0 0 0 115701 292 0 0 25 0 1 0 829073344 22007808 2932 33554432000 134512640 137138936 4291406624 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5373 2932 192 642 0 4729 0
Current children cumulated CPU time (s) 1159.93
Current children cumulated vsize (KiB) 21492
[startup+1160.7 s]
/proc/loadavg: 2.01 1.98 1.84 3/274 13073
/proc/meminfo: memFree=28171572/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21492 CPUtime=1160.73 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 3014 0 0 0 115781 292 0 0 25 0 1 0 829073344 22007808 2932 33554432000 134512640 137138936 4291406624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5373 2932 192 642 0 4729 0
Current children cumulated CPU time (s) 1160.73
Current children cumulated vsize (KiB) 21492
[startup+1161.1 s]
/proc/loadavg: 2.01 1.98 1.84 3/274 13073
/proc/meminfo: memFree=28171572/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21492 CPUtime=1161.13 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 3014 0 0 0 115821 292 0 0 25 0 1 0 829073344 22007808 2932 33554432000 134512640 137138936 4291406624 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5373 2932 192 642 0 4729 0
Current children cumulated CPU time (s) 1161.13
Current children cumulated vsize (KiB) 21492
[startup+1161.5 s]
/proc/loadavg: 2.01 1.98 1.84 3/274 13073
/proc/meminfo: memFree=28171200/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21492 CPUtime=1161.53 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 3014 0 0 0 115861 292 0 0 25 0 1 0 829073344 22007808 2932 33554432000 134512640 137138936 4291406624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5373 2932 192 642 0 4729 0
Current children cumulated CPU time (s) 1161.53
Current children cumulated vsize (KiB) 21492
[startup+1161.61 s]
/proc/loadavg: 2.01 1.98 1.84 3/274 13073
/proc/meminfo: memFree=28171200/32951124 swapFree=55664332/67111528
[pid=12771] ppid=12769 vsize=21492 CPUtime=1161.63 cores=1,3,5,7
/proc/12771/stat : 12771 (bsolo) R 12769 12771 10640 0 -1 4202496 3014 0 0 0 115871 292 0 0 25 0 1 0 829073344 22007808 2932 33554432000 134512640 137138936 4291406624 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12771/statm: 5373 2932 192 642 0 4729 0
Current children cumulated CPU time (s) 1161.63
Current children cumulated vsize (KiB) 21492
Child status: 0
Real time (s): 1161.63
CPU time (s): 1161.66
CPU user time (s): 1158.74
CPU system time (s): 2.92455
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 21496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1158.74
system time used= 2.92455
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3014
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= 2972
runsolver used 2.78558 second user time and 6.72598 second system time
The end