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-3463767-1307185685/watcher-3463767-1307185685 -o /tmp/evaluation-result-3463767-1307185685/solver-3463767-1307185685 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463767-1307185685.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.09 2.04 2.00 2/554 12671
/proc/meminfo: memFree=23878840/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=12280 CPUtime=0.01 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 696 0 0 0 1 0 0 0 23 0 1 0 830165534 12574720 627 33554432000 134512640 137138936 4294406832 18446744073709551615 136506718 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 3070 629 183 642 0 2426 0
[startup+0.0467929 s]
/proc/loadavg: 2.09 2.04 2.00 2/554 12671
/proc/meminfo: memFree=23878840/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=12544 CPUtime=0.04 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 765 0 0 0 4 0 0 0 23 0 1 0 830165534 12845056 696 33554432000 134512640 137138936 4294406832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 3136 696 185 642 0 2492 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12544
[startup+0.100766 s]
/proc/loadavg: 2.09 2.04 2.00 2/554 12671
/proc/meminfo: memFree=23878840/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=12544 CPUtime=0.1 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 765 0 0 0 10 0 0 0 24 0 1 0 830165534 12845056 696 33554432000 134512640 137138936 4294406832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 3136 696 185 642 0 2492 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12544
[startup+0.300731 s]
/proc/loadavg: 2.09 2.04 2.00 2/554 12671
/proc/meminfo: memFree=23878840/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=12880 CPUtime=0.29 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 858 0 0 0 29 0 0 0 25 0 1 0 830165534 13189120 784 33554432000 134512640 137138936 4294406832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 3220 784 192 642 0 2576 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12880
[startup+0.700653 s]
/proc/loadavg: 2.09 2.04 2.00 2/554 12671
/proc/meminfo: memFree=23878840/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=13696 CPUtime=0.69 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 1061 0 0 0 69 0 0 0 25 0 1 0 830165534 14024704 987 33554432000 134512640 137138936 4294406832 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 3424 987 192 642 0 2780 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13696
[startup+1.5005 s]
/proc/loadavg: 2.08 2.04 2.00 3/555 12672
/proc/meminfo: memFree=23873872/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=15728 CPUtime=1.49 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 1577 0 0 0 149 0 0 0 25 0 1 0 830165534 16105472 1503 33554432000 134512640 137138936 4294406832 18446744073709551615 136502633 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 3932 1503 192 642 0 3288 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15728
[startup+3.10019 s]
/proc/loadavg: 2.08 2.04 2.00 3/555 12672
/proc/meminfo: memFree=23870000/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=18604 CPUtime=3.09 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 2279 0 0 0 309 0 0 0 25 0 1 0 830165534 19050496 2205 33554432000 134512640 137138936 4294406832 18446744073709551615 134606673 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 4651 2205 192 642 0 4007 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18604
[startup+6.30058 s]
/proc/loadavg: 2.08 2.04 2.00 3/555 12672
/proc/meminfo: memFree=23863004/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=26524 CPUtime=6.29 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 4270 0 0 0 628 1 0 0 25 0 1 0 830165534 27160576 4196 33554432000 134512640 137138936 4294406832 18446744073709551615 136504423 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 6631 4196 192 642 0 5987 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26524
[startup+12.7004 s]
/proc/loadavg: 2.07 2.04 2.00 3/555 12672
/proc/meminfo: memFree=23849880/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=37008 CPUtime=12.7 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 6884 0 0 0 1267 3 0 0 25 0 1 0 830165534 37896192 6810 33554432000 134512640 137138936 4294406832 18446744073709551615 136511187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 9252 6810 192 642 0 8608 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 37008
[startup+25.5009 s]
/proc/loadavg: 2.06 2.04 2.00 3/555 12672
/proc/meminfo: memFree=23835496/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=51348 CPUtime=25.49 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 10474 0 0 0 2544 5 0 0 25 0 1 0 830165534 52580352 10400 33554432000 134512640 137138936 4294406832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 12837 10400 192 642 0 12193 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51348
[startup+51.101 s]
/proc/loadavg: 2.04 2.03 2.00 3/555 12673
/proc/meminfo: memFree=23811152/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=75640 CPUtime=51.09 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 16550 0 0 0 5099 10 0 0 25 0 1 0 830165534 77455360 16476 33554432000 134512640 137138936 4294406832 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 18910 16476 192 642 0 18266 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 75640
[startup+102.321 s]
/proc/loadavg: 2.01 2.02 2.00 3/555 12674
/proc/meminfo: memFree=23774520/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=110900 CPUtime=102.32 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 25365 0 0 0 10216 16 0 0 25 0 1 0 830165534 113561600 25291 33554432000 134512640 137138936 4294406832 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 27725 25291 192 642 0 27081 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 110900
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 12676
/proc/meminfo: memFree=23746088/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=139560 CPUtime=162.3 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 32538 0 0 0 16209 21 0 0 25 0 1 0 830165534 142909440 32464 33554432000 134512640 137138936 4294406832 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 34890 32464 192 642 0 34246 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 139560
[startup+222.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/555 12678
/proc/meminfo: memFree=23720764/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=164172 CPUtime=222.3 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 38668 0 0 0 22204 26 0 0 25 0 1 0 830165534 168112128 38594 33554432000 134512640 137138936 4294406832 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 41043 38594 192 642 0 40399 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 164172
[startup+282.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/555 12679
/proc/meminfo: memFree=23699764/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=185440 CPUtime=282.3 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 44007 0 0 0 28200 30 0 0 25 0 1 0 830165534 189890560 43933 33554432000 134512640 137138936 4294406832 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 46360 43933 192 642 0 45716 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 185440
[startup+342.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/555 12681
/proc/meminfo: memFree=23699720/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=185776 CPUtime=342.3 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 44183 0 0 0 34194 36 0 0 25 0 1 0 830165534 190234624 43998 33554432000 134512640 137138936 4294406832 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 46444 43998 192 642 0 45800 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 185776
[startup+402.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/555 12682
/proc/meminfo: memFree=23700184/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=185776 CPUtime=402.31 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 44183 0 0 0 40191 40 0 0 25 0 1 0 830165534 190234624 43998 33554432000 134512640 137138936 4294406832 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 46444 43998 192 642 0 45800 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 185776
[startup+462.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/555 12684
/proc/meminfo: memFree=23700260/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=185776 CPUtime=462.31 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 44183 0 0 0 46188 43 0 0 25 0 1 0 830165534 190234624 43998 33554432000 134512640 137138936 4294406832 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 46444 43998 192 642 0 45800 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 185776
[startup+522.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/555 12686
/proc/meminfo: memFree=23700448/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=185776 CPUtime=522.31 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 44183 0 0 0 52185 46 0 0 25 0 1 0 830165534 190234624 43998 33554432000 134512640 137138936 4294406832 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 46444 43998 192 642 0 45800 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 185776
[startup+582.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/555 12687
/proc/meminfo: memFree=23700288/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=186748 CPUtime=582.31 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 44447 0 0 0 58183 48 0 0 25 0 1 0 830165534 191229952 44262 33554432000 134512640 137138936 4294406832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 46687 44262 192 642 0 46043 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 186748
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24424472/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=349536 CPUtime=1062.33 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 85329 0 0 0 106151 82 0 0 25 0 1 0 830165534 357924864 84950 33554432000 134512640 137138936 4294406832 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 87384 84950 192 642 0 86740 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 349536
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 12729
/proc/meminfo: memFree=24395908/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=349536 CPUtime=1122.33 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 85329 0 0 0 112148 85 0 0 25 0 1 0 830165534 357924864 84950 33554432000 134512640 137138936 4294406832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 87384 84950 192 642 0 86740 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 349536
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 12730
/proc/meminfo: memFree=24372304/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=349536 CPUtime=1182.34 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 85329 0 0 0 118145 89 0 0 25 0 1 0 830165534 357924864 84950 33554432000 134512640 137138936 4294406832 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 87384 84950 192 642 0 86740 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 349536
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 12732
/proc/meminfo: memFree=24343628/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=349536 CPUtime=1242.34 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 85329 0 0 0 124142 92 0 0 25 0 1 0 830165534 357924864 84950 33554432000 134512640 137138936 4294406832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 87384 84950 192 642 0 86740 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 349536
[startup+1302.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/555 12733
/proc/meminfo: memFree=24310600/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=349536 CPUtime=1302.35 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 85329 0 0 0 130140 95 0 0 25 0 1 0 830165534 357924864 84950 33554432000 134512640 137138936 4294406832 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 87384 84950 192 642 0 86740 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 349536
[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/555 12735
/proc/meminfo: memFree=24291568/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=349536 CPUtime=1362.34 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 85329 0 0 0 136137 97 0 0 25 0 1 0 830165534 357924864 84950 33554432000 134512640 137138936 4294406832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 87384 84950 192 642 0 86740 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 349536
[startup+1422.32 s]
/proc/loadavg: 2.09 2.06 2.01 3/555 12737
/proc/meminfo: memFree=24269716/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=349536 CPUtime=1422.37 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 85329 0 0 0 142137 100 0 0 25 0 1 0 830165534 357924864 84950 33554432000 134512640 137138936 4294406832 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 87384 84950 192 642 0 86740 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 349536
[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/555 12738
/proc/meminfo: memFree=24238908/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=359452 CPUtime=1482.35 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 87806 0 0 0 148133 102 0 0 25 0 1 0 830165534 368078848 87427 33554432000 134512640 137138936 4294406832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 89863 87427 192 642 0 89219 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 359452
[startup+1542.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/555 12741
/proc/meminfo: memFree=24194212/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=383200 CPUtime=1542.35 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 93734 0 0 0 154130 105 0 0 25 0 1 0 830165534 392396800 93355 33554432000 134512640 137138936 4294406832 18446744073709551615 134607601 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 95800 93355 192 642 0 95156 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 383200
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/555 12742
/proc/meminfo: memFree=24142556/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=404808 CPUtime=1602.36 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 99143 0 0 0 160126 110 0 0 25 0 1 0 830165534 414523392 98764 33554432000 134512640 137138936 4294406832 18446744073709551615 136511125 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 101202 98764 192 642 0 100558 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 404808
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 12745
/proc/meminfo: memFree=24080272/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=425344 CPUtime=1662.36 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 104284 0 0 0 166121 115 0 0 25 0 1 0 830165534 435552256 103905 33554432000 134512640 137138936 4294406832 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 106336 103905 192 642 0 105692 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 425344
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 12748
/proc/meminfo: memFree=24011892/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=445460 CPUtime=1722.36 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 109293 0 0 0 172118 118 0 0 25 0 1 0 830165534 456151040 108914 33554432000 134512640 137138936 4294406832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 111365 108914 192 642 0 110721 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 445460
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/555 12749
/proc/meminfo: memFree=23961260/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=454468 CPUtime=1782.37 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 111555 0 0 0 178115 122 0 0 25 0 1 0 830165534 465375232 111176 33554432000 134512640 137138936 4294406832 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 113617 111176 192 642 0 112973 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 454468
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.10 2.04 2.01 3/555 12749
/proc/meminfo: memFree=23959648/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=454868 CPUtime=1785.57 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 111653 0 0 0 178435 122 0 0 25 0 1 0 830165534 465784832 111274 33554432000 134512640 137138936 4294406832 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 113717 111274 192 642 0 113073 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (KiB) 454868
[startup+1791.92 s]
/proc/loadavg: 2.09 2.04 2.01 3/555 12751
/proc/meminfo: memFree=23955056/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=455660 CPUtime=1791.98 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 111854 0 0 0 179076 122 0 0 25 0 1 0 830165534 466595840 111475 33554432000 134512640 137138936 4294406832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 113915 111475 192 642 0 113271 0
Current children cumulated CPU time (s) 1791.98
Current children cumulated vsize (KiB) 455660
[startup+1795.1 s]
/proc/loadavg: 2.09 2.04 2.01 3/555 12751
/proc/meminfo: memFree=23953308/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=455924 CPUtime=1795.17 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 111932 0 0 0 179395 122 0 0 25 0 1 0 830165534 466866176 111553 33554432000 134512640 137138936 4294406832 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 113981 111553 192 642 0 113337 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (KiB) 455924
[startup+1796.7 s]
/proc/loadavg: 2.08 2.04 2.01 3/555 12751
/proc/meminfo: memFree=23952316/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=456192 CPUtime=1796.76 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 111988 0 0 0 179554 122 0 0 25 0 1 0 830165534 467140608 111609 33554432000 134512640 137138936 4294406832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 114048 111609 192 642 0 113404 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 456192
[startup+1797.5 s]
/proc/loadavg: 2.08 2.04 2.01 3/555 12751
/proc/meminfo: memFree=23951572/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=456324 CPUtime=1797.56 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 112027 0 0 0 179634 122 0 0 25 0 1 0 830165534 467275776 111648 33554432000 134512640 137138936 4294406832 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 114081 111648 192 642 0 113437 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 456324
[startup+1797.9 s]
/proc/loadavg: 2.08 2.04 2.01 3/555 12751
/proc/meminfo: memFree=23951572/32950928 swapFree=67056580/67111528
[pid=12671] ppid=12669 vsize=456456 CPUtime=1797.96 cores=1,3,5,7
/proc/12671/stat : 12671 (bsolo) R 12669 12671 10194 0 -1 4202496 112045 0 0 0 179674 122 0 0 25 0 1 0 830165534 467410944 111666 33554432000 134512640 137138936 4294406832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12671/statm: 114114 111666 192 642 0 113470 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 456456
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798.02
CPU user time (s): 1796.78
CPU system time (s): 1.24481
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 456456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.78
system time used= 1.24481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112048
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= 22141
runsolver used 9.10562 second user time and 23.5894 second system time
The end