Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.05 | 1801.14 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_4_40.opb |
MD5SUM | 476815bfad4ec3fb3f4fdbbbbf10b706 |
Bench Category | SATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
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 | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
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 | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2516 |
Sum of products size (including duplicates) | 5032 |
Number of different products | 1258 |
Sum of products size | 2516 |
0.00/0.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/456687-1178361693/instance-456687-1178361693.opb 0.00/0.01 c File size is 36248 bytes. 0.00/0.02 c Highest Coefficient sum: 200 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.014 s 0.00/0.03 c Var: 2716 Constr: 5335 2616/203/2516 Lit: 18312 Watch. Lit: 15539 0.00/0.03 c Obj. Vars: 0 (0 % of total variables) 0.88/0.94 c Pre-processing Time: 0.932 s 0.88/0.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.88/0.94 c 0 2716 5335 18312 3 15539 29040 0 0 0.93 0.88/0.94 c Switching off LPR mode. 1800.00/1801.10 c 109 2716 5444 34492 6 15757 31945 109 114 0.95 1800.00/1801.10 c 264 2716 5599 57956 10 16067 35140 264 267 0.99 1800.00/1801.10 c 493 2716 5828 91512 15 16525 38655 493 473 1.04 1800.00/1801.10 c 842 2716 6177 141031 22 17223 42521 842 739 1.14 1800.00/1801.10 c 1355 2716 6690 220954 33 18249 46774 1355 1077 1.26 1800.00/1801.10 c 2121 2716 7456 338662 45 19781 51452 2121 1390 1.52 1800.00/1801.10 c 3268 2716 8603 518318 60 22075 56598 3268 1735 1.88 1800.00/1801.10 c 4993 2716 10328 785179 76 25525 62258 4993 1750 2.85 1800.00/1801.10 c 7581 2716 12916 1171823 90 30701 68484 7581 1676 4.52 1800.00/1801.10 c 11460 2716 16795 1728288 102 38459 75333 11460 1282 8.93 1800.00/1801.10 c 17284 2716 22619 2562310 113 50107 82867 17284 981 17.61 1800.00/1801.10 c 26027 2716 31362 3844297 122 67593 91154 26027 561 46.33 1800.00/1801.10 c 39137 2716 44472 5763508 129 93813 100270 39137 376 103.82 1800.00/1801.10 c 58809 2716 64144 8688431 135 133157 110298 58809 239 245.33 1800.00/1801.10 c 88323 2716 93658 13133150 140 192185 121328 88323 129 679.97 1800.00/1801.10 c 132593 2716 27590 3309125 119 60049 133461 22255 76 1730.16 1800.00/1801.10 c Resources Exceeded 1800.00/1801.10 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1801.10 c 16 149777 12201 190574 44774 5959682 39439 83 1800.01 1800.00/1801.10 s UNKNOWN 1800.00/1801.10 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-456687-1178361693 -o ROOT/results/node2/solver-456687-1178361693 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/456687-1178361693/instance-456687-1178361693.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.99 0.66 0.29 3/77 25151 /proc/meminfo: memFree=1811008/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=3828 CPUtime=0 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 91 0 1 0 0 0 0 0 18 0 1 0 312207105 3919872 74 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10539096 0 0 4096 0 0 0 0 17 0 0 0 /proc/25151/statm: 957 89 71 324 0 14 0 [startup+0.065311 s] /proc/loadavg: 0.99 0.66 0.29 3/77 25151 /proc/meminfo: memFree=1811008/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=5300 CPUtime=0.05 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 741 0 3 0 5 0 0 0 18 0 1 0 312207105 5427200 704 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160051250 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 1325 704 306 324 0 394 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5300 [startup+0.101313 s] /proc/loadavg: 0.99 0.66 0.29 3/77 25151 /proc/meminfo: memFree=1811008/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=5300 CPUtime=0.08 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 741 0 3 0 8 0 0 0 18 0 1 0 312207105 5427200 704 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 1325 704 306 324 0 394 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5300 [startup+0.301334 s] /proc/loadavg: 0.99 0.66 0.29 3/77 25151 /proc/meminfo: memFree=1811008/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=5300 CPUtime=0.28 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 741 0 3 0 28 0 0 0 19 0 1 0 312207105 5427200 704 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 1325 704 306 324 0 394 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5300 [startup+0.701375 s] /proc/loadavg: 0.99 0.66 0.29 3/77 25151 /proc/meminfo: memFree=1811008/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=5300 CPUtime=0.68 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 741 0 3 0 68 0 0 0 23 0 1 0 312207105 5427200 704 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 1325 704 306 324 0 394 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 5300 [startup+1.50146 s] /proc/loadavg: 0.99 0.66 0.29 2/78 25152 /proc/meminfo: memFree=1807992/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=9532 CPUtime=1.48 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 1859 0 3 0 147 1 0 0 25 0 1 0 312207105 9760768 1774 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551516 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 2383 1774 312 324 0 1452 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 9532 [startup+3.10262 s] /proc/loadavg: 0.99 0.66 0.29 2/78 25152 /proc/meminfo: memFree=1801016/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=16620 CPUtime=3.09 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 3611 0 3 0 307 2 0 0 25 0 1 0 312207105 17018880 3526 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 4155 3526 312 324 0 3224 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16620 [startup+6.30196 s] /proc/loadavg: 0.99 0.67 0.29 2/78 25152 /proc/meminfo: memFree=1790584/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=25240 CPUtime=6.28 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 5783 0 3 0 624 4 0 0 25 0 1 0 312207105 25845760 5698 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 6310 5698 312 324 0 5379 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25240 [startup+12.7016 s] /proc/loadavg: 0.99 0.67 0.29 2/78 25152 /proc/meminfo: memFree=1780216/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=34904 CPUtime=12.68 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 8182 0 3 0 1261 7 0 0 25 0 1 0 312207105 35741696 8097 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 8726 8097 312 324 0 7795 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34904 [startup+25.5019 s] /proc/loadavg: 0.99 0.69 0.30 2/78 25152 /proc/meminfo: memFree=1769208/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=44832 CPUtime=25.46 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 10685 0 3 0 2536 10 0 0 25 0 1 0 312207105 45907968 10600 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 11208 10600 312 324 0 10277 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 44832 [startup+51.1016 s] /proc/loadavg: 0.99 0.71 0.32 2/78 25152 /proc/meminfo: memFree=1755192/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=58904 CPUtime=51.04 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 14201 0 3 0 5090 14 0 0 25 0 1 0 312207105 60317696 14116 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 14726 14116 312 324 0 13795 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 58904 [startup+102.306 s] /proc/loadavg: 0.99 0.75 0.36 2/78 25152 /proc/meminfo: memFree=1731320/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=82620 CPUtime=102.22 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 20114 0 3 0 10200 22 0 0 25 0 1 0 312207105 84602880 20029 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 20655 20029 312 324 0 19724 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 82620 [startup+162.301 s] /proc/loadavg: 0.99 0.80 0.39 2/78 25152 /proc/meminfo: memFree=1709368/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=104664 CPUtime=162.18 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 25628 0 3 0 16188 30 0 0 25 0 1 0 312207105 107175936 25543 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 26166 25543 312 324 0 25235 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 104664 [startup+222.301 s] /proc/loadavg: 0.99 0.83 0.43 2/78 25152 /proc/meminfo: memFree=1695928/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=117940 CPUtime=222.14 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 28942 0 3 0 22180 34 0 0 25 0 1 0 312207105 120770560 28857 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 29485 28857 312 324 0 28554 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 117940 [startup+282.302 s] /proc/loadavg: 0.99 0.86 0.46 2/78 25152 /proc/meminfo: memFree=1684856/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=129156 CPUtime=282.1 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 31739 0 3 0 28172 38 0 0 25 0 1 0 312207105 132255744 31654 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 32289 31654 312 324 0 31358 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 129156 [startup+342.302 s] /proc/loadavg: 0.99 0.88 0.49 2/78 25152 /proc/meminfo: memFree=1674168/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=139600 CPUtime=342.07 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 34375 0 3 0 34164 43 0 0 25 0 1 0 312207105 142950400 34290 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10966369 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 34900 34290 312 324 0 33969 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 139600 [startup+402.302 s] /proc/loadavg: 0.99 0.90 0.52 2/78 25152 /proc/meminfo: memFree=1665912/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=147968 CPUtime=402.03 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 36442 0 3 0 40156 47 0 0 25 0 1 0 312207105 151519232 36357 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 36992 36357 312 324 0 36061 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 147968 [startup+462.301 s] /proc/loadavg: 0.99 0.92 0.55 2/78 25152 /proc/meminfo: memFree=1658360/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=155564 CPUtime=461.99 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 38367 0 3 0 46149 50 0 0 25 0 1 0 312207105 159297536 38282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 38891 38282 312 324 0 37960 0 Current children cumulated CPU time (s) 461.99 Current children cumulated vsize (KiB) 155564 [startup+522.301 s] /proc/loadavg: 0.99 0.93 0.57 2/78 25152 /proc/meminfo: memFree=1650168/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=163812 CPUtime=521.96 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 40422 0 3 0 52143 53 0 0 25 0 1 0 312207105 167743488 40337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 40953 40337 312 324 0 40022 0 Current children cumulated CPU time (s) 521.96 Current children cumulated vsize (KiB) 163812 [startup+582.302 s] /proc/loadavg: 0.99 0.94 0.60 2/78 25152 /proc/meminfo: memFree=1644472/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=169360 CPUtime=581.92 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 41812 0 3 0 58138 54 0 0 25 0 1 0 312207105 173424640 41727 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 42340 41727 312 324 0 41409 0 Current children cumulated CPU time (s) 581.92 Current children cumulated vsize (KiB) 169360 [startup+642.302 s] /proc/loadavg: 0.99 0.95 0.62 2/78 25152 /proc/meminfo: memFree=1638584/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=175144 CPUtime=641.89 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 43257 0 3 0 64133 56 0 0 25 0 1 0 312207105 179347456 43172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 43786 43172 312 324 0 42855 0 Current children cumulated CPU time (s) 641.89 Current children cumulated vsize (KiB) 175144 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.69 2/78 25152 /proc/meminfo: memFree=1605240/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=208504 CPUtime=881.78 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 51574 0 3 0 88109 69 0 0 25 0 1 0 312207105 213508096 51489 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 52126 51489 312 324 0 51195 0 Current children cumulated CPU time (s) 881.78 Current children cumulated vsize (KiB) 208504 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.71 2/78 25152 /proc/meminfo: memFree=1598456/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=215228 CPUtime=941.73 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 53285 0 3 0 94101 72 0 0 25 0 1 0 312207105 220393472 53200 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 53807 53200 312 324 0 52876 0 Current children cumulated CPU time (s) 941.73 Current children cumulated vsize (KiB) 215228 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.73 2/78 25152 /proc/meminfo: memFree=1591672/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=222056 CPUtime=1001.7 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 54972 0 3 0 100095 75 0 0 25 0 1 0 312207105 227385344 54887 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 55514 54887 312 324 0 54583 0 Current children cumulated CPU time (s) 1001.7 Current children cumulated vsize (KiB) 222056 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.74 2/78 25152 /proc/meminfo: memFree=1585592/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=228248 CPUtime=1061.66 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 56509 0 3 0 106089 77 0 0 25 0 1 0 312207105 233725952 56424 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551301 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 57062 56424 312 324 0 56131 0 Current children cumulated CPU time (s) 1061.66 Current children cumulated vsize (KiB) 228248 [startup+1122.3 s] /proc/loadavg: 1.04 0.99 0.76 2/78 25152 /proc/meminfo: memFree=1577464/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=236224 CPUtime=1121.63 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 58515 0 3 0 112083 80 0 0 25 0 1 0 312207105 241893376 58430 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 59056 58430 312 324 0 58125 0 Current children cumulated CPU time (s) 1121.63 Current children cumulated vsize (KiB) 236224 [startup+1182.3 s] /proc/loadavg: 1.01 0.99 0.77 2/84 25234 /proc/meminfo: memFree=1572408/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=239824 CPUtime=1181.57 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 59426 0 3 0 118072 85 0 0 25 0 1 0 312207105 245579776 59341 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 59956 59341 312 324 0 59025 0 Current children cumulated CPU time (s) 1181.57 Current children cumulated vsize (KiB) 239824 [startup+1242.3 s] /proc/loadavg: 1.06 1.00 0.79 2/78 25350 /proc/meminfo: memFree=1567480/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=245880 CPUtime=1241.53 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 60923 0 3 0 124055 98 0 0 25 0 1 0 312207105 251781120 60838 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 61470 60838 312 324 0 60539 0 Current children cumulated CPU time (s) 1241.53 Current children cumulated vsize (KiB) 245880 [startup+1302.3 s] /proc/loadavg: 1.02 1.00 0.80 2/78 25350 /proc/meminfo: memFree=1562808/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=250516 CPUtime=1301.5 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 62085 0 3 0 130050 100 0 0 25 0 1 0 312207105 256528384 62000 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 62629 62000 312 324 0 61698 0 Current children cumulated CPU time (s) 1301.5 Current children cumulated vsize (KiB) 250516 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 0.81 2/78 25350 /proc/meminfo: memFree=1559288/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=254612 CPUtime=1361.46 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 63113 0 3 0 136044 102 0 0 25 0 1 0 312207105 260722688 63028 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134559109 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 63653 63028 312 324 0 62722 0 Current children cumulated CPU time (s) 1361.46 Current children cumulated vsize (KiB) 254612 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.82 2/78 25350 /proc/meminfo: memFree=1559032/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=254124 CPUtime=1421.43 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 63113 0 3 0 142041 102 0 0 25 0 1 0 312207105 260222976 62906 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 63531 62906 312 324 0 62600 0 Current children cumulated CPU time (s) 1421.43 Current children cumulated vsize (KiB) 254124 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.83 2/78 25350 /proc/meminfo: memFree=1559096/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=254124 CPUtime=1481.38 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 63113 0 3 0 148036 102 0 0 25 0 1 0 312207105 260222976 62906 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 63531 62906 312 324 0 62600 0 Current children cumulated CPU time (s) 1481.38 Current children cumulated vsize (KiB) 254124 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.83 2/78 25350 /proc/meminfo: memFree=1559224/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=254124 CPUtime=1541.34 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 63113 0 3 0 154032 102 0 0 25 0 1 0 312207105 260222976 62906 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 63531 62906 312 324 0 62600 0 Current children cumulated CPU time (s) 1541.34 Current children cumulated vsize (KiB) 254124 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.84 2/78 25350 /proc/meminfo: memFree=1559224/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=254124 CPUtime=1601.31 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 63113 0 3 0 160029 102 0 0 25 0 1 0 312207105 260222976 62906 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 63531 62906 312 324 0 62600 0 Current children cumulated CPU time (s) 1601.31 Current children cumulated vsize (KiB) 254124 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.84 2/78 25350 /proc/meminfo: memFree=1559160/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=254124 CPUtime=1661.27 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 63113 0 3 0 166025 102 0 0 25 0 1 0 312207105 260222976 62906 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 63531 62906 312 324 0 62600 0 Current children cumulated CPU time (s) 1661.27 Current children cumulated vsize (KiB) 254124 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.85 2/78 25350 /proc/meminfo: memFree=1559224/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=254124 CPUtime=1721.25 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 63113 0 3 0 172022 103 0 0 25 0 1 0 312207105 260222976 62906 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 63531 62906 312 324 0 62600 0 Current children cumulated CPU time (s) 1721.25 Current children cumulated vsize (KiB) 254124 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.86 2/78 25350 /proc/meminfo: memFree=1559032/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=254124 CPUtime=1781.21 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194304 63113 0 3 0 178014 107 0 0 25 0 1 0 312207105 260222976 62906 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10965047 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 63531 62906 312 324 0 62600 0 Current children cumulated CPU time (s) 1781.21 Current children cumulated vsize (KiB) 254124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.1 s] /proc/loadavg: 1.00 1.00 0.86 2/78 25350 /proc/meminfo: memFree=1559032/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=0 CPUtime=1800 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194308 63114 0 3 0 179892 108 0 0 25 0 1 0 312207105 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/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 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 0.86 2/78 25350 /proc/meminfo: memFree=1559032/2055920 swapFree=4148884/4192956 [pid=25151] ppid=25149 vsize=0 CPUtime=1800 /proc/25151/stat : 25151 (bsolo3.0.16) R 25149 25151 24919 0 -1 4194308 63114 0 3 0 179892 108 0 0 25 0 1 0 312207105 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25151/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.14 CPU time (s): 1800.05 CPU user time (s): 1798.93 CPU system time (s): 1.12183 CPU usage (%): 99.9392 Max. virtual memory (cumulated for all children) (KiB): 254612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.93 system time used= 1.12183 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63114 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 37475 runsolver used 1.64375 second user time and 4.91925 second system time The end
Begin job on node2 on Sat May 5 10:41:33 UTC 2007 IDJOB= 456687 IDBENCH= 48291 IDSOLVER= 163 FILE ID= node2/456687-1178361693 PBS_JOBID= 5188973 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_4_40.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/456687-1178361693/instance-456687-1178361693.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-456687-1178361693 -o ROOT/results/node2/solver-456687-1178361693 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/456687-1178361693/instance-456687-1178361693.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 476815bfad4ec3fb3f4fdbbbbf10b706 RANDOM SEED= 148760288 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1811416 kB Buffers: 35248 kB Cached: 118036 kB SwapCached: 12296 kB Active: 114616 kB Inactive: 65676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1811416 kB SwapTotal: 4192956 kB SwapFree: 4148884 kB Dirty: 6632 kB Writeback: 0 kB Mapped: 34024 kB Slab: 49668 kB Committed_AS: 11632428 kB PageTables: 1872 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 node2 on Sat May 5 11:11:36 UTC 2007