Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.15 | 1802.62 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb |
MD5SUM | 0d68396ddd3adb481a49ce1422ebcaec |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 126251 |
Total number of constraints | 376501 |
Number of constraints which are clauses | 376500 |
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 | 125500 |
Number of terms in the objective function | 251 |
Biggest coefficient in the objective function | 1809251394333065553493296640760748560207343510400633813116524750123642650624 |
Number of bits for the biggest coefficient in the objective function | 251 |
Sum of the numbers in the objective function | 3618502788666131106986593281521497120414687020801267626233049500247285301247 |
Number of bits of the sum of numbers in the objective function | 251 |
Biggest number in a constraint | 2961193260766427870080908753323559866441509279473679754522422863056280045864824078237301652581494289303756200212728639995902214134435299666298460531313288000496778442422580538845568248046109094286466596972878396512780851085312 |
Number of bits of the biggest number in a constraint | 750 |
Biggest sum of numbers in a constraint | 11844773043065711480323635013294239465766037117894719018089691452225120183456110041724762364928147817377348326880268577133927465386787427201119947336445574431204393880301774478140662910839812661887447658656553291795701871486491 |
Number of bits of the biggest sum of numbers | 751 |
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... 4.89/4.95 c ...done 4.89/4.95 c #vars=126251 #constraints=376503 hasObjective=yes 6.78/6.80 c res. mode=mod 6.78/6.80 c VSIDS like heuristics 6.78/6.80 c complete search running 1444.01/1444.46 c restart after 401 decisions 1447.41/1447.84 c nbDecision=500 #constraints=376602 1800.03/1800.50 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/node60/watcher-357514-1177002500 -o ROOT/results/node60/solver-357514-1177002500 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357514-1177002500/instance-357514-1177002500.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.94 3/64 13362 /proc/meminfo: memFree=1357592/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=1468 CPUtime=0 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 148160139 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 367 160 130 317 0 46 0 [startup+0.013188 s] /proc/loadavg: 0.92 0.98 0.94 3/64 13362 /proc/meminfo: memFree=1357592/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=1600 CPUtime=0.01 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 223 0 0 0 1 0 0 0 18 0 1 0 148160139 1638400 205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 400 206 130 317 0 79 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1600 [startup+0.101197 s] /proc/loadavg: 0.92 0.98 0.94 3/64 13362 /proc/meminfo: memFree=1357592/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=3588 CPUtime=0.09 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 688 0 0 0 9 0 0 0 18 0 1 0 148160139 3674112 670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 897 670 130 317 0 576 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3588 [startup+0.301215 s] /proc/loadavg: 0.92 0.98 0.94 3/64 13362 /proc/meminfo: memFree=1357592/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=7808 CPUtime=0.29 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 1771 0 0 0 29 0 0 0 19 0 1 0 148160139 7995392 1720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 1952 1720 130 317 0 1631 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7808 [startup+0.701255 s] /proc/loadavg: 0.92 0.98 0.94 3/64 13362 /proc/meminfo: memFree=1357592/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=16248 CPUtime=0.69 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 3938 0 0 0 68 1 0 0 22 0 1 0 148160139 16637952 3822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 4062 3822 130 317 0 3741 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16248 [startup+1.50133 s] /proc/loadavg: 0.92 0.98 0.94 2/65 13363 /proc/meminfo: memFree=1336464/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=33260 CPUtime=1.49 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 8281 0 0 0 145 4 0 0 25 0 1 0 148160139 34058240 8036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 8315 8036 130 317 0 7994 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33260 [startup+3.10149 s] /proc/loadavg: 0.93 0.98 0.94 2/65 13363 /proc/meminfo: memFree=1313040/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=66224 CPUtime=3.09 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 16702 0 0 0 301 8 0 0 25 0 1 0 148160139 67813376 16200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 16556 16200 130 317 0 16235 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 66224 [startup+6.30181 s] /proc/loadavg: 0.93 0.98 0.94 2/65 13363 /proc/meminfo: memFree=1237456/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=122348 CPUtime=6.29 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 31637 0 0 0 614 15 0 0 25 0 1 0 148160139 125284352 30200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 30587 30200 137 317 0 30266 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 122348 [startup+12.7024 s] /proc/loadavg: 0.94 0.98 0.94 2/65 13363 /proc/meminfo: memFree=1229520/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=130136 CPUtime=12.68 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 33581 0 0 0 1253 15 0 0 25 0 1 0 148160139 133259264 32144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 32534 32144 137 317 0 32213 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 130136 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.94 2/65 13363 /proc/meminfo: memFree=1217488/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=152312 CPUtime=25.49 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 39135 0 0 0 2531 18 0 0 25 0 1 0 148160139 155967488 35124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 38078 35124 139 317 0 37757 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 152312 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.94 2/65 13363 /proc/meminfo: memFree=1211664/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=159388 CPUtime=51.06 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 40900 0 0 0 5088 18 0 0 25 0 1 0 148160139 163213312 36625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 39847 36625 139 317 0 39526 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 159388 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.94 2/65 13363 /proc/meminfo: memFree=1192400/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=181464 CPUtime=102.26 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 47910 0 0 0 10205 21 0 0 25 0 1 0 148160139 185819136 41406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710858 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 45366 41406 139 317 0 45045 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 181464 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=1177104/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=199680 CPUtime=162.23 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 56678 0 0 0 16199 24 0 0 25 0 1 0 148160139 204472320 45273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 49920 45273 170 317 0 49599 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 199680 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=1153936/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=225624 CPUtime=222.22 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 64710 0 0 0 22195 27 0 0 25 0 1 0 148160139 231038976 51053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541544 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 56406 51053 170 317 0 56085 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 225624 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=1135696/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=246088 CPUtime=282.21 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 71386 0 0 0 28191 30 0 0 25 0 1 0 148160139 251994112 55617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 61522 55617 170 317 0 61201 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 246088 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=1115728/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=267836 CPUtime=342.19 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 79364 0 0 0 34186 33 0 0 25 0 1 0 148160139 274264064 60593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 66959 60593 170 317 0 66638 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 267836 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=1089936/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=295192 CPUtime=402.17 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 89892 0 0 0 40181 36 0 0 25 0 1 0 148160139 302276608 67221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 73798 67221 170 317 0 73477 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 295192 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=1067024/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=319544 CPUtime=462.16 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 99138 0 0 0 46176 40 0 0 25 0 1 0 148160139 327213056 72743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284223 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 79886 72743 170 317 0 79565 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 319544 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=1049168/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=338740 CPUtime=522.14 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 106470 0 0 0 52172 42 0 0 25 0 1 0 148160139 346869760 77195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713816 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 84685 77195 170 317 0 84364 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 338740 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=1032208/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=356312 CPUtime=582.13 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 113696 0 0 0 58168 45 0 0 25 0 1 0 148160139 364863488 81424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 89078 81424 170 317 0 88757 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 356312 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=1013456/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=376308 CPUtime=642.12 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 121093 0 0 0 64164 48 0 0 25 0 1 0 148160139 385339392 86096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 94077 86096 170 317 0 93756 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 376308 ################ # More data... # ################ /proc/meminfo: memFree=890128/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=504812 CPUtime=1002.02 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 171386 0 0 0 100134 68 0 0 25 0 1 0 148160139 516927488 116834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 126203 116834 170 317 0 125882 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 504812 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=885328/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=509680 CPUtime=1062.01 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 173771 0 0 0 106131 70 0 0 25 0 1 0 148160139 521912320 118022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 127420 118022 170 317 0 127099 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 509680 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=876624/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=518736 CPUtime=1121.99 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 178286 0 0 0 112128 71 0 0 25 0 1 0 148160139 531185664 120198 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 129684 120198 170 317 0 129363 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 518736 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=861584/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=533704 CPUtime=1181.98 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 186557 0 0 0 118123 75 0 0 25 0 1 0 148160139 546512896 123889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279021 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 133426 123889 170 317 0 133105 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 533704 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=844496/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=550196 CPUtime=1241.97 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 192214 0 0 0 124120 77 0 0 25 0 1 0 148160139 563400704 127867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279024 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 137549 127867 170 317 0 137228 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 550196 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=827408/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=569252 CPUtime=1301.95 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 198979 0 0 0 130116 79 0 0 25 0 1 0 148160139 582914048 132462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713793 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 142313 132462 170 317 0 141992 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 569252 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=805136/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=591956 CPUtime=1361.94 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 208165 0 0 0 136111 83 0 0 25 0 1 0 148160139 606162944 138007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 147989 138007 170 317 0 147668 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 591956 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=798608/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=599428 CPUtime=1421.92 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 212197 0 0 0 142108 84 0 0 25 0 1 0 148160139 613814272 139639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 149857 139639 170 317 0 149536 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 599428 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=784336/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=614452 CPUtime=1481.9 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 217676 0 0 0 148105 85 0 0 25 0 1 0 148160139 629198848 143153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554564 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 153613 143153 170 317 0 153292 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 614452 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=761808/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=640884 CPUtime=1541.89 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 225296 0 0 0 154101 88 0 0 25 0 1 0 148160139 656265216 148759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710753 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 160221 148759 170 317 0 159900 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 640884 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=745168/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=660284 CPUtime=1601.88 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 235668 0 0 0 160095 93 0 0 25 0 1 0 148160139 676130816 152910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712596 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 165071 152910 170 317 0 164750 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 660284 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=723792/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=684312 CPUtime=1661.85 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 245666 0 0 0 166088 97 0 0 25 0 1 0 148160139 700735488 158264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712596 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 171078 158264 170 317 0 170757 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 684312 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=712208/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=697436 CPUtime=1721.85 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 251412 0 0 0 172085 100 0 0 25 0 1 0 148160139 714174464 161165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278906 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 174359 161165 170 317 0 174038 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 697436 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=661008/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=749416 CPUtime=1781.82 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 267575 0 0 0 178076 106 0 0 25 0 1 0 148160139 767401984 173915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270572 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 187354 173915 170 317 0 187033 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 749416 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.94 2/65 13363 /proc/meminfo: memFree=654416/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=756536 CPUtime=1800.03 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 270295 0 0 0 179895 108 0 0 25 0 1 0 148160139 774692864 175577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 189134 175577 170 317 0 188813 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 756536 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+1801.4 s] /proc/loadavg: 0.99 0.98 0.94 2/66 13364 /proc/meminfo: memFree=654408/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=756536 CPUtime=1800.93 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 270295 0 0 0 179985 108 0 0 25 0 1 0 148160139 774692864 175577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713827 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 189134 175577 170 317 0 188813 0 Current children cumulated CPU time (s) 1800.93 Current children cumulated vsize (KiB) 756536 [startup+1802.2 s] /proc/loadavg: 0.99 0.98 0.94 2/66 13364 /proc/meminfo: memFree=654408/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=756536 CPUtime=1801.73 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4194304 270295 0 0 0 180065 108 0 0 25 0 1 0 148160139 774692864 175577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 189134 175577 170 317 0 188813 0 Current children cumulated CPU time (s) 1801.73 Current children cumulated vsize (KiB) 756536 [startup+1802.6 s] /proc/loadavg: 0.99 0.98 0.94 2/66 13364 /proc/meminfo: memFree=654408/2055920 swapFree=4181684/4192956 [pid=13362] ppid=13360 vsize=0 CPUtime=1802.12 /proc/13362/stat : 13362 (oree) R 13360 13362 13062 0 -1 4195332 270295 0 0 0 180095 117 0 0 25 0 1 0 148160139 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13362/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.62 CPU time (s): 1802.15 CPU user time (s): 1800.96 CPU system time (s): 1.19182 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 756536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.96 system time used= 1.19182 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270295 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= 2343 runsolver used 1.41778 second user time and 3.52246 second system time The end
Begin job on node60 on Thu Apr 19 17:08:22 UTC 2007 IDJOB= 357514 IDBENCH= 2965 IDSOLVER= 172 FILE ID= node60/357514-1177002500 PBS_JOBID= 4630493 Free space on /tmp= 66392 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=500-sizeP=251-sizeQ=500-280035866-max.opb COMMAND LINE= oree /tmp/evaluation/357514-1177002500/instance-357514-1177002500.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-357514-1177002500 -o ROOT/results/node60/solver-357514-1177002500 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357514-1177002500/instance-357514-1177002500.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0d68396ddd3adb481a49ce1422ebcaec RANDOM SEED= 265154306 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1358064 kB Buffers: 28268 kB Cached: 595432 kB SwapCached: 5028 kB Active: 100892 kB Inactive: 533716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1358064 kB SwapTotal: 4192956 kB SwapFree: 4181684 kB Dirty: 26548 kB Writeback: 0 kB Mapped: 15400 kB Slab: 49324 kB Committed_AS: 1584332 kB PageTables: 1464 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= 66392 MiB End job on node60 on Thu Apr 19 17:38:24 UTC 2007