Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.16 | UNSAT | 1555.83 | 1556.3 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb |
MD5SUM | 490d573a1d39845890b306c349815f34 |
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 | 31.3106 |
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 | 749 |
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/359839-1176944207/instance-359839-1176944207.opb 0.00/0.00 c File size is 83383 bytes. 0.00/0.02 c Highest Coefficient sum: 749 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.016 s 0.00/0.02 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5711 0.00/0.02 c Obj. Vars: 0 (0 % of total variables) 0.00/0.03 c Pre-processing Time: 0.027 s 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 231 2586 8096 3 5473 1880 0 0 0.03 0.00/0.03 c Switching off LPR mode. 1555.73/1556.29 c 105 231 2691 13579 5 5686 2069 105 2692 0.04 1555.73/1556.29 c 255 231 2841 20818 7 5986 2276 255 4636 0.06 1555.73/1556.29 c 484 231 3070 31177 10 6444 2504 484 5831 0.08 1555.73/1556.29 c 823 231 3409 48573 14 7123 2755 823 6187 0.13 1555.73/1556.29 c 1331 231 3917 70360 17 8139 3031 1331 6050 0.22 1555.73/1556.29 c 2094 231 4680 103321 22 9663 3335 2094 5525 0.38 1555.73/1556.29 c 3243 231 5829 158561 27 11963 3669 3243 4574 0.71 1555.73/1556.29 c 4967 231 5633 149941 26 11571 4036 3047 4149 1.20 1555.73/1556.29 c 7552 231 6114 169676 27 12533 4440 3528 3847 1.96 1555.73/1556.29 c 11433 231 5386 143998 26 11077 4885 2800 3445 3.32 1555.73/1556.29 c 17257 231 6124 143530 23 12551 5374 3538 3322 5.19 1555.73/1556.29 c 25994 231 6457 163187 25 13217 5912 3871 3353 7.75 1555.73/1556.29 c 39104 231 7310 199694 27 14925 6504 4724 3180 12.29 1555.73/1556.29 c 58778 231 6886 178479 25 14076 7155 4300 3019 19.47 1555.73/1556.29 c 88288 231 6875 171461 24 14053 7871 4289 2885 30.59 1555.73/1556.29 c 132558 231 6647 157220 23 13598 8659 4061 2741 48.35 1555.73/1556.29 c 198968 231 10991 343348 31 22287 9525 8405 2481 80.17 1555.73/1556.29 c 298589 231 8484 219409 25 17272 10478 5898 2306 129.43 1555.73/1556.29 c 448026 231 8397 233971 27 17099 11526 5811 2079 215.50 1555.73/1556.29 c 672186 231 9475 279826 29 19255 12679 6889 1887 356.11 1555.73/1556.29 c 1008430 231 10645 318710 29 21595 13947 8059 1724 584.77 1555.73/1556.29 c 1512801 231 12264 387716 31 24833 15342 9678 1552 974.47 1555.73/1556.29 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1555.73/1556.29 c 22 2144687 439016 2965650 14025 430734 11439 1378 1555.83 1555.73/1556.29 s UNSATISFIABLE 1555.73/1556.29 c Total time: 1555.83 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-359839-1176944207 -o ROOT/results/node43/solver-359839-1176944207 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/359839-1176944207/instance-359839-1176944207.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.98 0.98 0.99 3/77 1376 /proc/meminfo: memFree=1350376/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=4008 CPUtime=0 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 142332531 4104192 337 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 1002 337 282 324 0 50 0 [startup+0.081606 s] /proc/loadavg: 0.98 0.98 0.99 3/77 1376 /proc/meminfo: memFree=1350376/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=4720 CPUtime=0.07 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 609 0 0 0 7 0 0 0 18 0 1 0 142332531 4833280 556 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 1180 556 310 324 0 249 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4720 [startup+0.101606 s] /proc/loadavg: 0.98 0.98 0.99 3/77 1376 /proc/meminfo: memFree=1350376/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=4848 CPUtime=0.09 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 634 0 0 0 9 0 0 0 18 0 1 0 142332531 4964352 581 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 1212 581 310 324 0 281 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4848 [startup+0.301624 s] /proc/loadavg: 0.98 0.98 0.99 3/77 1376 /proc/meminfo: memFree=1350376/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=5624 CPUtime=0.29 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 828 0 0 0 29 0 0 0 19 0 1 0 142332531 5758976 775 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 1406 775 311 324 0 475 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5624 [startup+0.701659 s] /proc/loadavg: 0.98 0.98 0.99 3/77 1376 /proc/meminfo: memFree=1350376/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=6668 CPUtime=0.69 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 1095 0 0 0 68 1 0 0 23 0 1 0 142332531 6828032 1042 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 1667 1042 311 324 0 736 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6668 [startup+1.50173 s] /proc/loadavg: 0.98 0.98 0.99 2/78 1377 /proc/meminfo: memFree=1346976/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=7200 CPUtime=1.49 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 1230 0 0 0 148 1 0 0 25 0 1 0 142332531 7372800 1177 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 1800 1177 311 324 0 869 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7200 [startup+3.10187 s] /proc/loadavg: 0.98 0.98 0.99 2/78 1377 /proc/meminfo: memFree=1346400/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=7720 CPUtime=3.09 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 1374 0 0 0 307 2 0 0 25 0 1 0 142332531 7905280 1321 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 1930 1321 311 324 0 999 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7720 [startup+6.30115 s] /proc/loadavg: 0.98 0.98 0.99 2/78 1377 /proc/meminfo: memFree=1345696/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=8100 CPUtime=6.29 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 1444 0 0 0 625 4 0 0 25 0 1 0 142332531 8294400 1391 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551955 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 2025 1391 311 324 0 1094 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8100 [startup+12.7017 s] /proc/loadavg: 0.98 0.98 0.99 2/78 1377 /proc/meminfo: memFree=1345512/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=8232 CPUtime=12.69 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 1493 0 0 0 1263 6 0 0 25 0 1 0 142332531 8429568 1440 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 2058 1440 311 324 0 1127 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8232 [startup+25.5018 s] /proc/loadavg: 0.98 0.98 0.99 2/78 1377 /proc/meminfo: memFree=1344360/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=9536 CPUtime=25.48 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 1810 0 0 0 2539 9 0 0 25 0 1 0 142332531 9764864 1757 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 2384 1757 311 324 0 1453 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9536 [startup+51.101 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1377 /proc/meminfo: memFree=1344232/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=9804 CPUtime=51.07 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 1892 0 0 0 5092 15 0 0 25 0 1 0 142332531 10039296 1839 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 2451 1839 311 324 0 1520 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9804 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1377 /proc/meminfo: memFree=1343400/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=10548 CPUtime=102.27 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 2060 0 0 0 10199 28 0 0 25 0 1 0 142332531 10801152 2007 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 2637 2007 311 324 0 1706 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 10548 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1377 /proc/meminfo: memFree=1342696/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=11156 CPUtime=162.25 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 2230 0 0 0 16184 41 0 0 25 0 1 0 142332531 11423744 2177 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134559036 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 2789 2177 311 324 0 1858 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 11156 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1377 /proc/meminfo: memFree=1342184/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=11804 CPUtime=222.24 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 2377 0 0 0 22172 52 0 0 25 0 1 0 142332531 12087296 2324 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 2951 2324 311 324 0 2020 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 11804 [startup+282.301 s] /proc/loadavg: 1.05 1.00 0.99 2/84 1533 /proc/meminfo: memFree=1340720/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=11932 CPUtime=282.16 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 2422 0 0 0 28153 63 0 0 25 0 1 0 142332531 12218368 2369 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 2983 2369 311 324 0 2052 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 11932 [startup+342.301 s] /proc/loadavg: 1.02 1.00 0.99 2/78 1575 /proc/meminfo: memFree=1341672/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=11932 CPUtime=342.12 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 2422 0 0 0 34139 73 0 0 25 0 1 0 142332531 12218368 2369 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 2983 2369 311 324 0 2052 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 11932 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 1575 /proc/meminfo: memFree=1340456/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=13448 CPUtime=402.1 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 2789 0 0 0 40127 83 0 0 25 0 1 0 142332531 13770752 2736 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3362 2736 311 324 0 2431 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 13448 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 1575 /proc/meminfo: memFree=1340520/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=13444 CPUtime=462.09 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 2789 0 0 0 46115 94 0 0 25 0 1 0 142332531 13766656 2736 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5161112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3361 2736 311 324 0 2430 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 13444 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 1575 /proc/meminfo: memFree=1340520/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=13436 CPUtime=522.07 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 2789 0 0 0 52102 105 0 0 25 0 1 0 142332531 13758464 2736 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5173020 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3359 2736 311 324 0 2428 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 13436 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 1575 /proc/meminfo: memFree=1340584/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=13432 CPUtime=582.06 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 2789 0 0 0 58088 118 0 0 25 0 1 0 142332531 13754368 2736 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3358 2736 311 324 0 2427 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 13432 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 1575 /proc/meminfo: memFree=1340008/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=13980 CPUtime=642.05 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 2923 0 0 0 64076 129 0 0 25 0 1 0 142332531 14315520 2870 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3495 2870 311 324 0 2564 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 13980 ################ # More data... # ################ /proc/meminfo: memFree=1340200/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=13968 CPUtime=881.99 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 2923 0 0 0 88030 169 0 0 25 0 1 0 142332531 14303232 2870 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3492 2870 311 324 0 2561 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 13968 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 1575 /proc/meminfo: memFree=1340200/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=13968 CPUtime=941.98 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 2923 0 0 0 94019 179 0 0 25 0 1 0 142332531 14303232 2870 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3492 2870 311 324 0 2561 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 13968 [startup+1002.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 1575 /proc/meminfo: memFree=1338984/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1001.96 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 100008 188 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 15160 [startup+1062.3 s] /proc/loadavg: 1.09 1.03 1.00 2/78 1575 /proc/meminfo: memFree=1339048/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1061.94 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 105996 198 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 15160 [startup+1122.3 s] /proc/loadavg: 1.09 1.04 1.00 2/78 1575 /proc/meminfo: memFree=1339112/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1121.93 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 111987 206 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 15160 [startup+1182.3 s] /proc/loadavg: 1.03 1.03 1.00 2/78 1575 /proc/meminfo: memFree=1339112/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1181.92 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 117977 215 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 15160 [startup+1242.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 1575 /proc/meminfo: memFree=1339112/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1241.9 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 123967 223 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 15160 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 1575 /proc/meminfo: memFree=1339048/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1301.89 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 129957 232 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 15160 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 1575 /proc/meminfo: memFree=1339048/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1361.88 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 135946 242 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 15160 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1575 /proc/meminfo: memFree=1339112/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1421.86 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 141934 252 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 15160 [startup+1482.3 s] /proc/loadavg: 1.06 1.01 1.00 2/78 1575 /proc/meminfo: memFree=1339112/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1481.85 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 147921 264 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 15160 [startup+1542.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 1575 /proc/meminfo: memFree=1339176/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1541.83 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 153910 273 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 15160 Solver just ended. Dumping a history of the last processes samples [startup+1548.7 s] /proc/loadavg: 1.02 1.01 1.00 2/78 1575 /proc/meminfo: memFree=1339176/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1548.24 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 154550 274 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1548.24 Current children cumulated vsize (KiB) 15160 [startup+1551.9 s] /proc/loadavg: 1.02 1.01 1.00 2/78 1575 /proc/meminfo: memFree=1339240/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1551.43 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 154868 275 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1551.43 Current children cumulated vsize (KiB) 15160 [startup+1553.5 s] /proc/loadavg: 1.01 1.01 1.00 2/78 1575 /proc/meminfo: memFree=1339240/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1553.03 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 155028 275 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1553.03 Current children cumulated vsize (KiB) 15160 [startup+1555.1 s] /proc/loadavg: 1.01 1.01 1.00 2/78 1575 /proc/meminfo: memFree=1339240/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1554.63 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 155188 275 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1554.63 Current children cumulated vsize (KiB) 15160 [startup+1555.9 s] /proc/loadavg: 1.01 1.01 1.00 2/78 1575 /proc/meminfo: memFree=1339240/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1555.43 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 155268 275 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1555.43 Current children cumulated vsize (KiB) 15160 [startup+1556.1 s] /proc/loadavg: 1.01 1.01 1.00 2/78 1575 /proc/meminfo: memFree=1339240/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1555.63 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 155288 275 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1555.63 Current children cumulated vsize (KiB) 15160 [startup+1556.2 s] /proc/loadavg: 1.01 1.01 1.00 2/78 1575 /proc/meminfo: memFree=1339240/2055920 swapFree=4184648/4192956 [pid=1376] ppid=1374 vsize=15160 CPUtime=1555.73 /proc/1376/stat : 1376 (bsolo3.0.16) R 1374 1376 476 0 -1 4194304 3233 0 0 0 155298 275 0 0 25 0 1 0 142332531 15523840 3180 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1376/statm: 3790 3180 311 324 0 2859 0 Current children cumulated CPU time (s) 1555.73 Current children cumulated vsize (KiB) 15160 Child status: 0 Real time (s): 1556.3 CPU time (s): 1555.83 CPU user time (s): 1553.08 CPU system time (s): 2.75758 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 15160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1553.08 system time used= 2.75758 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3234 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= 12 involuntary context switches= 21932 runsolver used 1.85172 second user time and 3.57146 second system time The end
Begin job on node43 on Thu Apr 19 00:56:47 UTC 2007 IDJOB= 359839 IDBENCH= 1324 IDSOLVER= 163 FILE ID= node43/359839-1176944207 PBS_JOBID= 4605720 Free space on /tmp= 66430 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/359839-1176944207/instance-359839-1176944207.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-359839-1176944207 -o ROOT/results/node43/solver-359839-1176944207 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/359839-1176944207/instance-359839-1176944207.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 490d573a1d39845890b306c349815f34 RANDOM SEED= 997573580 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.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.218 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.218 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: 1350848 kB Buffers: 52220 kB Cached: 459312 kB SwapCached: 2072 kB Active: 195720 kB Inactive: 438564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1350848 kB SwapTotal: 4192956 kB SwapFree: 4184648 kB Dirty: 4488 kB Writeback: 0 kB Mapped: 138500 kB Slab: 56276 kB Committed_AS: 1736624 kB PageTables: 1900 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= 66430 MiB End job on node43 on Thu Apr 19 01:22:44 UTC 2007