Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS4 2007-03-23 | ? (TO) | 1800.05 | 1800.66 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb |
MD5SUM | 9a7dcf907234f84f0d33881f56632ec3 |
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 | 247.211 |
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 | 625 |
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/350411-1176503727/instance-350411-1176503727.opb ...... 1800.00/1800.61 c done parsing opb. 1800.00/1800.61 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/350411-1176503727/instance-350411-1176503727.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-350411-1176503727 -o ROOT/results/node14/solver-350411-1176503727 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350411-1176503727/PBS4 /tmp/evaluation/350411-1176503727/instance-350411-1176503727.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: 1.00 1.00 1.00 3/77 12678 /proc/meminfo: memFree=981368/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=1324 CPUtime=0 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 139 0 0 0 0 0 0 0 18 0 1 0 98290514 1355776 121 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0 /proc/12678/statm: 331 122 87 219 0 108 0 [startup+0.0498621 s] /proc/loadavg: 1.00 1.00 1.00 3/77 12678 /proc/meminfo: memFree=981368/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=1472 CPUtime=0.04 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 221 0 0 0 4 0 0 0 18 0 1 0 98290514 1507328 203 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 368 203 92 219 0 145 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1472 [startup+0.101867 s] /proc/loadavg: 1.00 1.00 1.00 3/77 12678 /proc/meminfo: memFree=981368/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=1728 CPUtime=0.09 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 266 0 0 0 9 0 0 0 18 0 1 0 98290514 1769472 248 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 432 248 93 219 0 209 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1728 [startup+0.301886 s] /proc/loadavg: 1.00 1.00 1.00 3/77 12678 /proc/meminfo: memFree=981368/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=2580 CPUtime=0.29 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 420 0 0 0 29 0 0 0 19 0 1 0 98290514 2641920 402 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 645 402 93 219 0 422 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2580 [startup+0.701924 s] /proc/loadavg: 1.00 1.00 1.00 3/77 12678 /proc/meminfo: memFree=981368/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=3952 CPUtime=0.69 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 701 0 0 0 69 0 0 0 22 0 1 0 98290514 4046848 634 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 988 635 94 219 0 765 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3952 [startup+1.502 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12679 /proc/meminfo: memFree=978480/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=6652 CPUtime=1.49 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 1159 0 0 0 148 1 0 0 25 0 1 0 98290514 6811648 995 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 1663 995 94 219 0 1440 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6652 [startup+3.10115 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12679 /proc/meminfo: memFree=976752/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=7192 CPUtime=3.09 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 1721 0 0 0 306 3 0 0 25 0 1 0 98290514 7364608 1557 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 1798 1557 94 219 0 1575 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7192 [startup+6.30146 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12679 /proc/meminfo: memFree=972784/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=13020 CPUtime=6.29 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 2739 0 0 0 624 5 0 0 25 0 1 0 98290514 13332480 2382 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 3255 2382 94 219 0 3032 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13020 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12679 /proc/meminfo: memFree=967216/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=24064 CPUtime=12.69 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 4441 0 0 0 1261 8 0 0 25 0 1 0 98290514 24641536 3699 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 6016 3699 94 219 0 5793 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24064 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12679 /proc/meminfo: memFree=959088/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=26052 CPUtime=25.48 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 6358 0 0 0 2535 13 0 0 25 0 1 0 98290514 26677248 5616 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 6513 5616 94 219 0 6290 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26052 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12679 /proc/meminfo: memFree=947312/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=48536 CPUtime=51.08 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 10079 0 0 0 5085 23 0 0 25 0 1 0 98290514 49700864 8568 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549515 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 12134 8568 94 219 0 11911 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 48536 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12681 /proc/meminfo: memFree=930544/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=85964 CPUtime=102.27 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 14199 0 0 0 10191 36 0 0 25 0 1 0 98290514 88027136 12688 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 21491 12688 94 219 0 21268 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 85964 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12681 /proc/meminfo: memFree=915952/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=95976 CPUtime=162.25 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 19420 0 0 0 16175 50 0 0 25 0 1 0 98290514 98279424 16339 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 23994 16339 94 219 0 23771 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 95976 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12681 /proc/meminfo: memFree=903280/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=100320 CPUtime=222.22 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 22736 0 0 0 22161 61 0 0 25 0 1 0 98290514 102727680 19490 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 25080 19490 94 219 0 24857 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 100320 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12681 /proc/meminfo: memFree=897328/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=102696 CPUtime=282.22 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 24321 0 0 0 28151 71 0 0 25 0 1 0 98290514 105160704 20976 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549778 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 25674 20976 94 219 0 25451 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 102696 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12681 /proc/meminfo: memFree=889008/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=104892 CPUtime=342.2 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 26515 0 0 0 34139 81 0 0 25 0 1 0 98290514 107409408 23071 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 26223 23071 94 219 0 26000 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 104892 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12681 /proc/meminfo: memFree=878512/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=172724 CPUtime=402.18 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 29241 0 0 0 40127 91 0 0 25 0 1 0 98290514 176869376 25698 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 43181 25698 94 219 0 42958 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 172724 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12681 /proc/meminfo: memFree=868272/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=174292 CPUtime=462.16 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 31966 0 0 0 46117 99 0 0 25 0 1 0 98290514 178475008 28225 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 43573 28225 94 219 0 43350 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 174292 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12681 /proc/meminfo: memFree=859504/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=177444 CPUtime=522.15 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 34460 0 0 0 52107 108 0 0 25 0 1 0 98290514 181702656 30423 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 44361 30423 94 219 0 44138 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 177444 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12681 /proc/meminfo: memFree=854832/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=190744 CPUtime=582.13 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 38808 0 0 0 58097 116 0 0 25 0 1 0 98290514 195321856 31599 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559742 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 47686 31599 94 219 0 47463 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 190744 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12681 /proc/meminfo: memFree=848880/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=192784 CPUtime=642.12 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 40478 0 0 0 64088 124 0 0 25 0 1 0 98290514 197410816 33038 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549696 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 48196 33038 94 219 0 47973 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 192784 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 3/78 12681 /proc/meminfo: memFree=835120/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=197332 CPUtime=822.07 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 44221 0 0 0 82063 144 0 0 25 0 1 0 98290514 202067968 36486 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 49333 36486 94 219 0 49110 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 197332 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12681 /proc/meminfo: memFree=828976/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=198240 CPUtime=882.05 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 45846 0 0 0 88054 151 0 0 25 0 1 0 98290514 202997760 38013 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 49560 38013 94 219 0 49337 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 198240 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12681 /proc/meminfo: memFree=823216/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=199404 CPUtime=942.03 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 47421 0 0 0 94045 158 0 0 25 0 1 0 98290514 204189696 39458 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 49851 39458 94 219 0 49628 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 199404 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12681 /proc/meminfo: memFree=817648/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=201064 CPUtime=1002.02 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 49031 0 0 0 100038 164 0 0 25 0 1 0 98290514 205889536 40839 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 50266 40839 94 219 0 50043 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 201064 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12681 /proc/meminfo: memFree=811632/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=202232 CPUtime=1062 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 50703 0 0 0 106030 170 0 0 25 0 1 0 98290514 207085568 42380 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 50558 42380 94 219 0 50335 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 202232 [startup+1122.3 s] /proc/loadavg: 1.08 1.02 1.01 2/78 12681 /proc/meminfo: memFree=805872/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=203524 CPUtime=1121.99 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 52216 0 0 0 112023 176 0 0 25 0 1 0 98290514 208408576 43762 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 50881 43762 94 219 0 50658 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 203524 [startup+1182.3 s] /proc/loadavg: 1.10 1.03 1.00 2/78 12681 /proc/meminfo: memFree=800880/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=204488 CPUtime=1181.97 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 53651 0 0 0 118016 181 0 0 25 0 1 0 98290514 209395712 45034 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547198 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 51122 45034 94 219 0 50899 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 204488 [startup+1242.3 s] /proc/loadavg: 1.10 1.04 1.00 2/78 12681 /proc/meminfo: memFree=795056/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=206164 CPUtime=1241.96 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 55442 0 0 0 124008 188 0 0 25 0 1 0 98290514 211111936 46499 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547154 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 51541 46499 94 219 0 51318 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 206164 [startup+1302.3 s] /proc/loadavg: 1.12 1.06 1.01 2/78 12681 /proc/meminfo: memFree=790256/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=208900 CPUtime=1301.94 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 57007 0 0 0 130000 194 0 0 25 0 1 0 98290514 213913600 47640 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 52225 47640 94 219 0 52002 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 208900 [startup+1362.3 s] /proc/loadavg: 1.04 1.04 1.00 2/78 12681 /proc/meminfo: memFree=784496/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=342036 CPUtime=1361.92 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 58768 0 0 0 135991 201 0 0 25 0 1 0 98290514 350244864 49043 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 85509 49043 94 219 0 85286 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 342036 [startup+1422.31 s] /proc/loadavg: 1.01 1.03 1.00 3/78 12681 /proc/meminfo: memFree=779696/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=343124 CPUtime=1421.91 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 60211 0 0 0 141982 209 0 0 25 0 1 0 98290514 351358976 50258 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 85781 50258 94 219 0 85558 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 343124 [startup+1482.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 12681 /proc/meminfo: memFree=775472/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=346076 CPUtime=1481.89 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 61504 0 0 0 147975 214 0 0 25 0 1 0 98290514 354381824 51289 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 86519 51289 94 219 0 86296 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 346076 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.00 2/84 12753 /proc/meminfo: memFree=773568/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=346460 CPUtime=1541.84 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 61789 0 0 0 153964 220 0 0 25 0 1 0 98290514 354775040 51476 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549626 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 86615 51476 94 219 0 86392 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 346460 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 12879 /proc/meminfo: memFree=773744/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=347376 CPUtime=1601.75 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 62070 0 0 0 159950 225 0 0 25 0 1 0 98290514 355713024 51692 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 86844 51692 94 219 0 86621 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 347376 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 12879 /proc/meminfo: memFree=772720/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=347632 CPUtime=1661.74 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 62388 0 0 0 165944 230 0 0 25 0 1 0 98290514 355975168 51945 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 86908 51945 94 219 0 86685 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 347632 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12879 /proc/meminfo: memFree=770352/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=348676 CPUtime=1721.72 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 63062 0 0 0 171936 236 0 0 25 0 1 0 98290514 357044224 52554 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 87169 52554 94 219 0 86946 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 348676 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12879 /proc/meminfo: memFree=766064/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=350524 CPUtime=1781.7 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 64389 0 0 0 177929 241 0 0 25 0 1 0 98290514 358936576 53620 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 87631 53620 94 219 0 87408 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 350524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12879 /proc/meminfo: memFree=764400/2055920 swapFree=4192956/4192956 [pid=12678] ppid=12676 vsize=351040 CPUtime=1800 /proc/12678/stat : 12678 (PBS4) R 12676 12678 11333 0 -1 4194304 64890 0 0 0 179757 243 0 0 25 0 1 0 98290514 359464960 54023 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134585691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12678/statm: 87760 54023 94 219 0 87537 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 351040 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.66 CPU time (s): 1800.05 CPU user time (s): 1797.58 CPU system time (s): 2.47362 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 351040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.58 system time used= 2.47362 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64891 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= 1769 runsolver used 2.08168 second user time and 4.41833 second system time The end
Begin job on node14 on Fri Apr 13 22:35:27 UTC 2007 IDJOB= 350411 IDBENCH= 1356 IDSOLVER= 157 FILE ID= node14/350411-1176503727 PBS_JOBID= 4556679 Free space on /tmp= 66561 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb COMMAND LINE= /tmp/evaluation/350411-1176503727/PBS4 /tmp/evaluation/350411-1176503727/instance-350411-1176503727.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node14/convwatcher-350411-1176503727 -o ROOT/results/node14/conversion-350411-1176503727 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350411-1176503727/instance-350411-1176503727.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-350411-1176503727 -o ROOT/results/node14/solver-350411-1176503727 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350411-1176503727/PBS4 /tmp/evaluation/350411-1176503727/instance-350411-1176503727.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 9a7dcf907234f84f0d33881f56632ec3 RANDOM SEED= 75557960 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 981776 kB Buffers: 50116 kB Cached: 889304 kB SwapCached: 0 kB Active: 305292 kB Inactive: 690052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 981776 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1236 kB Writeback: 0 kB Mapped: 74676 kB Slab: 64320 kB Committed_AS: 4445408 kB PageTables: 1788 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= 66561 MiB End job on node14 on Fri Apr 13 23:05:30 UTC 2007