Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.39 | 1800.95 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb |
MD5SUM | 8521955d0869ff4fe0390118a5fbc0f9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 60 |
Best CPU time to get the best result obtained on this benchmark | 0.119981 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 60 |
Optimality of the best value was proved | YES |
Number of variables | 696 |
Total number of constraints | 2096 |
Number of constraints which are clauses | 2072 |
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 | 29 |
Number of terms in the objective function | 696 |
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 | 696 |
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 | 696 |
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.00/0.02 c ...done 0.00/0.02 c #vars=696 #constraints=2097 hasObjective=yes 0.00/0.03 c res. mode=mod 0.00/0.03 c VSIDS like heuristics 0.00/0.03 c complete search running 0.00/0.07 c restart after 401 decisions 0.00/0.07 c nbDecision=500 #constraints=2202 0.10/0.19 c restart after 801 decisions 0.20/0.26 c nbDecision=1000 #constraints=2493 0.50/0.53 c nbDecision=1500 #constraints=2816 0.60/0.61 c restart after 1601 decisions 0.89/0.92 c nbDecision=2000 #constraints=3146 1.49/1.59 c nbDecision=2500 #constraints=3534 2.39/2.40 c nbDecision=3000 #constraints=3816 2.89/2.98 c restart after 3201 decisions 3.69/3.74 c nbDecision=3500 #constraints=4163 5.69/5.73 c nbDecision=4000 #constraints=4571 7.79/7.85 c nbDecision=4500 #constraints=4962 9.29/9.37 c nbDecision=5000 #constraints=5255 10.29/10.34 c nbDecision=5500 #constraints=5549 11.89/11.98 c nbDecision=6000 #constraints=5859 13.49/13.50 c restart after 6401 decisions 13.49/13.58 c nbDecision=6500 #constraints=6111 16.68/16.70 c nbDecision=7000 #constraints=6428 20.78/20.81 c nbDecision=7500 #constraints=6784 25.59/25.60 c nbDecision=8000 #constraints=7158 31.18/31.20 c nbDecision=8500 #constraints=7536 36.38/36.44 c nbDecision=9000 #constraints=7905 41.78/41.84 c nbDecision=9500 #constraints=8291 45.78/45.88 c nbDecision=10000 #constraints=8593 51.37/51.42 c nbDecision=10500 #constraints=8967 57.68/57.72 c nbDecision=11000 #constraints=9319 65.48/65.56 c nbDecision=11500 #constraints=9689 74.07/74.14 c nbDecision=12000 #constraints=10061 85.27/85.30 c nbDecision=12500 #constraints=10485 90.47/90.59 c restart after 12801 decisions 92.67/92.74 c nbDecision=13000 #constraints=10805 102.46/102.59 c nbDecision=13500 #constraints=11229 111.06/111.12 c nbDecision=14000 #constraints=11554 120.06/120.10 c nbDecision=14500 #constraints=11849 124.86/124.97 c nbDecision=15000 #constraints=12092 134.36/134.48 c nbDecision=15500 #constraints=12451 144.46/144.58 c nbDecision=16000 #constraints=12771 155.25/155.31 c nbDecision=16500 #constraints=13111 163.15/163.27 c nbDecision=17000 #constraints=13406 174.05/174.15 c nbDecision=17500 #constraints=13737 188.34/188.46 c nbDecision=18000 #constraints=14041 204.03/204.17 c nbDecision=18500 #constraints=14374 217.34/217.41 c nbDecision=19000 #constraints=14718 235.83/235.99 c nbDecision=19500 #constraints=15078 252.93/253.02 c nbDecision=20000 #constraints=15424 267.52/267.68 c nbDecision=20500 #constraints=15757 284.52/284.69 c nbDecision=21000 #constraints=16087 309.11/309.23 c nbDecision=21500 #constraints=16458 329.40/329.59 c nbDecision=22000 #constraints=16842 346.31/346.50 c nbDecision=22500 #constraints=17190 368.80/368.92 c nbDecision=23000 #constraints=17585 386.89/387.07 c nbDecision=23500 #constraints=17907 403.60/403.73 c nbDecision=24000 #constraints=18239 426.08/426.26 c nbDecision=24500 #constraints=18584 446.98/447.19 c nbDecision=25000 #constraints=18924 472.07/472.30 c nbDecision=25500 #constraints=19311 478.47/478.60 c restart after 25601 decisions 496.67/496.81 c nbDecision=26000 #constraints=19616 519.96/520.11 c nbDecision=26500 #constraints=19968 549.45/549.64 c nbDecision=27000 #constraints=20330 576.35/576.51 c nbDecision=27500 #constraints=20703 605.44/605.67 c nbDecision=28000 #constraints=21092 638.83/639.10 c nbDecision=28500 #constraints=21500 665.52/665.77 c nbDecision=29000 #constraints=21879 694.02/694.23 c nbDecision=29500 #constraints=22284 723.31/723.54 c nbDecision=30000 #constraints=22620 747.80/748.00 c nbDecision=30500 #constraints=22955 776.30/776.50 c nbDecision=31000 #constraints=23292 812.79/813.04 c nbDecision=31500 #constraints=23678 844.58/844.89 c nbDecision=32000 #constraints=24021 888.36/888.69 c nbDecision=32500 #constraints=24419 927.95/928.22 c nbDecision=33000 #constraints=24816 960.55/960.85 c nbDecision=33500 #constraints=25187 1000.44/1000.70 c nbDecision=34000 #constraints=25557 1041.13/1041.40 c nbDecision=34500 #constraints=25919 1086.01/1086.38 c nbDecision=35000 #constraints=26291 1136.31/1136.65 c nbDecision=35500 #constraints=26695 1177.39/1177.71 c nbDecision=36000 #constraints=27080 1220.08/1220.40 c nbDecision=36500 #constraints=27525 1260.47/1260.85 c nbDecision=37000 #constraints=27895 1301.32/1301.75 c nbDecision=37500 #constraints=28256 1340.77/1341.27 c nbDecision=38000 #constraints=28643 1386.14/1386.69 c nbDecision=38500 #constraints=29058 1432.93/1433.41 c nbDecision=39000 #constraints=29435 1484.92/1485.41 c nbDecision=39500 #constraints=29826 1529.30/1529.88 c nbDecision=40000 #constraints=30165 1573.50/1574.04 c nbDecision=40500 #constraints=30491 1634.48/1635.04 c nbDecision=41000 #constraints=30893 1689.17/1689.73 c nbDecision=41500 #constraints=31281 1728.36/1728.93 c nbDecision=42000 #constraints=31589 1787.54/1788.15 c nbDecision=42500 #constraints=31994 1800.05/1800.60 Received signal 15 1800.34/1800.93 1800.34/1800.93 s UNKNOWN 1800.34/1800.93 1800.34/1800.93 c user time= 1800.2 s 1800.34/1800.93 c system time= 0.180972 s 1800.34/1800.93 c wall clock time=1800.93
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-363812-1176986373 -o ROOT/results/node70/solver-363812-1176986373 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363812-1176986373/instance-363812-1176986373.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.99 0.97 0.93 2/64 27633 /proc/meminfo: memFree=1178808/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=1468 CPUtime=0 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 138174686 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 367 164 130 317 0 46 0 [startup+0.0939509 s] /proc/loadavg: 0.99 0.97 0.93 2/64 27633 /proc/meminfo: memFree=1178808/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=2348 CPUtime=0.09 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 391 0 0 0 9 0 0 0 18 0 1 0 138174686 2404352 373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562754 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 587 373 139 317 0 266 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2348 [startup+0.102952 s] /proc/loadavg: 0.99 0.97 0.93 2/64 27633 /proc/meminfo: memFree=1178808/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=2348 CPUtime=0.1 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 399 0 0 0 10 0 0 0 18 0 1 0 138174686 2404352 381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 587 381 139 317 0 266 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2348 [startup+0.302971 s] /proc/loadavg: 0.99 0.97 0.93 2/64 27633 /proc/meminfo: memFree=1178808/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=3004 CPUtime=0.3 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 553 0 0 0 30 0 0 0 19 0 1 0 138174686 3076096 535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 751 535 139 317 0 430 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 3004 [startup+0.702012 s] /proc/loadavg: 0.99 0.97 0.93 2/64 27633 /proc/meminfo: memFree=1178808/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=3660 CPUtime=0.69 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 743 0 0 0 69 0 0 0 23 0 1 0 138174686 3747840 725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270603 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 915 725 139 317 0 594 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3660 [startup+1.50109 s] /proc/loadavg: 1.07 0.99 0.93 2/65 27634 /proc/meminfo: memFree=1176048/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=4840 CPUtime=1.49 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 1023 0 0 0 149 0 0 0 25 0 1 0 138174686 4956160 1005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 1210 1005 139 317 0 889 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4840 [startup+3.10125 s] /proc/loadavg: 1.07 0.99 0.93 2/65 27634 /proc/meminfo: memFree=1174896/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=5900 CPUtime=3.09 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 1267 0 0 0 309 0 0 0 25 0 1 0 138174686 6041600 1249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 1475 1249 139 317 0 1154 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5900 [startup+6.30157 s] /proc/loadavg: 1.07 0.99 0.93 2/65 27634 /proc/meminfo: memFree=1173168/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=7476 CPUtime=6.29 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 1652 0 0 0 628 1 0 0 25 0 1 0 138174686 7655424 1634 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 1869 1634 139 317 0 1548 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7476 [startup+12.7012 s] /proc/loadavg: 1.06 0.99 0.93 2/65 27634 /proc/meminfo: memFree=1170608/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=9860 CPUtime=12.69 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 2236 0 0 0 1268 1 0 0 25 0 1 0 138174686 10096640 2218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 2465 2218 139 317 0 2144 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9860 [startup+25.5015 s] /proc/loadavg: 1.05 0.99 0.93 2/65 27634 /proc/meminfo: memFree=1167920/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=12404 CPUtime=25.49 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 2856 0 0 0 2547 2 0 0 25 0 1 0 138174686 12701696 2838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 3101 2838 139 317 0 2780 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12404 [startup+51.1011 s] /proc/loadavg: 1.03 0.99 0.93 2/65 27634 /proc/meminfo: memFree=1164144/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=16660 CPUtime=51.07 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 3863 0 0 0 5105 2 0 0 25 0 1 0 138174686 17059840 3788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 4165 3788 139 317 0 3844 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16660 [startup+102.305 s] /proc/loadavg: 1.01 0.99 0.93 2/65 27634 /proc/meminfo: memFree=1158960/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=21800 CPUtime=102.27 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 5151 0 0 0 10224 3 0 0 25 0 1 0 138174686 22323200 5076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 5450 5076 139 317 0 5129 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21800 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27634 /proc/meminfo: memFree=1154096/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=26760 CPUtime=162.25 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 6370 0 0 0 16221 4 0 0 25 0 1 0 138174686 27402240 6295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 6690 6295 139 317 0 6369 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 26760 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27634 /proc/meminfo: memFree=1150576/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=30300 CPUtime=222.24 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 7233 0 0 0 22219 5 0 0 25 0 1 0 138174686 31027200 7158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 7575 7158 139 317 0 7254 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 30300 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27634 /proc/meminfo: memFree=1147504/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=33604 CPUtime=282.22 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 7976 0 0 0 28217 5 0 0 25 0 1 0 138174686 34410496 7901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 8401 7901 139 317 0 8080 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 33604 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27634 /proc/meminfo: memFree=1144880/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=36884 CPUtime=342.21 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 8742 0 0 0 34215 6 0 0 25 0 1 0 138174686 37769216 8554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 9221 8554 139 317 0 8900 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 36884 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27634 /proc/meminfo: memFree=1142384/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=39492 CPUtime=402.19 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 9383 0 0 0 40212 7 0 0 25 0 1 0 138174686 40439808 9195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 9873 9195 139 317 0 9552 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 39492 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27634 /proc/meminfo: memFree=1139888/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=41944 CPUtime=462.17 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 9986 0 0 0 46210 7 0 0 25 0 1 0 138174686 42950656 9798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 10486 9798 139 317 0 10165 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 41944 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27634 /proc/meminfo: memFree=1137968/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=44040 CPUtime=522.16 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 10484 0 0 0 52208 8 0 0 25 0 1 0 138174686 45096960 10296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 11010 10296 139 317 0 10689 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 44040 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27634 /proc/meminfo: memFree=1135920/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=46116 CPUtime=582.15 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 10989 0 0 0 58206 9 0 0 25 0 1 0 138174686 47222784 10801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 11529 10801 139 317 0 11208 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 46116 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27634 /proc/meminfo: memFree=1134192/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=47832 CPUtime=642.13 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 11413 0 0 0 64204 9 0 0 25 0 1 0 138174686 48979968 11225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 11958 11225 139 317 0 11637 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 47832 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27636 /proc/meminfo: memFree=1125424/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=57112 CPUtime=942.06 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 13781 0 0 0 94194 12 0 0 25 0 1 0 138174686 58482688 13395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 14278 13395 139 317 0 13957 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 57112 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27636 /proc/meminfo: memFree=1123824/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=58856 CPUtime=1002.04 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 14197 0 0 0 100192 12 0 0 25 0 1 0 138174686 60268544 13811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 14714 13811 139 317 0 14393 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 58856 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27636 /proc/meminfo: memFree=1122416/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=60220 CPUtime=1062.02 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 14542 0 0 0 106190 12 0 0 25 0 1 0 138174686 61665280 14156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 15055 14156 139 317 0 14734 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 60220 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27636 /proc/meminfo: memFree=1121200/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=61404 CPUtime=1122.01 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 14873 0 0 0 112188 13 0 0 25 0 1 0 138174686 62877696 14454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 15351 14454 139 317 0 15030 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 61404 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27636 /proc/meminfo: memFree=1119792/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=63156 CPUtime=1181.99 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 15332 0 0 0 118186 13 0 0 25 0 1 0 138174686 64671744 14814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 15789 14814 139 317 0 15468 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 63156 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27636 /proc/meminfo: memFree=1118512/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=64344 CPUtime=1241.97 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 15640 0 0 0 124184 13 0 0 25 0 1 0 138174686 65888256 15122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 16086 15122 139 317 0 15765 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 64344 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.93 2/71 27718 /proc/meminfo: memFree=1115896/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=65392 CPUtime=1301.93 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 15954 0 0 0 130179 14 0 0 25 0 1 0 138174686 66961408 15436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 16348 15436 139 317 0 16027 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 65392 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27834 /proc/meminfo: memFree=1115632/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=66600 CPUtime=1361.85 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 16294 0 0 0 136170 15 0 0 25 0 1 0 138174686 68198400 15776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 16650 15776 139 317 0 16329 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 66600 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27834 /proc/meminfo: memFree=1114544/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=67812 CPUtime=1421.83 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 16589 0 0 0 142168 15 0 0 25 0 1 0 138174686 69439488 16071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 16953 16071 139 317 0 16632 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 67812 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27834 /proc/meminfo: memFree=1113456/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=68992 CPUtime=1481.82 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 16844 0 0 0 148166 16 0 0 25 0 1 0 138174686 70647808 16326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 17248 16326 139 317 0 16927 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 68992 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27834 /proc/meminfo: memFree=1112560/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=70044 CPUtime=1541.8 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 17076 0 0 0 154164 16 0 0 25 0 1 0 138174686 71725056 16558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 17511 16558 139 317 0 17190 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 70044 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27834 /proc/meminfo: memFree=1111664/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=70992 CPUtime=1601.78 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 17323 0 0 0 160162 16 0 0 25 0 1 0 138174686 72695808 16805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 17748 16805 139 317 0 17427 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 70992 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27834 /proc/meminfo: memFree=1110768/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=71940 CPUtime=1661.78 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 17561 0 0 0 166161 17 0 0 25 0 1 0 138174686 73666560 17043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 17985 17043 139 317 0 17664 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 71940 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27834 /proc/meminfo: memFree=1109616/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=73552 CPUtime=1721.76 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 17980 0 0 0 172159 17 0 0 25 0 1 0 138174686 75317248 17297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 18388 17297 139 317 0 18067 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 73552 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27834 /proc/meminfo: memFree=1108720/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=74620 CPUtime=1781.74 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 18226 0 0 0 178157 17 0 0 25 0 1 0 138174686 76410880 17543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 18655 17543 139 317 0 18334 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 74620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27834 /proc/meminfo: memFree=1108336/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=75008 CPUtime=1800.05 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 18342 0 0 0 179987 18 0 0 25 0 1 0 138174686 76808192 17626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563993 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 18752 17626 139 317 0 18431 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 75008 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27834 /proc/meminfo: memFree=1108336/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=75008 CPUtime=1800.24 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 18343 0 0 0 180006 18 0 0 25 0 1 0 138174686 76808192 17627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 18752 17627 139 317 0 18431 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 75008 [startup+1800.9 s] /proc/loadavg: 1.00 0.99 0.93 2/65 27834 /proc/meminfo: memFree=1108336/2055920 swapFree=4183760/4192956 [pid=27633] ppid=27631 vsize=75008 CPUtime=1800.34 /proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 18343 0 0 0 180016 18 0 0 25 0 1 0 138174686 76808192 17627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27633/statm: 18752 17627 139 317 0 18431 0 Current children cumulated CPU time (s) 1800.34 Current children cumulated vsize (KiB) 75008 Child status: 0 Real time (s): 1800.95 CPU time (s): 1800.39 CPU user time (s): 1800.2 CPU system time (s): 0.19097 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 75008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.2 system time used= 0.19097 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18359 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= 2994 runsolver used 1.35679 second user time and 3.62745 second system time The end
Begin job on node70 on Thu Apr 19 12:39:33 UTC 2007 IDJOB= 363812 IDBENCH= 2028 IDSOLVER= 172 FILE ID= node70/363812-1176986373 PBS_JOBID= 4630424 Free space on /tmp= 66476 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-4pb.opb COMMAND LINE= oree /tmp/evaluation/363812-1176986373/instance-363812-1176986373.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-363812-1176986373 -o ROOT/results/node70/solver-363812-1176986373 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363812-1176986373/instance-363812-1176986373.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8521955d0869ff4fe0390118a5fbc0f9 RANDOM SEED= 116411599 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1179408 kB Buffers: 31640 kB Cached: 771884 kB SwapCached: 3092 kB Active: 285488 kB Inactive: 527592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1179408 kB SwapTotal: 4192956 kB SwapFree: 4183760 kB Dirty: 1368 kB Writeback: 0 kB Mapped: 15520 kB Slab: 49528 kB Committed_AS: 2490620 kB PageTables: 1396 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= 66476 MiB End job on node70 on Thu Apr 19 13:09:36 UTC 2007