Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.07 | 1802.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_4.opb |
MD5SUM | cef055af6c2a22a549e672ed9a55f2c8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
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 | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 51 |
Total number of constraints | 13 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 12 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 50 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1486 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4459 |
Number of bits of the biggest sum of numbers | 13 |
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.01 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/433524-1177960523/instance-433524-1177960523.opb 0.00/0.01 c File size is 4881 bytes. 0.00/0.01 c Highest Coefficient sum: 4459 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.001 s 0.00/0.01 c Var: 51 Constr: 13 1/0/12 Lit: 587 Watch. Lit: 199 0.00/0.01 c Obj. Vars: 1 (1.96078 % of total variables) 0.00/0.01 c Pre-processing Time: 0.002 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 50 12 586 48 200 1172 0 0 0.00 0.00/0.01 c Switching off LPR mode. 1800.06/1800.60 c 100 50 112 4382 39 522 1290 100 14285 0.01 1800.06/1800.60 c 251 50 263 10032 38 822 1420 251 16733 0.01 1800.06/1800.60 c 477 50 489 18530 37 1273 1563 477 15900 0.03 1800.06/1800.60 c 815 50 827 31580 38 1946 1720 815 15092 0.05 1800.06/1800.60 c 1323 50 1335 50571 37 2965 1893 1323 12844 0.10 1800.06/1800.60 c 2086 50 1120 40523 36 2536 2083 1108 11988 0.17 1800.06/1800.60 c 3232 50 1187 44061 37 2677 2292 1175 10631 0.30 1800.06/1800.60 c 4954 50 1727 63423 36 3760 2522 1715 10364 0.48 1800.06/1800.60 c 7538 50 1711 62749 36 3731 2775 1699 9840 0.77 1800.06/1800.60 c 11418 50 2750 103133 37 5803 3053 2738 8934 1.28 1800.06/1800.60 c 17240 50 2331 91092 39 4956 3359 2319 7963 2.17 1800.06/1800.60 c 25977 50 2518 97286 38 5346 3695 2506 7280 3.57 1800.06/1800.60 c 39087 50 2485 96453 38 5270 4065 2473 6780 5.76 1800.06/1800.60 c 58757 50 3568 136806 38 7442 4472 3556 6319 9.30 1800.06/1800.61 c 88267 50 3601 138398 38 7505 4920 3589 5978 14.76 1800.06/1800.61 c 132537 50 2982 117001 39 6261 5413 2970 5615 23.60 1800.06/1800.61 c 198947 50 3671 139560 38 7648 5955 3659 5357 37.13 1800.06/1800.61 c 298567 50 3951 156725 39 8207 6551 3939 4870 61.30 1800.06/1800.61 c 448002 50 4537 175965 38 9380 7207 4525 4375 102.38 1800.06/1800.61 c 672161 50 6917 267830 38 14133 7928 6905 3965 169.51 1800.06/1800.61 c 1008404 50 7400 294979 39 15106 8721 7388 3626 278.05 1800.06/1800.61 c 1512776 50 6634 256489 38 13575 9594 6622 3347 451.91 1800.06/1800.61 c 2269340 50 4909 189523 38 10119 10554 4897 3059 741.80 1800.06/1800.61 c 3404192 50 8780 337126 38 17859 11610 8768 2779 1224.73 1800.06/1800.61 c Caught signal: 15 1800.06/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.61 c 24 4637245 3743 4641474 10117 399421 10105 2576 1800.07 1800.06/1800.61 s UNKNOWN 1800.06/1800.61 c Total time: 1800.07 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-433524-1177960523 -o ROOT/results/node1/solver-433524-1177960523 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433524-1177960523/instance-433524-1177960523.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 0.97 0.97 3/77 5164 /proc/meminfo: memFree=1858224/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=2380 CPUtime=0 /proc/5164/stat : 5164 (bsolo3.0.17) D 5162 5164 4460 0 -1 4194304 52 0 0 0 0 0 0 0 18 0 1 0 272090168 2437120 36 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5829540 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/5164/statm: 595 36 28 324 0 9 0 [startup+0.067616 s] /proc/loadavg: 0.94 0.97 0.97 3/77 5164 /proc/meminfo: memFree=1858224/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=12252 CPUtime=0.05 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 525 0 0 0 5 0 0 0 18 0 1 0 272090168 12546048 493 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5164/statm: 3063 493 310 324 0 2133 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12252 [startup+0.102618 s] /proc/loadavg: 0.94 0.97 0.97 3/77 5164 /proc/meminfo: memFree=1858224/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=12516 CPUtime=0.09 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 582 0 0 0 9 0 0 0 18 0 1 0 272090168 12816384 550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5164/statm: 3129 550 310 324 0 2199 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12516 [startup+0.302644 s] /proc/loadavg: 0.94 0.97 0.97 3/77 5164 /proc/meminfo: memFree=1858224/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=13036 CPUtime=0.29 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 709 0 0 0 29 0 0 0 19 0 1 0 272090168 13348864 677 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091730 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5164/statm: 3259 677 310 324 0 2329 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13036 [startup+0.702689 s] /proc/loadavg: 0.94 0.97 0.97 3/77 5164 /proc/meminfo: memFree=1858224/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=13296 CPUtime=0.69 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 771 0 0 0 69 0 0 0 23 0 1 0 272090168 13615104 739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6260565 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5164/statm: 3324 739 310 324 0 2394 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13296 [startup+1.50178 s] /proc/loadavg: 0.94 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1856104/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=13556 CPUtime=1.48 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 860 0 0 0 148 0 0 0 25 0 1 0 272090168 13881344 828 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 3389 828 310 324 0 2459 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 13556 [startup+3.10196 s] /proc/loadavg: 0.94 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1855784/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=13816 CPUtime=3.08 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 919 0 0 0 308 0 0 0 25 0 1 0 272090168 14147584 887 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6262312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 3454 887 310 324 0 2524 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 13816 [startup+6.30134 s] /proc/loadavg: 0.94 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1855272/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=14340 CPUtime=6.28 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1028 0 0 0 628 0 0 0 25 0 1 0 272090168 14684160 996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 3585 996 310 324 0 2655 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14340 [startup+12.7011 s] /proc/loadavg: 0.94 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1854968/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=14588 CPUtime=12.67 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1098 0 0 0 1267 0 0 0 25 0 1 0 272090168 14938112 1066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6263699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 3647 1066 310 324 0 2717 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 14588 [startup+25.5016 s] /proc/loadavg: 0.96 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1854520/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=15100 CPUtime=25.48 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1239 0 0 0 2547 1 0 0 25 0 1 0 272090168 15462400 1207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 3775 1207 310 324 0 2845 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15100 [startup+51.1016 s] /proc/loadavg: 0.97 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1854072/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=15464 CPUtime=51.07 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1334 0 0 0 5106 1 0 0 25 0 1 0 272090168 15835136 1302 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 3866 1302 310 324 0 2936 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15464 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1853688/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=15844 CPUtime=102.25 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1432 0 0 0 10224 1 0 0 25 0 1 0 272090168 16224256 1400 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 3961 1400 310 324 0 3031 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 15844 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1853240/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=16232 CPUtime=162.23 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1518 0 0 0 16221 2 0 0 25 0 1 0 272090168 16621568 1486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4058 1486 310 324 0 3128 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 16232 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1852728/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=16704 CPUtime=222.22 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1635 0 0 0 22219 3 0 0 25 0 1 0 272090168 17104896 1603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4176 1603 310 324 0 3246 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 16704 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1852152/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=17224 CPUtime=282.2 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1761 0 0 0 28217 3 0 0 25 0 1 0 272090168 17637376 1729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4306 1729 310 324 0 3376 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 17224 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1852088/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=17224 CPUtime=342.18 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1771 0 0 0 34214 4 0 0 25 0 1 0 272090168 17637376 1739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4306 1739 310 324 0 3376 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 17224 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1851896/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=17284 CPUtime=402.16 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1782 0 0 0 40212 4 0 0 25 0 1 0 272090168 17698816 1750 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4321 1750 310 324 0 3391 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 17284 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1851512/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=17740 CPUtime=462.15 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1884 0 0 0 46210 5 0 0 25 0 1 0 272090168 18165760 1852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6262500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4435 1852 310 324 0 3505 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 17740 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1851384/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=17740 CPUtime=522.12 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1895 0 0 0 52207 5 0 0 25 0 1 0 272090168 18165760 1863 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4435 1863 310 324 0 3505 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 17740 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1851320/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=17740 CPUtime=582.11 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1904 0 0 0 58205 6 0 0 25 0 1 0 272090168 18165760 1872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4435 1872 310 324 0 3505 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 17740 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1851256/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=17740 CPUtime=642.1 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1904 0 0 0 64203 7 0 0 25 0 1 0 272090168 18165760 1872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4435 1872 310 324 0 3505 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 17740 ################ # More data... # ################ /proc/meminfo: memFree=1850296/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=18392 CPUtime=1001.99 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2053 0 0 0 100189 10 0 0 25 0 1 0 272090168 18833408 2021 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4598 2021 310 324 0 3668 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 18392 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1850232/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=18392 CPUtime=1061.97 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2056 0 0 0 106186 11 0 0 25 0 1 0 272090168 18833408 2024 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4598 2024 310 324 0 3668 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 18392 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5165 /proc/meminfo: memFree=1850104/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=18392 CPUtime=1121.95 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2063 0 0 0 112184 11 0 0 25 0 1 0 272090168 18833408 2031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4598 2031 310 324 0 3668 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 18392 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5167 /proc/meminfo: memFree=1849912/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=18392 CPUtime=1181.94 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2063 0 0 0 118182 12 0 0 25 0 1 0 272090168 18833408 2031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4598 2031 310 324 0 3668 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 18392 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5167 /proc/meminfo: memFree=1849400/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=18884 CPUtime=1241.91 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2173 0 0 0 124179 12 0 0 25 0 1 0 272090168 19337216 2141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4721 2141 310 324 0 3791 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 18884 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5167 /proc/meminfo: memFree=1849144/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=19104 CPUtime=1301.9 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2227 0 0 0 130177 13 0 0 25 0 1 0 272090168 19562496 2195 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4776 2195 310 324 0 3846 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 19104 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5167 /proc/meminfo: memFree=1849144/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=19024 CPUtime=1361.88 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2227 0 0 0 136174 14 0 0 25 0 1 0 272090168 19480576 2195 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6262312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4756 2195 310 324 0 3826 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 19024 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5167 /proc/meminfo: memFree=1849080/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=19024 CPUtime=1421.86 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2227 0 0 0 142172 14 0 0 25 0 1 0 272090168 19480576 2195 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4756 2195 310 324 0 3826 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 19024 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5167 /proc/meminfo: memFree=1849080/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=19020 CPUtime=1481.85 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2227 0 0 0 148170 15 0 0 25 0 1 0 272090168 19476480 2194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4755 2194 310 324 0 3825 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 19020 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5167 /proc/meminfo: memFree=1849016/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=19020 CPUtime=1541.83 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2227 0 0 0 154168 15 0 0 25 0 1 0 272090168 19476480 2194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4755 2194 310 324 0 3825 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 19020 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5167 /proc/meminfo: memFree=1848952/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=19020 CPUtime=1601.81 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2227 0 0 0 160165 16 0 0 25 0 1 0 272090168 19476480 2194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4755 2194 310 324 0 3825 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 19020 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5167 /proc/meminfo: memFree=1848888/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=19148 CPUtime=1661.79 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2245 0 0 0 166163 16 0 0 25 0 1 0 272090168 19607552 2212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4787 2212 310 324 0 3857 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 19148 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5167 /proc/meminfo: memFree=1848824/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=19148 CPUtime=1721.78 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2245 0 0 0 172161 17 0 0 25 0 1 0 272090168 19607552 2212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6270621 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4787 2212 310 324 0 3857 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 19148 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5167 /proc/meminfo: memFree=1848696/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=19084 CPUtime=1781.75 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2245 0 0 0 178158 17 0 0 25 0 1 0 272090168 19542016 2210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4771 2210 310 324 0 3841 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 19084 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5167 /proc/meminfo: memFree=1848696/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=19084 CPUtime=1800.06 /proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2245 0 0 0 179988 18 0 0 25 0 1 0 272090168 19542016 2210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4771 2210 310 324 0 3841 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 19084 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.97 2/78 5167 /proc/meminfo: memFree=1848696/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=19084 CPUtime=1800.06 /proc/5164/stat : 5164 (bsolo3.0.17) S 5162 5164 4460 0 -1 4194304 2245 0 0 0 179988 18 0 0 25 0 1 0 272090168 19542016 2210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4771 2210 310 324 0 3841 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 19084 [startup+1802.2 s] /proc/loadavg: 0.99 0.97 0.97 1/79 5168 /proc/meminfo: memFree=1848688/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=19084 CPUtime=1800.06 /proc/5164/stat : 5164 (bsolo3.0.17) S 5162 5164 4460 0 -1 4194304 2245 0 0 0 179988 18 0 0 25 0 1 0 272090168 19542016 2210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4771 2210 310 324 0 3841 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 19084 [startup+1802.6 s] /proc/loadavg: 0.99 0.97 0.97 1/79 5168 /proc/meminfo: memFree=1848688/2055920 swapFree=4145736/4192956 [pid=5164] ppid=5162 vsize=19084 CPUtime=1800.06 /proc/5164/stat : 5164 (bsolo3.0.17) S 5162 5164 4460 0 -1 4194304 2245 0 0 0 179988 18 0 0 25 0 1 0 272090168 19542016 2210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/5164/statm: 4771 2210 310 324 0 3841 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 19084 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.62 CPU time (s): 1800.07 CPU user time (s): 1799.89 CPU system time (s): 0.182972 CPU usage (%): 99.8589 Max. virtual memory (cumulated for all children) (KiB): 19148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.89 system time used= 0.182972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2245 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= 14 involuntary context switches= 37183 runsolver used 1.49177 second user time and 3.65644 second system time The end
Begin job on node1 on Mon Apr 30 19:15:23 UTC 2007 IDJOB= 433524 IDBENCH= 2911 IDSOLVER= 199 FILE ID= node1/433524-1177960523 PBS_JOBID= 4727730 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_4.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433524-1177960523/instance-433524-1177960523.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-433524-1177960523 -o ROOT/results/node1/solver-433524-1177960523 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433524-1177960523/instance-433524-1177960523.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= cef055af6c2a22a549e672ed9a55f2c8 RANDOM SEED= 575912846 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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: 1858568 kB Buffers: 9720 kB Cached: 100740 kB SwapCached: 14388 kB Active: 42984 kB Inactive: 90148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858568 kB SwapTotal: 4192956 kB SwapFree: 4145736 kB Dirty: 6652 kB Writeback: 0 kB Mapped: 29744 kB Slab: 49656 kB Committed_AS: 5274792 kB PageTables: 1832 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 node1 on Mon Apr 30 19:45:26 UTC 2007