Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.05 | 1800.73 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_2_40.opb |
MD5SUM | f3f7503aace115ec5eea1f9ed4e29626 |
Bench Category | SATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
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 | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2520 |
Sum of products size (including duplicates) | 5040 |
Number of different products | 1260 |
Sum of products size | 2520 |
0.00/0.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/456897-1178364321/instance-456897-1178364321.opb 0.00/0.01 c File size is 36296 bytes. 0.00/0.02 c Highest Coefficient sum: 200 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.015 s 0.00/0.02 c Var: 2720 Constr: 5343 2620/203/2520 Lit: 18340 Watch. Lit: 15563 0.00/0.02 c Obj. Vars: 0 (0 % of total variables) 0.99/1.02 c Pre-processing Time: 1.01 s 0.99/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.02 c 0 2720 5343 18340 3 15563 29105 0 0 1.01 0.99/1.02 c Switching off LPR mode. 1799.92/1800.68 c 106 2720 5449 33735 6 15775 32016 106 102 1.03 1799.92/1800.68 c 261 2720 5604 57400 10 16085 35218 261 243 1.07 1799.92/1800.68 c 513 2720 5856 94036 16 16589 38740 513 448 1.14 1799.92/1800.68 c 876 2720 6219 145222 23 17315 42615 876 694 1.26 1799.92/1800.68 c 1384 2720 6727 224294 33 18331 46877 1384 1008 1.37 1799.92/1800.68 c 2154 2720 7497 342551 45 19871 51565 2154 1324 1.63 1799.92/1800.68 c 3304 2720 8647 518788 59 22171 56722 3304 1598 2.07 1799.92/1800.68 c 5025 2720 10368 761553 73 25613 62395 5025 1590 3.16 1799.92/1800.68 c 7612 2720 12955 1138661 87 30787 68635 7612 1430 5.32 1799.92/1800.68 c 11492 2720 16835 1692320 100 38547 75499 11492 1283 8.96 1799.92/1800.68 c 17314 2720 22657 2340525 103 50191 83049 17314 1156 14.97 1799.92/1800.68 c 26051 2720 31394 3534306 112 67665 91354 26051 1190 21.89 1799.92/1800.68 c 39161 2720 44504 5442822 122 93885 100490 39161 963 40.65 1799.92/1800.68 c 58831 2720 64174 8311569 129 133225 110540 58831 719 81.74 1799.92/1800.68 c 88341 2720 93684 12697878 135 192245 121595 88341 537 164.49 1799.92/1800.68 c 132612 2720 26352 3198179 121 57581 133755 21009 283 468.34 1799.92/1800.68 c 199022 2720 92762 12997460 140 190401 147131 87419 266 747.51 1799.92/1800.68 c 298644 2720 55666 7132109 128 116209 161845 50323 167 1783.25 1799.92/1800.68 c Resources Exceeded 1799.92/1800.68 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.92/1800.68 c 18 305460 7121 330962 62482 7843272 57139 169 1800.00 1799.92/1800.68 s UNKNOWN 1799.92/1800.68 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-456897-1178364321 -o ROOT/results/node23/solver-456897-1178364321 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/456897-1178364321/instance-456897-1178364321.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.85 0.94 0.81 3/77 26508 /proc/meminfo: memFree=1467128/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=19544 CPUtime=0 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 301 0 3 0 0 0 0 0 18 0 1 0 284349224 20013056 273 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160527312 0 0 4096 0 0 0 0 17 1 0 0 /proc/26508/statm: 4886 278 248 324 0 3955 0 [startup+0.0388651 s] /proc/loadavg: 0.85 0.94 0.81 3/77 26508 /proc/meminfo: memFree=1467128/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=5304 CPUtime=0.02 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 740 0 3 0 2 0 0 0 18 0 1 0 284349224 5431296 703 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 1326 703 306 324 0 395 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5304 [startup+0.101876 s] /proc/loadavg: 0.85 0.94 0.81 3/77 26508 /proc/meminfo: memFree=1467128/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=5304 CPUtime=0.09 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 740 0 3 0 9 0 0 0 18 0 1 0 284349224 5431296 703 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 1326 703 306 324 0 395 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5304 [startup+0.301915 s] /proc/loadavg: 0.85 0.94 0.81 3/77 26508 /proc/meminfo: memFree=1467128/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=5304 CPUtime=0.28 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 741 0 3 0 28 0 0 0 19 0 1 0 284349224 5431296 704 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 1326 704 306 324 0 395 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5304 [startup+0.701991 s] /proc/loadavg: 0.85 0.94 0.81 3/77 26508 /proc/meminfo: memFree=1467128/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=5304 CPUtime=0.68 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 741 0 3 0 68 0 0 0 23 0 1 0 284349224 5431296 704 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 1326 704 306 324 0 395 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 5304 [startup+1.50115 s] /proc/loadavg: 0.85 0.94 0.81 2/78 26509 /proc/meminfo: memFree=1464560/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=9036 CPUtime=1.48 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 1730 0 3 0 147 1 0 0 25 0 1 0 284349224 9252864 1646 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 2259 1647 311 324 0 1328 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 9036 [startup+3.10146 s] /proc/loadavg: 0.85 0.94 0.81 2/78 26509 /proc/meminfo: memFree=1457776/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=15344 CPUtime=3.08 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 3289 0 3 0 306 2 0 0 25 0 1 0 284349224 15712256 3205 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 3836 3205 312 324 0 2905 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15344 [startup+6.30108 s] /proc/loadavg: 0.86 0.94 0.81 2/78 26509 /proc/meminfo: memFree=1449392/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=22440 CPUtime=6.29 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 5074 0 3 0 624 5 0 0 25 0 1 0 284349224 22978560 4990 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 5610 4990 312 324 0 4679 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22440 [startup+12.7013 s] /proc/loadavg: 0.87 0.94 0.81 2/78 26509 /proc/meminfo: memFree=1436336/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=34572 CPUtime=12.68 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 8120 0 3 0 1261 7 0 0 25 0 1 0 284349224 35401728 8036 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 8643 8036 312 324 0 7712 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34572 [startup+25.5018 s] /proc/loadavg: 0.90 0.94 0.82 2/78 26509 /proc/meminfo: memFree=1410928/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=59732 CPUtime=25.48 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 14401 0 3 0 2533 15 0 0 25 0 1 0 284349224 61165568 14317 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 14933 14317 312 324 0 14002 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59732 [startup+51.1018 s] /proc/loadavg: 1.01 0.96 0.82 2/78 26509 /proc/meminfo: memFree=1377456/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=93228 CPUtime=51.07 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 22765 0 3 0 5082 25 0 0 25 0 1 0 284349224 95465472 22681 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 23307 22681 312 324 0 22376 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 93228 [startup+102.306 s] /proc/loadavg: 1.08 0.98 0.83 2/78 26509 /proc/meminfo: memFree=1332720/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=137464 CPUtime=102.25 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 33827 0 3 0 10184 41 0 0 25 0 1 0 284349224 140763136 33743 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 34366 33743 312 324 0 33435 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 137464 [startup+162.301 s] /proc/loadavg: 1.10 1.00 0.85 2/78 26509 /proc/meminfo: memFree=1294768/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=175524 CPUtime=162.23 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 43348 0 3 0 16167 56 0 0 25 0 1 0 284349224 179736576 43264 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 43881 43264 312 324 0 42950 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 175524 [startup+222.302 s] /proc/loadavg: 1.10 1.02 0.86 2/78 26509 /proc/meminfo: memFree=1259440/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=210548 CPUtime=222.21 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 52094 0 3 0 22152 69 0 0 25 0 1 0 284349224 215601152 52010 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 52637 52010 312 324 0 51706 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 210548 [startup+282.302 s] /proc/loadavg: 1.04 1.01 0.86 2/78 26509 /proc/meminfo: memFree=1233648/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=236544 CPUtime=282.18 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 58613 0 3 0 28139 79 0 0 25 0 1 0 284349224 242221056 58529 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 59136 58529 312 324 0 58205 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 236544 [startup+342.301 s] /proc/loadavg: 1.10 1.03 0.88 2/78 26509 /proc/meminfo: memFree=1220080/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=249552 CPUtime=342.16 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 61967 0 3 0 34132 84 0 0 25 0 1 0 284349224 255541248 61761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 62388 61761 312 324 0 61457 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 249552 [startup+402.302 s] /proc/loadavg: 1.09 1.04 0.89 2/78 26509 /proc/meminfo: memFree=1220080/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=249552 CPUtime=402.14 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 61967 0 3 0 40130 84 0 0 25 0 1 0 284349224 255541248 61761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 62388 61761 312 324 0 61457 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 249552 [startup+462.301 s] /proc/loadavg: 1.03 1.03 0.90 2/78 26509 /proc/meminfo: memFree=1220080/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=249552 CPUtime=462.11 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 61967 0 3 0 46126 85 0 0 25 0 1 0 284349224 255541248 61761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 62388 61761 312 324 0 61457 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 249552 [startup+522.301 s] /proc/loadavg: 1.01 1.02 0.90 2/78 26509 /proc/meminfo: memFree=1220080/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=249552 CPUtime=522.09 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 61967 0 3 0 52117 92 0 0 25 0 1 0 284349224 255541248 61761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 62388 61761 312 324 0 61457 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 249552 [startup+582.302 s] /proc/loadavg: 1.00 1.02 0.91 2/78 26509 /proc/meminfo: memFree=1220144/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=249552 CPUtime=582.06 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 61967 0 3 0 58109 97 0 0 25 0 1 0 284349224 255541248 61761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 62388 61761 312 324 0 61457 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 249552 [startup+642.301 s] /proc/loadavg: 1.00 1.01 0.91 2/78 26509 /proc/meminfo: memFree=1220144/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=249552 CPUtime=642.05 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 61967 0 3 0 64104 101 0 0 25 0 1 0 284349224 255541248 61761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 62388 61761 312 324 0 61457 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 249552 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26509 /proc/meminfo: memFree=1220208/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=249552 CPUtime=881.96 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 61967 0 3 0 88083 113 0 0 25 0 1 0 284349224 255541248 61761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 62388 61761 312 324 0 61457 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 249552 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26509 /proc/meminfo: memFree=1220144/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=249552 CPUtime=941.93 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 61967 0 3 0 94077 116 0 0 25 0 1 0 284349224 255541248 61761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 62388 61761 312 324 0 61457 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 249552 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26511 /proc/meminfo: memFree=1219504/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=250196 CPUtime=1001.91 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 62136 0 3 0 100072 119 0 0 25 0 1 0 284349224 256200704 61930 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 62549 61930 312 324 0 61618 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 250196 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26511 /proc/meminfo: memFree=1205232/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=264628 CPUtime=1061.88 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 65751 0 3 0 106062 126 0 0 25 0 1 0 284349224 270979072 65545 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 66157 65545 312 324 0 65226 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 264628 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26511 /proc/meminfo: memFree=1194096/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=275612 CPUtime=1121.86 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 68491 0 3 0 112055 131 0 0 25 0 1 0 284349224 282226688 68285 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 68903 68285 312 324 0 67972 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 275612 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26511 /proc/meminfo: memFree=1180080/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=289936 CPUtime=1181.84 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 72052 0 3 0 118045 139 0 0 25 0 1 0 284349224 296894464 71846 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 72484 71846 312 324 0 71553 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 289936 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26511 /proc/meminfo: memFree=1167920/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=301540 CPUtime=1241.83 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 75100 0 3 0 124038 145 0 0 25 0 1 0 284349224 308776960 74747 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 75385 74747 312 324 0 74454 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 301540 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26511 /proc/meminfo: memFree=1167920/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=301540 CPUtime=1301.8 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 75100 0 3 0 130035 145 0 0 25 0 1 0 284349224 308776960 74747 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 75385 74747 312 324 0 74454 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 301540 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26511 /proc/meminfo: memFree=1167920/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=301540 CPUtime=1361.77 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 75100 0 3 0 136032 145 0 0 25 0 1 0 284349224 308776960 74747 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 75385 74747 312 324 0 74454 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 301540 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26511 /proc/meminfo: memFree=1167920/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=301540 CPUtime=1421.76 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 75100 0 3 0 142030 146 0 0 25 0 1 0 284349224 308776960 74747 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 75385 74747 312 324 0 74454 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 301540 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26511 /proc/meminfo: memFree=1167984/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=301540 CPUtime=1481.73 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 75100 0 3 0 148027 146 0 0 25 0 1 0 284349224 308776960 74747 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 75385 74747 312 324 0 74454 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 301540 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26511 /proc/meminfo: memFree=1167984/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=301540 CPUtime=1541.71 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 75100 0 3 0 154024 147 0 0 25 0 1 0 284349224 308776960 74747 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 75385 74747 312 324 0 74454 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 301540 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26511 /proc/meminfo: memFree=1167984/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=301540 CPUtime=1601.68 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 75100 0 3 0 160021 147 0 0 25 0 1 0 284349224 308776960 74747 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 75385 74747 312 324 0 74454 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 301540 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26511 /proc/meminfo: memFree=1168048/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=301540 CPUtime=1661.67 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 75100 0 3 0 166019 148 0 0 25 0 1 0 284349224 308776960 74747 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 75385 74747 312 324 0 74454 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 301540 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26511 /proc/meminfo: memFree=1168048/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=301540 CPUtime=1721.64 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 75100 0 3 0 172016 148 0 0 25 0 1 0 284349224 308776960 74747 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 75385 74747 312 324 0 74454 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 301540 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26511 /proc/meminfo: memFree=1168048/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=301540 CPUtime=1781.62 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194304 75100 0 3 0 178006 156 0 0 25 0 1 0 284349224 308776960 74747 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 75385 74747 312 324 0 74454 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 301540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26511 /proc/meminfo: memFree=1322160/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=0 CPUtime=1800.02 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194308 75101 0 3 0 179842 160 0 0 25 0 1 0 284349224 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.91 2/78 26511 /proc/meminfo: memFree=1322160/2055920 swapFree=4169180/4192956 [pid=26508] ppid=26506 vsize=0 CPUtime=1800.02 /proc/26508/stat : 26508 (bsolo3.0.16) R 26506 26508 26120 0 -1 4194308 75101 0 3 0 179842 160 0 0 25 0 1 0 284349224 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26508/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.05 CPU user time (s): 1798.42 CPU system time (s): 1.62775 CPU usage (%): 99.9623 Max. virtual memory (cumulated for all children) (KiB): 302128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.42 system time used= 1.62775 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75101 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 19883 runsolver used 1.39079 second user time and 3.9344 second system time The end
Begin job on node23 on Sat May 5 11:25:21 UTC 2007 IDJOB= 456897 IDBENCH= 48305 IDSOLVER= 163 FILE ID= node23/456897-1178364321 PBS_JOBID= 5189202 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_2_40.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/456897-1178364321/instance-456897-1178364321.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-456897-1178364321 -o ROOT/results/node23/solver-456897-1178364321 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/456897-1178364321/instance-456897-1178364321.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= f3f7503aace115ec5eea1f9ed4e29626 RANDOM SEED= 87714473 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node23.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.276 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.276 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: 1467536 kB Buffers: 40636 kB Cached: 423660 kB SwapCached: 2796 kB Active: 169184 kB Inactive: 318716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1467536 kB SwapTotal: 4192956 kB SwapFree: 4169180 kB Dirty: 6820 kB Writeback: 0 kB Mapped: 31024 kB Slab: 86012 kB Committed_AS: 5144676 kB PageTables: 1800 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= 66558 MiB End job on node23 on Sat May 5 11:55:24 UTC 2007