Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 1249.52 | 1249.87 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb |
MD5SUM | 0c8a7426d22e304535ce287c1bd24030 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 3.9314 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 13201 |
Total number of constraints | 38881 |
Number of constraints which are clauses | 38880 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 12960 |
Number of terms in the objective function | 81 |
Biggest coefficient in the objective function | 1208925819614629174706176 |
Number of bits for the biggest coefficient in the objective function | 81 |
Sum of the numbers in the objective function | 2417851639229258349412351 |
Number of bits of the sum of numbers in the objective function | 81 |
Biggest number in a constraint | 883423532389192164791648750371459257913741948437809479060803100646309888 |
Number of bits of the biggest number in a constraint | 240 |
Biggest sum of numbers in a constraint | 3533694129556768659166594778305965527968662855207593266623367657506383399 |
Number of bits of the biggest sum of numbers | 241 |
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.39/0.40 c ...done 0.39/0.40 c #vars=13201 #constraints=38883 hasObjective=yes 0.49/0.53 c res. mode=mod 0.49/0.53 c VSIDS like heuristics 0.49/0.53 c complete search running 55.18/55.24 c restart after 401 decisions 57.27/57.39 c nbDecision=500 #constraints=39204 119.66/119.75 c restart after 801 decisions 143.85/143.98 c nbDecision=1000 #constraints=39612 284.00/284.14 c nbDecision=1500 #constraints=40120 306.50/306.65 c restart after 1601 decisions 399.78/399.93 c nbDecision=2000 #constraints=40538 578.44/578.67 c nbDecision=2500 #constraints=41043 778.57/778.86 c nbDecision=3000 #constraints=41544 857.35/857.63 c restart after 3201 decisions 968.52/968.85 c nbDecision=3500 #constraints=41955 1225.14/1225.51 c nbDecision=4000 #constraints=42459 1247.24/1247.60 Received signal 15
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-366928-1177002338 -o ROOT/results/node17/solver-366928-1177002338 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366928-1177002338/instance-366928-1177002338.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.78 0.95 0.98 3/77 2258 /proc/meminfo: memFree=1537840/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1468 CPUtime=0 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 148151369 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 367 165 130 317 0 46 0 [startup+0.0181219 s] /proc/loadavg: 0.78 0.95 0.98 3/77 2258 /proc/meminfo: memFree=1537840/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1732 CPUtime=0.01 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 255 0 0 0 1 0 0 0 18 0 1 0 148151369 1773568 237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 433 237 130 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.10113 s] /proc/loadavg: 0.78 0.95 0.98 3/77 2258 /proc/meminfo: memFree=1537840/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=3580 CPUtime=0.09 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 700 0 0 0 9 0 0 0 18 0 1 0 148151369 3665920 682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 895 682 130 317 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3580 [startup+0.30115 s] /proc/loadavg: 0.78 0.95 0.98 3/77 2258 /proc/meminfo: memFree=1537840/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=7932 CPUtime=0.29 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 1796 0 0 0 29 0 0 0 19 0 1 0 148151369 8122368 1745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 1983 1745 130 317 0 1662 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7932 [startup+0.701192 s] /proc/loadavg: 0.78 0.95 0.98 3/77 2258 /proc/meminfo: memFree=1537840/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=15500 CPUtime=0.69 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 3778 0 0 0 67 2 0 0 22 0 1 0 148151369 15872000 3595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277271 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 3875 3595 139 317 0 3554 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15500 [startup+1.50127 s] /proc/loadavg: 0.78 0.95 0.98 2/78 2259 /proc/meminfo: memFree=1523944/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=15632 CPUtime=1.49 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 3806 0 0 0 147 2 0 0 25 0 1 0 148151369 16007168 3623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713872 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 3908 3623 139 317 0 3587 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15632 [startup+3.10144 s] /proc/loadavg: 0.78 0.95 0.98 2/78 2259 /proc/meminfo: memFree=1523752/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=17536 CPUtime=3.09 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 4391 0 0 0 307 2 0 0 25 0 1 0 148151369 17956864 3840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 4384 3840 139 317 0 4063 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17536 [startup+6.30178 s] /proc/loadavg: 0.80 0.95 0.98 2/78 2259 /proc/meminfo: memFree=1515688/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=29900 CPUtime=6.29 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 10113 0 0 0 625 4 0 0 25 0 1 0 148151369 30617600 6680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 7475 6680 139 317 0 7154 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29900 [startup+12.7014 s] /proc/loadavg: 0.89 0.97 0.99 2/78 2259 /proc/meminfo: memFree=1500208/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=42532 CPUtime=12.69 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 15503 0 0 0 1262 7 0 0 25 0 1 0 148151369 43552768 9585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 10633 9585 139 317 0 10312 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42532 [startup+25.5018 s] /proc/loadavg: 0.92 0.97 0.99 2/78 2259 /proc/meminfo: memFree=1463600/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=81748 CPUtime=25.48 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 33663 0 0 0 2535 13 0 0 25 0 1 0 148151369 83709952 18616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554540 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 20437 18616 170 317 0 20116 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 81748 [startup+51.1015 s] /proc/loadavg: 0.94 0.97 0.99 2/78 2259 /proc/meminfo: memFree=1404208/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=146912 CPUtime=51.07 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 63331 0 0 0 5082 25 0 0 25 0 1 0 148151369 150437888 33627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 36728 33627 170 317 0 36407 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 146912 [startup+102.306 s] /proc/loadavg: 1.02 0.99 0.99 2/78 2259 /proc/meminfo: memFree=1289648/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=270680 CPUtime=102.26 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 119555 0 0 0 10179 47 0 0 25 0 1 0 148151369 277176320 62112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 67670 62112 170 317 0 67349 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 270680 [startup+162.301 s] /proc/loadavg: 1.05 1.00 1.00 2/78 2259 /proc/meminfo: memFree=1129264/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=442928 CPUtime=162.24 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 194453 0 0 0 16149 75 0 0 25 0 1 0 148151369 453558272 102109 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 110732 102109 170 317 0 110411 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 442928 [startup+222.301 s] /proc/loadavg: 1.12 1.03 1.01 2/78 2259 /proc/meminfo: memFree=1064752/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=513940 CPUtime=222.22 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 230396 0 0 0 22133 89 0 0 25 0 1 0 148151369 526274560 118106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271382 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 128485 118106 170 317 0 128164 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 513940 [startup+282.302 s] /proc/loadavg: 1.14 1.05 1.01 2/78 2259 /proc/meminfo: memFree=988336/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=599172 CPUtime=282.21 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 273673 0 0 0 28115 106 0 0 25 0 1 0 148151369 613552128 137285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 149793 137285 170 317 0 149472 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 599172 [startup+342.302 s] /proc/loadavg: 1.08 1.05 1.01 2/78 2259 /proc/meminfo: memFree=914992/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=680832 CPUtime=342.19 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 314192 0 0 0 34095 124 0 0 25 0 1 0 148151369 697171968 155669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713816 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 170208 155669 170 317 0 169887 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 680832 [startup+402.301 s] /proc/loadavg: 1.03 1.04 1.00 2/78 2259 /proc/meminfo: memFree=756592/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=866832 CPUtime=402.17 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 377678 0 0 0 40067 150 0 0 25 0 1 0 148151369 887635968 195107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 216708 195107 170 317 0 216387 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 866832 [startup+462.301 s] /proc/loadavg: 1.01 1.03 1.00 2/78 2259 /proc/meminfo: memFree=680048/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=943868 CPUtime=462.16 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 418233 0 0 0 46051 165 0 0 25 0 1 0 148151369 966520832 214016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 235967 214016 170 317 0 235646 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 943868 [startup+522.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 2259 /proc/meminfo: memFree=611312/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1013900 CPUtime=522.14 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 455370 0 0 0 52033 181 0 0 25 0 1 0 148151369 1038233600 231261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134550027 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 253475 231261 170 317 0 253154 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1013900 [startup+582.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 2259 /proc/meminfo: memFree=562672/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1063308 CPUtime=582.12 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 481860 0 0 0 58021 191 0 0 25 0 1 0 148151369 1088827392 243441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 265827 243441 170 317 0 265506 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1063308 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 2259 /proc/meminfo: memFree=508080/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1119724 CPUtime=642.11 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 510301 0 0 0 64009 202 0 0 25 0 1 0 148151369 1146597376 256911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 279931 256911 170 317 0 279610 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 1119724 [startup+702.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 2259 /proc/meminfo: memFree=442352/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1192884 CPUtime=702.09 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 547177 0 0 0 69991 218 0 0 25 0 1 0 148151369 1221513216 273363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712470 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 298221 273363 170 317 0 297900 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 1192884 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2259 /proc/meminfo: memFree=397040/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1243112 CPUtime=762.08 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 571627 0 0 0 75982 226 0 0 25 0 1 0 148151369 1272946688 284648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284237 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 310778 284648 170 317 0 310457 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 1243112 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2259 /proc/meminfo: memFree=350768/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1294136 CPUtime=822.06 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 597366 0 0 0 81970 236 0 0 25 0 1 0 148151369 1325195264 296163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 323534 296163 170 317 0 323213 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 1294136 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2259 /proc/meminfo: memFree=319344/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1329120 CPUtime=882.04 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 615395 0 0 0 87961 243 0 0 25 0 1 0 148151369 1361018880 304011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 332280 304011 170 317 0 331959 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 1329120 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2259 /proc/meminfo: memFree=275376/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1379388 CPUtime=942.03 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 640627 0 0 0 93950 253 0 0 25 0 1 0 148151369 1412493312 315264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717766 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 344847 315264 170 317 0 344526 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1379388 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2259 /proc/meminfo: memFree=91888/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1638088 CPUtime=1002.01 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 703399 0 0 0 99926 275 0 0 25 0 1 0 148151369 1677402112 360781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 409522 360781 170 317 0 409201 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1638088 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2259 /proc/meminfo: memFree=56240/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1675608 CPUtime=1061.99 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 723042 0 0 0 105916 283 0 0 25 0 1 0 148151369 1715822592 370029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 418902 370029 170 317 0 418581 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1675608 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2259 /proc/meminfo: memFree=15280/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1728564 CPUtime=1121.97 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 750706 0 0 0 111904 293 0 0 25 0 1 0 148151369 1770049536 383045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 432141 383045 170 317 0 431820 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 1728564 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2259 /proc/meminfo: memFree=16048/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1779612 CPUtime=1181.96 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 777427 0 0 0 117894 302 0 0 25 0 1 0 148151369 1822322688 395614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278940 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 444903 395614 170 317 0 444582 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1779612 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2259 /proc/meminfo: memFree=15664/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1834060 CPUtime=1241.94 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 806307 0 0 0 123882 312 0 0 25 0 1 0 148151369 1878077440 408992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 458515 408992 170 317 0 458194 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1834060 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1247.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2259 /proc/meminfo: memFree=15728/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1843292 CPUtime=1247.24 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 811092 0 0 0 124410 314 0 0 25 0 1 0 148151369 1887531008 411237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718742 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 460823 411237 170 317 0 460502 0 Current children cumulated CPU time (s) 1247.24 Current children cumulated vsize (KiB) 1843292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1247.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2259 /proc/meminfo: memFree=15728/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1843292 CPUtime=1247.44 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 811096 0 0 0 124430 314 0 0 25 0 1 0 148151369 1887531008 411241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710868 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 460823 411241 170 317 0 460502 0 Current children cumulated CPU time (s) 1247.44 Current children cumulated vsize (KiB) 1843292 [startup+1248.6 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2260 /proc/meminfo: memFree=15144/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1843828 CPUtime=1248.24 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 811439 0 0 0 124510 314 0 0 25 0 1 0 148151369 1888079872 411385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 460957 411385 170 317 0 460636 0 Current children cumulated CPU time (s) 1248.24 Current children cumulated vsize (KiB) 1843828 [startup+1249.4 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2260 /proc/meminfo: memFree=15144/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=1844484 CPUtime=1249.04 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 811789 0 0 0 124590 314 0 0 25 0 1 0 148151369 1888751616 411536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 461121 411536 170 317 0 460800 0 Current children cumulated CPU time (s) 1249.04 Current children cumulated vsize (KiB) 1844484 [startup+1249.8 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2260 /proc/meminfo: memFree=16296/2055920 swapFree=4141660/4192956 [pid=2258] ppid=2256 vsize=0 CPUtime=1249.43 /proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4195332 811794 0 0 0 124610 333 0 0 25 0 1 0 148151369 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2258/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1249.43 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1249.87 CPU time (s): 1249.52 CPU user time (s): 1246.11 CPU system time (s): 3.41148 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 1844484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1246.11 system time used= 3.41148 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 811794 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= 1829 runsolver used 1.39379 second user time and 2.86356 second system time The end
Begin job on node17 on Thu Apr 19 17:05:39 UTC 2007 IDJOB= 366928 IDBENCH= 2958 IDSOLVER= 172 FILE ID= node17/366928-1177002338 PBS_JOBID= 4630525 Free space on /tmp= 66390 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb COMMAND LINE= oree /tmp/evaluation/366928-1177002338/instance-366928-1177002338.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-366928-1177002338 -o ROOT/results/node17/solver-366928-1177002338 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366928-1177002338/instance-366928-1177002338.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0c8a7426d22e304535ce287c1bd24030 RANDOM SEED= 188004991 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1538312 kB Buffers: 37772 kB Cached: 399556 kB SwapCached: 14192 kB Active: 210760 kB Inactive: 249988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1538312 kB SwapTotal: 4192956 kB SwapFree: 4141660 kB Dirty: 3044 kB Writeback: 0 kB Mapped: 29504 kB Slab: 42408 kB Committed_AS: 7106188 kB PageTables: 1796 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= 66390 MiB End job on node17 on Thu Apr 19 17:26:29 UTC 2007