Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (MO) | 1335.05 | 1335.4 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb |
MD5SUM | c00448b3bb1fb54d1d5ecdb2bc9f967d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
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 | 8.05977 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 654121 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262143 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 654121 |
Number of bits of the biggest sum of numbers | 20 |
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/362365-1177011349/instance-362365-1177011349.opb 0.00/0.00 c File size is 6713943 bytes. 1.39/1.45 c Highest Coefficient sum: 654121 1.39/1.45 c Parsing was ok!! 1.39/1.45 c Total parsing time: 1.454 s 1.49/1.57 c Var: 155000 Constr: 5300 38/0/5262 Lit: 755000 Watch. Lit: 455300 1.49/1.57 c Obj. Vars: 155000 (100 % of total variables) 181.64/181.73 c Pre-processing Time: 181.682 s 181.64/181.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.64/181.73 c 0 94169 5300 755000 142 455421 500000 0 0 181.68 181.64/181.73 c Switching off LPR mode. 1334.75/1335.10 c 100 94169 5400 943100 174 455730 550001 100 0 182.22 1334.75/1335.10 c 250 94169 5550 1268788 228 456054 605002 250 1 184.91 1334.75/1335.10 c 475 94169 5775 1754648 303 456520 665503 475 2 186.56 1334.75/1335.10 c 814 94169 6114 2739310 448 457203 732054 814 4 188.20 1334.75/1335.10 c 1323 94169 6623 4559629 688 458227 805260 1323 6 191.05 1334.75/1335.10 c 2086 94169 7386 6008097 813 459957 885787 2086 10 197.11 1334.75/1335.10 c 3238 94169 8538 8268535 968 462679 974366 3238 16 202.10 1334.75/1335.10 c 4960 94169 10260 10171471 991 466043 500000 4960 23 207.59 1334.75/1335.10 c 7546 94169 12846 13978825 1088 471451 550001 7546 34 216.04 1334.75/1335.10 c 11425 94169 16725 19094042 1141 479281 605002 11425 48 235.52 1334.75/1335.10 c 17248 94169 22548 25722803 1140 490706 665503 17248 65 263.96 1334.75/1335.10 c 25985 94169 31285 34359904 1098 508050 732054 25985 75 342.13 1334.75/1335.10 c 39098 94169 44398 47667424 1073 534340 805260 39098 42 916.16 1334.75/1335.10 c 58772 94169 64072 67145880 1047 573632 885787 58772 57 1026.86 1334.75/1335.10 c 88293 94169 93593 97702680 1043 632996 974366 88293 75 1174.93 1334.75/1335.10 c Caught signal: 15 1334.75/1335.10 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1334.75/1335.10 c 15 124620 10852 10895949 129920 140959093 124620 93 1334.76 1334.75/1335.10 s UNKNOWN 1334.75/1335.10 c Total time: 1334.76 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-362365-1177011349 -o ROOT/results/node2/solver-362365-1177011349 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362365-1177011349/instance-362365-1177011349.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.92 0.98 0.99 3/77 31238 /proc/meminfo: memFree=1825704/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=18296 CPUtime=0 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 177172720 18735104 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 4574 336 281 324 0 2003 0 [startup+0.013124 s] /proc/loadavg: 0.92 0.98 0.99 3/77 31238 /proc/meminfo: memFree=1825704/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=18584 CPUtime=0 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 448 0 0 0 0 0 0 0 18 0 1 0 177172720 19030016 416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 4646 416 293 324 0 2075 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 18584 [startup+0.102134 s] /proc/loadavg: 0.92 0.98 0.99 3/77 31238 /proc/meminfo: memFree=1825704/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=22084 CPUtime=0.09 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 1504 0 0 0 9 0 0 0 18 0 1 0 177172720 22614016 1353 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134538905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 5521 1353 404 324 0 2950 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22084 [startup+0.302154 s] /proc/loadavg: 0.92 0.98 0.99 3/77 31238 /proc/meminfo: memFree=1825704/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=28004 CPUtime=0.29 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 3540 0 0 0 28 1 0 0 19 0 1 0 177172720 28676096 3086 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 7001 3086 636 324 0 4430 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28004 [startup+0.701196 s] /proc/loadavg: 0.92 0.98 0.99 3/77 31238 /proc/meminfo: memFree=1825704/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=35560 CPUtime=0.69 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 5889 0 0 0 68 1 0 0 22 0 1 0 177172720 36413440 5435 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 8890 5435 1064 324 0 6319 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35560 [startup+1.50128 s] /proc/loadavg: 0.92 0.98 0.99 2/78 31239 /proc/meminfo: memFree=1805216/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=39524 CPUtime=1.49 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 11027 0 0 0 146 3 0 0 25 0 1 0 177172720 40472576 8933 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 9881 8934 301 324 0 8950 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39524 [startup+3.10145 s] /proc/loadavg: 0.92 0.98 0.99 2/78 31239 /proc/meminfo: memFree=1780384/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=49972 CPUtime=3.09 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 13658 0 0 0 304 5 0 0 25 0 1 0 177172720 51171328 11564 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 12493 11564 305 324 0 11562 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49972 [startup+6.30178 s] /proc/loadavg: 0.93 0.98 0.99 2/78 31239 /proc/meminfo: memFree=1780000/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=49972 CPUtime=6.29 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 13658 0 0 0 623 6 0 0 25 0 1 0 177172720 51171328 11564 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 12493 11564 305 324 0 11562 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49972 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 31239 /proc/meminfo: memFree=1780192/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=49972 CPUtime=12.69 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 13658 0 0 0 1260 9 0 0 25 0 1 0 177172720 51171328 11564 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 12493 11564 305 324 0 11562 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49972 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.99 2/78 31239 /proc/meminfo: memFree=1773600/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=56852 CPUtime=25.48 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 16886 0 0 0 2532 16 0 0 25 0 1 0 177172720 58216448 13277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 14213 13277 307 324 0 13282 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 56852 [startup+51.1015 s] /proc/loadavg: 1.03 1.00 1.00 2/78 31239 /proc/meminfo: memFree=1773664/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=56852 CPUtime=51.08 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 16886 0 0 0 5091 17 0 0 25 0 1 0 177172720 58216448 13277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540853 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 14213 13277 307 324 0 13282 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 56852 [startup+102.306 s] /proc/loadavg: 1.01 1.00 1.00 2/78 31239 /proc/meminfo: memFree=1773728/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=56852 CPUtime=102.27 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 16886 0 0 0 10210 17 0 0 25 0 1 0 177172720 58216448 13277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 14213 13277 307 324 0 13282 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 56852 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=1773664/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=56852 CPUtime=162.25 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 16886 0 0 0 16207 18 0 0 25 0 1 0 177172720 58216448 13277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540853 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 14213 13277 307 324 0 13282 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 56852 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=1602848/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=227040 CPUtime=222.23 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 61207 0 0 0 21893 330 0 0 25 0 1 0 177172720 232488960 55956 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 56760 55956 311 324 0 55829 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 227040 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=1417248/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=412996 CPUtime=282.21 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 107687 0 0 0 27797 424 0 0 25 0 1 0 177172720 422907904 102436 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 103249 102436 311 324 0 102318 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 412996 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=1350816/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=478448 CPUtime=342.21 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 124062 0 0 0 33787 434 0 0 25 0 1 0 177172720 489930752 118811 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 119612 118811 311 324 0 118681 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 478448 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=1298336/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=530660 CPUtime=402.19 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 137112 0 0 0 39752 467 0 0 25 0 1 0 177172720 543395840 131861 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 132665 131861 311 324 0 131734 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 530660 [startup+462.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=1289568/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=539508 CPUtime=462.17 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 139299 0 0 0 45749 468 0 0 25 0 1 0 177172720 552456192 134048 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 134877 134048 311 324 0 133946 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 539508 [startup+522.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=1281888/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=547092 CPUtime=522.15 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 141198 0 0 0 51746 469 0 0 25 0 1 0 177172720 560222208 135947 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 136773 135947 311 324 0 135842 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 547092 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=1274144/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=554800 CPUtime=582.14 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 143141 0 0 0 57743 471 0 0 25 0 1 0 177172720 568115200 137890 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 138700 137890 311 324 0 137769 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 554800 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=1267168/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=561728 CPUtime=642.13 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 144857 0 0 0 63741 472 0 0 25 0 1 0 177172720 575209472 139606 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 140432 139606 311 324 0 139501 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 561728 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=1260000/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=568920 CPUtime=702.11 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 146655 0 0 0 69737 474 0 0 25 0 1 0 177172720 582574080 141404 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 142230 141404 311 324 0 141299 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 568920 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=1253600/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=575236 CPUtime=762.1 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 148230 0 0 0 75735 475 0 0 25 0 1 0 177172720 589041664 142979 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 143809 142979 311 324 0 142878 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 575236 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=1246496/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=582308 CPUtime=822.08 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 150015 0 0 0 81731 477 0 0 25 0 1 0 177172720 596283392 144764 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 145577 144764 311 324 0 144646 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 582308 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=1218400/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=610328 CPUtime=882.06 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 157010 0 0 0 87712 494 0 0 25 0 1 0 177172720 624975872 151759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 152582 151759 311 324 0 151651 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 610328 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 3/78 31239 /proc/meminfo: memFree=1096672/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=734072 CPUtime=942.04 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 187951 0 0 0 93629 575 0 0 25 0 1 0 177172720 751689728 182700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 183518 182700 311 324 0 182587 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 734072 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=965856/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=862492 CPUtime=1002.04 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 220064 0 0 0 99608 596 0 0 25 0 1 0 177172720 883191808 214813 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 215623 214813 311 324 0 214692 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 862492 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=857696/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=970572 CPUtime=1062.02 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 247081 0 0 0 105545 657 0 0 25 0 1 0 177172720 993865728 241830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 242643 241830 311 324 0 241712 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 970572 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=750944/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=1076868 CPUtime=1122 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 273645 0 0 0 111488 712 0 0 25 0 1 0 177172720 1102712832 268394 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10969238 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 269217 268394 311 324 0 268286 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1076868 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=513760/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=1317460 CPUtime=1181.98 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 333789 0 0 0 117414 784 0 0 25 0 1 0 177172720 1349079040 328538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 329365 328538 311 324 0 328434 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1317460 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=186848/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=1640940 CPUtime=1241.97 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 414688 0 0 0 123366 831 0 0 25 0 1 0 177172720 1680322560 409437 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 410235 409437 311 324 0 409304 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1640940 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31239 /proc/meminfo: memFree=69664/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=1756448 CPUtime=1301.96 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 443539 0 0 0 129348 848 0 0 25 0 1 0 177172720 1798602752 438288 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 439112 438288 311 324 0 438181 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1756448 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1335.1 s] /proc/loadavg: 1.08 1.02 1.01 2/78 31239 /proc/meminfo: memFree=16288/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=1843408 CPUtime=1334.75 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 465296 0 0 0 132610 865 0 0 25 0 1 0 177172720 1887649792 460045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 460852 460045 311 324 0 459921 0 Current children cumulated CPU time (s) 1334.75 Current children cumulated vsize (KiB) 1843408 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1335.21 s] /proc/loadavg: 1.08 1.02 1.01 2/78 31239 /proc/meminfo: memFree=16288/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=0 CPUtime=1334.85 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194308 465297 0 0 0 132610 875 0 0 25 0 1 0 177172720 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1334.85 Current children cumulated vsize (KiB) 0 [startup+1335.3 s] /proc/loadavg: 1.08 1.02 1.01 2/79 31240 /proc/meminfo: memFree=1240504/2055920 swapFree=4149072/4192956 [pid=31238] ppid=31236 vsize=0 CPUtime=1334.95 /proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194308 465297 0 0 0 132610 885 0 0 25 0 1 0 177172720 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/31238/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1334.95 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1335.4 CPU time (s): 1335.05 CPU user time (s): 1326.11 CPU system time (s): 8.94864 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 1843408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1326.11 system time used= 8.94864 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 465297 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= 1141 runsolver used 1.59976 second user time and 3.16352 second system time The end
Begin job on node2 on Thu Apr 19 19:35:49 UTC 2007 IDJOB= 362365 IDBENCH= 1554 IDSOLVER= 163 FILE ID= node2/362365-1177011349 PBS_JOBID= 4630513 Free space on /tmp= 66391 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362365-1177011349/instance-362365-1177011349.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-362365-1177011349 -o ROOT/results/node2/solver-362365-1177011349 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362365-1177011349/instance-362365-1177011349.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= c00448b3bb1fb54d1d5ecdb2bc9f967d RANDOM SEED= 585065340 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1826112 kB Buffers: 25440 kB Cached: 125860 kB SwapCached: 12240 kB Active: 59724 kB Inactive: 116676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1826112 kB SwapTotal: 4192956 kB SwapFree: 4149072 kB Dirty: 10940 kB Writeback: 0 kB Mapped: 32152 kB Slab: 38788 kB Committed_AS: 7201452 kB PageTables: 1864 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= 66391 MiB End job on node2 on Thu Apr 19 19:58:07 UTC 2007