Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.05 | 1800.64 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_4.opb |
MD5SUM | 0c3fb28b3ecb8f1eba2bffa356ef5364 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7 |
Best CPU time to get the best result obtained on this benchmark | 81.8136 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 2932 |
Sum of products size (including duplicates) | 5864 |
Number of different products | 1466 |
Sum of products size | 2932 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/455364-1178042063/instance-455364-1178042063.opb ...... 0.10/0.13 c done parsing opb. 0.10/0.13 o 47 0.10/0.18 o 46 0.19/0.23 o 45 0.39/0.41 o 44 52.88/52.95 o 43 1800.01/1800.60 s SATISFIABLE
ERROR: no interpretation found !
Linearizing /tmp/evaluation/455364-1178042063/instance-455364-1178042063.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-455364-1178042063 -o ROOT/results/node57/solver-455364-1178042063 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/455364-1178042063/PBS4 /tmp/evaluation/455364-1178042063/instance-455364-1178042063.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.94 3/64 4468 /proc/meminfo: memFree=1886616/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=1604 CPUtime=0 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 245342250 1642496 170 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/4468/statm: 401 170 87 219 0 178 0 [startup+0.0535151 s] /proc/loadavg: 0.91 0.95 0.94 3/64 4468 /proc/meminfo: memFree=1886616/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=2012 CPUtime=0.05 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 317 0 0 0 5 0 0 0 18 0 1 0 245342250 2060288 300 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559469 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 503 300 92 219 0 280 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2012 [startup+0.102518 s] /proc/loadavg: 0.91 0.95 0.94 3/64 4468 /proc/meminfo: memFree=1886616/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=2012 CPUtime=0.1 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 317 0 0 0 10 0 0 0 18 0 1 0 245342250 2060288 300 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 503 300 92 219 0 280 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2012 [startup+0.302535 s] /proc/loadavg: 0.91 0.95 0.94 3/64 4468 /proc/meminfo: memFree=1886616/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=2492 CPUtime=0.29 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 408 0 0 0 29 0 0 0 19 0 1 0 245342250 2551808 391 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 623 391 103 219 0 400 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2492 [startup+0.701571 s] /proc/loadavg: 0.91 0.95 0.94 3/64 4468 /proc/meminfo: memFree=1886616/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=4356 CPUtime=0.69 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 707 0 0 0 69 0 0 0 22 0 1 0 245342250 4460544 690 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 1089 690 103 219 0 866 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4356 [startup+1.50164 s] /proc/loadavg: 0.91 0.95 0.94 2/65 4469 /proc/meminfo: memFree=1883152/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=6860 CPUtime=1.49 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 1400 0 0 0 149 0 0 0 25 0 1 0 245342250 7024640 1334 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 1715 1334 104 219 0 1492 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6860 [startup+3.10178 s] /proc/loadavg: 0.91 0.95 0.94 2/65 4469 /proc/meminfo: memFree=1880208/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=11924 CPUtime=3.09 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 2109 0 0 0 307 2 0 0 25 0 1 0 245342250 12210176 2043 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 2981 2043 104 219 0 2758 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11924 [startup+6.30106 s] /proc/loadavg: 0.92 0.95 0.94 2/65 4469 /proc/meminfo: memFree=1875792/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=21240 CPUtime=6.29 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 3172 0 0 0 626 3 0 0 25 0 1 0 245342250 21749760 3009 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 5310 3009 104 219 0 5087 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21240 [startup+12.7016 s] /proc/loadavg: 0.93 0.95 0.94 2/65 4469 /proc/meminfo: memFree=1872216/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=22960 CPUtime=12.68 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 3969 0 0 0 1263 5 0 0 25 0 1 0 245342250 23511040 3613 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 5740 3613 104 219 0 5517 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22960 [startup+25.5017 s] /proc/loadavg: 0.94 0.96 0.94 2/65 4469 /proc/meminfo: memFree=1868056/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=24236 CPUtime=25.48 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 5028 0 0 0 2539 9 0 0 25 0 1 0 245342250 24817664 4672 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 6059 4672 104 219 0 5836 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24236 [startup+51.1019 s] /proc/loadavg: 0.96 0.96 0.94 2/65 4469 /proc/meminfo: memFree=1854744/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=46248 CPUtime=51.07 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 8822 0 0 0 5090 17 0 0 25 0 1 0 245342250 47357952 8081 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 11562 8081 104 219 0 11339 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 46248 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.94 2/65 4469 /proc/meminfo: memFree=1845592/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=52996 CPUtime=102.27 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 11715 0 0 0 10200 27 0 0 25 0 1 0 245342250 54267904 10205 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 13249 10205 104 219 0 13026 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 52996 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4469 /proc/meminfo: memFree=1833432/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=89488 CPUtime=162.25 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 14983 0 0 0 16187 38 0 0 25 0 1 0 245342250 91635712 13308 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 22372 13308 104 219 0 22149 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 89488 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4469 /proc/meminfo: memFree=1816408/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=95512 CPUtime=222.23 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 19768 0 0 0 22176 47 0 0 25 0 1 0 245342250 97804288 17499 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 23878 17499 104 219 0 23655 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 95512 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4469 /proc/meminfo: memFree=1813400/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=97576 CPUtime=282.22 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 20981 0 0 0 28168 54 0 0 25 0 1 0 245342250 99917824 18349 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134565658 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 24394 18349 104 219 0 24171 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 97576 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4469 /proc/meminfo: memFree=1807320/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=105976 CPUtime=342.2 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 24047 0 0 0 34159 61 0 0 25 0 1 0 245342250 108519424 19746 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 26494 19746 104 219 0 26271 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 105976 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.94 2/71 4535 /proc/meminfo: memFree=1803800/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=107272 CPUtime=402.15 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 24818 0 0 0 40146 69 0 0 25 0 1 0 245342250 109846528 20418 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 26818 20418 104 219 0 26595 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 107272 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4667 /proc/meminfo: memFree=1795208/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=109808 CPUtime=462.05 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 27419 0 0 0 46130 75 0 0 25 0 1 0 245342250 112443392 22757 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 27452 22757 104 219 0 27229 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 109808 [startup+522.303 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4667 /proc/meminfo: memFree=1793432/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=111360 CPUtime=522.04 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 27996 0 0 0 52125 79 0 0 25 0 1 0 245342250 114032640 23203 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 27840 23203 104 219 0 27617 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 111360 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4667 /proc/meminfo: memFree=1788888/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=113564 CPUtime=582.03 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 29505 0 0 0 58117 86 0 0 25 0 1 0 245342250 116289536 24353 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 28391 24353 104 219 0 28168 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 113564 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4667 /proc/meminfo: memFree=1777624/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=182300 CPUtime=642.01 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 33039 0 0 0 64108 93 0 0 25 0 1 0 245342250 186675200 27139 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 45575 27139 104 219 0 45352 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 182300 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4667 /proc/meminfo: memFree=1770520/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=185884 CPUtime=821.96 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 35037 0 0 0 82088 108 0 0 25 0 1 0 245342250 190345216 28908 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 46471 28908 104 219 0 46248 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 185884 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4667 /proc/meminfo: memFree=1767320/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=188852 CPUtime=881.94 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 36225 0 0 0 88081 113 0 0 25 0 1 0 245342250 193384448 29706 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 47213 29706 104 219 0 46990 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 188852 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4667 /proc/meminfo: memFree=1760984/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=189656 CPUtime=941.92 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 37918 0 0 0 94075 117 0 0 25 0 1 0 245342250 194207744 31301 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 47414 31301 104 219 0 47191 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 189656 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 4667 /proc/meminfo: memFree=1759896/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=190168 CPUtime=1001.91 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 38300 0 0 0 100070 121 0 0 25 0 1 0 245342250 194732032 31553 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 47542 31553 104 219 0 47319 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 190168 [startup+1062.3 s] /proc/loadavg: 1.05 0.99 0.95 2/65 4667 /proc/meminfo: memFree=1755352/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=204440 CPUtime=1061.89 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 42766 0 0 0 106062 127 0 0 25 0 1 0 245342250 209346560 32686 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551796 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 51110 32686 104 219 0 50887 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 204440 [startup+1122.3 s] /proc/loadavg: 1.13 1.02 0.96 2/65 4667 /proc/meminfo: memFree=1746200/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=206964 CPUtime=1121.88 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 45437 0 0 0 112054 134 0 0 25 0 1 0 245342250 211931136 34967 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 51741 34967 104 219 0 51518 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 206964 [startup+1182.3 s] /proc/loadavg: 1.04 1.01 0.96 2/65 4667 /proc/meminfo: memFree=1745176/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=207216 CPUtime=1181.86 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 45824 0 0 0 118048 138 0 0 25 0 1 0 245342250 212189184 35223 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 51804 35223 104 219 0 51581 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 207216 [startup+1242.3 s] /proc/loadavg: 1.01 1.01 0.96 2/65 4667 /proc/meminfo: memFree=1743960/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=208228 CPUtime=1241.84 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 46220 0 0 0 124042 142 0 0 25 0 1 0 245342250 213225472 35489 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 52057 35489 104 219 0 51834 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 208228 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 4667 /proc/meminfo: memFree=1737048/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=209000 CPUtime=1301.83 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 48005 0 0 0 130035 148 0 0 25 0 1 0 245342250 214016000 37209 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 52250 37209 104 219 0 52027 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 209000 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 4667 /proc/meminfo: memFree=1730584/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=209912 CPUtime=1361.82 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 49788 0 0 0 136029 153 0 0 25 0 1 0 245342250 214949888 38829 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 52478 38829 104 219 0 52255 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 209912 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 4667 /proc/meminfo: memFree=1726040/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=210424 CPUtime=1421.81 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 51044 0 0 0 142022 159 0 0 25 0 1 0 245342250 215474176 39954 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549609 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 52606 39954 104 219 0 52383 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 210424 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 4667 /proc/meminfo: memFree=1724312/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=212012 CPUtime=1481.78 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 51736 0 0 0 148016 162 0 0 25 0 1 0 245342250 217100288 40386 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134585941 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 53003 40386 104 219 0 52780 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 212012 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 4667 /proc/meminfo: memFree=1716504/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=214328 CPUtime=1541.77 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 53912 0 0 0 154009 168 0 0 25 0 1 0 245342250 219471872 42367 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 53582 42367 104 219 0 53359 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 214328 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 4667 /proc/meminfo: memFree=1708056/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=215952 CPUtime=1601.75 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 56263 0 0 0 160001 174 0 0 25 0 1 0 245342250 221134848 44459 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551816 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 53988 44459 104 219 0 53765 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 215952 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 4667 /proc/meminfo: memFree=1700888/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=217360 CPUtime=1661.74 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 58439 0 0 0 165994 180 0 0 25 0 1 0 245342250 222576640 46278 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 54340 46278 104 219 0 54117 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 217360 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 4667 /proc/meminfo: memFree=1696088/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=221072 CPUtime=1721.72 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 60348 0 0 0 171987 185 0 0 25 0 1 0 245342250 226377728 47411 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547224 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 55268 47411 104 219 0 55045 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 221072 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 4667 /proc/meminfo: memFree=1690264/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=221972 CPUtime=1781.71 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 62016 0 0 0 177981 190 0 0 25 0 1 0 245342250 227299328 48885 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 55493 48885 104 219 0 55270 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 221972 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.96 2/65 4667 /proc/meminfo: memFree=1687896/2055920 swapFree=4183136/4192956 [pid=4468] ppid=4466 vsize=222740 CPUtime=1800.01 /proc/4468/stat : 4468 (PBS4) R 4466 4468 3286 0 -1 4194304 62812 0 0 0 179808 193 0 0 25 0 1 0 245342250 228085760 49487 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4468/statm: 55685 49487 104 219 0 55462 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 222740 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.05 CPU user time (s): 1798.09 CPU system time (s): 1.9647 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 222740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.09 system time used= 1.9647 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62813 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= 8 involuntary context switches= 2443 runsolver used 1.45278 second user time and 3.52246 second system time The end
Begin job on node57 on Tue May 1 17:54:23 UTC 2007 IDJOB= 455364 IDBENCH= 48259 IDSOLVER= 157 FILE ID= node57/455364-1178042063 PBS_JOBID= 4728433 Free space on /tmp= 66563 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_4.opb COMMAND LINE= /tmp/evaluation/455364-1178042063/PBS4 /tmp/evaluation/455364-1178042063/instance-455364-1178042063.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node57/convwatcher-455364-1178042063 -o ROOT/results/node57/conversion-455364-1178042063 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455364-1178042063/instance-455364-1178042063.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-455364-1178042063 -o ROOT/results/node57/solver-455364-1178042063 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/455364-1178042063/PBS4 /tmp/evaluation/455364-1178042063/instance-455364-1178042063.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 0c3fb28b3ecb8f1eba2bffa356ef5364 RANDOM SEED= 19937998 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.239 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.239 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1887024 kB Buffers: 35192 kB Cached: 69272 kB SwapCached: 3520 kB Active: 77584 kB Inactive: 39188 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1887024 kB SwapTotal: 4192956 kB SwapFree: 4183136 kB Dirty: 1324 kB Writeback: 0 kB Mapped: 15412 kB Slab: 38212 kB Committed_AS: 4721624 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66563 MiB End job on node57 on Tue May 1 18:24:26 UTC 2007