Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS4 2007-03-23 | ? (TO) | 1800.09 | 1800.84 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900583053.opb |
MD5SUM | f6db72fa29ffa9d071020a030f71e7d0 |
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 | 182.982 |
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 | 651 |
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/359539-1176933571/instance-359539-1176933571.opb ...... 1800.05/1800.80 c done parsing opb. 1800.05/1800.80 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/359539-1176933571/instance-359539-1176933571.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-359539-1176933571 -o ROOT/results/node13/solver-359539-1176933571 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/359539-1176933571/PBS4 /tmp/evaluation/359539-1176933571/instance-359539-1176933571.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.94 1.01 1.02 3/77 4476 /proc/meminfo: memFree=1552584/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=1324 CPUtime=0 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 139 0 0 0 0 0 0 0 18 0 1 0 141274925 1355776 121 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134529777 0 0 4096 0 0 0 0 17 1 0 0 /proc/4476/statm: 331 121 87 219 0 108 0 [startup+0.041584 s] /proc/loadavg: 0.94 1.01 1.02 3/77 4476 /proc/meminfo: memFree=1552584/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=1472 CPUtime=0.03 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 211 0 0 0 3 0 0 0 18 0 1 0 141274925 1507328 193 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 368 193 92 219 0 145 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1472 [startup+0.101596 s] /proc/loadavg: 0.94 1.01 1.02 3/77 4476 /proc/meminfo: memFree=1552584/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=1728 CPUtime=0.09 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 259 0 0 0 9 0 0 0 18 0 1 0 141274925 1769472 241 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 432 241 93 219 0 209 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1728 [startup+0.301639 s] /proc/loadavg: 0.94 1.01 1.02 3/77 4476 /proc/meminfo: memFree=1552584/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=2568 CPUtime=0.29 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 398 0 0 0 29 0 0 0 19 0 1 0 141274925 2629632 380 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 642 380 93 219 0 419 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2568 [startup+0.702724 s] /proc/loadavg: 0.94 1.01 1.02 3/77 4476 /proc/meminfo: memFree=1552584/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=3940 CPUtime=0.69 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 667 0 0 0 68 1 0 0 23 0 1 0 141274925 4034560 600 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 985 600 94 219 0 762 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3940 [startup+1.50189 s] /proc/loadavg: 0.94 1.01 1.02 2/78 4477 /proc/meminfo: memFree=1549888/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=6256 CPUtime=1.49 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 1043 0 0 0 148 1 0 0 25 0 1 0 141274925 6406144 976 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 1564 976 94 219 0 1341 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6256 [startup+3.10127 s] /proc/loadavg: 0.94 1.01 1.02 2/78 4477 /proc/meminfo: memFree=1547840/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=7176 CPUtime=3.09 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 1691 0 0 0 307 2 0 0 25 0 1 0 141274925 7348224 1527 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 1794 1527 94 219 0 1571 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7176 [startup+6.30196 s] /proc/loadavg: 0.94 1.01 1.02 2/78 4477 /proc/meminfo: memFree=1543808/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=12856 CPUtime=6.29 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 2708 0 0 0 624 5 0 0 25 0 1 0 141274925 13164544 2351 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3214 2351 94 219 0 2991 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12856 [startup+12.7013 s] /proc/loadavg: 0.95 1.01 1.02 2/78 4477 /proc/meminfo: memFree=1538624/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=22316 CPUtime=12.69 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 3968 0 0 0 1262 7 0 0 25 0 1 0 141274925 22851584 3611 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 5579 3611 94 219 0 5356 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22316 [startup+25.502 s] /proc/loadavg: 0.96 1.01 1.02 2/78 4477 /proc/meminfo: memFree=1530560/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=25828 CPUtime=25.48 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 6265 0 0 0 2536 12 0 0 25 0 1 0 141274925 26447872 5523 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 6457 5523 94 219 0 6234 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25828 [startup+51.1015 s] /proc/loadavg: 0.97 1.01 1.02 2/78 4477 /proc/meminfo: memFree=1520448/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=48152 CPUtime=51.07 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 9596 0 0 0 5087 20 0 0 25 0 1 0 141274925 49307648 8085 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 12038 8085 94 219 0 11815 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 48152 [startup+102.306 s] /proc/loadavg: 0.99 1.00 1.01 2/84 4559 /proc/meminfo: memFree=1501648/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=85956 CPUtime=102.24 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 13885 0 0 0 10188 36 0 0 25 0 1 0 141274925 88018944 12374 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549620 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 21489 12374 94 219 0 21266 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 85956 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.01 2/78 4675 /proc/meminfo: memFree=1489600/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=95684 CPUtime=162.15 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 18755 0 0 0 16167 48 0 0 25 0 1 0 141274925 97980416 15674 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 23921 15674 94 219 0 23698 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 95684 [startup+222.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1477504/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=98368 CPUtime=222.13 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 21862 0 0 0 22151 62 0 0 25 0 1 0 141274925 100728832 18682 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 24592 18682 94 219 0 24369 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 98368 [startup+282.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1466624/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=101956 CPUtime=282.11 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 24866 0 0 0 28139 72 0 0 25 0 1 0 141274925 104402944 21422 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 25489 21422 94 219 0 25266 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 101956 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1457280/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=104276 CPUtime=342.08 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 27265 0 0 0 34126 82 0 0 25 0 1 0 141274925 106778624 23755 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 26069 23755 94 219 0 25846 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 104276 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1447616/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=172304 CPUtime=402.06 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 29811 0 0 0 40113 93 0 0 25 0 1 0 141274925 176439296 26136 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 43076 26136 94 219 0 42853 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 172304 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1443904/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=173496 CPUtime=462.03 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 30776 0 0 0 46103 100 0 0 25 0 1 0 141274925 177659904 27035 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 43374 27035 94 219 0 43151 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 173496 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1437184/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=175208 CPUtime=522.01 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 32724 0 0 0 52093 108 0 0 25 0 1 0 141274925 179412992 28787 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134590837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 43802 28787 94 219 0 43579 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 175208 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1428672/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=176624 CPUtime=582 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 34882 0 0 0 58084 116 0 0 25 0 1 0 141274925 180862976 30880 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 44156 30880 94 219 0 43933 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 176624 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1424064/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=190328 CPUtime=641.98 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 39248 0 0 0 64074 124 0 0 25 0 1 0 141274925 194895872 31977 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 47582 31977 94 219 0 47359 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 190328 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1414912/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=195660 CPUtime=821.9 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 42034 0 0 0 82048 142 0 0 25 0 1 0 141274925 200355840 34369 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 48915 34369 94 219 0 48692 0 Current children cumulated CPU time (s) 821.9 Current children cumulated vsize (KiB) 195660 [startup+882.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1413248/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=196308 CPUtime=881.88 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 42433 0 0 0 88039 149 0 0 25 0 1 0 141274925 201019392 34735 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549620 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 49077 34735 94 219 0 48854 0 Current children cumulated CPU time (s) 881.88 Current children cumulated vsize (KiB) 196308 [startup+942.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1411392/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=197872 CPUtime=941.86 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 42988 0 0 0 94032 154 0 0 25 0 1 0 141274925 202620928 35192 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547215 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 49468 35192 94 219 0 49245 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 197872 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1410240/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=198964 CPUtime=1001.84 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 43487 0 0 0 100024 160 0 0 25 0 1 0 141274925 203739136 35495 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134586003 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 49741 35495 94 219 0 49518 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 198964 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1405632/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=200200 CPUtime=1061.81 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 44765 0 0 0 106016 165 0 0 25 0 1 0 141274925 205004800 36675 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 50050 36675 94 219 0 49827 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 200200 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1401280/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=201852 CPUtime=1121.8 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 46051 0 0 0 112007 173 0 0 25 0 1 0 141274925 206696448 37700 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 50463 37700 94 219 0 50240 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 201852 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1399808/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=203028 CPUtime=1181.78 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 46536 0 0 0 117999 179 0 0 25 0 1 0 141274925 207900672 38087 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 50757 38087 94 219 0 50534 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 203028 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1395904/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=203484 CPUtime=1241.76 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 47515 0 0 0 123992 184 0 0 25 0 1 0 141274925 208367616 39066 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547154 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 50871 39066 94 219 0 50648 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 203484 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1392896/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=206188 CPUtime=1301.74 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 48520 0 0 0 129984 190 0 0 25 0 1 0 141274925 211136512 39778 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 51547 39778 94 219 0 51324 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 206188 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1391872/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=206832 CPUtime=1361.71 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 48899 0 0 0 135976 195 0 0 25 0 1 0 141274925 211795968 40059 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 51708 40059 94 219 0 51485 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 206832 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1390464/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=208648 CPUtime=1421.69 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 49366 0 0 0 141968 201 0 0 25 0 1 0 141274925 213655552 40396 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549626 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 52162 40396 94 219 0 51939 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 208648 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1388544/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=209876 CPUtime=1481.67 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 49891 0 0 0 147958 209 0 0 25 0 1 0 141274925 214913024 40855 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134585932 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 52469 40855 94 219 0 52246 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 209876 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1387008/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=211300 CPUtime=1541.64 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 50510 0 0 0 153950 214 0 0 25 0 1 0 141274925 216371200 41246 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 52825 41246 94 219 0 52602 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 211300 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1385792/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=211756 CPUtime=1601.62 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 50807 0 0 0 159942 220 0 0 25 0 1 0 141274925 216838144 41543 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549713 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 52939 41543 94 219 0 52716 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 211756 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1383808/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=213940 CPUtime=1661.6 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 51486 0 0 0 165935 225 0 0 25 0 1 0 141274925 219074560 42058 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 53485 42058 94 219 0 53262 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 213940 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1379840/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=216500 CPUtime=1721.58 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 52636 0 0 0 171926 232 0 0 25 0 1 0 141274925 221696000 43012 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 54125 43012 94 219 0 53902 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 216500 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1378752/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=217796 CPUtime=1781.56 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 52998 0 0 0 177919 237 0 0 25 0 1 0 141274925 223023104 43309 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134585932 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 54449 43309 94 219 0 54226 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 217796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 1.00 1.00 2/78 4675 /proc/meminfo: memFree=1378560/2055920 swapFree=4159408/4192956 [pid=4476] ppid=4474 vsize=217796 CPUtime=1800.05 /proc/4476/stat : 4476 (PBS4) R 4474 4476 2945 0 -1 4194304 53039 0 0 0 179767 238 0 0 25 0 1 0 141274925 223023104 43350 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 54449 43350 94 219 0 54226 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 217796 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.84 CPU time (s): 1800.09 CPU user time (s): 1797.68 CPU system time (s): 2.41463 CPU usage (%): 99.9587 Max. virtual memory (cumulated for all children) (KiB): 217796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.68 system time used= 2.41463 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53040 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= 36568 runsolver used 2.08168 second user time and 4.34734 second system time The end
Begin job on node13 on Wed Apr 18 21:59:31 UTC 2007 IDJOB= 359539 IDBENCH= 1300 IDSOLVER= 157 FILE ID= node13/359539-1176933571 PBS_JOBID= 4605663 Free space on /tmp= 66320 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.1900583053.opb COMMAND LINE= /tmp/evaluation/359539-1176933571/PBS4 /tmp/evaluation/359539-1176933571/instance-359539-1176933571.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node13/convwatcher-359539-1176933571 -o ROOT/results/node13/conversion-359539-1176933571 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/359539-1176933571/instance-359539-1176933571.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-359539-1176933571 -o ROOT/results/node13/solver-359539-1176933571 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/359539-1176933571/PBS4 /tmp/evaluation/359539-1176933571/instance-359539-1176933571.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= f6db72fa29ffa9d071020a030f71e7d0 RANDOM SEED= 83038733 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1552992 kB Buffers: 32240 kB Cached: 405264 kB SwapCached: 12520 kB Active: 145016 kB Inactive: 316276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1552992 kB SwapTotal: 4192956 kB SwapFree: 4159408 kB Dirty: 1236 kB Writeback: 0 kB Mapped: 30948 kB Slab: 27044 kB Committed_AS: 6601800 kB PageTables: 1876 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= 66320 MiB End job on node13 on Wed Apr 18 22:29:34 UTC 2007