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-3463017-1307176913/watcher-3463017-1307176913 -o /tmp/evaluation-result-3463017-1307176913/solver-3463017-1307176913 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463017-1307176913.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.03 2.03 2.00 2/415 8098
/proc/meminfo: memFree=25333284/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=11548 CPUtime=0 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 436 0 0 0 0 0 0 0 25 0 1 0 285300705 11825152 390 33554432000 134512640 137138936 4290503872 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 2887 390 198 642 0 2191 0
[startup+0.0951651 s]
/proc/loadavg: 2.03 2.03 2.00 2/415 8098
/proc/meminfo: memFree=25333284/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=12488 CPUtime=0.09 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 836 0 0 0 8 1 0 0 25 0 1 0 285300705 12787712 694 33554432000 134512640 137138936 4290503872 18446744073709551615 134603195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 3122 694 192 642 0 2478 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12488
[startup+0.101169 s]
/proc/loadavg: 2.03 2.03 2.00 2/415 8098
/proc/meminfo: memFree=25333284/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=12612 CPUtime=0.09 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 846 0 0 0 8 1 0 0 25 0 1 0 285300705 12914688 704 33554432000 134512640 137138936 4290503872 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 3153 704 192 642 0 2509 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12612
[startup+0.301125 s]
/proc/loadavg: 2.03 2.03 2.00 2/415 8098
/proc/meminfo: memFree=25333284/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=13744 CPUtime=0.29 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 1167 0 0 0 28 1 0 0 25 0 1 0 285300705 14073856 1010 33554432000 134512640 137138936 4290503872 18446744073709551615 134551701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 3436 1010 192 642 0 2792 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13744
[startup+0.701056 s]
/proc/loadavg: 2.03 2.03 2.00 2/415 8098
/proc/meminfo: memFree=25333284/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=15920 CPUtime=0.69 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 1707 0 0 0 68 1 0 0 25 0 1 0 285300705 16302080 1550 33554432000 134512640 137138936 4290503872 18446744073709551615 134599966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 3980 1550 192 642 0 3336 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15920
[startup+1.50092 s]
/proc/loadavg: 2.03 2.03 2.00 3/416 8099
/proc/meminfo: memFree=25325100/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=19772 CPUtime=1.49 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 2675 0 0 0 148 1 0 0 25 0 1 0 285300705 20246528 2518 33554432000 134512640 137138936 4290503872 18446744073709551615 134602885 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 4943 2518 192 642 0 4299 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19772
[startup+3.10064 s]
/proc/loadavg: 2.03 2.03 2.00 3/416 8099
/proc/meminfo: memFree=25318156/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=28048 CPUtime=3.09 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 4741 0 0 0 307 2 0 0 25 0 1 0 285300705 28721152 4584 33554432000 134512640 137138936 4290503872 18446744073709551615 134618206 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 7012 4584 192 642 0 6368 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28048
[startup+6.30107 s]
/proc/loadavg: 2.03 2.03 2.00 3/416 8099
/proc/meminfo: memFree=25303456/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=38732 CPUtime=6.29 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 7416 0 0 0 627 2 0 0 25 0 1 0 285300705 39661568 7259 33554432000 134512640 137138936 4290503872 18446744073709551615 134607009 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 9683 7259 192 642 0 9039 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38732
[startup+12.7009 s]
/proc/loadavg: 2.02 2.02 2.00 3/416 8099
/proc/meminfo: memFree=25273192/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=66088 CPUtime=12.69 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 14250 0 0 0 1266 3 0 0 25 0 1 0 285300705 67674112 14093 33554432000 134512640 137138936 4290503872 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 16522 14093 192 642 0 15878 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66088
[startup+25.5007 s]
/proc/loadavg: 2.02 2.02 2.00 3/416 8100
/proc/meminfo: memFree=25251380/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=80084 CPUtime=25.49 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 17752 0 0 0 2545 4 0 0 25 0 1 0 285300705 82006016 17595 33554432000 134512640 137138936 4290503872 18446744073709551615 134599695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 20021 17595 192 642 0 19377 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 80084
[startup+51.1002 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8100
/proc/meminfo: memFree=25237292/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=84284 CPUtime=51.09 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 18800 0 0 0 5103 6 0 0 25 0 1 0 285300705 86306816 18643 33554432000 134512640 137138936 4290503872 18446744073709551615 134618347 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 21071 18643 192 642 0 20427 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 84284
[startup+102.315 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 8102
/proc/meminfo: memFree=25212104/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=90868 CPUtime=102.31 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 20448 0 0 0 10222 9 0 0 25 0 1 0 285300705 93048832 20291 33554432000 134512640 137138936 4290503872 18446744073709551615 134618922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 22717 20291 192 642 0 22073 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 90868
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8103
/proc/meminfo: memFree=25186556/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=97484 CPUtime=162.3 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 22102 0 0 0 16217 13 0 0 25 0 1 0 285300705 99823616 21945 33554432000 134512640 137138936 4290503872 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 24371 21945 192 642 0 23727 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 97484
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8105
/proc/meminfo: memFree=25161608/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=103964 CPUtime=222.29 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 23721 0 0 0 22215 14 0 0 25 0 1 0 285300705 106459136 23564 33554432000 134512640 137138936 4290503872 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 25991 23564 192 642 0 25347 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 103964
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8160
/proc/meminfo: memFree=25895288/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=105396 CPUtime=282.26 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 24080 0 0 0 28210 16 0 0 25 0 1 0 285300705 107925504 23923 33554432000 134512640 137138936 4290503872 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 26349 23923 192 642 0 25705 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 105396
[startup+342.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/416 8162
/proc/meminfo: memFree=25856444/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=118440 CPUtime=342.25 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 27340 0 0 0 34203 22 0 0 25 0 1 0 285300705 121282560 27183 33554432000 134512640 137138936 4290503872 18446744073709551615 134607609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 29610 27183 192 642 0 28966 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 118440
[startup+402.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/416 8164
/proc/meminfo: memFree=25856564/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=118440 CPUtime=402.26 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 27340 0 0 0 40196 30 0 0 25 0 1 0 285300705 121282560 27183 33554432000 134512640 137138936 4290503872 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 29610 27183 192 642 0 28966 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 118440
[startup+462.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/416 8165
/proc/meminfo: memFree=25850968/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=122528 CPUtime=462.26 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 28348 0 0 0 46192 34 0 0 25 0 1 0 285300705 125468672 28191 33554432000 134512640 137138936 4290503872 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 30632 28191 192 642 0 29988 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 122528
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 8167
/proc/meminfo: memFree=25848968/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=123296 CPUtime=522.26 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 28549 0 0 0 52190 36 0 0 25 0 1 0 285300705 126255104 28392 33554432000 134512640 137138936 4290503872 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 30824 28392 192 642 0 30180 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 123296
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8168
/proc/meminfo: memFree=25848952/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=123108 CPUtime=582.26 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 28549 0 0 0 58189 37 0 0 25 0 1 0 285300705 126062592 28355 33554432000 134512640 137138936 4290503872 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 30777 28355 192 642 0 30133 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 123108
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=25248760/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=140688 CPUtime=1122.28 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 33507 0 0 0 112159 69 0 0 25 0 1 0 285300705 144064512 32748 33554432000 134512640 137138936 4290503872 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 35172 32748 192 642 0 34528 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 140688
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8231
/proc/meminfo: memFree=25247300/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=141396 CPUtime=1182.28 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 33672 0 0 0 118153 75 0 0 25 0 1 0 285300705 144789504 32913 33554432000 134512640 137138936 4290503872 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 35349 32913 192 642 0 34705 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 141396
[startup+1242.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/416 8233
/proc/meminfo: memFree=25197556/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=145752 CPUtime=1242.28 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 34868 0 0 0 124146 82 0 0 25 0 1 0 285300705 149250048 34016 33554432000 134512640 137138936 4290503872 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 36438 34016 192 642 0 35794 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 145752
[startup+1302.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/416 8236
/proc/meminfo: memFree=25115444/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=145744 CPUtime=1302.29 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 34868 0 0 0 130144 85 0 0 25 0 1 0 285300705 149241856 34014 33554432000 134512640 137138936 4290503872 18446744073709551615 134607009 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 36436 34014 192 642 0 35792 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 145744
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/416 8237
/proc/meminfo: memFree=25115068/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=146208 CPUtime=1362.28 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 35001 0 0 0 136137 91 0 0 25 0 1 0 285300705 149716992 34130 33554432000 134512640 137138936 4290503872 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 36552 34130 192 642 0 35908 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 146208
[startup+1422.32 s]
/proc/loadavg: 2.06 2.04 2.00 3/416 8240
/proc/meminfo: memFree=25115184/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=146156 CPUtime=1422.29 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 35001 0 0 0 142133 96 0 0 25 0 1 0 285300705 149663744 34117 33554432000 134512640 137138936 4290503872 18446744073709551615 134550981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 36539 34117 192 642 0 35895 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 146156
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/416 8241
/proc/meminfo: memFree=25034204/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=151360 CPUtime=1482.29 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 36368 0 0 0 148128 101 0 0 25 0 1 0 285300705 154992640 35418 33554432000 134512640 137138936 4290503872 18446744073709551615 134607589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 37840 35418 192 642 0 37196 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 151360
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8243
/proc/meminfo: memFree=25034192/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=151464 CPUtime=1542.28 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 36379 0 0 0 154126 102 0 0 25 0 1 0 285300705 155099136 35429 33554432000 134512640 137138936 4290503872 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 37866 35429 192 642 0 37222 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 151464
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 8245
/proc/meminfo: memFree=25033932/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=153040 CPUtime=1602.28 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 36773 0 0 0 160124 104 0 0 25 0 1 0 285300705 156712960 35823 33554432000 134512640 137138936 4290503872 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 38260 35823 192 642 0 37616 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 153040
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8246
/proc/meminfo: memFree=24963120/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=153024 CPUtime=1662.29 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 36773 0 0 0 166122 107 0 0 25 0 1 0 285300705 156696576 35823 33554432000 134512640 137138936 4290503872 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 38256 35823 192 642 0 37612 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 153024
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8249
/proc/meminfo: memFree=24953196/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=153024 CPUtime=1722.29 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 36773 0 0 0 172120 109 0 0 25 0 1 0 285300705 156696576 35823 33554432000 134512640 137138936 4290503872 18446744073709551615 134599766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 38256 35823 192 642 0 37612 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 153024
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8250
/proc/meminfo: memFree=24952440/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=153024 CPUtime=1782.29 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 36773 0 0 0 178119 110 0 0 25 0 1 0 285300705 156696576 35823 33554432000 134512640 137138936 4290503872 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 38256 35823 192 642 0 37612 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 153024
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8250
/proc/meminfo: memFree=24953184/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=153024 CPUtime=1785.49 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 36773 0 0 0 178439 110 0 0 25 0 1 0 285300705 156696576 35823 33554432000 134512640 137138936 4290503872 18446744073709551615 134606970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 38256 35823 192 642 0 37612 0
Current children cumulated CPU time (s) 1785.49
Current children cumulated vsize (KiB) 153024
[startup+1791.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8250
/proc/meminfo: memFree=24953180/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=153024 CPUtime=1791.9 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 36773 0 0 0 179080 110 0 0 25 0 1 0 285300705 156696576 35823 33554432000 134512640 137138936 4290503872 18446744073709551615 134551121 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 38256 35823 192 642 0 37612 0
Current children cumulated CPU time (s) 1791.9
Current children cumulated vsize (KiB) 153024
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8251
/proc/meminfo: memFree=24953180/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=153024 CPUtime=1795.1 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 36773 0 0 0 179400 110 0 0 25 0 1 0 285300705 156696576 35823 33554432000 134512640 137138936 4290503872 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 38256 35823 192 642 0 37612 0
Current children cumulated CPU time (s) 1795.1
Current children cumulated vsize (KiB) 153024
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8251
/proc/meminfo: memFree=24953180/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=153024 CPUtime=1796.69 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 36773 0 0 0 179559 110 0 0 25 0 1 0 285300705 156696576 35823 33554432000 134512640 137138936 4290503872 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 38256 35823 192 642 0 37612 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 153024
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8251
/proc/meminfo: memFree=24953056/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=153024 CPUtime=1797.49 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 36773 0 0 0 179639 110 0 0 25 0 1 0 285300705 156696576 35823 33554432000 134512640 137138936 4290503872 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 38256 35823 192 642 0 37612 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (KiB) 153024
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8251
/proc/meminfo: memFree=24953056/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=153024 CPUtime=1797.89 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 36773 0 0 0 179679 110 0 0 25 0 1 0 285300705 156696576 35823 33554432000 134512640 137138936 4290503872 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 38256 35823 192 642 0 37612 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 153024
[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8251
/proc/meminfo: memFree=24953056/32950928 swapFree=52006644/67111528
[pid=8098] ppid=8096 vsize=153024 CPUtime=1797.99 cores=1,3,5,7
/proc/8098/stat : 8098 (bsolo) R 8096 8098 6914 0 -1 4202496 36773 0 0 0 179689 110 0 0 25 0 1 0 285300705 156696576 35823 33554432000 134512640 137138936 4290503872 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8098/statm: 38256 35823 192 642 0 37612 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 153024
Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.01
CPU user time (s): 1796.9
CPU system time (s): 1.11083
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 153040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.9
system time used= 1.11083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36774
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= 22567
runsolver used 7.02993 second user time and 17.3814 second system time
The end