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-3463036-1307177918/watcher-3463036-1307177918 -o /tmp/evaluation-result-3463036-1307177918/solver-3463036-1307177918 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463036-1307177918.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.12 2.04 2.01 3/443 25694
/proc/meminfo: memFree=29635220/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=13592 CPUtime=0 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 459 0 0 0 0 0 0 0 25 0 1 0 908022471 13918208 413 33554432000 134512640 137138936 4290711024 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 3398 414 202 642 0 2193 0
[startup+0.059191 s]
/proc/loadavg: 2.12 2.04 2.01 3/443 25694
/proc/meminfo: memFree=29635220/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=16752 CPUtime=0.05 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 1446 0 0 0 5 0 0 0 25 0 1 0 908022471 17154048 1400 33554432000 134512640 137138936 4290711024 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 4189 1401 393 642 0 2984 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16752
[startup+0.101182 s]
/proc/loadavg: 2.12 2.04 2.01 3/443 25694
/proc/meminfo: memFree=29635220/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=19504 CPUtime=0.09 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 2291 0 0 0 9 0 0 0 25 0 1 0 908022471 19972096 2245 33554432000 134512640 137138936 4290711024 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 4876 2246 558 642 0 3671 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19504
[startup+0.301147 s]
/proc/loadavg: 2.12 2.04 2.01 3/443 25694
/proc/meminfo: memFree=29635220/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=27540 CPUtime=0.29 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 5044 0 0 0 29 0 0 0 25 0 1 0 908022471 28200960 4437 33554432000 134512640 137138936 4290711024 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 6885 4437 185 642 0 6241 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27540
[startup+0.701072 s]
/proc/loadavg: 2.12 2.04 2.01 3/443 25694
/proc/meminfo: memFree=29635220/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=27540 CPUtime=0.69 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 5044 0 0 0 67 2 0 0 25 0 1 0 908022471 28200960 4437 33554432000 134512640 137138936 4290711024 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 6885 4437 185 642 0 6241 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27540
[startup+1.50092 s]
/proc/loadavg: 2.12 2.04 2.01 3/444 25695
/proc/meminfo: memFree=29618224/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=32820 CPUtime=1.49 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 7804 0 0 0 146 3 0 0 25 0 1 0 908022471 33607680 5777 33554432000 134512640 137138936 4290711024 18446744073709551615 136501693 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 8205 5777 192 642 0 7561 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32820
[startup+3.10062 s]
/proc/loadavg: 2.11 2.04 2.01 3/444 25695
/proc/meminfo: memFree=29603092/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=52512 CPUtime=3.09 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 12724 0 0 0 306 3 0 0 25 0 1 0 908022471 53772288 10697 33554432000 134512640 137138936 4290711024 18446744073709551615 134573907 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 13128 10697 192 642 0 12484 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52512
[startup+6.30101 s]
/proc/loadavg: 2.11 2.04 2.01 3/444 25695
/proc/meminfo: memFree=29565300/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=88920 CPUtime=6.3 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 21814 0 0 0 625 5 0 0 25 0 1 0 908022471 91054080 19787 33554432000 134512640 137138936 4290711024 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 22230 19787 192 642 0 21586 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 88920
[startup+12.7008 s]
/proc/loadavg: 2.10 2.04 2.01 3/444 25695
/proc/meminfo: memFree=29494628/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=154596 CPUtime=12.69 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 38252 0 0 0 1262 7 0 0 25 0 1 0 908022471 158306304 36225 33554432000 134512640 137138936 4290711024 18446744073709551615 134575614 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 38649 36225 192 642 0 38005 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 154596
[startup+25.5004 s]
/proc/loadavg: 2.08 2.04 2.01 3/444 25695
/proc/meminfo: memFree=29389472/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=255180 CPUtime=25.49 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 63390 0 0 0 2538 11 0 0 25 0 1 0 908022471 261304320 61363 33554432000 134512640 137138936 4290711024 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 63795 61363 192 642 0 63151 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 255180
[startup+51.1006 s]
/proc/loadavg: 2.05 2.03 2.00 3/444 25696
/proc/meminfo: memFree=29215292/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=431528 CPUtime=51.1 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 107479 0 0 0 5091 19 0 0 25 0 1 0 908022471 441884672 105452 33554432000 134512640 137138936 4290711024 18446744073709551615 134618371 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 107882 105452 192 642 0 107238 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 431528
[startup+102.317 s]
/proc/loadavg: 2.05 2.04 2.00 3/444 25697
/proc/meminfo: memFree=28973072/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=669144 CPUtime=102.31 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 166870 0 0 0 10203 28 0 0 25 0 1 0 908022471 685203456 164843 33554432000 134512640 137138936 4290711024 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 167286 164843 192 642 0 166642 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 669144
[startup+162.301 s]
/proc/loadavg: 2.06 2.05 2.00 3/444 25708
/proc/meminfo: memFree=28733816/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=911652 CPUtime=162.3 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 227516 0 0 0 16189 41 0 0 25 0 1 0 908022471 933531648 225489 33554432000 134512640 137138936 4290711024 18446744073709551615 134544821 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 227913 225489 192 642 0 227269 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 911652
[startup+222.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/444 25710
/proc/meminfo: memFree=28593144/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1047000 CPUtime=222.29 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 261418 0 0 0 22182 47 0 0 25 0 1 0 908022471 1072128000 259327 33554432000 134512640 137138936 4290711024 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 261750 259327 192 642 0 261106 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1047000
[startup+282.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/444 25711
/proc/meminfo: memFree=28592616/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1047000 CPUtime=282.3 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 261418 0 0 0 28181 49 0 0 25 0 1 0 908022471 1072128000 259327 33554432000 134512640 137138936 4290711024 18446744073709551615 134575867 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 261750 259327 192 642 0 261106 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1047000
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 25713
/proc/meminfo: memFree=28592576/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1047000 CPUtime=342.31 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 261418 0 0 0 34180 51 0 0 25 0 1 0 908022471 1072128000 259327 33554432000 134512640 137138936 4290711024 18446744073709551615 134540738 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 261750 259327 192 642 0 261106 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1047000
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 25714
/proc/meminfo: memFree=28593304/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1047000 CPUtime=402.3 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 261418 0 0 0 40177 53 0 0 25 0 1 0 908022471 1072128000 259327 33554432000 134512640 137138936 4290711024 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 261750 259327 192 642 0 261106 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1047000
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 25716
/proc/meminfo: memFree=28594124/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1047000 CPUtime=462.31 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 261418 0 0 0 46176 55 0 0 25 0 1 0 908022471 1072128000 259327 33554432000 134512640 137138936 4290711024 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 261750 259327 192 642 0 261106 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1047000
[startup+522.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/444 25718
/proc/meminfo: memFree=28594208/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1046416 CPUtime=522.31 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 261418 0 0 0 52175 56 0 0 25 0 1 0 908022471 1071529984 259181 33554432000 134512640 137138936 4290711024 18446744073709551615 134576396 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 261604 259181 192 642 0 260960 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1046416
[startup+582.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/444 25719
/proc/meminfo: memFree=28594540/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1046416 CPUtime=582.31 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 261418 0 0 0 58173 58 0 0 25 0 1 0 908022471 1071529984 259181 33554432000 134512640 137138936 4290711024 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 261604 259181 192 642 0 260960 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1046416
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28592368/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1048728 CPUtime=1062.33 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 262320 0 0 0 106160 73 0 0 25 0 1 0 908022471 1073897472 259759 33554432000 134512640 137138936 4290711024 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 262182 259759 192 642 0 261538 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1048728
[startup+1122.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/444 25734
/proc/meminfo: memFree=28592820/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1048728 CPUtime=1122.33 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 262320 0 0 0 112158 75 0 0 25 0 1 0 908022471 1073897472 259759 33554432000 134512640 137138936 4290711024 18446744073709551615 134606653 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 262182 259759 192 642 0 261538 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1048728
[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/444 25735
/proc/meminfo: memFree=28583968/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1182.33 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 118157 76 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1052308
[startup+1242.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/444 25737
/proc/meminfo: memFree=28562728/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1242.34 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 124157 77 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 1052308
[startup+1302.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/444 25738
/proc/meminfo: memFree=28560940/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1302.35 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 130157 78 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1052308
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/444 25740
/proc/meminfo: memFree=28561012/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1362.34 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 136155 79 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1052308
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 25742
/proc/meminfo: memFree=28561700/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1422.36 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 142156 80 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 1052308
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 25770
/proc/meminfo: memFree=28780760/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1482.34 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 148153 81 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1052308
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 25772
/proc/meminfo: memFree=28779976/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1542.34 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 154152 82 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1052308
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 25773
/proc/meminfo: memFree=28777304/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1602.35 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 160151 84 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 1052308
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 25775
/proc/meminfo: memFree=28777484/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1662.35 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 166150 85 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1052308
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 25777
/proc/meminfo: memFree=28776920/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1722.35 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 172148 87 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1052308
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/444 25778
/proc/meminfo: memFree=28775980/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1782.35 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 178146 89 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 134603271 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1052308
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/444 25778
/proc/meminfo: memFree=28775980/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1785.55 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 178466 89 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 1052308
[startup+1791.92 s]
/proc/loadavg: 2.04 2.01 2.00 3/444 25778
/proc/meminfo: memFree=28775980/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1791.97 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 179108 89 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 1052308
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/444 25778
/proc/meminfo: memFree=28775980/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1795.16 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 179427 89 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 1052308
[startup+1796.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/444 25779
/proc/meminfo: memFree=28775980/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1796.75 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 179586 89 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 1052308
[startup+1797.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/444 25779
/proc/meminfo: memFree=28775980/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1797.55 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 179666 89 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 1052308
[startup+1797.9 s]
/proc/loadavg: 2.03 2.01 2.00 3/444 25779
/proc/meminfo: memFree=28775980/32950928 swapFree=52246700/67111528
[pid=25694] ppid=25692 vsize=1052308 CPUtime=1797.95 cores=0,2,4,6
/proc/25694/stat : 25694 (bsolo) R 25692 25694 23545 0 -1 4202496 263183 0 0 0 179706 89 0 0 25 0 1 0 908022471 1077563392 260622 33554432000 134512640 137138936 4290711024 18446744073709551615 134618242 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/25694/statm: 263077 260622 192 642 0 262433 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 1052308
Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.05
CPU user time (s): 1797.11
CPU system time (s): 0.944856
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1052308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.11
system time used= 0.944856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263184
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= 6
involuntary context switches= 2500
runsolver used 8.28374 second user time and 17.8353 second system time
The end