Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.02 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb |
MD5SUM | 1d88cb7e119c66203d260e6c8e2ab364 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.463929 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 17 |
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 | 17 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
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/430366-1177994243/instance-430366-1177994243.opb 0.00/0.00 c File size is 11660 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.00 c Var: 864 Constr: 1321 648/0/673 Lit: 5535 Watch. Lit: 3386 0.00/0.00 c Obj. Vars: 9 (1.04167 % of total variables) 0.00/0.01 c Pre-processing Time: 0.015 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 864 1321 5535 4 4761 7398 0 0 0.01 0.00/0.01 c Switching off LPR mode. 1799.89/1800.60 c 106 864 1427 12865 9 4903 8138 106 4076 0.03 1799.89/1800.60 c 257 864 1578 25153 15 5096 8952 257 6589 0.04 1799.89/1800.60 c 483 864 1804 43603 24 5547 9848 483 7546 0.06 1799.89/1800.60 c 822 864 2143 69990 32 6223 10833 822 8058 0.10 1799.89/1800.60 c 1330 864 2651 107093 40 7233 11917 1330 7687 0.17 1799.89/1800.60 c 2094 864 3415 167602 49 8783 13109 2094 7614 0.28 1799.89/1800.60 c 3241 864 4562 260553 57 11036 14420 3241 6780 0.48 1799.89/1800.60 c 4963 864 6284 404348 64 14488 15863 4963 6635 0.75 1799.89/1800.60 c 7547 864 8868 598174 67 19689 17450 7547 4560 1.66 1799.89/1800.60 c 11427 864 12748 878947 68 27426 19196 11427 2741 4.17 1799.89/1800.60 c 17249 864 18570 1323130 71 39071 21116 17249 1565 11.02 1799.89/1800.60 c 25986 864 16118 1209303 75 34153 23228 14797 1743 14.90 1799.89/1800.60 c 39096 864 16532 1296405 78 34976 25551 15211 2030 19.26 1799.89/1800.60 c 58766 864 21323 1633883 76 44498 28107 20002 1903 30.88 1799.89/1800.60 c 88277 864 16230 1105377 68 34283 30918 14909 1285 68.66 1799.89/1800.60 c 132548 864 21644 1505687 69 45101 34010 20323 959 138.08 1799.89/1800.60 c 198958 864 18237 1416462 77 38336 37412 16916 965 206.09 1799.89/1800.60 c 298579 864 37554 2586703 68 77012 41154 36233 832 358.53 1799.89/1800.60 c 448014 864 37139 3207796 86 76063 45270 35818 779 574.52 1799.89/1800.60 c 672172 864 28145 2164322 76 58135 49798 26824 671 1001.17 1799.89/1800.60 c 1008416 863 25173 1996809 79 52333 54778 23852 593 1699.16 1799.89/1800.60 c Resources Exceeded 1799.89/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.89/1800.60 c 21 1079924 7809 1107595 54175 4708980 52854 599 1800.00 1799.89/1800.60 s UNKNOWN 1799.89/1800.60 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/node6/watcher-430366-1177994243 -o ROOT/results/node6/solver-430366-1177994243 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430366-1177994243/instance-430366-1177994243.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.91 0.95 0.98 3/77 28479 /proc/meminfo: memFree=1806512/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=3936 CPUtime=0 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 275461940 4030464 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 984 348 291 324 0 50 0 [startup+0.070085 s] /proc/loadavg: 0.91 0.95 0.98 3/77 28479 /proc/meminfo: memFree=1806512/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=4848 CPUtime=0.06 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 638 0 0 0 6 0 0 0 18 0 1 0 275461940 4964352 604 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 1212 604 312 324 0 281 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4848 [startup+0.101088 s] /proc/loadavg: 0.91 0.95 0.98 3/77 28479 /proc/meminfo: memFree=1806512/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=5236 CPUtime=0.09 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 711 0 0 0 9 0 0 0 18 0 1 0 275461940 5361664 677 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 1309 678 312 324 0 378 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5236 [startup+0.301112 s] /proc/loadavg: 0.91 0.95 0.98 3/77 28479 /proc/meminfo: memFree=1806512/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=6908 CPUtime=0.29 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 1136 0 0 0 29 0 0 0 19 0 1 0 275461940 7073792 1102 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 1727 1103 313 324 0 796 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6908 [startup+0.701159 s] /proc/loadavg: 0.91 0.95 0.98 3/77 28479 /proc/meminfo: memFree=1806512/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=9612 CPUtime=0.68 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 1815 0 0 0 68 0 0 0 22 0 1 0 275461940 9842688 1781 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 2403 1782 312 324 0 1472 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 9612 [startup+1.50125 s] /proc/loadavg: 0.92 0.95 0.98 2/78 28480 /proc/meminfo: memFree=1799336/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=12444 CPUtime=1.49 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 2508 0 0 0 148 1 0 0 25 0 1 0 275461940 12742656 2474 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2621186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 3111 2474 312 324 0 2180 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12444 [startup+3.10144 s] /proc/loadavg: 0.92 0.95 0.98 2/78 28480 /proc/meminfo: memFree=1796520/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=15404 CPUtime=3.09 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 3253 0 0 0 308 1 0 0 25 0 1 0 275461940 15773696 3219 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 3851 3219 312 324 0 2920 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15404 [startup+6.30182 s] /proc/loadavg: 0.92 0.95 0.98 2/78 28480 /proc/meminfo: memFree=1792296/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=18904 CPUtime=6.28 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 4140 0 0 0 626 2 0 0 25 0 1 0 275461940 19357696 4106 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 4726 4106 312 324 0 3795 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18904 [startup+12.7016 s] /proc/loadavg: 0.93 0.96 0.98 2/78 28480 /proc/meminfo: memFree=1786280/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=27812 CPUtime=12.69 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 6375 0 0 0 1264 5 0 0 25 0 1 0 275461940 28479488 6341 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 6953 6341 312 324 0 6022 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27812 [startup+25.5011 s] /proc/loadavg: 0.94 0.96 0.98 2/78 28480 /proc/meminfo: memFree=1775656/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=34752 CPUtime=25.48 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 8116 0 0 0 2539 9 0 0 25 0 1 0 275461940 35586048 8082 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2621527 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 8688 8082 312 324 0 7757 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34752 [startup+51.1011 s] /proc/loadavg: 0.96 0.96 0.98 2/78 28480 /proc/meminfo: memFree=1773416/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=36688 CPUtime=51.07 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 8597 0 0 0 5094 13 0 0 25 0 1 0 275461940 37568512 8563 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527352 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 9172 8563 312 324 0 8241 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36688 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.98 2/78 28480 /proc/meminfo: memFree=1773160/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=36972 CPUtime=102.26 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 8670 0 0 0 10207 19 0 0 25 0 1 0 275461940 37859328 8636 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 9243 8636 312 324 0 8312 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 36972 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1767656/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=42392 CPUtime=162.24 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 10043 0 0 0 16196 28 0 0 25 0 1 0 275461940 43409408 9975 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 10598 9975 312 324 0 9667 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 42392 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1762536/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=47428 CPUtime=222.22 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 11415 0 0 0 22186 36 0 0 25 0 1 0 275461940 48566272 11241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2617468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 11857 11241 312 324 0 10926 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 47428 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1762536/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=47428 CPUtime=282.21 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 11453 0 0 0 28178 43 0 0 25 0 1 0 275461940 48566272 11241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 11857 11241 312 324 0 10926 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 47428 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1762536/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=47428 CPUtime=342.19 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 11491 0 0 0 34170 49 0 0 25 0 1 0 275461940 48566272 11241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 11857 11241 312 324 0 10926 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 47428 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1760552/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=50284 CPUtime=402.17 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 12234 0 0 0 40161 56 0 0 25 0 1 0 275461940 51490816 11943 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 12571 11943 312 324 0 11640 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 50284 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1758056/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=52212 CPUtime=462.16 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 12754 0 0 0 46153 63 0 0 25 0 1 0 275461940 53465088 12422 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 13053 12422 312 324 0 12122 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 52212 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1757672/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=52212 CPUtime=522.15 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 12812 0 0 0 52147 68 0 0 25 0 1 0 275461940 53465088 12439 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 13053 12439 312 324 0 12122 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 52212 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1749800/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=60080 CPUtime=582.13 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 14882 0 0 0 58135 78 0 0 25 0 1 0 275461940 61521920 14382 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 15020 14382 312 324 0 14089 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 60080 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1749800/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=60080 CPUtime=642.12 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 14882 0 0 0 64129 83 0 0 25 0 1 0 275461940 61521920 14382 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2621587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 15020 14382 312 324 0 14089 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 60080 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1720360/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=89216 CPUtime=822.07 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22308 0 0 0 82104 103 0 0 25 0 1 0 275461940 91357184 21698 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22304 21698 312 324 0 21373 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 89216 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1720360/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=89216 CPUtime=882.05 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22308 0 0 0 88098 107 0 0 25 0 1 0 275461940 91357184 21698 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22304 21698 312 324 0 21373 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 89216 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1720360/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=89216 CPUtime=942.03 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22308 0 0 0 94091 112 0 0 25 0 1 0 275461940 91357184 21698 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22304 21698 312 324 0 21373 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 89216 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1720360/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=89216 CPUtime=1002.01 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22308 0 0 0 100084 117 0 0 25 0 1 0 275461940 91357184 21698 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22304 21698 312 324 0 21373 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 89216 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1720360/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=89232 CPUtime=1062 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22312 0 0 0 106075 125 0 0 25 0 1 0 275461940 91373568 21702 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22308 21702 312 324 0 21377 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 89232 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1720360/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=89232 CPUtime=1121.98 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22312 0 0 0 112068 130 0 0 25 0 1 0 275461940 91373568 21702 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22308 21702 312 324 0 21377 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 89232 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1720360/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=89232 CPUtime=1181.97 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22312 0 0 0 118062 135 0 0 25 0 1 0 275461940 91373568 21702 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22308 21702 312 324 0 21377 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 89232 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1720488/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=88896 CPUtime=1241.95 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22312 0 0 0 124052 143 0 0 25 0 1 0 275461940 91029504 21618 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22224 21618 312 324 0 21293 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 88896 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1720552/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=88896 CPUtime=1301.94 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22312 0 0 0 130046 148 0 0 25 0 1 0 275461940 91029504 21618 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2305137 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22224 21618 312 324 0 21293 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 88896 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28480 /proc/meminfo: memFree=1720552/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=88896 CPUtime=1361.92 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22312 0 0 0 136038 154 0 0 25 0 1 0 275461940 91029504 21618 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2629254 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22224 21618 312 324 0 21293 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 88896 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/84 28546 /proc/meminfo: memFree=1719352/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=88896 CPUtime=1421.88 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22312 0 0 0 142030 158 0 0 25 0 1 0 275461940 91029504 21618 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22224 21618 312 324 0 21293 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 88896 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28678 /proc/meminfo: memFree=1720296/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=88896 CPUtime=1481.78 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22312 0 0 0 148017 161 0 0 25 0 1 0 275461940 91029504 21618 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22224 21618 312 324 0 21293 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 88896 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28678 /proc/meminfo: memFree=1720360/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=88896 CPUtime=1541.76 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22312 0 0 0 154009 167 0 0 25 0 1 0 275461940 91029504 21618 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22224 21618 312 324 0 21293 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 88896 [startup+1602.3 s] /proc/loadavg: 1.03 0.99 0.98 2/78 28678 /proc/meminfo: memFree=1720360/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=88896 CPUtime=1601.75 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22312 0 0 0 160004 171 0 0 25 0 1 0 275461940 91029504 21618 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22224 21618 312 324 0 21293 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 88896 [startup+1662.3 s] /proc/loadavg: 1.01 0.99 0.98 2/78 28678 /proc/meminfo: memFree=1720424/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=88896 CPUtime=1661.73 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22312 0 0 0 165997 176 0 0 25 0 1 0 275461940 91029504 21618 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22224 21618 312 324 0 21293 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 88896 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 28678 /proc/meminfo: memFree=1720424/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=88896 CPUtime=1721.71 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22312 0 0 0 171990 181 0 0 25 0 1 0 275461940 91029504 21618 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22224 21618 312 324 0 21293 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 88896 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 28678 /proc/meminfo: memFree=1720424/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=88916 CPUtime=1781.7 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194304 22317 0 0 0 177983 187 0 0 25 0 1 0 275461940 91049984 21623 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 22229 21623 312 324 0 21298 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 88916 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.98 2/78 28678 /proc/meminfo: memFree=1748072/2055924 swapFree=4146676/4192956 [pid=28479] ppid=28477 vsize=0 CPUtime=1800 /proc/28479/stat : 28479 (bsolo3.0.16) R 28477 28479 28266 0 -1 4194308 22318 0 0 0 179811 189 0 0 25 0 1 0 275461940 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28479/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 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 Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.02 CPU user time (s): 1798.11 CPU system time (s): 1.90371 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 89332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.11 system time used= 1.90371 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22318 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= 2650 runsolver used 1.39679 second user time and 3.87341 second system time The end
Begin job on node6 on Tue May 1 04:37:23 UTC 2007 IDJOB= 430366 IDBENCH= 47975 IDSOLVER= 163 FILE ID= node6/430366-1177994243 PBS_JOBID= 4728228 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430366-1177994243/instance-430366-1177994243.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-430366-1177994243 -o ROOT/results/node6/solver-430366-1177994243 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430366-1177994243/instance-430366-1177994243.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 1d88cb7e119c66203d260e6c8e2ab364 RANDOM SEED= 116142325 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.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.232 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.232 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: 2055924 kB MemFree: 1806920 kB Buffers: 42980 kB Cached: 117372 kB SwapCached: 13796 kB Active: 57204 kB Inactive: 126972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1806920 kB SwapTotal: 4192956 kB SwapFree: 4146676 kB Dirty: 6684 kB Writeback: 0 kB Mapped: 30028 kB Slab: 50400 kB Committed_AS: 8182428 kB PageTables: 1784 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 node6 on Tue May 1 05:07:26 UTC 2007