Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.16 | 1800.84 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216864.opb |
MD5SUM | 01a11c78606c6281a399e7d01c40beb6 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.010997 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 169 |
Total number of constraints | 101 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
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 | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1228 |
Number of bits of the biggest sum of numbers | 11 |
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 This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.00 c ...done 0.00/0.00 c #vars=169 #constraints=101 hasObjective=no 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.09/0.19 c restart after 401 decisions 0.19/0.27 c nbDecision=500 #constraints=594 0.49/0.51 c restart after 801 decisions 0.69/0.74 c nbDecision=1000 #constraints=1089 1.49/1.57 c nbDecision=1500 #constraints=1592 1.69/1.79 c restart after 1601 decisions 2.59/2.64 c nbDecision=2000 #constraints=2088 4.19/4.20 c nbDecision=2500 #constraints=2587 6.50/6.56 c nbDecision=3000 #constraints=3086 7.79/7.80 c restart after 3201 decisions 9.59/9.65 c nbDecision=3500 #constraints=3582 13.89/13.93 c nbDecision=4000 #constraints=4080 19.28/19.38 c nbDecision=4500 #constraints=4581 26.18/26.28 c nbDecision=5000 #constraints=5079 33.38/33.44 c nbDecision=5500 #constraints=5578 41.48/41.59 c nbDecision=6000 #constraints=6080 48.87/48.92 c restart after 6401 decisions 50.77/50.85 c nbDecision=6500 #constraints=6577 60.48/60.56 c nbDecision=7000 #constraints=7077 72.87/72.92 c nbDecision=7500 #constraints=7576 84.86/84.96 c nbDecision=8000 #constraints=8075 97.22/97.38 c nbDecision=8500 #constraints=8574 109.90/110.03 c nbDecision=9000 #constraints=9073 124.56/124.77 c nbDecision=9500 #constraints=9573 141.66/141.82 c nbDecision=10000 #constraints=10072 160.14/160.37 c nbDecision=10500 #constraints=10571 177.23/177.44 c nbDecision=11000 #constraints=11070 197.12/197.30 c nbDecision=11500 #constraints=11569 215.72/215.94 c nbDecision=12000 #constraints=12067 237.51/237.70 c nbDecision=12500 #constraints=12562 251.50/251.77 c restart after 12801 decisions 263.20/263.42 c nbDecision=13000 #constraints=13058 288.29/288.53 c nbDecision=13500 #constraints=13556 316.29/316.58 c nbDecision=14000 #constraints=14053 345.57/345.86 c nbDecision=14500 #constraints=14552 369.67/369.92 c nbDecision=15000 #constraints=15046 400.26/400.51 c nbDecision=15500 #constraints=15549 428.75/429.05 c nbDecision=16000 #constraints=16046 454.14/454.45 c nbDecision=16500 #constraints=16547 484.03/484.32 c nbDecision=17000 #constraints=17043 510.52/510.89 c nbDecision=17500 #constraints=17540 538.02/538.39 c nbDecision=18000 #constraints=18039 568.50/568.84 c nbDecision=18500 #constraints=18540 597.40/597.77 c nbDecision=19000 #constraints=19036 627.08/627.47 c nbDecision=19500 #constraints=19531 661.77/662.12 c nbDecision=20000 #constraints=20030 702.66/703.09 c nbDecision=20500 #constraints=20529 743.25/743.62 c nbDecision=21000 #constraints=21029 790.03/790.43 c nbDecision=21500 #constraints=21529 840.02/840.42 c nbDecision=22000 #constraints=22028 889.00/889.48 c nbDecision=22500 #constraints=22528 942.58/943.06 c nbDecision=23000 #constraints=23026 992.47/992.91 c nbDecision=23500 #constraints=23526 1040.46/1040.90 c nbDecision=24000 #constraints=24024 1082.34/1082.82 c nbDecision=24500 #constraints=24524 1138.61/1139.15 c nbDecision=25000 #constraints=25023 1185.31/1185.87 c nbDecision=25500 #constraints=25523 1195.91/1196.43 c restart after 25601 decisions 1241.89/1242.46 c nbDecision=26000 #constraints=26016 1303.86/1304.42 c nbDecision=26500 #constraints=26516 1365.34/1365.91 c nbDecision=27000 #constraints=27015 1416.33/1416.96 c nbDecision=27500 #constraints=27508 1475.01/1475.68 c nbDecision=28000 #constraints=28011 1532.29/1532.90 c nbDecision=28500 #constraints=28509 1602.17/1602.83 c nbDecision=29000 #constraints=29009 1655.15/1655.86 c nbDecision=29500 #constraints=29507 1713.34/1714.07 c nbDecision=30000 #constraints=30008 1771.51/1772.27 c nbDecision=30500 #constraints=30506 1800.02/1800.71 Received signal 15 1800.12/1800.82 1800.12/1800.82 s UNKNOWN 1800.12/1800.82 1800.12/1800.82 c user time= 1799.87 s 1800.12/1800.82 c system time= 0.271958 s 1800.12/1800.82 c wall clock time=1800.83
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-358122-1176836372 -o ROOT/results/node39/solver-358122-1176836372 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/358122-1176836372/instance-358122-1176836372.opb mod 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.97 0.98 3/77 18869 /proc/meminfo: memFree=1893320/2055920 swapFree=4110580/4192956 [pid=18869] ppid=18867 vsize=1468 CPUtime=0 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 197 0 0 0 0 0 0 0 18 0 1 0 131549211 1503232 179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 367 179 138 317 0 46 0 [startup+0.00687098 s] /proc/loadavg: 0.92 0.97 0.98 3/77 18869 /proc/meminfo: memFree=1893320/2055920 swapFree=4110580/4192956 [pid=18869] ppid=18867 vsize=1468 CPUtime=0 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 131549211 1503232 184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710852 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 367 184 139 317 0 46 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1468 [startup+0.101886 s] /proc/loadavg: 0.92 0.97 0.98 3/77 18869 /proc/meminfo: memFree=1893320/2055920 swapFree=4110580/4192956 [pid=18869] ppid=18867 vsize=1864 CPUtime=0.09 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 285 0 0 0 9 0 0 0 18 0 1 0 131549211 1908736 267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 466 267 139 317 0 145 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1864 [startup+0.30192 s] /proc/loadavg: 0.92 0.97 0.98 3/77 18869 /proc/meminfo: memFree=1893320/2055920 swapFree=4110580/4192956 [pid=18869] ppid=18867 vsize=2392 CPUtime=0.29 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 401 0 0 0 29 0 0 0 20 0 1 0 131549211 2449408 383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284244 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 598 383 139 317 0 277 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2392 [startup+0.701987 s] /proc/loadavg: 0.92 0.97 0.98 3/77 18869 /proc/meminfo: memFree=1893320/2055920 swapFree=4110580/4192956 [pid=18869] ppid=18867 vsize=2912 CPUtime=0.69 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 549 0 0 0 69 0 0 0 24 0 1 0 131549211 2981888 531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 728 531 139 317 0 407 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2912 [startup+1.50112 s] /proc/loadavg: 0.92 0.97 0.98 2/78 18870 /proc/meminfo: memFree=1891264/2055920 swapFree=4110580/4192956 [pid=18869] ppid=18867 vsize=3700 CPUtime=1.49 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 736 0 0 0 149 0 0 0 25 0 1 0 131549211 3788800 718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 925 718 139 317 0 604 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3700 [startup+3.10139 s] /proc/loadavg: 0.93 0.97 0.98 2/78 18870 /proc/meminfo: memFree=1890432/2055920 swapFree=4110580/4192956 [pid=18869] ppid=18867 vsize=4688 CPUtime=3.09 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 989 0 0 0 309 0 0 0 25 0 1 0 131549211 4800512 971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 1172 971 139 317 0 851 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4688 [startup+6.30193 s] /proc/loadavg: 0.93 0.97 0.98 2/78 18870 /proc/meminfo: memFree=1888704/2055920 swapFree=4110580/4192956 [pid=18869] ppid=18867 vsize=6016 CPUtime=6.29 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 1310 0 0 0 628 1 0 0 25 0 1 0 131549211 6160384 1292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 1504 1292 139 317 0 1183 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6016 [startup+12.702 s] /proc/loadavg: 0.94 0.97 0.98 2/78 18870 /proc/meminfo: memFree=1887112/2055920 swapFree=4110580/4192956 [pid=18869] ppid=18867 vsize=7336 CPUtime=12.69 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 1674 0 0 0 1268 1 0 0 25 0 1 0 131549211 7512064 1656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 1834 1656 170 317 0 1513 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7336 [startup+25.5012 s] /proc/loadavg: 0.95 0.97 0.98 2/78 18870 /proc/meminfo: memFree=1885320/2055920 swapFree=4110644/4192956 [pid=18869] ppid=18867 vsize=9172 CPUtime=25.48 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 2110 0 0 0 2547 1 0 0 25 0 1 0 131549211 9392128 2092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 2293 2092 170 317 0 1972 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9172 [startup+51.1015 s] /proc/loadavg: 0.96 0.97 0.98 2/78 18870 /proc/meminfo: memFree=1883016/2055920 swapFree=4110644/4192956 [pid=18869] ppid=18867 vsize=11408 CPUtime=51.07 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 2678 0 0 0 5105 2 0 0 25 0 1 0 131549211 11681792 2660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 2852 2660 170 317 0 2531 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 11408 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.98 2/84 18952 /proc/meminfo: memFree=1878144/2055920 swapFree=4110644/4192956 [pid=18869] ppid=18867 vsize=15252 CPUtime=102.22 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 3587 0 0 0 10217 5 0 0 25 0 1 0 131549211 15618048 3512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 3813 3512 170 317 0 3492 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 15252 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1876232/2055920 swapFree=4110708/4192956 [pid=18869] ppid=18867 vsize=18312 CPUtime=162.14 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 4354 0 0 0 16208 6 0 0 25 0 1 0 131549211 18751488 4279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 4578 4279 170 317 0 4257 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 18312 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1873480/2055920 swapFree=4110708/4192956 [pid=18869] ppid=18867 vsize=20980 CPUtime=222.12 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 5032 0 0 0 22205 7 0 0 25 0 1 0 131549211 21483520 4957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 5245 4957 170 317 0 4924 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 20980 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1871496/2055920 swapFree=4110708/4192956 [pid=18869] ppid=18867 vsize=22984 CPUtime=282.1 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 5517 0 0 0 28202 8 0 0 25 0 1 0 131549211 23535616 5442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 5746 5442 170 317 0 5425 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 22984 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1869768/2055920 swapFree=4110772/4192956 [pid=18869] ppid=18867 vsize=24784 CPUtime=342.08 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 5926 0 0 0 34199 9 0 0 25 0 1 0 131549211 25378816 5851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 6196 5851 170 317 0 5875 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 24784 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1868104/2055920 swapFree=4110772/4192956 [pid=18869] ppid=18867 vsize=26572 CPUtime=402.06 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 6353 0 0 0 40196 10 0 0 25 0 1 0 131549211 27209728 6278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 6643 6278 170 317 0 6322 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 26572 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1865864/2055920 swapFree=4110836/4192956 [pid=18869] ppid=18867 vsize=29316 CPUtime=462.04 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 7036 0 0 0 46193 11 0 0 25 0 1 0 131549211 30019584 6847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 7329 6847 170 317 0 7008 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 29316 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1864200/2055920 swapFree=4110836/4192956 [pid=18869] ppid=18867 vsize=31292 CPUtime=522.01 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 7479 0 0 0 52190 11 0 0 25 0 1 0 131549211 32043008 7290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 7823 7290 170 317 0 7502 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 31292 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1862088/2055920 swapFree=4110836/4192956 [pid=18869] ppid=18867 vsize=33520 CPUtime=582 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 8005 0 0 0 58188 12 0 0 25 0 1 0 131549211 34324480 7816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 8380 7816 170 317 0 8059 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 33520 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1860232/2055920 swapFree=4110900/4192956 [pid=18869] ppid=18867 vsize=35424 CPUtime=641.98 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 8479 0 0 0 64185 13 0 0 25 0 1 0 131549211 36274176 8290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 8856 8290 170 317 0 8535 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 35424 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1856008/2055920 swapFree=4110964/4192956 [pid=18869] ppid=18867 vsize=39524 CPUtime=881.91 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 9528 0 0 0 88175 16 0 0 25 0 1 0 131549211 40472576 9339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 9881 9339 170 317 0 9560 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 39524 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1855304/2055920 swapFree=4111028/4192956 [pid=18869] ppid=18867 vsize=40360 CPUtime=941.88 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 9724 0 0 0 94172 16 0 0 25 0 1 0 131549211 41328640 9535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 10090 9535 170 317 0 9769 0 Current children cumulated CPU time (s) 941.88 Current children cumulated vsize (KiB) 40360 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1854280/2055920 swapFree=4111028/4192956 [pid=18869] ppid=18867 vsize=41368 CPUtime=1001.86 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 9967 0 0 0 100169 17 0 0 25 0 1 0 131549211 42360832 9778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 10342 9778 170 317 0 10021 0 Current children cumulated CPU time (s) 1001.86 Current children cumulated vsize (KiB) 41368 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1853256/2055920 swapFree=4111092/4192956 [pid=18869] ppid=18867 vsize=42480 CPUtime=1061.85 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 10221 0 0 0 106167 18 0 0 25 0 1 0 131549211 43499520 10032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 10620 10032 170 317 0 10299 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 42480 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1852232/2055920 swapFree=4111092/4192956 [pid=18869] ppid=18867 vsize=43456 CPUtime=1121.82 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 10467 0 0 0 112164 18 0 0 25 0 1 0 131549211 44498944 10278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 10864 10278 170 317 0 10543 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 43456 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1851144/2055920 swapFree=4111092/4192956 [pid=18869] ppid=18867 vsize=44540 CPUtime=1181.81 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 10736 0 0 0 118162 19 0 0 25 0 1 0 131549211 45608960 10547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 11135 10547 170 317 0 10814 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 44540 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1850248/2055920 swapFree=4111156/4192956 [pid=18869] ppid=18867 vsize=45652 CPUtime=1241.79 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 10974 0 0 0 124159 20 0 0 25 0 1 0 131549211 46747648 10785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 11413 10785 170 317 0 11092 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 45652 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1849544/2055920 swapFree=4111156/4192956 [pid=18869] ppid=18867 vsize=46176 CPUtime=1301.77 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 11131 0 0 0 130157 20 0 0 25 0 1 0 131549211 47284224 10942 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 11544 10942 170 317 0 11223 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 46176 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1848712/2055920 swapFree=4111224/4192956 [pid=18869] ppid=18867 vsize=47132 CPUtime=1361.75 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 11332 0 0 0 136154 21 0 0 25 0 1 0 131549211 48263168 11143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 11783 11143 170 317 0 11462 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 47132 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1847560/2055920 swapFree=4111224/4192956 [pid=18869] ppid=18867 vsize=48136 CPUtime=1421.73 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 11597 0 0 0 142151 22 0 0 25 0 1 0 131549211 49291264 11408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 12034 11408 170 317 0 11713 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 48136 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19068 /proc/meminfo: memFree=1846792/2055920 swapFree=4111288/4192956 [pid=18869] ppid=18867 vsize=48956 CPUtime=1481.71 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 11796 0 0 0 148148 23 0 0 25 0 1 0 131549211 50130944 11607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 12239 11607 170 317 0 11918 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 48956 [startup+1542.3 s] /proc/loadavg: 1.05 0.99 0.99 2/78 19068 /proc/meminfo: memFree=1845960/2055920 swapFree=4111288/4192956 [pid=18869] ppid=18867 vsize=49632 CPUtime=1541.69 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 11993 0 0 0 154145 24 0 0 25 0 1 0 131549211 50823168 11804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 12408 11804 170 317 0 12087 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 49632 [startup+1602.3 s] /proc/loadavg: 1.07 1.00 0.99 2/78 19068 /proc/meminfo: memFree=1845256/2055920 swapFree=4111288/4192956 [pid=18869] ppid=18867 vsize=50448 CPUtime=1601.67 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 12168 0 0 0 160143 24 0 0 25 0 1 0 131549211 51658752 11979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 12612 11979 170 317 0 12291 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 50448 [startup+1662.3 s] /proc/loadavg: 1.07 1.01 1.00 2/78 19068 /proc/meminfo: memFree=1844296/2055920 swapFree=4111352/4192956 [pid=18869] ppid=18867 vsize=51496 CPUtime=1661.65 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 12422 0 0 0 166140 25 0 0 25 0 1 0 131549211 52731904 12233 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 12874 12233 170 317 0 12553 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 51496 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 19068 /proc/meminfo: memFree=1843272/2055920 swapFree=4111352/4192956 [pid=18869] ppid=18867 vsize=52516 CPUtime=1721.63 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 12670 0 0 0 172137 26 0 0 25 0 1 0 131549211 53776384 12481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 13129 12481 170 317 0 12808 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 52516 [startup+1782.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 19068 /proc/meminfo: memFree=1842376/2055920 swapFree=4111416/4192956 [pid=18869] ppid=18867 vsize=53756 CPUtime=1781.61 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 12919 0 0 0 178135 26 0 0 25 0 1 0 131549211 55046144 12730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 13439 12730 170 317 0 13118 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 53756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19068 /proc/meminfo: memFree=1842120/2055920 swapFree=4111416/4192956 [pid=18869] ppid=18867 vsize=54016 CPUtime=1800.02 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 12981 0 0 0 179975 27 0 0 25 0 1 0 131549211 55312384 12792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 13504 12792 170 317 0 13183 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 54016 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19068 /proc/meminfo: memFree=1842120/2055920 swapFree=4111416/4192956 [pid=18869] ppid=18867 vsize=54016 CPUtime=1800.12 /proc/18869/stat : 18869 (oree) R 18867 18869 18767 0 -1 4194304 12982 0 0 0 179985 27 0 0 25 0 1 0 131549211 55312384 12793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710933 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18869/statm: 13504 12793 170 317 0 13183 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 54016 Child status: 0 Real time (s): 1800.84 CPU time (s): 1800.16 CPU user time (s): 1799.88 CPU system time (s): 0.281957 CPU usage (%): 99.962 Max. virtual memory (cumulated for all children) (KiB): 54016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.88 system time used= 0.281957 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12998 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= 8 involuntary context switches= 38754 runsolver used 2.05769 second user time and 4.49332 second system time The end
Begin job on node39 on Tue Apr 17 18:59:32 UTC 2007 IDJOB= 358122 IDBENCH= 1191 IDSOLVER= 172 FILE ID= node39/358122-1176836372 PBS_JOBID= 4590153 Free space on /tmp= 66482 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216864.opb COMMAND LINE= oree /tmp/evaluation/358122-1176836372/instance-358122-1176836372.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-358122-1176836372 -o ROOT/results/node39/solver-358122-1176836372 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/358122-1176836372/instance-358122-1176836372.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 01a11c78606c6281a399e7d01c40beb6 RANDOM SEED= 660402889 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.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.256 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.256 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: 1893728 kB Buffers: 30696 kB Cached: 65608 kB SwapCached: 23444 kB Active: 80340 kB Inactive: 49412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1893728 kB SwapTotal: 4192956 kB SwapFree: 4110580 kB Dirty: 1336 kB Writeback: 0 kB Mapped: 30420 kB Slab: 17716 kB Committed_AS: 1757136 kB PageTables: 2012 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= 66482 MiB End job on node39 on Tue Apr 17 19:29:35 UTC 2007