Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -10 | 1800.16 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_2.opb |
MD5SUM | 3576405369e31b0bc5c7707d6d764dde |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -16 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6148 |
Sum of products size (including duplicates) | 12296 |
Number of different products | 3074 |
Sum of products size | 6148 |
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/455265-1178040294/instance-455265-1178040294.opb 0.00/0.00 c File size is 79465 bytes. 0.00/0.03 c Highest Coefficient sum: 200 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.034 s 0.00/0.04 c Var: 6348 Constr: 12598 6248/202/6148 Lit: 43636 Watch. Lit: 37290 0.00/0.04 c Obj. Vars: 100 (1.5753 % of total variables) 20.98/21.07 c Pre-processing Time: 21.062 s 20.98/21.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.98/21.07 c 0 6348 12598 43636 3 37290 103149 0 0 21.06 20.98/21.07 c Switching off LPR mode. 20.98/21.08 o -1 21.072 20.98/21.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.98/21.09 c 0 6348 12599 43736 3 37293 103216 1 0 21.07 20.98/21.09 o -2 21.084 21.08/21.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.08/21.10 c 0 6348 12600 43836 3 37297 103316 2 0 21.09 21.08/21.10 o -3 21.095 21.08/21.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.08/21.11 c 0 6348 12601 43936 3 37302 103449 3 0 21.10 21.08/21.11 o -4 21.107 21.08/21.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.08/21.13 c 0 6348 12602 44036 3 37308 103616 4 0 21.11 21.08/21.13 o -5 21.118 21.08/21.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.08/21.14 c 0 6348 12603 44136 3 37315 103816 5 0 21.12 21.08/21.14 o -6 21.13 21.08/21.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.08/21.15 c 0 6348 12604 44236 3 37323 104049 6 0 21.13 21.08/21.15 o -7 21.141 21.08/21.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.08/21.17 c 0 6348 12605 44336 3 37332 104316 7 0 21.14 21.08/21.17 o -8 21.16 21.28/21.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.28/21.32 c 13 6348 12619 46202 3 37368 104349 21 0 21.16 21.28/21.32 c 113 6348 12719 57280 4 37568 114784 121 5 21.23 21.28/21.32 o -9 21.317 92.56/92.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 92.56/92.68 c 309 6348 12916 79244 6 37971 104382 318 14 21.32 92.56/92.68 c 409 6348 13016 89873 6 38171 114821 418 19 21.36 92.56/92.68 c 659 6348 13266 116405 8 38671 126304 668 30 21.42 92.56/92.68 c 1134 6348 13741 168346 12 39621 138935 1143 52 21.54 92.56/92.68 c 1947 6348 14554 253834 17 41247 152829 1956 89 21.71 92.56/92.68 c 3267 6348 15874 390642 24 43887 168112 3276 148 21.95 92.56/92.68 c 5348 6348 17955 599854 33 48049 184924 5357 239 22.36 92.56/92.68 c 8571 6348 21178 925477 43 54495 203417 8580 370 23.12 92.56/92.68 c 13507 6348 26114 1423790 54 64367 223759 13516 549 24.56 92.56/92.68 c 21013 6348 33620 2185027 64 79379 246135 21022 741 28.35 92.56/92.68 c 32374 6348 44981 3335175 74 102101 270749 32383 941 34.39 92.56/92.68 c 49518 6348 62125 5068191 81 136389 297824 49527 1096 45.18 92.56/92.68 c 75337 6348 87944 7677016 87 188027 327607 75346 1032 73.00 92.66/92.72 o -10 92.656 1800.04/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.50 c 87819 6348 100427 8942874 89 213003 104416 87829 947 92.66 1800.04/1800.50 c 87919 6348 100527 8953224 89 213203 114858 87929 947 92.75 1800.04/1800.50 c 88169 6348 100777 8980891 89 213703 126344 88179 948 92.98 1800.04/1800.50 c 88644 6348 101252 9034666 89 214653 138979 88654 945 93.77 1800.04/1800.50 c 89457 6348 102065 9117804 89 216279 152877 89467 940 95.08 1800.04/1800.50 c 90777 6348 103385 9254247 89 218919 168165 90787 937 96.84 1800.04/1800.50 c 92858 6348 105466 9474605 89 223081 184982 92868 932 99.57 1800.04/1800.50 c 96081 6348 108689 9812605 90 229527 203481 96091 927 103.64 1800.04/1800.50 c 101017 6348 113625 10329228 90 239399 223830 101027 915 110.33 1800.04/1800.50 c 108523 6348 121131 11120378 91 254411 246214 108533 894 121.37 1800.04/1800.50 c 119884 6348 132492 12309265 92 277133 270836 119894 857 139.86 1800.04/1800.50 c 137028 6348 149636 14106662 94 311421 297920 137038 816 167.81 1800.04/1800.50 c 162847 6348 175455 16822710 95 363059 327713 162857 725 224.34 1800.04/1800.50 c 201679 6348 214287 20954314 97 440723 360485 201689 626 321.89 1800.04/1800.50 c 260031 6348 272639 27524367 100 557427 396534 260041 505 514.52 1800.04/1800.50 c 347663 6348 360271 37949781 105 732691 436188 347673 363 956.36 1800.04/1800.50 c Caught signal: 15 1800.04/1800.50 v x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 x9 x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1800.04/1800.50 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 1800.04/1800.50 v -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1800.04/1800.50 v -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x191 -x120 -x189 -x176 -x162 1800.04/1800.50 v -x199 -x165 -x178 -x146 -x128 -x143 -x180 -x150 -x194 -x138 -x155 -x174 -x168 -x131 -x103 -x173 -x170 -x116 -x192 -x111 -x108 1800.04/1800.50 v -x118 -x122 -x125 -x132 -x157 -x182 -x184 -x190 -x195 -x198 -x101 x197 x164 -x114 -x187 -x183 x153 -x158 -x129 -x107 -x161 1800.04/1800.50 v x166 -x115 -x145 -x200 -x104 -x109 -x134 -x135 -x139 -x141 -x148 -x151 -x160 -x167 -x169 -x177 -x193 -x102 -x110 x124 -x149 1800.04/1800.50 v -x106 x163 -x144 -x117 -x171 -x105 -x186 -x126 -x136 -x142 -x154 x185 -x152 -x156 -x119 -x147 -x113 -x188 -x112 -x175 -x133 1800.04/1800.50 v -x121 -x123 -x181 -x159 -x127 x179 x140 -x172 x130 -x137 -x196 1800.04/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.50 c 38 442346 246 483141 448048 48464037 435450 245 1800.05 1800.04/1800.50 c Objective: -10 1800.04/1800.50 s SATISFIABLE 1800.04/1800.50 c Total time: 1800.05 s
OK -10
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-455265-1178040294 -o ROOT/results/node27/solver-455265-1178040294 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455265-1178040294/instance-455265-1178040294.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: 1.07 1.02 1.00 3/65 1109 /proc/meminfo: memFree=1857976/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=11816 CPUtime=0 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 216725320 12099584 345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 2954 346 291 324 0 2003 0 [startup+0.087051 s] /proc/loadavg: 1.07 1.02 1.00 3/65 1109 /proc/meminfo: memFree=1857976/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=7320 CPUtime=0.07 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 1243 0 0 0 7 0 0 0 18 0 1 0 216725320 7495680 1192 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 1830 1192 306 324 0 899 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7320 [startup+0.101053 s] /proc/loadavg: 1.07 1.02 1.00 3/65 1109 /proc/meminfo: memFree=1857976/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=7320 CPUtime=0.09 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 1243 0 0 0 9 0 0 0 18 0 1 0 216725320 7495680 1192 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 1830 1192 306 324 0 899 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7320 [startup+0.301071 s] /proc/loadavg: 1.07 1.02 1.00 3/65 1109 /proc/meminfo: memFree=1857976/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=7320 CPUtime=0.29 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 1245 0 0 0 29 0 0 0 19 0 1 0 216725320 7495680 1194 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1901301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 1830 1194 306 324 0 899 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7320 [startup+0.701112 s] /proc/loadavg: 1.07 1.02 1.00 3/65 1109 /proc/meminfo: memFree=1857976/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=7320 CPUtime=0.69 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 1246 0 0 0 69 0 0 0 22 0 1 0 216725320 7495680 1195 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1900631 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 1830 1195 306 324 0 899 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7320 [startup+1.50119 s] /proc/loadavg: 1.07 1.02 1.00 2/66 1110 /proc/meminfo: memFree=1854320/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=7320 CPUtime=1.49 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 1246 0 0 0 149 0 0 0 25 0 1 0 216725320 7495680 1195 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 1830 1195 306 324 0 899 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7320 [startup+3.10135 s] /proc/loadavg: 1.07 1.02 1.00 2/66 1110 /proc/meminfo: memFree=1854192/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=7320 CPUtime=3.09 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 1246 0 0 0 309 0 0 0 25 0 1 0 216725320 7495680 1195 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134552169 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 1830 1195 306 324 0 899 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7320 [startup+6.30168 s] /proc/loadavg: 1.14 1.03 1.01 2/66 1110 /proc/meminfo: memFree=1854088/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=7320 CPUtime=6.28 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 1246 0 0 0 628 0 0 0 25 0 1 0 216725320 7495680 1195 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160521838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 1830 1195 306 324 0 899 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 7320 [startup+12.7013 s] /proc/loadavg: 1.13 1.03 1.01 2/66 1110 /proc/meminfo: memFree=1854232/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=7320 CPUtime=12.69 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 1246 0 0 0 1268 1 0 0 25 0 1 0 216725320 7495680 1195 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 1830 1195 306 324 0 899 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7320 [startup+25.5016 s] /proc/loadavg: 1.10 1.03 1.01 2/66 1110 /proc/meminfo: memFree=1833048/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=29212 CPUtime=25.48 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 6982 0 0 0 2540 8 0 0 25 0 1 0 216725320 29913088 6667 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 7303 6667 312 324 0 6372 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29212 [startup+51.1012 s] /proc/loadavg: 1.07 1.03 1.00 2/66 1110 /proc/meminfo: memFree=1776664/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=85492 CPUtime=51.07 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 21070 0 0 0 5085 22 0 0 25 0 1 0 216725320 87543808 20755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 21373 20755 312 324 0 20442 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 85492 [startup+102.305 s] /proc/loadavg: 1.03 1.02 1.00 2/66 1110 /proc/meminfo: memFree=1720216/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=141132 CPUtime=102.27 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 34970 0 0 0 10184 43 0 0 25 0 1 0 216725320 144519168 34655 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 35283 34655 312 324 0 34352 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 141132 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.00 2/66 1110 /proc/meminfo: memFree=1664984/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=196984 CPUtime=162.24 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 48918 0 0 0 16161 63 0 0 25 0 1 0 216725320 201711616 48603 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 49246 48603 312 324 0 48315 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 196984 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/66 1110 /proc/meminfo: memFree=1623512/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=237660 CPUtime=222.23 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 59111 0 0 0 22144 79 0 0 25 0 1 0 216725320 243363840 58796 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 59415 58796 312 324 0 58484 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 237660 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1110 /proc/meminfo: memFree=1587032/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=274412 CPUtime=282.21 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 68295 0 0 0 28127 94 0 0 25 0 1 0 216725320 280997888 67980 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 68603 67980 312 324 0 67672 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 274412 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1546840/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=314284 CPUtime=342.2 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 78265 0 0 0 34111 109 0 0 25 0 1 0 216725320 321826816 77950 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 78571 77950 312 324 0 77640 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 314284 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1526360/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=334704 CPUtime=402.19 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 83350 0 0 0 40104 115 0 0 25 0 1 0 216725320 342736896 83035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 83676 83035 312 324 0 82745 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 334704 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1500312/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=360760 CPUtime=462.17 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 89873 0 0 0 46091 126 0 0 25 0 1 0 216725320 369418240 89558 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 90190 89558 312 324 0 89259 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 360760 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1472792/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=388232 CPUtime=522.16 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 96741 0 0 0 52080 136 0 0 25 0 1 0 216725320 397549568 96426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 97058 96426 312 324 0 96127 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 388232 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1444312/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=416472 CPUtime=582.14 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 103817 0 0 0 58067 147 0 0 25 0 1 0 216725320 426467328 103502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 104118 103502 312 324 0 103187 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 416472 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1423832/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=436804 CPUtime=642.13 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 108886 0 0 0 64056 157 0 0 25 0 1 0 216725320 447287296 108571 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 109201 108571 312 324 0 108270 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 436804 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1348184/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=512320 CPUtime=882.06 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 127767 0 0 0 88016 190 0 0 25 0 1 0 216725320 524615680 127452 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 128080 127452 312 324 0 127149 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 512320 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1336088/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=524412 CPUtime=942.05 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 130800 0 0 0 94009 196 0 0 25 0 1 0 216725320 536997888 130485 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 131103 130485 312 324 0 130172 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 524412 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1322264/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=538216 CPUtime=1002.04 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 134228 0 0 0 100002 202 0 0 25 0 1 0 216725320 551133184 133913 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 134554 133913 312 324 0 133623 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 538216 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1312472/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=548024 CPUtime=1062.02 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 136682 0 0 0 105995 207 0 0 25 0 1 0 216725320 561176576 136367 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 137006 136367 312 324 0 136075 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 548024 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1300888/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=559496 CPUtime=1122 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 139558 0 0 0 111989 211 0 0 25 0 1 0 216725320 572923904 139243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 139874 139243 312 324 0 138943 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 559496 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1286680/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=573916 CPUtime=1181.99 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 143151 0 0 0 117982 217 0 0 25 0 1 0 216725320 587689984 142836 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 143479 142836 312 324 0 142548 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 573916 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1274968/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=585264 CPUtime=1241.97 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 146014 0 0 0 123974 223 0 0 25 0 1 0 216725320 599310336 145699 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 146316 145699 312 324 0 145385 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 585264 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1264088/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=596088 CPUtime=1301.96 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 148701 0 0 0 129968 228 0 0 25 0 1 0 216725320 610394112 148386 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 149022 148386 312 324 0 148091 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 596088 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1252632/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=607548 CPUtime=1361.95 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 151569 0 0 0 135962 233 0 0 25 0 1 0 216725320 622129152 151254 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 151887 151254 312 324 0 150956 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 607548 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1242584/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=617624 CPUtime=1421.93 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 154098 0 0 0 141956 237 0 0 25 0 1 0 216725320 632446976 153783 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 154406 153783 312 324 0 153475 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 617624 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1229976/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=630396 CPUtime=1481.92 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 157275 0 0 0 147949 243 0 0 25 0 1 0 216725320 645525504 156960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 157599 156960 312 324 0 156668 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 630396 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1217368/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=642680 CPUtime=1541.89 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 160369 0 0 0 153942 247 0 0 25 0 1 0 216725320 658104320 160054 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 160670 160054 312 324 0 159739 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 642680 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1208088/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=652108 CPUtime=1601.88 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 162701 0 0 0 159935 253 0 0 25 0 1 0 216725320 667758592 162386 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 163027 162386 312 324 0 162096 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 652108 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1195160/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=664772 CPUtime=1661.87 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 165895 0 0 0 165928 259 0 0 25 0 1 0 216725320 680726528 165580 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 166193 165580 312 324 0 165262 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 664772 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1182808/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=677264 CPUtime=1721.85 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 169002 0 0 0 171922 263 0 0 25 0 1 0 216725320 693518336 168687 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 169316 168687 312 324 0 168385 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 677264 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1178328/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=681384 CPUtime=1781.84 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 170475 0 0 0 177918 266 0 0 25 0 1 0 216725320 697737216 169728 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 170346 169728 312 324 0 169415 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 681384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1112 /proc/meminfo: memFree=1178328/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=681384 CPUtime=1800.04 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194304 170475 0 0 0 179738 266 0 0 25 0 1 0 216725320 697737216 169728 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 170346 169728 312 324 0 169415 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 681384 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1113 /proc/meminfo: memFree=1772048/2055920 swapFree=4182956/4192956 [pid=1109] ppid=1107 vsize=0 CPUtime=1800.14 /proc/1109/stat : 1109 (bsolo3.0.16) R 1107 1109 32352 0 -1 4194308 170476 0 0 0 179738 276 0 0 25 0 1 0 216725320 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/1109/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.62 CPU time (s): 1800.16 CPU user time (s): 1797.39 CPU system time (s): 2.77058 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 683112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.39 system time used= 2.77058 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 170476 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= 2513 runsolver used 1.47978 second user time and 3.45547 second system time The end
Begin job on node27 on Tue May 1 17:24:54 UTC 2007 IDJOB= 455265 IDBENCH= 48252 IDSOLVER= 163 FILE ID= node27/455265-1178040294 PBS_JOBID= 4728393 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455265-1178040294/instance-455265-1178040294.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-455265-1178040294 -o ROOT/results/node27/solver-455265-1178040294 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455265-1178040294/instance-455265-1178040294.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 3576405369e31b0bc5c7707d6d764dde RANDOM SEED= 802803015 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 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.213 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: 1858384 kB Buffers: 66732 kB Cached: 61624 kB SwapCached: 3632 kB Active: 98052 kB Inactive: 44000 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858384 kB SwapTotal: 4192956 kB SwapFree: 4182956 kB Dirty: 6812 kB Writeback: 0 kB Mapped: 18056 kB Slab: 41512 kB Committed_AS: 4954248 kB PageTables: 1416 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 node27 on Tue May 1 17:54:57 UTC 2007