Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.22 | 1800.76 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_5.opb |
MD5SUM | 13c8aeb5c21aab422ad1cf9309500df6 |
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 | -40 |
Best CPU time to get the best result obtained on this benchmark | 1800.23 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 75000 |
Sum of products size (including duplicates) | 150000 |
Number of different products | 37500 |
Sum of products size | 75000 |
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.49/0.60 c ...done 0.49/0.60 c #vars=38500 #constraints=76503 hasObjective=yes 0.89/0.96 c res. mode=mod 0.89/0.96 c VSIDS like heuristics 0.89/0.96 c complete search running 2.39/2.41 c restart after 401 decisions 2.49/2.59 c nbDecision=500 #constraints=76655 3.89/3.94 c restart after 801 decisions 4.19/4.24 c nbDecision=1000 #constraints=76799 7.69/7.77 c nbDecision=1500 #constraints=77179 8.70/8.72 c restart after 1601 decisions 10.49/10.51 c nbDecision=2000 #constraints=77410 14.49/14.55 c nbDecision=2500 #constraints=77803 17.69/17.77 c nbDecision=3000 #constraints=78039 19.59/19.64 c restart after 3201 decisions 21.38/21.48 c nbDecision=3500 #constraints=78259 24.59/24.66 c nbDecision=4000 #constraints=78505 28.78/28.88 c nbDecision=4500 #constraints=78876 33.38/33.41 c nbDecision=5000 #constraints=79240 37.88/37.98 c nbDecision=5500 #constraints=79596 43.38/43.46 c nbDecision=6000 #constraints=79967 46.87/46.96 c restart after 6401 decisions 48.38/48.43 c nbDecision=6500 #constraints=80206 53.08/53.17 c nbDecision=7000 #constraints=80445 57.98/58.02 c nbDecision=7500 #constraints=80786 63.37/63.49 c nbDecision=8000 #constraints=81157 69.18/69.22 c nbDecision=8500 #constraints=81391 74.68/74.71 c nbDecision=9000 #constraints=81810 80.37/80.45 c nbDecision=9500 #constraints=82187 87.76/87.88 c nbDecision=10000 #constraints=82552 92.76/92.87 c nbDecision=10500 #constraints=82849 98.76/98.87 c nbDecision=11000 #constraints=83262 104.87/104.96 c nbDecision=11500 #constraints=83686 112.86/112.90 c nbDecision=12000 #constraints=83910 119.36/119.41 c nbDecision=12500 #constraints=84244 123.26/123.30 c restart after 12801 decisions 127.65/127.74 c nbDecision=13000 #constraints=84490 134.76/134.80 c nbDecision=13500 #constraints=84796 141.96/142.01 c nbDecision=14000 #constraints=85135 148.86/148.95 c nbDecision=14500 #constraints=85534 157.75/157.85 c nbDecision=15000 #constraints=85757 166.95/167.09 c nbDecision=15500 #constraints=85964 174.76/174.88 c nbDecision=16000 #constraints=86316 181.95/182.05 c nbDecision=16500 #constraints=86731 194.34/194.49 c nbDecision=17000 #constraints=86942 201.14/201.25 c nbDecision=17500 #constraints=87191 211.84/211.98 c nbDecision=18000 #constraints=87566 220.14/220.21 c nbDecision=18500 #constraints=87772 227.23/227.38 c nbDecision=19000 #constraints=88180 235.63/235.71 c nbDecision=19500 #constraints=88585 243.93/244.03 c nbDecision=20000 #constraints=88938 254.43/254.53 c nbDecision=20500 #constraints=89210 265.53/265.62 c nbDecision=21000 #constraints=89455 274.53/274.62 c nbDecision=21500 #constraints=89824 284.12/284.22 c nbDecision=22000 #constraints=90169 296.82/296.91 c nbDecision=22500 #constraints=90551 307.32/307.41 c nbDecision=23000 #constraints=90742 320.31/320.48 c nbDecision=23500 #constraints=90932 329.61/329.71 c nbDecision=24000 #constraints=91308 342.71/342.88 c nbDecision=24500 #constraints=91495 353.90/354.07 c nbDecision=25000 #constraints=91796 363.50/363.66 c nbDecision=25500 #constraints=92178 366.10/366.21 c restart after 25601 decisions 377.50/377.60 c nbDecision=26000 #constraints=92384 387.10/387.27 c nbDecision=26500 #constraints=92773 405.70/405.80 c nbDecision=27000 #constraints=92955 416.80/416.91 c nbDecision=27500 #constraints=93163 426.98/427.11 c nbDecision=28000 #constraints=93544 442.49/442.62 c nbDecision=28500 #constraints=93836 452.28/452.42 c nbDecision=29000 #constraints=94140 471.88/472.09 c nbDecision=29500 #constraints=94351 488.47/488.64 c nbDecision=30000 #constraints=94522 498.27/498.41 c nbDecision=30500 #constraints=94784 509.57/509.72 c nbDecision=31000 #constraints=95149 523.07/523.22 c nbDecision=31500 #constraints=95445 535.36/535.57 c nbDecision=32000 #constraints=95786 547.06/547.28 c nbDecision=32500 #constraints=96166 558.05/558.21 c nbDecision=33000 #constraints=96547 569.25/569.44 c nbDecision=33500 #constraints=96936 582.95/583.19 c nbDecision=34000 #constraints=97258 602.75/602.98 c nbDecision=34500 #constraints=97411 620.04/620.28 c nbDecision=35000 #constraints=97712 632.44/632.64 c nbDecision=35500 #constraints=98009 649.84/650.09 c nbDecision=36000 #constraints=98302 668.54/668.77 c nbDecision=36500 #constraints=98591 683.02/683.20 c nbDecision=37000 #constraints=98762 704.12/704.39 c nbDecision=37500 #constraints=99017 716.62/716.89 c nbDecision=38000 #constraints=99289 733.71/733.92 c nbDecision=38500 #constraints=99570 756.20/756.40 c nbDecision=39000 #constraints=99841 773.51/773.78 c nbDecision=39500 #constraints=99976 785.70/785.95 c nbDecision=40000 #constraints=100350 808.30/808.50 c nbDecision=40500 #constraints=100502 822.29/822.56 c nbDecision=41000 #constraints=100854 838.88/839.11 c nbDecision=41500 #constraints=101155 858.89/859.18 c nbDecision=42000 #constraints=101383 877.18/877.49 c nbDecision=42500 #constraints=101643 898.87/899.10 c nbDecision=43000 #constraints=101865 913.47/913.77 c nbDecision=43500 #constraints=102192 939.07/939.39 c nbDecision=44000 #constraints=102332 960.26/960.53 c nbDecision=44500 #constraints=102520 989.45/989.70 c nbDecision=45000 #constraints=102670 1013.24/1013.60 c nbDecision=45500 #constraints=102782 1037.94/1038.26 c nbDecision=46000 #constraints=103000 1056.23/1056.55 c nbDecision=46500 #constraints=103155 1075.23/1075.59 c nbDecision=47000 #constraints=103431 1093.43/1093.74 c nbDecision=47500 #constraints=103735 1116.03/1116.37 c nbDecision=48000 #constraints=103936 1139.32/1139.68 c nbDecision=48500 #constraints=104129 1168.31/1168.69 c nbDecision=49000 #constraints=104326 1192.50/1192.87 c nbDecision=49500 #constraints=104421 1212.40/1212.73 c nbDecision=50000 #constraints=104666 1237.29/1237.64 c nbDecision=50500 #constraints=104882 1256.29/1256.67 c nbDecision=51000 #constraints=105137 1265.69/1266.10 c restart after 51201 decisions 1285.58/1285.92 c nbDecision=51500 #constraints=105232 1303.57/1303.95 c nbDecision=52000 #constraints=105551 1327.47/1327.84 c nbDecision=52500 #constraints=105760 1354.23/1354.65 c nbDecision=53000 #constraints=105914 1376.48/1376.98 c nbDecision=53500 #constraints=106159 1400.05/1400.58 c nbDecision=54000 #constraints=106401 1430.34/1430.82 c nbDecision=54500 #constraints=106482 1460.14/1460.60 c nbDecision=55000 #constraints=106609 1488.43/1488.92 c nbDecision=55500 #constraints=106806 1519.32/1519.89 c nbDecision=56000 #constraints=106871 1540.42/1540.98 c nbDecision=56500 #constraints=107102 1571.21/1571.79 c nbDecision=57000 #constraints=107290 1595.60/1596.15 c nbDecision=57500 #constraints=107456 1622.60/1623.20 c nbDecision=58000 #constraints=107612 1647.99/1648.55 c nbDecision=58500 #constraints=107817 1673.78/1674.36 c nbDecision=59000 #constraints=108025 1711.87/1712.40 c nbDecision=59500 #constraints=108067 1740.16/1740.79 c nbDecision=60000 #constraints=108184 1771.06/1771.61 c nbDecision=60500 #constraints=108292 1800.06/1800.61 Received signal 15 1800.06/1800.61 1800.06/1800.61 s UNKNOWN 1800.06/1800.61 1800.06/1800.61 c user time= 1799.14 s 1800.06/1800.61 c system time= 0.938857 s 1800.06/1800.61 c wall clock time=1800.61
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455120-1178037514/instance-455120-1178037514.opb mv /tmp/evaluation/455120-1178037514/instance-455120-1178037514.opb.tmp /tmp/evaluation/455120-1178037514/instance-455120-1178037514.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node68/watcher-455120-1178037514 -o ROOT/results/node68/solver-455120-1178037514 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455120-1178037514/instance-455120-1178037514.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.98 0.99 3/64 19300 /proc/meminfo: memFree=1766584/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=1468 CPUtime=0 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 279740992 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 367 166 131 317 0 46 0 [startup+0.0661461 s] /proc/loadavg: 0.92 0.98 0.99 3/64 19300 /proc/meminfo: memFree=1766584/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=2788 CPUtime=0.06 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 500 0 0 0 6 0 0 0 18 0 1 0 279740992 2854912 483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 697 483 131 317 0 376 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2788 [startup+0.101147 s] /proc/loadavg: 0.92 0.98 0.99 3/64 19300 /proc/meminfo: memFree=1766584/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=3448 CPUtime=0.09 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 675 0 0 0 9 0 0 0 18 0 1 0 279740992 3530752 658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 862 658 131 317 0 541 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3448 [startup+0.301165 s] /proc/loadavg: 0.92 0.98 0.99 3/64 19300 /proc/meminfo: memFree=1766584/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=8860 CPUtime=0.29 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 2008 0 0 0 28 1 0 0 19 0 1 0 279740992 9072640 1991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 2215 1992 132 317 0 1894 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8860 [startup+0.701201 s] /proc/loadavg: 0.92 0.98 0.99 3/64 19300 /proc/meminfo: memFree=1766584/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=29856 CPUtime=0.69 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 7322 0 0 0 66 3 0 0 22 0 1 0 279740992 30572544 7207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 7464 7207 137 317 0 7143 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29856 [startup+1.50127 s] /proc/loadavg: 0.92 0.98 0.99 2/65 19301 /proc/meminfo: memFree=1735728/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=36432 CPUtime=1.49 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 8956 0 0 0 145 4 0 0 25 0 1 0 279740992 37306368 8318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 9108 8318 139 317 0 8787 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36432 [startup+3.10142 s] /proc/loadavg: 0.93 0.98 0.99 2/65 19301 /proc/meminfo: memFree=1733424/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=39104 CPUtime=3.09 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 9638 0 0 0 305 4 0 0 25 0 1 0 279740992 40042496 9000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 9776 9000 139 317 0 9455 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39104 [startup+6.3017 s] /proc/loadavg: 0.93 0.98 0.99 2/65 19301 /proc/meminfo: memFree=1726064/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=46604 CPUtime=6.29 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 11518 0 0 0 624 5 0 0 25 0 1 0 279740992 47722496 10880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 11651 10880 139 317 0 11330 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46604 [startup+12.7023 s] /proc/loadavg: 0.94 0.98 0.99 2/65 19301 /proc/meminfo: memFree=1710320/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=61536 CPUtime=12.69 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 15171 0 0 0 1262 7 0 0 25 0 1 0 279740992 63012864 14533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 15384 14533 139 317 0 15063 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61536 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/65 19301 /proc/meminfo: memFree=1687280/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=86004 CPUtime=25.49 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 20510 0 0 0 2539 10 0 0 25 0 1 0 279740992 88068096 19872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 21501 19872 139 317 0 21180 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 86004 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.99 2/65 19301 /proc/meminfo: memFree=1652592/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=118060 CPUtime=51.08 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 29413 0 0 0 5093 15 0 0 25 0 1 0 279740992 120893440 28775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 29515 28775 139 317 0 29194 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 118060 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 19301 /proc/meminfo: memFree=1581360/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=189836 CPUtime=102.27 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 46962 0 0 0 10204 23 0 0 25 0 1 0 279740992 194392064 46324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 47459 46324 139 317 0 47138 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 189836 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19301 /proc/meminfo: memFree=1518960/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=265228 CPUtime=162.26 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 62469 0 0 0 16196 30 0 0 25 0 1 0 279740992 271593472 61831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 66307 61831 139 317 0 65986 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 265228 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19303 /proc/meminfo: memFree=1478960/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=301076 CPUtime=222.23 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 72533 0 0 0 22189 34 0 0 25 0 1 0 279740992 308301824 71895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590773 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 75269 71895 139 317 0 74948 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 301076 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19303 /proc/meminfo: memFree=1433712/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=341560 CPUtime=282.22 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 83735 0 0 0 28182 40 0 0 25 0 1 0 279740992 349757440 83097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 85390 83097 139 317 0 85069 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 341560 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19303 /proc/meminfo: memFree=1406640/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=365308 CPUtime=342.21 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 90492 0 0 0 34176 45 0 0 25 0 1 0 279740992 374075392 89854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 91327 89854 139 317 0 91006 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 365308 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19303 /proc/meminfo: memFree=1368240/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=429492 CPUtime=402.2 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 105071 0 0 0 40170 50 0 0 25 0 1 0 279740992 439799808 99384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 107373 99384 139 317 0 107052 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 429492 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19303 /proc/meminfo: memFree=1339184/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=476972 CPUtime=462.17 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 116147 0 0 0 46164 53 0 0 25 0 1 0 279740992 488419328 106632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 119243 106632 139 317 0 118922 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 476972 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19303 /proc/meminfo: memFree=1315120/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=498236 CPUtime=522.17 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 122278 0 0 0 52160 57 0 0 25 0 1 0 279740992 510193664 112763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 124559 112763 139 317 0 124238 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 498236 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19303 /proc/meminfo: memFree=1274800/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=531612 CPUtime=582.15 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 132216 0 0 0 58153 62 0 0 25 0 1 0 279740992 544370688 122701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 132903 122701 139 317 0 132582 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 531612 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19303 /proc/meminfo: memFree=1253040/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=550008 CPUtime=642.14 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 137642 0 0 0 64150 64 0 0 25 0 1 0 279740992 563208192 128127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 137502 128127 139 317 0 137181 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 550008 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19303 /proc/meminfo: memFree=1182192/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=610944 CPUtime=882.07 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 155306 0 0 0 88134 73 0 0 25 0 1 0 279740992 625606656 145791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 152736 145791 139 317 0 152415 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 610944 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19303 /proc/meminfo: memFree=1167792/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=623160 CPUtime=942.06 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 159131 0 0 0 94131 75 0 0 25 0 1 0 279740992 638115840 149616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 155790 149616 139 317 0 155469 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 623160 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19303 /proc/meminfo: memFree=1160688/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=629336 CPUtime=1002.05 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 160682 0 0 0 100130 75 0 0 25 0 1 0 279740992 644440064 151167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 157334 151167 139 317 0 157013 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 629336 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19303 /proc/meminfo: memFree=1151408/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=636876 CPUtime=1062.04 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 162995 0 0 0 106127 77 0 0 25 0 1 0 279740992 652161024 153480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 159219 153480 139 317 0 158898 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 636876 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19303 /proc/meminfo: memFree=1135472/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=649628 CPUtime=1122.02 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 166976 0 0 0 112123 79 0 0 25 0 1 0 279740992 665219072 157461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 162407 157461 139 317 0 162086 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 649628 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19303 /proc/meminfo: memFree=1125232/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=658220 CPUtime=1182 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 169514 0 0 0 118120 80 0 0 25 0 1 0 279740992 674017280 159999 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 164555 159999 139 317 0 164234 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 658220 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19303 /proc/meminfo: memFree=1113904/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=667876 CPUtime=1241.99 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 172331 0 0 0 124118 81 0 0 25 0 1 0 279740992 683905024 162816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 166969 162816 139 317 0 166648 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 667876 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19303 /proc/meminfo: memFree=1103280/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=676864 CPUtime=1301.98 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 174987 0 0 0 130115 83 0 0 25 0 1 0 279740992 693108736 165472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 169216 165472 139 317 0 168895 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 676864 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/71 19411 /proc/meminfo: memFree=1092200/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=685200 CPUtime=1361.92 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 177359 0 0 0 136106 86 0 0 25 0 1 0 279740992 701644800 167844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 171300 167844 139 317 0 170979 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 685200 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19501 /proc/meminfo: memFree=1084016/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=694192 CPUtime=1421.85 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 179753 0 0 0 142097 88 0 0 25 0 1 0 279740992 710852608 170238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563461 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 173548 170238 139 317 0 173227 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 694192 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19501 /proc/meminfo: memFree=1076656/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=699984 CPUtime=1481.83 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 181585 0 0 0 148094 89 0 0 25 0 1 0 279740992 716783616 172070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 174996 172070 139 317 0 174675 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 699984 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19501 /proc/meminfo: memFree=1069552/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=705476 CPUtime=1541.82 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 183364 0 0 0 154092 90 0 0 25 0 1 0 279740992 722407424 173849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 176369 173849 139 317 0 176048 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 705476 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19501 /proc/meminfo: memFree=1062832/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=712308 CPUtime=1601.81 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 185062 0 0 0 160090 91 0 0 25 0 1 0 279740992 729403392 175547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 178077 175547 139 317 0 177756 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 712308 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19501 /proc/meminfo: memFree=1054448/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=719016 CPUtime=1661.79 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 187137 0 0 0 166087 92 0 0 25 0 1 0 279740992 736272384 177622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 179754 177622 139 317 0 179433 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 719016 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19501 /proc/meminfo: memFree=1049264/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=722632 CPUtime=1721.77 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 188432 0 0 0 172085 92 0 0 25 0 1 0 279740992 739975168 178917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 180658 178917 139 317 0 180337 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 722632 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19501 /proc/meminfo: memFree=1044976/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=726792 CPUtime=1781.76 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 189502 0 0 0 178083 93 0 0 25 0 1 0 279740992 744235008 179987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 181698 179987 139 317 0 181377 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 726792 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19501 /proc/meminfo: memFree=1044400/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=727328 CPUtime=1800.06 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 189640 0 0 0 179913 93 0 0 25 0 1 0 279740992 744783872 180125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 181832 180125 139 317 0 181511 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 727328 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/65 19501 /proc/meminfo: memFree=1044400/2055920 swapFree=4183864/4192956 [pid=19300] ppid=19298 vsize=0 CPUtime=1800.16 /proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194308 189656 0 0 0 179916 100 0 0 25 0 1 0 279740992 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19300/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.22 CPU user time (s): 1799.16 CPU system time (s): 1.05484 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 727328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.16 system time used= 1.05484 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 189656 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= 3010 runsolver used 1.36079 second user time and 3.61645 second system time The end
Begin job on node68 on Tue May 1 16:38:35 UTC 2007 IDJOB= 455120 IDBENCH= 48242 IDSOLVER= 172 FILE ID= node68/455120-1178037514 PBS_JOBID= 4728409 Free space on /tmp= 66562 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_5.opb COMMAND LINE= oree /tmp/evaluation/455120-1178037514/instance-455120-1178037514.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node68/convwatcher-455120-1178037514 -o ROOT/results/node68/conversion-455120-1178037514 -C 600 -M 1800 /tmp/evaluation/455120-1178037514/substituteSizeProductKeyword /tmp/evaluation/455120-1178037514/instance-455120-1178037514.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-455120-1178037514 -o ROOT/results/node68/solver-455120-1178037514 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455120-1178037514/instance-455120-1178037514.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 13c8aeb5c21aab422ad1cf9309500df6 RANDOM SEED= 139656274 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node68.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: 1766992 kB Buffers: 28320 kB Cached: 188212 kB SwapCached: 2904 kB Active: 77460 kB Inactive: 148656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1766992 kB SwapTotal: 4192956 kB SwapFree: 4183864 kB Dirty: 2272 kB Writeback: 0 kB Mapped: 15436 kB Slab: 48904 kB Committed_AS: 3361244 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= 66562 MiB End job on node68 on Tue May 1 17:08:37 UTC 2007