runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3500373-1307994547/watcher-3500373-1307994547 -o /tmp/evaluation-result-3500373-1307994547/solver-3500373-1307994547 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500373-1307994547.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: 4.00 4.00 3.91 3/180 1537
/proc/meminfo: memFree=10586828/32951124 swapFree=67063272/67111528
[pid=1537] ppid=1535 vsize=4288 CPUtime=0 cores=1,3,5,7
/proc/1537/stat : 1537 (pwbo1.1) R 1535 1537 768 0 -1 4202496 351 0 0 0 0 0 0 0 22 0 1 0 911052847 4390912 304 33554432000 4194304 5714118 140736097513040 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1537/statm: 1072 304 160 372 0 185 0
[startup+0.0891029 s]
/proc/loadavg: 4.00 4.00 3.91 3/180 1537
/proc/meminfo: memFree=10586828/32951124 swapFree=67063272/67111528
[pid=1537] ppid=1535 vsize=6008 CPUtime=0.08 cores=1,3,5,7
/proc/1537/stat : 1537 (pwbo1.1) R 1535 1537 768 0 -1 4202496 1058 0 0 0 8 0 0 0 22 0 1 0 911052847 6152192 1011 33554432000 4194304 5714118 140736097513040 18446744073709551615 5136406 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/1537/statm: 1502 1011 465 372 0 615 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6008
[startup+0.101101 s]
/proc/loadavg: 4.00 4.00 3.91 3/180 1537
/proc/meminfo: memFree=10586828/32951124 swapFree=67063272/67111528
[pid=1537] ppid=1535 vsize=6136 CPUtime=0.1 cores=1,3,5,7
/proc/1537/stat : 1537 (pwbo1.1) R 1535 1537 768 0 -1 4202496 1154 0 0 0 10 0 0 0 23 0 1 0 911052847 6283264 1107 33554432000 4194304 5714118 140736097513040 18446744073709551615 4236884 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/1537/statm: 1534 1107 508 372 0 647 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6136
[startup+0.301018 s]
/proc/loadavg: 4.00 4.00 3.91 3/180 1537
/proc/meminfo: memFree=10586828/32951124 swapFree=67063272/67111528
[pid=1537] ppid=1535 vsize=139104 CPUtime=0.45 cores=1,3,5,7
/proc/1537/stat : 1537 (pwbo1.1) S 1535 1537 768 0 -1 4202496 3458 0 0 0 44 1 0 0 23 0 3 0 911052847 142442496 2880 33554432000 4194304 5714118 140736097513040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1537/statm: 34776 2880 181 372 0 34401 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 139104
[startup+0.700945 s]
/proc/loadavg: 4.00 4.00 3.91 3/180 1537
/proc/meminfo: memFree=10586828/32951124 swapFree=67063272/67111528
[pid=1537] ppid=1535 vsize=139104 CPUtime=1.24 cores=1,3,5,7
/proc/1537/stat : 1537 (pwbo1.1) S 1535 1537 768 0 -1 4202496 4437 0 0 0 121 3 0 0 23 0 3 0 911052847 142442496 3859 33554432000 4194304 5714118 140736097513040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1537/statm: 34776 3859 181 372 0 34401 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 139104
[startup+1.50084 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1540
/proc/meminfo: memFree=10569616/32951124 swapFree=67063272/67111528
[pid=1537] ppid=1535 vsize=139104 CPUtime=2.85 cores=1,3,5,7
/proc/1537/stat : 1537 (pwbo1.1) S 1535 1537 768 0 -1 4202496 6834 0 0 0 277 8 0 0 23 0 3 0 911052847 142442496 6256 33554432000 4194304 5714118 140736097513040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1537/statm: 34776 6256 181 372 0 34401 0
[pid=1537/tid=1539] ppid=1535 vsize=139104 CPUtime=1.34 cores=1,3,5,7
/proc/1537/task/1539/stat : 1539 (pwbo1.1) R 1535 1537 768 0 -1 4202560 2397 0 0 0 130 4 0 0 25 0 3 0 911052862 142442496 6256 33554432000 4194304 5714118 140736097513040 18446744073709551615 4311869 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1537/tid=1540] ppid=1535 vsize=139104 CPUtime=1.35 cores=1,3,5,7
/proc/1537/task/1540/stat : 1540 (pwbo1.1) R 1535 1537 768 0 -1 4202560 2863 0 0 0 132 3 0 0 25 0 3 0 911052862 142442496 6256 33554432000 4194304 5714118 140736097513040 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 139104
[startup+3.10056 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1540
/proc/meminfo: memFree=10555256/32951124 swapFree=67063272/67111528
[pid=1537] ppid=1535 vsize=139104 CPUtime=6.04 cores=1,3,5,7
/proc/1537/stat : 1537 (pwbo1.1) S 1535 1537 768 0 -1 4202496 11581 0 0 0 591 13 0 0 23 0 3 0 911052847 142442496 11003 33554432000 4194304 5714118 140736097513040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1537/statm: 34776 11003 181 372 0 34401 0
[pid=1537/tid=1539] ppid=1535 vsize=139104 CPUtime=2.95 cores=1,3,5,7
/proc/1537/task/1539/stat : 1539 (pwbo1.1) R 1535 1537 768 0 -1 4202560 4898 0 0 0 287 8 0 0 25 0 3 0 911052862 142442496 11003 33554432000 4194304 5714118 140736097513040 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1537/tid=1540] ppid=1535 vsize=139104 CPUtime=2.94 cores=1,3,5,7
/proc/1537/task/1540/stat : 1540 (pwbo1.1) R 1535 1537 768 0 -1 4202560 5109 0 0 0 289 5 0 0 25 0 3 0 911052862 142442496 11003 33554432000 4194304 5714118 140736097513040 18446744073709551615 4311863 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 139104
[startup+6.30098 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1540
/proc/meminfo: memFree=10519412/32951124 swapFree=67063272/67111528
[pid=1537] ppid=1535 vsize=139248 CPUtime=12.45 cores=1,3,5,7
/proc/1537/stat : 1537 (pwbo1.1) S 1535 1537 768 0 -1 4202496 19688 0 0 0 1223 22 0 0 23 0 3 0 911052847 142589952 19110 33554432000 4194304 5714118 140736097513040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1537/statm: 34812 19110 181 372 0 34437 0
[pid=1537/tid=1539] ppid=1535 vsize=139248 CPUtime=6.14 cores=1,3,5,7
/proc/1537/task/1539/stat : 1539 (pwbo1.1) R 1535 1537 768 0 -1 4202560 8412 0 0 0 602 12 0 0 25 0 3 0 911052862 142589952 19110 33554432000 4194304 5714118 140736097513040 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1537/tid=1540] ppid=1535 vsize=139248 CPUtime=6.14 cores=1,3,5,7
/proc/1537/task/1540/stat : 1540 (pwbo1.1) R 1535 1537 768 0 -1 4202560 9702 0 0 0 605 9 0 0 25 0 3 0 911052862 142589952 19110 33554432000 4194304 5714118 140736097513040 18446744073709551615 4311869 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 139248
[startup+12.7008 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1541
/proc/meminfo: memFree=10480968/32951124 swapFree=67063272/67111528
[pid=1537] ppid=1535 vsize=139392 CPUtime=25.25 cores=1,3,5,7
/proc/1537/stat : 1537 (pwbo1.1) S 1535 1537 768 0 -1 4202496 26842 0 0 0 2492 33 0 0 23 0 3 0 911052847 142737408 26264 33554432000 4194304 5714118 140736097513040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1537/statm: 34848 26264 181 372 0 34473 0
[pid=1537/tid=1539] ppid=1535 vsize=139392 CPUtime=12.55 cores=1,3,5,7
/proc/1537/task/1539/stat : 1539 (pwbo1.1) R 1535 1537 768 0 -1 4202560 12315 0 0 0 1236 19 0 0 25 0 3 0 911052862 142737408 26264 33554432000 4194304 5714118 140736097513040 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1537/tid=1540] ppid=1535 vsize=139392 CPUtime=12.55 cores=1,3,5,7
/proc/1537/task/1540/stat : 1540 (pwbo1.1) R 1535 1537 768 0 -1 4202560 12953 0 0 0 1241 14 0 0 25 0 3 0 911052862 142737408 26264 33554432000 4194304 5714118 140736097513040 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 139392
Solver just ended. Dumping a history of the last processes samples
[startup+19.1007 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1541
/proc/meminfo: memFree=10460628/32951124 swapFree=67063272/67111528
[pid=1537] ppid=1535 vsize=139464 CPUtime=38.05 cores=1,3,5,7
/proc/1537/stat : 1537 (pwbo1.1) S 1535 1537 768 0 -1 4202496 31732 0 0 0 3761 44 0 0 23 0 3 0 911052847 142811136 31154 33554432000 4194304 5714118 140736097513040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1537/statm: 34866 31154 182 372 0 34491 0
[pid=1537/tid=1539] ppid=1535 vsize=139464 CPUtime=18.95 cores=1,3,5,7
/proc/1537/task/1539/stat : 1539 (pwbo1.1) R 1535 1537 768 0 -1 4202560 13507 0 0 0 1871 24 0 0 25 0 3 0 911052862 142811136 31154 33554432000 4194304 5714118 140736097513040 18446744073709551615 4311153 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1537/tid=1540] ppid=1535 vsize=139464 CPUtime=18.95 cores=1,3,5,7
/proc/1537/task/1540/stat : 1540 (pwbo1.1) R 1535 1537 768 0 -1 4202560 16651 0 0 0 1875 20 0 0 25 0 3 0 911052862 142811136 31154 33554432000 4194304 5714118 140736097513040 18446744073709551615 4311869 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 38.05
Current children cumulated vsize (KiB) 139464
[startup+22.3011 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1541
/proc/meminfo: memFree=10448360/32951124 swapFree=67063272/67111528
[pid=1537] ppid=1535 vsize=205000 CPUtime=44.45 cores=1,3,5,7
/proc/1537/stat : 1537 (pwbo1.1) S 1535 1537 768 0 -1 4202496 34280 0 0 0 4394 51 0 0 23 0 3 0 911052847 209920000 33702 33554432000 4194304 5714118 140736097513040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1537/statm: 51250 33702 182 372 0 50875 0
[pid=1537/tid=1539] ppid=1535 vsize=205000 CPUtime=22.14 cores=1,3,5,7
/proc/1537/task/1539/stat : 1539 (pwbo1.1) R 1535 1537 768 0 -1 4202560 13710 0 0 0 2187 27 0 0 25 0 3 0 911052862 209920000 33702 33554432000 4194304 5714118 140736097513040 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1537/tid=1540] ppid=1535 vsize=205000 CPUtime=22.14 cores=1,3,5,7
/proc/1537/task/1540/stat : 1540 (pwbo1.1) R 1535 1537 768 0 -1 4202560 18996 0 0 0 2191 23 0 0 25 0 3 0 911052862 209920000 33702 33554432000 4194304 5714118 140736097513040 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 44.45
Current children cumulated vsize (KiB) 205000
[startup+23.9009 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1541
/proc/meminfo: memFree=10443648/32951124 swapFree=67063272/67111528
[pid=1537] ppid=1535 vsize=205000 CPUtime=47.65 cores=1,3,5,7
/proc/1537/stat : 1537 (pwbo1.1) S 1535 1537 768 0 -1 4202496 34581 0 0 0 4711 54 0 0 23 0 3 0 911052847 209920000 34003 33554432000 4194304 5714118 140736097513040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1537/statm: 51250 34003 182 372 0 50875 0
[pid=1537/tid=1539] ppid=1535 vsize=205000 CPUtime=23.74 cores=1,3,5,7
/proc/1537/task/1539/stat : 1539 (pwbo1.1) R 1535 1537 768 0 -1 4202560 13877 0 0 0 2345 29 0 0 25 0 3 0 911052862 209920000 34003 33554432000 4194304 5714118 140736097513040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1537/tid=1540] ppid=1535 vsize=205000 CPUtime=23.74 cores=1,3,5,7
/proc/1537/task/1540/stat : 1540 (pwbo1.1) R 1535 1537 768 0 -1 4202560 19130 0 0 0 2350 24 0 0 25 0 3 0 911052862 209920000 34003 33554432000 4194304 5714118 140736097513040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 47.65
Current children cumulated vsize (KiB) 205000
[startup+24.7007 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1541
/proc/meminfo: memFree=10441044/32951124 swapFree=67063272/67111528
[pid=1537] ppid=1535 vsize=205000 CPUtime=49.24 cores=1,3,5,7
/proc/1537/stat : 1537 (pwbo1.1) S 1535 1537 768 0 -1 4202496 34636 0 0 0 4869 55 0 0 23 0 3 0 911052847 209920000 34058 33554432000 4194304 5714118 140736097513040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1537/statm: 51250 34058 182 372 0 50875 0
[pid=1537/tid=1539] ppid=1535 vsize=205000 CPUtime=24.55 cores=1,3,5,7
/proc/1537/task/1539/stat : 1539 (pwbo1.1) R 1535 1537 768 0 -1 4202560 13932 0 0 0 2425 30 0 0 25 0 3 0 911052862 209920000 34058 33554432000 4194304 5714118 140736097513040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1537/tid=1540] ppid=1535 vsize=205000 CPUtime=24.54 cores=1,3,5,7
/proc/1537/task/1540/stat : 1540 (pwbo1.1) R 1535 1537 768 0 -1 4202560 19130 0 0 0 2430 24 0 0 25 0 3 0 911052862 209920000 34058 33554432000 4194304 5714118 140736097513040 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.24
Current children cumulated vsize (KiB) 205000
[startup+25.1006 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1541
/proc/meminfo: memFree=10441044/32951124 swapFree=67063272/67111528
[pid=1537] ppid=1535 vsize=205000 CPUtime=50.05 cores=1,3,5,7
/proc/1537/stat : 1537 (pwbo1.1) S 1535 1537 768 0 -1 4202496 34680 0 0 0 4949 56 0 0 23 0 3 0 911052847 209920000 34102 33554432000 4194304 5714118 140736097513040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1537/statm: 51250 34102 182 372 0 50875 0
[pid=1537/tid=1539] ppid=1535 vsize=205000 CPUtime=24.94 cores=1,3,5,7
/proc/1537/task/1539/stat : 1539 (pwbo1.1) R 1535 1537 768 0 -1 4202560 13976 0 0 0 2464 30 0 0 25 0 3 0 911052862 209920000 34102 33554432000 4194304 5714118 140736097513040 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1537/tid=1540] ppid=1535 vsize=205000 CPUtime=24.95 cores=1,3,5,7
/proc/1537/task/1540/stat : 1540 (pwbo1.1) R 1535 1537 768 0 -1 4202560 19130 0 0 0 2470 25 0 0 25 0 3 0 911052862 209920000 34102 33554432000 4194304 5714118 140736097513040 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.05
Current children cumulated vsize (KiB) 205000
[startup+25.3066 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1541
/proc/meminfo: memFree=10439060/32951124 swapFree=67063272/67111528
[pid=1537] ppid=1535 vsize=205000 CPUtime=50.46 cores=1,3,5,7
/proc/1537/stat : 1537 (pwbo1.1) S 1535 1537 768 0 -1 4202496 34740 0 0 0 4990 56 0 0 23 0 3 0 911052847 209920000 34162 33554432000 4194304 5714118 140736097513040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1537/statm: 51250 34162 182 372 0 50875 0
[pid=1537/tid=1539] ppid=1535 vsize=205000 CPUtime=25.16 cores=1,3,5,7
/proc/1537/task/1539/stat : 1539 (pwbo1.1) R 1535 1537 768 0 -1 4202560 14036 0 0 0 2485 31 0 0 25 0 3 0 911052862 209920000 34162 33554432000 4194304 5714118 140736097513040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1537/tid=1540] ppid=1535 vsize=205000 CPUtime=25.15 cores=1,3,5,7
/proc/1537/task/1540/stat : 1540 (pwbo1.1) R 1535 1537 768 0 -1 4202560 19130 0 0 0 2490 25 0 0 25 0 3 0 911052862 209920000 34162 33554432000 4194304 5714118 140736097513040 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 205000
[startup+25.4006 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1541
/proc/meminfo: memFree=10439060/32951124 swapFree=67063272/67111528
[pid=1537] ppid=1535 vsize=205000 CPUtime=50.64 cores=1,3,5,7
/proc/1537/stat : 1537 (pwbo1.1) S 1535 1537 768 0 -1 4202496 34773 0 0 0 5008 56 0 0 23 0 3 0 911052847 209920000 34195 33554432000 4194304 5714118 140736097513040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1537/statm: 51250 34195 182 372 0 50875 0
[pid=1537/tid=1539] ppid=1535 vsize=205000 CPUtime=25.25 cores=1,3,5,7
/proc/1537/task/1539/stat : 1539 (pwbo1.1) R 1535 1537 768 0 -1 4202560 14069 0 0 0 2494 31 0 0 25 0 3 0 911052862 209920000 34195 33554432000 4194304 5714118 140736097513040 18446744073709551615 4319349 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1537/tid=1540] ppid=1535 vsize=205000 CPUtime=25.25 cores=1,3,5,7
/proc/1537/task/1540/stat : 1540 (pwbo1.1) R 1535 1537 768 0 -1 4202560 19130 0 0 0 2500 25 0 0 25 0 3 0 911052862 209920000 34195 33554432000 4194304 5714118 140736097513040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 205000
Child status: 0
Real time (s): 25.4564
CPU time (s): 50.7583
CPU user time (s): 50.1854
CPU system time (s): 0.572912
CPU usage (%): 199.393
Max. virtual memory (cumulated for all children) (KiB): 205000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.1854
system time used= 0.572912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34795
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= 207
involuntary context switches= 150
runsolver used 0.042993 second user time and 0.100984 second system time
The end