Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.06 | 1800.52 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-f2000.opb |
MD5SUM | fad56081e554a0467e4020315c4dfc76 |
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 | 4000 |
Total number of constraints | 10500 |
Number of constraints which are clauses | 10500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 4000 |
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 | 4000 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4000 |
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.0.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433046-1177953622/instance-433046-1177953622.opb 0.00/0.00 c File size is 367884 bytes. 0.02/0.07 c Highest Coefficient sum: 4000 0.02/0.07 c Parsing was ok!! 0.02/0.07 c Total parsing time: 0.07 s 0.02/0.07 c Var: 4000 Constr: 10500 10500/0/0 Lit: 29500 Watch. Lit: 21000 0.02/0.07 c Obj. Vars: 4000 (100 % of total variables) 0.09/0.12 c Pre-processing Time: 0.122 s 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 3995 10500 29500 2 21000 3499 0 0 0.12 0.09/0.12 c Switching off LPR mode. 1800.05/1800.50 c 101 3995 10601 42845 4 21202 3849 101 601 0.17 1800.05/1800.50 c 252 3995 10752 58711 5 21504 4234 252 1067 0.24 1800.05/1800.50 c 479 3995 10979 82793 7 21958 4658 479 1360 0.35 1800.05/1800.50 c 817 3995 11317 125496 11 22634 5124 817 1562 0.52 1800.05/1800.50 c 1326 3995 11826 187679 15 23652 5637 1326 1689 0.79 1800.05/1800.50 c 2090 3995 12590 289797 23 25180 6201 2090 1620 1.29 1800.05/1800.50 c 3240 3995 13740 468391 34 27480 6822 3240 1556 2.08 1800.05/1800.50 c 4962 3995 15462 734683 47 30924 7505 4962 1482 3.35 1800.05/1800.50 c 7546 3995 14254 567832 39 28508 8256 3754 1265 5.96 1800.05/1800.50 c 11425 3995 18133 1172097 64 36266 9082 7633 1215 9.40 1800.05/1800.50 c 17253 3995 18912 1310392 69 37824 9991 8412 1113 15.50 1800.05/1800.50 c 25990 3995 16862 1040542 61 33724 10991 6362 1005 25.84 1800.05/1800.50 c 39101 3995 17958 1273604 70 35916 12091 7458 885 44.15 1800.05/1800.50 c 58771 3995 18376 1281964 69 36752 13301 7876 785 74.82 1800.05/1800.50 c 88281 3995 19629 1412776 71 39258 14632 9129 747 118.09 1800.05/1800.50 c 132551 3995 25096 2454368 97 50192 16096 14596 686 193.10 1800.05/1800.50 c 198964 3995 23529 2352786 99 47058 17706 13029 608 327.13 1800.05/1800.50 c 298584 3995 20083 1577739 78 40166 19477 9583 581 513.21 1800.05/1800.50 c 448019 3995 26428 2774943 105 52856 21425 15928 532 840.98 1800.05/1800.50 c 672178 3995 26450 2899247 109 52900 23568 15950 503 1335.01 1800.05/1800.50 c Caught signal: 15 1800.05/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.50 c 20 850839 203822 1270761 33751 4129117 23251 472 1800.05 1800.05/1800.50 s UNKNOWN 1800.05/1800.50 c Total time: 1800.05 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-433046-1177953622 -o ROOT/results/node55/solver-433046-1177953622 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433046-1177953622/instance-433046-1177953622.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.92 0.98 0.96 3/64 19043 /proc/meminfo: memFree=1340868/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=12096 CPUtime=0 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243272247 12386304 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 3024 334 279 324 0 2004 0 [startup+0.0255049 s] /proc/loadavg: 0.92 0.98 0.96 3/64 19043 /proc/meminfo: memFree=1340868/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=4884 CPUtime=0.02 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 524 0 0 0 2 0 0 0 18 0 1 0 243272247 5001216 494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 1221 494 306 324 0 201 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4884 [startup+0.101512 s] /proc/loadavg: 0.92 0.98 0.96 3/64 19043 /proc/meminfo: memFree=1340868/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=6712 CPUtime=0.09 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 1161 0 0 0 9 0 0 0 18 0 1 0 243272247 6873088 1041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 1678 1041 304 324 0 748 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6712 [startup+0.30153 s] /proc/loadavg: 0.92 0.98 0.96 3/64 19043 /proc/meminfo: memFree=1340868/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=6768 CPUtime=0.29 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 1288 0 0 0 28 1 0 0 19 0 1 0 243272247 6930432 1066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 1692 1066 309 324 0 762 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6768 [startup+0.701569 s] /proc/loadavg: 0.92 0.98 0.96 3/64 19043 /proc/meminfo: memFree=1340868/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=8064 CPUtime=0.69 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 1614 0 0 0 68 1 0 0 22 0 1 0 243272247 8257536 1392 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 2016 1392 309 324 0 1086 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8064 [startup+1.50165 s] /proc/loadavg: 0.92 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1335484/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=10524 CPUtime=1.49 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 2217 0 0 0 147 2 0 0 25 0 1 0 243272247 10776576 1995 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7290652 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 2631 1995 309 324 0 1701 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10524 [startup+3.1018 s] /proc/loadavg: 0.92 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1332028/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=15060 CPUtime=3.09 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 3368 0 0 0 307 2 0 0 25 0 1 0 243272247 15421440 3146 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7279969 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 3765 3146 309 324 0 2835 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15060 [startup+6.30111 s] /proc/loadavg: 0.93 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1324100/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=21008 CPUtime=6.29 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 4850 0 0 0 626 3 0 0 25 0 1 0 243272247 21512192 4628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 5252 4628 309 324 0 4322 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21008 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1318916/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=25436 CPUtime=12.68 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 5959 0 0 0 1264 4 0 0 25 0 1 0 243272247 26046464 5737 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 6359 5737 309 324 0 5429 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25436 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1316612/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=27744 CPUtime=25.48 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 6528 0 0 0 2543 5 0 0 25 0 1 0 243272247 28409856 6306 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 6936 6306 309 324 0 6006 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27744 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1311684/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=33548 CPUtime=51.08 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 7967 0 0 0 5101 7 0 0 25 0 1 0 243272247 34353152 7745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7282340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 8387 7745 309 324 0 7457 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 33548 [startup+102.304 s] /proc/loadavg: 0.98 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1309124/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=35220 CPUtime=102.26 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 8402 0 0 0 10219 7 0 0 25 0 1 0 243272247 36065280 8180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 8805 8180 309 324 0 7875 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 35220 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1304900/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=39428 CPUtime=162.25 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 9447 0 0 0 16217 8 0 0 25 0 1 0 243272247 40374272 9225 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 9857 9225 309 324 0 8927 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 39428 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1300100/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=44180 CPUtime=222.23 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 10635 0 0 0 22215 8 0 0 25 0 1 0 243272247 45240320 10413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 11045 10413 309 324 0 10115 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 44180 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1298308/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=45952 CPUtime=282.22 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 11087 0 0 0 28213 9 0 0 25 0 1 0 243272247 47054848 10865 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 11488 10865 309 324 0 10558 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 45952 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1295876/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=48360 CPUtime=342.2 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 11682 0 0 0 34211 9 0 0 25 0 1 0 243272247 49520640 11460 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 12090 11460 309 324 0 11160 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 48360 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1293892/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=50316 CPUtime=402.18 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 12171 0 0 0 40209 9 0 0 25 0 1 0 243272247 51523584 11949 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 12579 11949 309 324 0 11649 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 50316 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1292932/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=51332 CPUtime=462.17 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 12435 0 0 0 46207 10 0 0 25 0 1 0 243272247 52563968 12213 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 12833 12213 309 324 0 11903 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 51332 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1292996/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=51308 CPUtime=522.16 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 12435 0 0 0 52206 10 0 0 25 0 1 0 243272247 52539392 12211 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 12827 12211 309 324 0 11897 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 51308 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1292804/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=51532 CPUtime=582.14 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 12480 0 0 0 58204 10 0 0 25 0 1 0 243272247 52768768 12255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 12883 12255 309 324 0 11953 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 51532 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1292804/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=51468 CPUtime=642.13 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 12480 0 0 0 64203 10 0 0 25 0 1 0 243272247 52703232 12251 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7282781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 12867 12251 309 324 0 11937 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 51468 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1287428/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=56816 CPUtime=882.07 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 13812 0 0 0 88196 11 0 0 25 0 1 0 243272247 58179584 13582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 14204 13582 309 324 0 13274 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 56816 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1287108/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=57176 CPUtime=942.05 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 13897 0 0 0 94194 11 0 0 25 0 1 0 243272247 58548224 13667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 14294 13667 309 324 0 13364 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 57176 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1280900/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=63416 CPUtime=1002.04 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 15457 0 0 0 100192 12 0 0 25 0 1 0 243272247 64937984 15227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 15854 15227 309 324 0 14924 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 63416 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.96 3/65 19044 /proc/meminfo: memFree=1280772/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=63520 CPUtime=1062.02 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 15483 0 0 0 106190 12 0 0 25 0 1 0 243272247 65044480 15253 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 15880 15253 309 324 0 14950 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 63520 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1280324/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=63904 CPUtime=1122 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 15582 0 0 0 112188 12 0 0 25 0 1 0 243272247 65437696 15352 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550544 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 15976 15352 309 324 0 15046 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 63904 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1280580/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=63516 CPUtime=1181.99 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 15582 0 0 0 118187 12 0 0 25 0 1 0 243272247 65040384 15263 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7295800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 15879 15263 309 324 0 14949 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 63516 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19044 /proc/meminfo: memFree=1280580/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=63500 CPUtime=1241.97 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 15582 0 0 0 124185 12 0 0 25 0 1 0 243272247 65024000 15259 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551578 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 15875 15259 309 324 0 14945 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 63500 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19046 /proc/meminfo: memFree=1280516/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=63500 CPUtime=1301.96 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 15582 0 0 0 130184 12 0 0 25 0 1 0 243272247 65024000 15259 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 15875 15259 309 324 0 14945 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 63500 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 19046 /proc/meminfo: memFree=1280580/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=63508 CPUtime=1361.94 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 15584 0 0 0 136182 12 0 0 25 0 1 0 243272247 65032192 15261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 15877 15261 309 324 0 14947 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 63508 [startup+1422.31 s] /proc/loadavg: 1.04 1.00 0.96 2/65 19046 /proc/meminfo: memFree=1280580/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=63508 CPUtime=1421.94 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 15584 0 0 0 142181 13 0 0 25 0 1 0 243272247 65032192 15261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7282264 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 15877 15261 309 324 0 14947 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 63508 [startup+1482.3 s] /proc/loadavg: 1.05 1.01 0.97 2/65 19046 /proc/meminfo: memFree=1280644/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=63508 CPUtime=1481.92 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 15584 0 0 0 148179 13 0 0 25 0 1 0 243272247 65032192 15261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 15877 15261 309 324 0 14947 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 63508 [startup+1542.3 s] /proc/loadavg: 1.12 1.04 0.98 2/65 19046 /proc/meminfo: memFree=1280644/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=63508 CPUtime=1541.91 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 15584 0 0 0 154178 13 0 0 25 0 1 0 243272247 65032192 15261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7282413 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 15877 15261 309 324 0 14947 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 63508 [startup+1602.3 s] /proc/loadavg: 1.08 1.04 0.98 2/65 19046 /proc/meminfo: memFree=1280644/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=63508 CPUtime=1601.89 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 15584 0 0 0 160176 13 0 0 25 0 1 0 243272247 65032192 15261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 15877 15261 309 324 0 14947 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 63508 [startup+1662.3 s] /proc/loadavg: 1.03 1.03 0.98 2/65 19046 /proc/meminfo: memFree=1280644/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=63508 CPUtime=1661.88 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 15584 0 0 0 166175 13 0 0 25 0 1 0 243272247 65032192 15261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 15877 15261 309 324 0 14947 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 63508 [startup+1722.3 s] /proc/loadavg: 1.01 1.02 0.98 2/65 19046 /proc/meminfo: memFree=1280644/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=63508 CPUtime=1721.86 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 15584 0 0 0 172173 13 0 0 25 0 1 0 243272247 65032192 15261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 15877 15261 309 324 0 14947 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 63508 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 0.98 2/65 19046 /proc/meminfo: memFree=1280708/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=63508 CPUtime=1781.85 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 15584 0 0 0 178172 13 0 0 25 0 1 0 243272247 65032192 15261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7282133 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 15877 15261 309 324 0 14947 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 63508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.02 0.98 2/65 19046 /proc/meminfo: memFree=1280708/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=63508 CPUtime=1800.05 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 15584 0 0 0 179992 13 0 0 25 0 1 0 243272247 65032192 15261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 15877 15261 309 324 0 14947 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 63508 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.02 0.98 2/65 19046 /proc/meminfo: memFree=1280708/2055920 swapFree=4184544/4192956 [pid=19043] ppid=19041 vsize=63508 CPUtime=1800.05 /proc/19043/stat : 19043 (bsolo3.0.17) R 19041 19043 17894 0 -1 4194304 15584 0 0 0 179992 13 0 0 25 0 1 0 243272247 65032192 15261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19043/statm: 15877 15261 309 324 0 14947 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 63508 Child status: 15 Real time (s): 1800.52 CPU time (s): 1800.06 CPU user time (s): 1799.92 CPU system time (s): 0.139978 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 63904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.92 system time used= 0.139978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15588 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= 3010 runsolver used 1.40279 second user time and 3.51846 second system time The end
Begin job on node55 on Mon Apr 30 17:20:22 UTC 2007 IDJOB= 433046 IDBENCH= 2191 IDSOLVER= 199 FILE ID= node55/433046-1177953622 PBS_JOBID= 4727813 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f2000.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433046-1177953622/instance-433046-1177953622.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-433046-1177953622 -o ROOT/results/node55/solver-433046-1177953622 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433046-1177953622/instance-433046-1177953622.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= fad56081e554a0467e4020315c4dfc76 RANDOM SEED= 462862952 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1341276 kB Buffers: 60640 kB Cached: 566688 kB SwapCached: 2556 kB Active: 339860 kB Inactive: 297436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1341276 kB SwapTotal: 4192956 kB SwapFree: 4184544 kB Dirty: 7024 kB Writeback: 0 kB Mapped: 16336 kB Slab: 63428 kB Committed_AS: 1412076 kB PageTables: 1380 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 node55 on Mon Apr 30 17:50:25 UTC 2007