Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.04 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb |
MD5SUM | c2400ec88bd2efb16a03934d0b4c43da |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 62 |
Best CPU time to get the best result obtained on this benchmark | 0.222965 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 62 |
Optimality of the best value was proved | YES |
Number of variables | 648 |
Total number of constraints | 1954 |
Number of constraints which are clauses | 1930 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 27 |
Number of terms in the objective function | 648 |
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 | 648 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 648 |
Number of bits of the biggest sum of numbers | 10 |
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.01/0.02 c ...done 0.01/0.02 c #vars=648 #constraints=1955 hasObjective=yes 0.01/0.03 c res. mode=mod 0.01/0.03 c VSIDS like heuristics 0.01/0.03 c complete search running 0.09/0.12 c restart after 401 decisions 0.09/0.13 c nbDecision=500 #constraints=2134 0.19/0.25 c restart after 801 decisions 0.19/0.29 c nbDecision=1000 #constraints=2335 0.49/0.51 c nbDecision=1500 #constraints=2539 0.49/0.58 c restart after 1601 decisions 0.69/0.77 c nbDecision=2000 #constraints=2723 1.10/1.18 c nbDecision=2500 #constraints=2985 1.69/1.78 c nbDecision=3000 #constraints=3255 1.99/2.06 c restart after 3201 decisions 2.29/2.35 c nbDecision=3500 #constraints=3491 3.39/3.40 c nbDecision=4000 #constraints=3777 4.78/4.87 c nbDecision=4500 #constraints=4040 5.99/6.05 c nbDecision=5000 #constraints=4312 7.09/7.13 c nbDecision=5500 #constraints=4556 8.89/8.93 c nbDecision=6000 #constraints=4818 11.29/11.30 c restart after 6401 decisions 11.39/11.46 c nbDecision=6500 #constraints=5113 13.19/13.25 c nbDecision=7000 #constraints=5352 16.18/16.29 c nbDecision=7500 #constraints=5657 19.48/19.55 c nbDecision=8000 #constraints=5938 23.99/24.03 c nbDecision=8500 #constraints=6263 28.28/28.31 c nbDecision=9000 #constraints=6576 32.78/32.84 c nbDecision=9500 #constraints=6878 38.18/38.29 c nbDecision=10000 #constraints=7206 43.68/43.71 c nbDecision=10500 #constraints=7544 48.57/48.64 c nbDecision=11000 #constraints=7828 56.27/56.38 c nbDecision=11500 #constraints=8198 67.26/67.38 c nbDecision=12000 #constraints=8620 78.97/79.06 c nbDecision=12500 #constraints=9066 86.26/86.34 c restart after 12801 decisions 89.46/89.53 c nbDecision=13000 #constraints=9452 101.46/101.57 c nbDecision=13500 #constraints=9840 115.65/115.76 c nbDecision=14000 #constraints=10243 124.25/124.38 c nbDecision=14500 #constraints=10559 128.75/128.85 c nbDecision=15000 #constraints=10788 133.35/133.46 c nbDecision=15500 #constraints=11012 138.35/138.42 c nbDecision=16000 #constraints=11231 144.54/144.68 c nbDecision=16500 #constraints=11478 151.44/151.54 c nbDecision=17000 #constraints=11729 158.93/159.00 c nbDecision=17500 #constraints=11993 168.53/168.62 c nbDecision=18000 #constraints=12269 180.73/180.80 c nbDecision=18500 #constraints=12578 193.03/193.17 c nbDecision=19000 #constraints=12842 207.63/207.77 c nbDecision=19500 #constraints=13147 223.92/224.02 c nbDecision=20000 #constraints=13480 240.11/240.26 c nbDecision=20500 #constraints=13807 255.40/255.50 c nbDecision=21000 #constraints=14155 274.31/274.42 c nbDecision=21500 #constraints=14510 298.90/299.03 c nbDecision=22000 #constraints=14914 322.19/322.35 c nbDecision=22500 #constraints=15304 327.98/328.19 c nbDecision=23000 #constraints=15512 334.98/335.17 c nbDecision=23500 #constraints=15726 342.08/342.25 c nbDecision=24000 #constraints=15925 349.97/350.11 c nbDecision=24500 #constraints=16121 357.07/357.22 c nbDecision=25000 #constraints=16320 364.67/364.84 c nbDecision=25500 #constraints=16505 366.77/366.98 c restart after 25601 decisions 374.27/374.42 c nbDecision=26000 #constraints=16689 388.36/388.54 c nbDecision=26500 #constraints=16943 399.26/399.47 c nbDecision=27000 #constraints=17163 416.55/416.70 c nbDecision=27500 #constraints=17455 431.26/431.41 c nbDecision=28000 #constraints=17738 445.65/445.82 c nbDecision=28500 #constraints=18012 459.65/459.83 c nbDecision=29000 #constraints=18308 477.74/477.95 c nbDecision=29500 #constraints=18618 508.03/508.27 c nbDecision=30000 #constraints=19001 529.93/530.12 c nbDecision=30500 #constraints=19340 540.92/541.14 c nbDecision=31000 #constraints=19563 551.21/551.40 c nbDecision=31500 #constraints=19755 562.81/563.05 c nbDecision=32000 #constraints=19968 578.60/578.83 c nbDecision=32500 #constraints=20203 601.41/601.64 c nbDecision=33000 #constraints=20504 620.79/621.06 c nbDecision=33500 #constraints=20778 641.59/641.81 c nbDecision=34000 #constraints=21086 676.38/676.67 c nbDecision=34500 #constraints=21477 705.76/706.04 c nbDecision=35000 #constraints=21820 730.07/730.33 c nbDecision=35500 #constraints=22110 756.56/756.85 c nbDecision=36000 #constraints=22420 782.85/783.16 c nbDecision=36500 #constraints=22740 817.03/817.33 c nbDecision=37000 #constraints=23100 857.41/857.78 c nbDecision=37500 #constraints=23454 870.52/870.85 c nbDecision=38000 #constraints=23671 884.12/884.48 c nbDecision=38500 #constraints=23859 909.00/909.30 c nbDecision=39000 #constraints=24150 931.40/931.75 c nbDecision=39500 #constraints=24450 960.19/960.56 c nbDecision=40000 #constraints=24779 980.68/981.03 c nbDecision=40500 #constraints=25011 1012.47/1012.87 c nbDecision=41000 #constraints=25330 1047.86/1048.25 c nbDecision=41500 #constraints=25656 1068.16/1068.58 c nbDecision=42000 #constraints=25882 1086.45/1086.86 c nbDecision=42500 #constraints=26082 1104.74/1105.18 c nbDecision=43000 #constraints=26280 1131.83/1132.26 c nbDecision=43500 #constraints=26538 1157.32/1157.70 c nbDecision=44000 #constraints=26770 1197.31/1197.72 c nbDecision=44500 #constraints=27078 1237.70/1238.18 c nbDecision=45000 #constraints=27366 1273.89/1274.40 c nbDecision=45500 #constraints=27641 1313.88/1314.31 c nbDecision=46000 #constraints=27940 1356.35/1356.87 c nbDecision=46500 #constraints=28248 1395.67/1396.23 c nbDecision=47000 #constraints=28565 1456.71/1457.35 c nbDecision=47500 #constraints=28949 1507.59/1508.22 c nbDecision=48000 #constraints=29296 1522.30/1522.99 c nbDecision=48500 #constraints=29470 1543.69/1544.40 c nbDecision=49000 #constraints=29700 1562.18/1562.81 c nbDecision=49500 #constraints=29912 1581.18/1581.89 c nbDecision=50000 #constraints=30099 1608.06/1608.71 c nbDecision=50500 #constraints=30321 1638.56/1639.26 c nbDecision=51000 #constraints=30568 1645.26/1645.98 c restart after 51201 decisions 1655.25/1655.99 c nbDecision=51500 #constraints=30728 1681.74/1682.42 c nbDecision=52000 #constraints=30939 1716.73/1717.43 c nbDecision=52500 #constraints=31216 1749.32/1750.08 c nbDecision=53000 #constraints=31517 1778.12/1778.86 c nbDecision=53500 #constraints=31791 1800.02/1800.70 Received signal 15 1800.02/1800.71 1800.02/1800.71 s UNKNOWN 1800.02/1800.71 1800.02/1800.71 c user time= 1799.81 s 1800.02/1800.71 c system time= 0.211967 s 1800.02/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-363784-1176986307 -o ROOT/results/node69/solver-363784-1176986307 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363784-1176986307/instance-363784-1176986307.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 1394 /proc/meminfo: memFree=1679452/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=1468 CPUtime=0 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 174620108 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 367 164 130 317 0 46 0 [startup+0.0179479 s] /proc/loadavg: 0.92 0.98 0.99 3/64 1394 /proc/meminfo: memFree=1679452/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=1732 CPUtime=0.01 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 252 0 0 0 1 0 0 0 18 0 1 0 174620108 1773568 235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 433 235 130 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.101961 s] /proc/loadavg: 0.92 0.98 0.99 3/64 1394 /proc/meminfo: memFree=1679452/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=2288 CPUtime=0.09 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 386 0 0 0 9 0 0 0 18 0 1 0 174620108 2342912 368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 572 368 139 317 0 251 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2288 [startup+0.301993 s] /proc/loadavg: 0.92 0.98 0.99 3/64 1394 /proc/meminfo: memFree=1679452/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=2812 CPUtime=0.29 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 512 0 0 0 29 0 0 0 19 0 1 0 174620108 2879488 494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 703 494 139 317 0 382 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2812 [startup+0.701057 s] /proc/loadavg: 0.92 0.98 0.99 3/64 1394 /proc/meminfo: memFree=1679452/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=3472 CPUtime=0.69 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 694 0 0 0 69 0 0 0 22 0 1 0 174620108 3555328 676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 868 676 139 317 0 547 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3472 [startup+1.50119 s] /proc/loadavg: 0.92 0.98 0.99 2/65 1395 /proc/meminfo: memFree=1676820/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=4656 CPUtime=1.49 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 963 0 0 0 149 0 0 0 25 0 1 0 174620108 4767744 945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 1164 945 139 317 0 843 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4656 [startup+3.10145 s] /proc/loadavg: 0.92 0.98 0.99 2/65 1395 /proc/meminfo: memFree=1675348/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=5852 CPUtime=3.09 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 1260 0 0 0 309 0 0 0 25 0 1 0 174620108 5992448 1242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 1463 1242 139 317 0 1142 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5852 [startup+6.30196 s] /proc/loadavg: 0.93 0.98 0.99 2/65 1395 /proc/meminfo: memFree=1673884/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=7252 CPUtime=6.29 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 1600 0 0 0 628 1 0 0 25 0 1 0 174620108 7426048 1582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 1813 1582 139 317 0 1492 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7252 [startup+12.702 s] /proc/loadavg: 0.93 0.98 0.99 2/65 1395 /proc/meminfo: memFree=1671708/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=9256 CPUtime=12.69 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 2080 0 0 0 1268 1 0 0 25 0 1 0 174620108 9478144 2062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 2314 2062 139 317 0 1993 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9256 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/65 1395 /proc/meminfo: memFree=1669212/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=11628 CPUtime=25.49 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 2681 0 0 0 2547 2 0 0 25 0 1 0 174620108 11907072 2663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711029 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 2907 2663 139 317 0 2586 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11628 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/65 1395 /proc/meminfo: memFree=1665692/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=15484 CPUtime=51.07 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 3622 0 0 0 5105 2 0 0 25 0 1 0 174620108 15855616 3553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 3871 3553 139 317 0 3550 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15484 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1661724/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=19544 CPUtime=102.26 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 4583 0 0 0 10223 3 0 0 25 0 1 0 174620108 20013056 4514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 4886 4514 139 317 0 4565 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19544 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1656860/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=24520 CPUtime=162.23 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 5826 0 0 0 16219 4 0 0 25 0 1 0 174620108 25108480 5757 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 6130 5757 139 317 0 5809 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 24520 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1653788/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=27932 CPUtime=222.22 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 6577 0 0 0 22217 5 0 0 25 0 1 0 174620108 28602368 6508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 6983 6508 139 317 0 6662 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 27932 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1650588/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=31380 CPUtime=282.2 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 7412 0 0 0 28214 6 0 0 25 0 1 0 174620108 32133120 7243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 7845 7243 139 317 0 7524 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 31380 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1648284/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=33752 CPUtime=342.18 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 8029 0 0 0 34212 6 0 0 25 0 1 0 174620108 34562048 7860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 8438 7860 139 317 0 8117 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 33752 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1645532/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=36720 CPUtime=402.16 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 8720 0 0 0 40208 8 0 0 25 0 1 0 174620108 37601280 8551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 9180 8551 139 317 0 8859 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 36720 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1642716/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=39444 CPUtime=462.14 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 9422 0 0 0 46205 9 0 0 25 0 1 0 174620108 40390656 9253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 9861 9253 139 317 0 9540 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 39444 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1640732/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=41696 CPUtime=522.13 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 9967 0 0 0 52203 10 0 0 25 0 1 0 174620108 42696704 9732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 10424 9732 139 317 0 10103 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 41696 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1638172/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=44340 CPUtime=582.1 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 10612 0 0 0 58200 10 0 0 25 0 1 0 174620108 45404160 10377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 11085 10377 139 317 0 10764 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 44340 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1635996/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=46512 CPUtime=642.09 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 11147 0 0 0 64198 11 0 0 25 0 1 0 174620108 47628288 10912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 11628 10912 139 317 0 11307 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 46512 ################ # More data... # ################ [startup+882.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1629020/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=54268 CPUtime=882.02 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 13141 0 0 0 88189 13 0 0 25 0 1 0 174620108 55570432 12642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 13567 12642 139 317 0 13246 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 54268 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1627228/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=56188 CPUtime=941.99 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 13590 0 0 0 94186 13 0 0 25 0 1 0 174620108 57536512 13091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 14047 13091 139 317 0 13726 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 56188 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1625372/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=58040 CPUtime=1001.97 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 14039 0 0 0 100183 14 0 0 25 0 1 0 174620108 59432960 13540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 14510 13540 139 317 0 14189 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 58040 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1623900/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=59508 CPUtime=1061.95 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 14413 0 0 0 106181 14 0 0 25 0 1 0 174620108 60936192 13914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 14877 13914 139 317 0 14556 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 59508 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1622172/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=61488 CPUtime=1121.94 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 14870 0 0 0 112179 15 0 0 25 0 1 0 174620108 62963712 14338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 15372 14338 139 317 0 15051 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 61488 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1621020/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=62452 CPUtime=1181.91 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 15150 0 0 0 118176 15 0 0 25 0 1 0 174620108 63950848 14618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 15613 14618 139 317 0 15292 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 62452 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1620124/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=63624 CPUtime=1241.89 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 15441 0 0 0 124174 15 0 0 25 0 1 0 174620108 65150976 14843 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 15906 14843 139 317 0 15585 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 63624 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1397 /proc/meminfo: memFree=1619100/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=64408 CPUtime=1301.89 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 15688 0 0 0 130173 16 0 0 25 0 1 0 174620108 65953792 15090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 16102 15090 139 317 0 15781 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 64408 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/71 1469 /proc/meminfo: memFree=1616660/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=65460 CPUtime=1361.83 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 15974 0 0 0 136166 17 0 0 25 0 1 0 174620108 67031040 15376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 16365 15376 139 317 0 16044 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 65460 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1595 /proc/meminfo: memFree=1616796/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=66676 CPUtime=1421.73 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 16240 0 0 0 142155 18 0 0 25 0 1 0 174620108 68276224 15642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 16669 15642 139 317 0 16348 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 66676 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1595 /proc/meminfo: memFree=1615260/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=68712 CPUtime=1481.7 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 16768 0 0 0 148152 18 0 0 25 0 1 0 174620108 70361088 15972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 17178 15972 139 317 0 16857 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 68712 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1595 /proc/meminfo: memFree=1614556/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=69928 CPUtime=1541.69 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 17072 0 0 0 154150 19 0 0 25 0 1 0 174620108 71606272 16210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 17482 16210 139 317 0 17161 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 69928 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1595 /proc/meminfo: memFree=1613212/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=71260 CPUtime=1601.67 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 17421 0 0 0 160148 19 0 0 25 0 1 0 174620108 72970240 16559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 17815 16559 139 317 0 17494 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 71260 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1595 /proc/meminfo: memFree=1611996/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=72200 CPUtime=1661.65 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 17705 0 0 0 166145 20 0 0 25 0 1 0 174620108 73932800 16843 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 18050 16843 139 317 0 17729 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 72200 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1595 /proc/meminfo: memFree=1610844/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=73436 CPUtime=1721.63 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 17993 0 0 0 172143 20 0 0 25 0 1 0 174620108 75198464 17131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 18359 17131 139 317 0 18038 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 73436 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1595 /proc/meminfo: memFree=1609372/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=74776 CPUtime=1781.62 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 18355 0 0 0 178141 21 0 0 25 0 1 0 174620108 76570624 17493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 18694 17493 139 317 0 18373 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 74776 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1595 /proc/meminfo: memFree=1608988/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=75204 CPUtime=1800.02 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 18445 0 0 0 179981 21 0 0 25 0 1 0 174620108 77008896 17583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 18801 17583 139 317 0 18480 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 75204 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 1595 /proc/meminfo: memFree=1608988/2055920 swapFree=4182908/4192956 [pid=1394] ppid=1392 vsize=75204 CPUtime=1800.02 /proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 18445 0 0 0 179981 21 0 0 25 0 1 0 174620108 77008896 17583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1394/statm: 18801 17583 139 317 0 18480 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 75204 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.04 CPU user time (s): 1799.82 CPU system time (s): 0.224965 CPU usage (%): 99.9618 Max. virtual memory (cumulated for all children) (KiB): 75204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.224965 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18461 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= 2106 runsolver used 1.36279 second user time and 3.63245 second system time The end
Begin job on node69 on Thu Apr 19 12:38:27 UTC 2007 IDJOB= 363784 IDBENCH= 2025 IDSOLVER= 172 FILE ID= node69/363784-1176986307 PBS_JOBID= 4630394 Free space on /tmp= 66497 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb COMMAND LINE= oree /tmp/evaluation/363784-1176986307/instance-363784-1176986307.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-363784-1176986307 -o ROOT/results/node69/solver-363784-1176986307 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363784-1176986307/instance-363784-1176986307.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= c2400ec88bd2efb16a03934d0b4c43da RANDOM SEED= 688368764 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.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.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 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: 1679924 kB Buffers: 28504 kB Cached: 278300 kB SwapCached: 3888 kB Active: 145200 kB Inactive: 171732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1679924 kB SwapTotal: 4192956 kB SwapFree: 4182908 kB Dirty: 1432 kB Writeback: 0 kB Mapped: 16064 kB Slab: 45020 kB Committed_AS: 1533296 kB PageTables: 1476 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= 66497 MiB End job on node69 on Thu Apr 19 13:08:30 UTC 2007