Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | ? | 1798 | 1798.67 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_4.opb |
MD5SUM | 153ea7f27a80a18c7caefc8ed55018be |
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 | 41 |
Total number of constraints | 11 |
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 | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 40 |
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 | 1207 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3621 |
Number of bits of the biggest sum of numbers | 12 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656424-1276617584.opb 0.00/0.00 c File size is 3392 bytes. 0.00/0.00 c Highest Coefficient sum: 3621 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 41 Constr: 11 1/0/10 Lit: 399 Watch. Lit: 143 0.00/0.00 c Obj. Vars: 1 (2.43902 % of total variables) 0.00/0.00 c Pre-processing Time: 0 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 40 10 398 39 146 796 0 -2147483648 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.91/1798.67 c 100 40 164 4804 29 676 876 154 6666 0.01 1797.91/1798.67 c 251 40 404 11882 29 1429 964 394 7171 0.04 1797.91/1798.67 c 476 40 769 22620 29 2670 1061 759 6704 0.07 1797.91/1798.67 c 814 40 739 21890 29 1827 1168 729 6166 0.13 1797.91/1798.67 c 1323 40 975 29128 29 2694 1285 965 6153 0.21 1797.91/1798.67 c 2086 40 929 28591 30 2466 1414 919 6081 0.34 1797.91/1798.67 c 3232 40 768 23928 31 1835 1556 758 5844 0.55 1797.91/1798.67 c 4953 40 1320 40634 30 3801 1712 1310 5759 0.86 1797.91/1798.67 c 7537 40 1299 39301 30 3660 1884 1289 5541 1.36 1797.91/1798.67 c 11416 40 1201 37156 30 3288 2073 1191 5344 2.14 1797.91/1798.67 c 17238 40 1326 40813 30 3703 2281 1316 5173 3.33 1797.91/1798.67 c 25975 40 1286 39654 30 3625 2510 1276 4964 5.23 1797.91/1798.67 c 39085 40 1435 43695 30 4126 2762 1425 4758 8.21 1797.91/1798.67 c 58755 40 1808 55724 30 5518 3039 1798 4541 12.94 1797.91/1798.67 c 88266 40 2104 63578 30 6453 3343 2094 4350 20.29 1797.91/1798.67 c 132536 40 2651 80539 30 8656 3678 2641 4199 31.56 1797.91/1798.67 c 198946 40 1850 55858 30 5587 4046 1840 4005 49.67 1797.91/1798.67 c 298566 40 3257 98340 30 9378 4451 3247 3767 79.24 1797.91/1798.67 c 448001 40 2834 87184 30 8901 4897 2824 3530 126.89 1797.91/1798.67 c 672160 40 2664 82256 30 7910 5387 2654 3338 201.35 1797.91/1798.67 c 1008403 40 3541 107568 30 10583 5926 3531 3134 321.76 1797.91/1798.67 c 1512776 40 5461 166877 30 16718 6519 5451 2935 515.36 1797.91/1798.67 c 2269341 40 6303 190826 30 20135 7171 6293 2710 837.38 1797.91/1798.67 c 3404193 40 6217 185812 29 18178 7889 6207 2520 1350.46 1797.91/1798.67 c Resources Exceeded 1797.91/1798.67 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.67 c 24 4294801 36664 4332058 7549 225843 7539 2388 1798.00 1797.91/1798.67 s UNKNOWN 1797.91/1798.67 c Total time: 1798 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656424-1276617584/watcher-2656424-1276617584 -o /tmp/evaluation-result-2656424-1276617584/solver-2656424-1276617584 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656424-1276617584.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.11 1.67 1.29 3/106 10334 /proc/meminfo: memFree=1591828/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=26412 CPUtime=0 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 322 0 0 0 0 0 0 0 20 0 1 0 3049338 27045888 240 1992294400 134512640 137138936 4290478944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 6603 240 192 642 0 5959 0 [startup+0.088654 s] /proc/loadavg: 2.11 1.67 1.29 3/106 10334 /proc/meminfo: memFree=1591828/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=18992 CPUtime=0.08 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 427 0 0 0 8 0 0 0 20 0 1 0 3049338 19447808 345 1992294400 134512640 137138936 4290478944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 4748 345 192 642 0 4104 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 18992 [startup+0.100655 s] /proc/loadavg: 2.11 1.67 1.29 3/106 10334 /proc/meminfo: memFree=1591828/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=18992 CPUtime=0.09 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 440 0 0 0 9 0 0 0 20 0 1 0 3049338 19447808 358 1992294400 134512640 137138936 4290478944 18446744073709551615 136504435 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 4748 358 192 642 0 4104 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18992 [startup+0.300688 s] /proc/loadavg: 2.11 1.67 1.29 3/106 10334 /proc/meminfo: memFree=1591828/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=19252 CPUtime=0.29 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 485 0 0 0 29 0 0 0 20 0 1 0 3049338 19714048 403 1992294400 134512640 137138936 4290478944 18446744073709551615 134575858 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 4813 403 192 642 0 4169 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19252 [startup+0.700756 s] /proc/loadavg: 2.11 1.67 1.29 3/106 10334 /proc/meminfo: memFree=1591828/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=19380 CPUtime=0.69 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 528 0 0 0 69 0 0 0 21 0 1 0 3049338 19845120 446 1992294400 134512640 137138936 4290478944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 4845 446 192 642 0 4201 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19380 [startup+1.50089 s] /proc/loadavg: 2.02 1.66 1.29 2/107 10335 /proc/meminfo: memFree=1590580/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=19508 CPUtime=1.49 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 565 0 0 0 148 1 0 0 23 0 1 0 3049338 19976192 483 1992294400 134512640 137138936 4290478944 18446744073709551615 136296996 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 4877 483 192 642 0 4233 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19508 [startup+3.10116 s] /proc/loadavg: 2.02 1.66 1.29 2/107 10335 /proc/meminfo: memFree=1590332/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=19640 CPUtime=3.09 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 599 0 0 0 307 2 0 0 25 0 1 0 3049338 20111360 517 1992294400 134512640 137138936 4290478944 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 4910 517 192 642 0 4266 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19640 [startup+6.3007 s] /proc/loadavg: 2.02 1.66 1.29 2/107 10335 /proc/meminfo: memFree=1589836/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=19892 CPUtime=6.29 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 646 0 0 0 626 3 0 0 25 0 1 0 3049338 20369408 564 1992294400 134512640 137138936 4290478944 18446744073709551615 134577155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 4973 564 192 642 0 4329 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19892 [startup+12.7008 s] /proc/loadavg: 1.86 1.64 1.28 2/107 10335 /proc/meminfo: memFree=1589588/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=20024 CPUtime=12.69 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 697 0 0 0 1262 7 0 0 25 0 1 0 3049338 20504576 615 1992294400 134512640 137138936 4290478944 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5006 615 192 642 0 4362 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20024 [startup+25.5009 s] /proc/loadavg: 1.73 1.62 1.28 2/107 10335 /proc/meminfo: memFree=1589340/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=20288 CPUtime=25.48 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 762 0 0 0 2535 13 0 0 25 0 1 0 3049338 20774912 680 1992294400 134512640 137138936 4290478944 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5072 680 192 642 0 4428 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20288 [startup+51.1003 s] /proc/loadavg: 1.48 1.57 1.27 2/107 10337 /proc/meminfo: memFree=1588968/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=20676 CPUtime=51.07 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 850 0 0 0 5081 26 0 0 25 0 1 0 3049338 21172224 768 1992294400 134512640 137138936 4290478944 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5169 768 192 642 0 4525 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20676 [startup+102.308 s] /proc/loadavg: 1.19 1.47 1.25 2/107 10346 /proc/meminfo: memFree=1587668/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=21012 CPUtime=102.24 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 931 0 0 0 10176 48 0 0 25 0 1 0 3049338 21516288 849 1992294400 134512640 137138936 4290478944 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5253 849 192 642 0 4609 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 21012 [startup+162.301 s] /proc/loadavg: 1.07 1.38 1.24 2/107 10348 /proc/meminfo: memFree=1587668/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=21140 CPUtime=162.21 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 988 0 0 0 16150 71 0 0 25 0 1 0 3049338 21647360 906 1992294400 134512640 137138936 4290478944 18446744073709551615 134542226 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5285 906 192 642 0 4641 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 21140 [startup+222.301 s] /proc/loadavg: 1.02 1.31 1.22 2/107 10350 /proc/meminfo: memFree=1587420/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=21504 CPUtime=222.19 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1059 0 0 0 22125 94 0 0 25 0 1 0 3049338 22020096 977 1992294400 134512640 137138936 4290478944 18446744073709551615 134542933 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5376 977 192 642 0 4732 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 21504 [startup+282.301 s] /proc/loadavg: 1.01 1.25 1.20 2/107 10352 /proc/meminfo: memFree=1587420/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=21504 CPUtime=282.17 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1064 0 0 0 28101 116 0 0 25 0 1 0 3049338 22020096 982 1992294400 134512640 137138936 4290478944 18446744073709551615 136502667 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5376 982 192 642 0 4732 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 21504 [startup+342.301 s] /proc/loadavg: 1.00 1.20 1.18 2/107 10352 /proc/meminfo: memFree=1587172/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=21764 CPUtime=342.15 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1127 0 0 0 34075 140 0 0 25 0 1 0 3049338 22286336 1045 1992294400 134512640 137138936 4290478944 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5441 1045 192 642 0 4797 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 21764 [startup+402.3 s] /proc/loadavg: 1.00 1.16 1.17 2/107 10354 /proc/meminfo: memFree=1587048/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=21764 CPUtime=402.13 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1127 0 0 0 40052 161 0 0 25 0 1 0 3049338 22286336 1045 1992294400 134512640 137138936 4290478944 18446744073709551615 134540779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5441 1045 192 642 0 4797 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 21764 [startup+462.301 s] /proc/loadavg: 1.00 1.13 1.16 2/107 10356 /proc/meminfo: memFree=1587048/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=21764 CPUtime=462.1 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1127 0 0 0 46029 181 0 0 25 0 1 0 3049338 22286336 1045 1992294400 134512640 137138936 4290478944 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5441 1045 192 642 0 4797 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 21764 [startup+522.302 s] /proc/loadavg: 1.00 1.10 1.15 2/107 10358 /proc/meminfo: memFree=1586800/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22024 CPUtime=522.09 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1185 0 0 0 52008 201 0 0 25 0 1 0 3049338 22552576 1103 1992294400 134512640 137138936 4290478944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5506 1103 192 642 0 4862 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 22024 [startup+582.301 s] /proc/loadavg: 1.00 1.08 1.14 2/107 10360 /proc/meminfo: memFree=1586676/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22024 CPUtime=582.06 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1208 0 0 0 57988 218 0 0 25 0 1 0 3049338 22552576 1126 1992294400 134512640 137138936 4290478944 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5506 1126 192 642 0 4862 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 22024 [startup+642.301 s] /proc/loadavg: 1.00 1.06 1.12 2/107 10360 /proc/meminfo: memFree=1586552/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22124 CPUtime=642.04 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1214 0 0 0 63967 237 0 0 25 0 1 0 3049338 22654976 1132 1992294400 134512640 137138936 4290478944 18446744073709551615 134542460 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5531 1132 192 642 0 4887 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 22124 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1585932/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22476 CPUtime=1121.86 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1302 0 0 0 111793 393 0 0 25 0 1 0 3049338 23015424 1220 1992294400 134512640 137138936 4290478944 18446744073709551615 136501665 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5619 1220 192 642 0 4975 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 22476 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.05 2/107 10376 /proc/meminfo: memFree=1585932/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22476 CPUtime=1181.84 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1303 0 0 0 117772 412 0 0 25 0 1 0 3049338 23015424 1221 1992294400 134512640 137138936 4290478944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5619 1221 192 642 0 4975 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 22476 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.05 2/107 10376 /proc/meminfo: memFree=1585808/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22476 CPUtime=1241.82 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1306 0 0 0 123749 433 0 0 25 0 1 0 3049338 23015424 1224 1992294400 134512640 137138936 4290478944 18446744073709551615 134575245 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5619 1224 192 642 0 4975 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 22476 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 10378 /proc/meminfo: memFree=1585808/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22476 CPUtime=1301.8 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1306 0 0 0 129726 454 0 0 25 0 1 0 3049338 23015424 1224 1992294400 134512640 137138936 4290478944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5619 1224 192 642 0 4975 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 22476 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 10380 /proc/meminfo: memFree=1585436/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22708 CPUtime=1361.77 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1371 0 0 0 135707 470 0 0 25 0 1 0 3049338 23252992 1289 1992294400 134512640 137138936 4290478944 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5677 1289 192 642 0 5033 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 22708 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.03 2/107 10382 /proc/meminfo: memFree=1585312/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22708 CPUtime=1421.76 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1380 0 0 0 141688 488 0 0 25 0 1 0 3049338 23252992 1298 1992294400 134512640 137138936 4290478944 18446744073709551615 134542958 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5677 1298 192 642 0 5033 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 22708 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 10384 /proc/meminfo: memFree=1585312/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22812 CPUtime=1481.73 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1391 0 0 0 147667 506 0 0 25 0 1 0 3049338 23359488 1309 1992294400 134512640 137138936 4290478944 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5703 1309 192 642 0 5059 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 22812 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.02 2/107 10384 /proc/meminfo: memFree=1585436/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22812 CPUtime=1541.71 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1402 0 0 0 153650 521 0 0 25 0 1 0 3049338 23359488 1320 1992294400 134512640 137138936 4290478944 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5703 1320 192 642 0 5059 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 22812 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 10386 /proc/meminfo: memFree=1585436/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22812 CPUtime=1601.69 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1402 0 0 0 159630 539 0 0 25 0 1 0 3049338 23359488 1320 1992294400 134512640 137138936 4290478944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5703 1320 192 642 0 5059 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 22812 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 10388 /proc/meminfo: memFree=1585312/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22812 CPUtime=1661.66 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1402 0 0 0 165612 554 0 0 25 0 1 0 3049338 23359488 1320 1992294400 134512640 137138936 4290478944 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5703 1320 192 642 0 5059 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 22812 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10390 /proc/meminfo: memFree=1585312/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22812 CPUtime=1721.65 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1402 0 0 0 171590 575 0 0 25 0 1 0 3049338 23359488 1320 1992294400 134512640 137138936 4290478944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5703 1320 192 642 0 5059 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 22812 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10392 /proc/meminfo: memFree=1585188/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22812 CPUtime=1781.63 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1405 0 0 0 177567 596 0 0 25 0 1 0 3049338 23359488 1323 1992294400 134512640 137138936 4290478944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5703 1323 192 642 0 5059 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 22812 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10392 /proc/meminfo: memFree=1585188/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22812 CPUtime=1791.23 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1405 0 0 0 178523 600 0 0 25 0 1 0 3049338 23359488 1323 1992294400 134512640 137138936 4290478944 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5703 1323 192 642 0 5059 0 Current children cumulated CPU time (s) 1791.23 Current children cumulated vsize (KiB) 22812 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10392 /proc/meminfo: memFree=1585188/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22812 CPUtime=1794.43 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1405 0 0 0 178842 601 0 0 25 0 1 0 3049338 23359488 1323 1992294400 134512640 137138936 4290478944 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5703 1323 192 642 0 5059 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (KiB) 22812 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10392 /proc/meminfo: memFree=1585188/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22812 CPUtime=1796.02 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1405 0 0 0 179001 601 0 0 25 0 1 0 3049338 23359488 1323 1992294400 134512640 137138936 4290478944 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5703 1323 192 642 0 5059 0 Current children cumulated CPU time (s) 1796.02 Current children cumulated vsize (KiB) 22812 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10392 /proc/meminfo: memFree=1585188/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22812 CPUtime=1796.82 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1405 0 0 0 179081 601 0 0 25 0 1 0 3049338 23359488 1323 1992294400 134512640 137138936 4290478944 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5703 1323 192 642 0 5059 0 Current children cumulated CPU time (s) 1796.82 Current children cumulated vsize (KiB) 22812 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10392 /proc/meminfo: memFree=1585188/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22812 CPUtime=1797.62 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1405 0 0 0 179161 601 0 0 25 0 1 0 3049338 23359488 1323 1992294400 134512640 137138936 4290478944 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5703 1323 192 642 0 5059 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (KiB) 22812 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10392 /proc/meminfo: memFree=1585188/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22812 CPUtime=1797.82 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1405 0 0 0 179181 601 0 0 25 0 1 0 3049338 23359488 1323 1992294400 134512640 137138936 4290478944 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5703 1323 192 642 0 5059 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 22812 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10392 /proc/meminfo: memFree=1585188/2059040 swapFree=4192956/4192956 [pid=10334] ppid=10332 vsize=22812 CPUtime=1797.91 /proc/10334/stat : 10334 (bsolo_pb10) R 10332 10334 10147 0 -1 4202496 1405 0 0 0 179190 601 0 0 25 0 1 0 3049338 23359488 1323 1992294400 134512640 137138936 4290478944 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10334/statm: 5703 1323 192 642 0 5059 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 22812 Child status: 0 Real time (s): 1798.67 CPU time (s): 1798 CPU user time (s): 1791.98 CPU system time (s): 6.02008 CPU usage (%): 99.9626 Max. virtual memory (cumulated for all children) (KiB): 22816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.98 system time used= 6.02008 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1405 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= 1 involuntary context switches= 19789 runsolver used 2.89956 second user time and 8.5557 second system time The end
Begin job on node055 at 2010-06-15 17:59:44 IDJOB=2656424 IDBENCH=2929 IDSOLVER=1162 FILE ID=node055/2656424-1276617584 PBS_JOBID= 11172328 Free space on /tmp= 62480 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656424-1276617584/watcher-2656424-1276617584 -o /tmp/evaluation-result-2656424-1276617584/solver-2656424-1276617584 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656424-1276617584.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 153ea7f27a80a18c7caefc8ed55018be RANDOM SEED=618163898 node055.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1592232 kB Buffers: 73172 kB Cached: 266772 kB SwapCached: 0 kB Active: 91508 kB Inactive: 307732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1592232 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3884 kB Writeback: 0 kB AnonPages: 59236 kB Mapped: 15428 kB Slab: 45652 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183204 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62476 MiB End job on node055 at 2010-06-15 18:29:43