Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS4_v2 2007-03-23 | ? (TO) | 1800.14 | 1801.75 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb |
MD5SUM | f510e821cdc50f097865b59193d7ef06 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 203.491 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 677 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/458286-1178621541/instance-458286-1178621541.opb ...... 1800.10/1801.70 c done parsing opb. 1800.10/1801.70 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/458286-1178621541/instance-458286-1178621541.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-458286-1178621541 -o ROOT/results/node66/solver-458286-1178621541 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458286-1178621541/instance-458286-1178621541.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.99 0.97 0.95 3/64 31852 /proc/meminfo: memFree=1520104/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=1324 CPUtime=0 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 143 0 0 0 0 0 0 0 18 0 1 0 338143681 1355776 125 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 331 125 86 219 0 108 0 [startup+0.0102399 s] /proc/loadavg: 0.99 0.97 0.95 3/64 31852 /proc/meminfo: memFree=1520104/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=1476 CPUtime=0.01 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 158 0 0 0 1 0 0 0 18 0 1 0 338143681 1511424 140 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530463 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 369 140 86 219 0 146 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1476 [startup+0.101256 s] /proc/loadavg: 0.99 0.97 0.95 3/64 31852 /proc/meminfo: memFree=1520104/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=1860 CPUtime=0.1 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 264 0 0 0 10 0 0 0 18 0 1 0 338143681 1904640 246 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 465 246 90 219 0 242 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1860 [startup+0.301296 s] /proc/loadavg: 0.99 0.97 0.95 3/64 31852 /proc/meminfo: memFree=1520104/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=2568 CPUtime=0.29 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 410 0 0 0 29 0 0 0 19 0 1 0 338143681 2629632 392 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 642 392 90 219 0 419 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2568 [startup+0.701376 s] /proc/loadavg: 0.99 0.97 0.95 3/64 31852 /proc/meminfo: memFree=1520104/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=3916 CPUtime=0.69 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 692 0 0 0 68 1 0 0 23 0 1 0 338143681 4009984 625 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 979 625 90 219 0 756 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3916 [startup+1.50154 s] /proc/loadavg: 0.99 0.97 0.95 2/65 31853 /proc/meminfo: memFree=1517280/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=6744 CPUtime=1.49 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 1172 0 0 0 147 2 0 0 25 0 1 0 338143681 6905856 1008 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 1686 1008 90 219 0 1463 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6744 [startup+3.10185 s] /proc/loadavg: 0.99 0.97 0.95 2/65 31853 /proc/meminfo: memFree=1515424/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=7296 CPUtime=3.09 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 1738 0 0 0 306 3 0 0 25 0 1 0 338143681 7471104 1574 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 1824 1574 90 219 0 1601 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7296 [startup+6.30149 s] /proc/loadavg: 0.99 0.97 0.95 2/65 31853 /proc/meminfo: memFree=1511584/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=13000 CPUtime=6.29 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 2738 0 0 0 624 5 0 0 25 0 1 0 338143681 13312000 2381 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 3250 2381 90 219 0 3027 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13000 [startup+12.7018 s] /proc/loadavg: 0.99 0.97 0.95 2/65 31853 /proc/meminfo: memFree=1506336/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=22628 CPUtime=12.69 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 3963 0 0 0 1261 8 0 0 25 0 1 0 338143681 23171072 3606 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544687 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 5657 3606 90 219 0 5434 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22628 [startup+25.5013 s] /proc/loadavg: 0.99 0.97 0.95 2/65 31853 /proc/meminfo: memFree=1498208/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=25940 CPUtime=25.47 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 6299 0 0 0 2534 13 0 0 25 0 1 0 338143681 26562560 5557 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547216 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 6485 5557 90 219 0 6262 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 25940 [startup+51.1014 s] /proc/loadavg: 0.99 0.97 0.95 2/65 31853 /proc/meminfo: memFree=1487776/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=48168 CPUtime=51.05 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 9715 0 0 0 5085 20 0 0 25 0 1 0 338143681 49324032 8204 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 12042 8204 90 219 0 11819 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 48168 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.95 2/65 31853 /proc/meminfo: memFree=1470880/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=85836 CPUtime=102.22 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 13825 0 0 0 10190 32 0 0 25 0 1 0 338143681 87896064 12314 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 21459 12314 90 219 0 21236 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 85836 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 31853 /proc/meminfo: memFree=1457952/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=95484 CPUtime=162.16 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 18717 0 0 0 16173 43 0 0 25 0 1 0 338143681 97775616 15537 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 23871 15537 90 219 0 23648 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 95484 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 31853 /proc/meminfo: memFree=1445600/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=99900 CPUtime=222.11 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 22138 0 0 0 22161 50 0 0 25 0 1 0 338143681 102297600 18628 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 24975 18628 90 219 0 24752 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 99900 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 31853 /proc/meminfo: memFree=1436192/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=102660 CPUtime=282.08 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 24874 0 0 0 28151 57 0 0 25 0 1 0 338143681 105123840 21034 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 25665 21034 90 219 0 25442 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 102660 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 31853 /proc/meminfo: memFree=1426400/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=104772 CPUtime=342 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 27434 0 0 0 34134 66 0 0 25 0 1 0 338143681 107286528 23462 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31852/statm: 26193 23462 90 219 0 25970 0 Current children cumulated CPU time (s) 342 Current children cumulated vsize (KiB) 104772 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 31853 /proc/meminfo: memFree=1416928/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=172144 CPUtime=401.91 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 29884 0 0 0 40117 74 0 0 25 0 1 0 338143681 176275456 25813 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 43036 25813 90 219 0 42813 0 Current children cumulated CPU time (s) 401.91 Current children cumulated vsize (KiB) 172144 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 31853 /proc/meminfo: memFree=1408032/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=175056 CPUtime=461.82 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 32223 0 0 0 46100 82 0 0 25 0 1 0 338143681 179257344 28053 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 43764 28053 90 219 0 43541 0 Current children cumulated CPU time (s) 461.82 Current children cumulated vsize (KiB) 175056 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.95 2/71 31879 /proc/meminfo: memFree=1401136/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=176828 CPUtime=521.76 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 33833 0 0 0 52085 91 0 0 25 0 1 0 338143681 181071872 29434 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 44207 29434 90 219 0 43984 0 Current children cumulated CPU time (s) 521.76 Current children cumulated vsize (KiB) 176828 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1394912/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=178328 CPUtime=581.72 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 35673 0 0 0 58063 109 0 0 25 0 1 0 338143681 182607872 31208 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 44582 31208 90 219 0 44359 0 Current children cumulated CPU time (s) 581.72 Current children cumulated vsize (KiB) 178328 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1387744/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=192236 CPUtime=641.69 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 40782 0 0 0 64051 118 0 0 25 0 1 0 338143681 196849664 32983 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 48059 32983 90 219 0 47836 0 Current children cumulated CPU time (s) 641.69 Current children cumulated vsize (KiB) 192236 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1366560/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=201196 CPUtime=881.5 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 47243 0 0 0 88005 145 0 0 25 0 1 0 338143681 206024704 38271 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544702 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 50299 38271 90 219 0 50076 0 Current children cumulated CPU time (s) 881.5 Current children cumulated vsize (KiB) 201196 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1364960/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=202900 CPUtime=941.43 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 47846 0 0 0 93994 149 0 0 25 0 1 0 338143681 207769600 38711 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547311 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 50725 38711 90 219 0 50502 0 Current children cumulated CPU time (s) 941.43 Current children cumulated vsize (KiB) 202900 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1363872/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=204040 CPUtime=1001.36 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 48289 0 0 0 99983 153 0 0 25 0 1 0 338143681 208936960 38991 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 51010 38991 90 219 0 50787 0 Current children cumulated CPU time (s) 1001.36 Current children cumulated vsize (KiB) 204040 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1362848/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=205328 CPUtime=1061.32 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 48824 0 0 0 105972 160 0 0 25 0 1 0 338143681 210255872 39266 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544794 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 51332 39266 90 219 0 51109 0 Current children cumulated CPU time (s) 1061.32 Current children cumulated vsize (KiB) 205328 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1362016/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=205328 CPUtime=1121.28 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 49020 0 0 0 111963 165 0 0 25 0 1 0 338143681 210255872 39462 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 51332 39462 90 219 0 51109 0 Current children cumulated CPU time (s) 1121.28 Current children cumulated vsize (KiB) 205328 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1357536/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=206876 CPUtime=1181.23 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 50333 0 0 0 117952 171 0 0 25 0 1 0 338143681 211841024 40580 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 51719 40580 90 219 0 51496 0 Current children cumulated CPU time (s) 1181.23 Current children cumulated vsize (KiB) 206876 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1355168/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=207804 CPUtime=1241.18 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 50993 0 0 0 123942 176 0 0 25 0 1 0 338143681 212791296 41110 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 51951 41110 90 219 0 51728 0 Current children cumulated CPU time (s) 1241.18 Current children cumulated vsize (KiB) 207804 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1353696/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=209232 CPUtime=1301.15 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 51461 0 0 0 129935 180 0 0 25 0 1 0 338143681 214253568 41513 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544794 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 52308 41513 90 219 0 52085 0 Current children cumulated CPU time (s) 1301.15 Current children cumulated vsize (KiB) 209232 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1352736/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=210244 CPUtime=1361.07 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 51818 0 0 0 135922 185 0 0 25 0 1 0 338143681 215289856 41772 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 52561 41772 90 219 0 52338 0 Current children cumulated CPU time (s) 1361.07 Current children cumulated vsize (KiB) 210244 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1351136/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=211420 CPUtime=1421.01 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 52327 0 0 0 141910 191 0 0 25 0 1 0 338143681 216494080 42183 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 52855 42183 90 219 0 52632 0 Current children cumulated CPU time (s) 1421.01 Current children cumulated vsize (KiB) 211420 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1350112/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=211420 CPUtime=1480.94 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 52578 0 0 0 147899 195 0 0 25 0 1 0 338143681 216494080 42434 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 52855 42434 90 219 0 52632 0 Current children cumulated CPU time (s) 1480.94 Current children cumulated vsize (KiB) 211420 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1347936/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=213340 CPUtime=1540.9 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 53125 0 0 0 153890 200 0 0 25 0 1 0 338143681 218460160 42981 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 53335 42981 90 219 0 53112 0 Current children cumulated CPU time (s) 1540.9 Current children cumulated vsize (KiB) 213340 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1346720/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=214380 CPUtime=1600.86 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 53527 0 0 0 159881 205 0 0 25 0 1 0 338143681 219525120 43285 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 53595 43285 90 219 0 53372 0 Current children cumulated CPU time (s) 1600.86 Current children cumulated vsize (KiB) 214380 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1345632/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=215444 CPUtime=1660.82 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 53778 0 0 0 165873 209 0 0 25 0 1 0 338143681 220614656 43536 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 53861 43536 90 219 0 53638 0 Current children cumulated CPU time (s) 1660.82 Current children cumulated vsize (KiB) 215444 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1344352/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=216288 CPUtime=1720.77 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 54116 0 0 0 171863 214 0 0 25 0 1 0 338143681 221478912 43874 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 54072 43874 90 219 0 53849 0 Current children cumulated CPU time (s) 1720.77 Current children cumulated vsize (KiB) 216288 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1342688/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=217432 CPUtime=1780.71 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 54540 0 0 0 177852 219 0 0 25 0 1 0 338143681 222650368 44233 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544711 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 54358 44233 90 219 0 54135 0 Current children cumulated CPU time (s) 1780.71 Current children cumulated vsize (KiB) 217432 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.7 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1342368/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=217688 CPUtime=1800.1 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 54661 0 0 0 179790 220 0 0 25 0 1 0 338143681 222912512 44289 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 54422 44289 90 219 0 54199 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 217688 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.7 s] /proc/loadavg: 0.99 0.97 0.95 2/65 32051 /proc/meminfo: memFree=1342368/2055920 swapFree=4183156/4192956 [pid=31852] ppid=31850 vsize=217688 CPUtime=1800.1 /proc/31852/stat : 31852 (PBS4_SAT07v2) R 31850 31852 31088 0 -1 4194304 54661 0 0 0 179790 220 0 0 25 0 1 0 338143681 222912512 44289 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31852/statm: 54422 44289 90 219 0 54199 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 217688 Child status: 0 Real time (s): 1801.75 CPU time (s): 1800.14 CPU user time (s): 1797.91 CPU system time (s): 2.23466 CPU usage (%): 99.9108 Max. virtual memory (cumulated for all children) (KiB): 217688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.91 system time used= 2.23466 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54662 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= 6978 runsolver used 1.93571 second user time and 4.49732 second system time The end
Begin job on node66 on Tue May 8 10:52:21 UTC 2007 IDJOB= 458286 IDBENCH= 1363 IDSOLVER= 200 FILE ID= node66/458286-1178621541 PBS_JOBID= 5218247 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458286-1178621541/instance-458286-1178621541.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node66/convwatcher-458286-1178621541 -o ROOT/results/node66/conversion-458286-1178621541 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458286-1178621541/instance-458286-1178621541.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-458286-1178621541 -o ROOT/results/node66/solver-458286-1178621541 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458286-1178621541/instance-458286-1178621541.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= f510e821cdc50f097865b59193d7ef06 RANDOM SEED= 301294324 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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.281 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.281 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: 1520576 kB Buffers: 31664 kB Cached: 402932 kB SwapCached: 3732 kB Active: 61012 kB Inactive: 383684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1520576 kB SwapTotal: 4192956 kB SwapFree: 4183156 kB Dirty: 2352 kB Writeback: 0 kB Mapped: 16220 kB Slab: 76752 kB Committed_AS: 5139568 kB PageTables: 1376 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= 66562 MiB End job on node66 on Tue May 8 11:22:25 UTC 2007