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-3462444-1307184835/watcher-3462444-1307184835 -o /tmp/evaluation-result-3462444-1307184835/solver-3462444-1307184835 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462444-1307184835.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.01 2.03 2.00 2/521 32344
/proc/meminfo: memFree=21483544/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=11336 CPUtime=0.01 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 445 0 0 0 1 0 0 0 22 0 1 0 810898990 11608064 395 33554432000 134512640 137138936 4289286944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 2834 395 185 642 0 2190 0
[startup+0.0554329 s]
/proc/loadavg: 2.01 2.03 2.00 2/521 32344
/proc/meminfo: memFree=21483544/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=11336 CPUtime=0.05 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 446 0 0 0 5 0 0 0 22 0 1 0 810898990 11608064 396 33554432000 134512640 137138936 4289286944 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 2834 396 185 642 0 2190 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11336
[startup+0.100424 s]
/proc/loadavg: 2.01 2.03 2.00 2/521 32344
/proc/meminfo: memFree=21483544/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=11336 CPUtime=0.09 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 446 0 0 0 9 0 0 0 22 0 1 0 810898990 11608064 396 33554432000 134512640 137138936 4289286944 18446744073709551615 134543477 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 2834 396 185 642 0 2190 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11336
[startup+0.300385 s]
/proc/loadavg: 2.01 2.03 2.00 2/521 32344
/proc/meminfo: memFree=21483544/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=11732 CPUtime=0.29 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 556 0 0 0 29 0 0 0 23 0 1 0 810898990 12013568 506 33554432000 134512640 137138936 4289286944 18446744073709551615 134602758 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 2933 506 192 642 0 2289 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11732
[startup+0.700324 s]
/proc/loadavg: 2.01 2.03 2.00 2/521 32344
/proc/meminfo: memFree=21483544/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=13552 CPUtime=0.69 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 1008 0 0 0 69 0 0 0 25 0 1 0 810898990 13877248 958 33554432000 134512640 137138936 4289286944 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 3388 958 192 642 0 2744 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13552
[startup+1.50017 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 32345
/proc/meminfo: memFree=21477956/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=16124 CPUtime=1.49 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 1652 0 0 0 148 1 0 0 25 0 1 0 810898990 16510976 1602 33554432000 134512640 137138936 4289286944 18446744073709551615 134542640 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 4031 1602 192 642 0 3387 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16124
[startup+3.10087 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 32345
/proc/meminfo: memFree=21473864/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=19692 CPUtime=3.09 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 2522 0 0 0 307 2 0 0 25 0 1 0 810898990 20164608 2472 33554432000 134512640 137138936 4289286944 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 4923 2472 192 642 0 4279 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19692
[startup+6.30029 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 32345
/proc/meminfo: memFree=21468100/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=25208 CPUtime=6.29 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 3926 0 0 0 626 3 0 0 25 0 1 0 810898990 25812992 3876 33554432000 134512640 137138936 4289286944 18446744073709551615 134574736 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 6302 3876 192 642 0 5658 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25208
[startup+12.7011 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 32345
/proc/meminfo: memFree=21458896/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=32788 CPUtime=12.69 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 5805 0 0 0 1264 5 0 0 25 0 1 0 810898990 33574912 5755 33554432000 134512640 137138936 4289286944 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 8197 5755 192 642 0 7553 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32788
[startup+25.5008 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 32345
/proc/meminfo: memFree=21448732/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=42840 CPUtime=25.49 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 8320 0 0 0 2541 8 0 0 25 0 1 0 810898990 43868160 8270 33554432000 134512640 137138936 4289286944 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 10710 8270 192 642 0 10066 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42840
[startup+51.1011 s]
/proc/loadavg: 2.07 2.04 2.00 3/522 32346
/proc/meminfo: memFree=21437168/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=51288 CPUtime=51.1 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 10487 0 0 0 5096 14 0 0 25 0 1 0 810898990 52518912 10386 33554432000 134512640 137138936 4289286944 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 12822 10386 192 642 0 12178 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 51288
[startup+102.32 s]
/proc/loadavg: 2.03 2.03 2.00 3/522 32348
/proc/meminfo: memFree=21430584/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=57024 CPUtime=102.32 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 11965 0 0 0 10207 25 0 0 25 0 1 0 810898990 58392576 11808 33554432000 134512640 137138936 4289286944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 14256 11808 192 642 0 13612 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 57024
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/522 32349
/proc/meminfo: memFree=21421124/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=65332 CPUtime=162.29 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 14192 0 0 0 16195 34 0 0 25 0 1 0 810898990 66899968 13905 33554432000 134512640 137138936 4289286944 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 16333 13905 192 642 0 15689 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 65332
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 32351
/proc/meminfo: memFree=21414780/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=71340 CPUtime=222.3 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 15749 0 0 0 22184 46 0 0 25 0 1 0 810898990 73052160 15387 33554432000 134512640 137138936 4289286944 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 17835 15387 192 642 0 17191 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 71340
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 32352
/proc/meminfo: memFree=21415012/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=71340 CPUtime=282.3 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 15749 0 0 0 28177 53 0 0 25 0 1 0 810898990 73052160 15387 33554432000 134512640 137138936 4289286944 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 17835 15387 192 642 0 17191 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 71340
[startup+342.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/522 32354
/proc/meminfo: memFree=21413748/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=71888 CPUtime=342.3 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 15880 0 0 0 34171 59 0 0 25 0 1 0 810898990 73613312 15518 33554432000 134512640 137138936 4289286944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 17972 15518 192 642 0 17328 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 71888
[startup+402.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/522 32356
/proc/meminfo: memFree=21399960/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=79376 CPUtime=402.3 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 17849 0 0 0 40163 67 0 0 25 0 1 0 810898990 81281024 17405 33554432000 134512640 137138936 4289286944 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 19844 17405 192 642 0 19200 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 79376
[startup+462.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/522 32366
/proc/meminfo: memFree=21400556/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=79756 CPUtime=462.31 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 17929 0 0 0 46154 77 0 0 25 0 1 0 810898990 81670144 17485 33554432000 134512640 137138936 4289286944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 19939 17485 192 642 0 19295 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 79756
[startup+522.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/522 32368
/proc/meminfo: memFree=21398756/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=79756 CPUtime=522.31 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 17929 0 0 0 52148 83 0 0 25 0 1 0 810898990 81670144 17485 33554432000 134512640 137138936 4289286944 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 19939 17485 192 642 0 19295 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 79756
[startup+582.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/522 32369
/proc/meminfo: memFree=21394392/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=84308 CPUtime=582.31 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 19162 0 0 0 58140 91 0 0 25 0 1 0 810898990 86331392 18628 33554432000 134512640 137138936 4289286944 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 21077 18628 192 642 0 20433 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 84308
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=21402892/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=94268 CPUtime=1062.33 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 21746 0 0 0 106093 140 0 0 25 0 1 0 810898990 96530432 21113 33554432000 134512640 137138936 4289286944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 23567 21113 192 642 0 22923 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 94268
[startup+1122.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/522 32492
/proc/meminfo: memFree=21402968/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=94268 CPUtime=1122.33 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 21746 0 0 0 112089 144 0 0 25 0 1 0 810898990 96530432 21113 33554432000 134512640 137138936 4289286944 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 23567 21113 192 642 0 22923 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 94268
[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/522 32493
/proc/meminfo: memFree=21380856/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=94268 CPUtime=1182.33 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 21746 0 0 0 118084 149 0 0 25 0 1 0 810898990 96530432 21113 33554432000 134512640 137138936 4289286944 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 23567 21113 192 642 0 22923 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 94268
[startup+1242.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/522 32495
/proc/meminfo: memFree=21328244/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=94268 CPUtime=1242.33 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 21746 0 0 0 124077 156 0 0 25 0 1 0 810898990 96530432 21113 33554432000 134512640 137138936 4289286944 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 23567 21113 192 642 0 22923 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 94268
[startup+1302.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/522 32497
/proc/meminfo: memFree=21261472/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=94268 CPUtime=1302.35 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 21746 0 0 0 130076 159 0 0 25 0 1 0 810898990 96530432 21113 33554432000 134512640 137138936 4289286944 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 23567 21113 192 642 0 22923 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 94268
[startup+1362.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/522 32498
/proc/meminfo: memFree=21211576/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=94268 CPUtime=1362.34 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 21746 0 0 0 136069 165 0 0 25 0 1 0 810898990 96530432 21113 33554432000 134512640 137138936 4289286944 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 23567 21113 192 642 0 22923 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 94268
[startup+1422.32 s]
/proc/loadavg: 2.01 2.05 2.00 3/522 32500
/proc/meminfo: memFree=21156476/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=94268 CPUtime=1422.35 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 21746 0 0 0 142066 169 0 0 25 0 1 0 810898990 96530432 21113 33554432000 134512640 137138936 4289286944 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 23567 21113 192 642 0 22923 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 94268
[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/522 32501
/proc/meminfo: memFree=21119236/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=94268 CPUtime=1482.33 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 21746 0 0 0 148057 176 0 0 25 0 1 0 810898990 96530432 21113 33554432000 134512640 137138936 4289286944 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 23567 21113 192 642 0 22923 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 94268
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 32503
/proc/meminfo: memFree=21079988/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=94268 CPUtime=1542.34 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 21746 0 0 0 154052 182 0 0 25 0 1 0 810898990 96530432 21113 33554432000 134512640 137138936 4289286944 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 23567 21113 192 642 0 22923 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 94268
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 32505
/proc/meminfo: memFree=21039644/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=98316 CPUtime=1602.35 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 22875 0 0 0 160047 188 0 0 25 0 1 0 810898990 100675584 22134 33554432000 134512640 137138936 4289286944 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 24579 22134 192 642 0 23935 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 98316
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/522 32506
/proc/meminfo: memFree=21002364/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=98316 CPUtime=1662.34 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 22875 0 0 0 166040 194 0 0 25 0 1 0 810898990 100675584 22134 33554432000 134512640 137138936 4289286944 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 24579 22134 192 642 0 23935 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 98316
[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/522 32508
/proc/meminfo: memFree=20948980/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=101404 CPUtime=1722.34 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 23638 0 0 0 172034 200 0 0 25 0 1 0 810898990 103837696 22897 33554432000 134512640 137138936 4289286944 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 25351 22897 192 642 0 24707 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 101404
[startup+1782.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/522 32509
/proc/meminfo: memFree=20905148/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=101404 CPUtime=1782.35 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 23638 0 0 0 178029 206 0 0 25 0 1 0 810898990 103837696 22897 33554432000 134512640 137138936 4289286944 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 25351 22897 192 642 0 24707 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 101404
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.12 2.07 2.01 3/522 32509
/proc/meminfo: memFree=20904156/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=101404 CPUtime=1785.55 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 23638 0 0 0 178348 207 0 0 25 0 1 0 810898990 103837696 22897 33554432000 134512640 137138936 4289286944 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 25351 22897 192 642 0 24707 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 101404
[startup+1791.92 s]
/proc/loadavg: 2.11 2.06 2.01 3/522 32510
/proc/meminfo: memFree=20901032/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=101404 CPUtime=1791.97 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 23638 0 0 0 178989 208 0 0 25 0 1 0 810898990 103837696 22897 33554432000 134512640 137138936 4289286944 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 25351 22897 192 642 0 24707 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 101404
[startup+1795.1 s]
/proc/loadavg: 2.10 2.06 2.01 3/522 32510
/proc/meminfo: memFree=20899172/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=101404 CPUtime=1795.17 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 23638 0 0 0 179309 208 0 0 25 0 1 0 810898990 103837696 22897 33554432000 134512640 137138936 4289286944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 25351 22897 192 642 0 24707 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (KiB) 101404
[startup+1796.7 s]
/proc/loadavg: 2.10 2.06 2.01 3/522 32510
/proc/meminfo: memFree=20898676/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=101404 CPUtime=1796.75 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 23638 0 0 0 179467 208 0 0 25 0 1 0 810898990 103837696 22897 33554432000 134512640 137138936 4289286944 18446744073709551615 136520952 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 25351 22897 192 642 0 24707 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 101404
[startup+1797.5 s]
/proc/loadavg: 2.10 2.06 2.01 3/522 32510
/proc/meminfo: memFree=20897188/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=101404 CPUtime=1797.55 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 23638 0 0 0 179547 208 0 0 25 0 1 0 810898990 103837696 22897 33554432000 134512640 137138936 4289286944 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 25351 22897 192 642 0 24707 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 101404
[startup+1797.9 s]
/proc/loadavg: 2.10 2.06 2.01 3/522 32510
/proc/meminfo: memFree=20897188/32951124 swapFree=58800704/67111528
[pid=32344] ppid=32342 vsize=101404 CPUtime=1797.95 cores=1,3,5,7
/proc/32344/stat : 32344 (bsolo) R 32342 32344 30263 0 -1 4202496 23638 0 0 0 179587 208 0 0 25 0 1 0 810898990 103837696 22897 33554432000 134512640 137138936 4289286944 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32344/statm: 25351 22897 192 642 0 24707 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 101404
Child status: 0
Real time (s): 1797.96
CPU time (s): 1798.01
CPU user time (s): 1795.92
CPU system time (s): 2.08968
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 101404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.92
system time used= 2.08968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23638
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= 2546
runsolver used 8.90765 second user time and 22.1096 second system time
The end