Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 1446.08 | 1446.48 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354.opb |
MD5SUM | eca994a4da1c48383c86dd1e556e3687 |
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.44148 |
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 | 10151 |
Total number of constraints | 29821 |
Number of constraints which are clauses | 29820 |
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 | 9940 |
Number of terms in the objective function | 71 |
Biggest coefficient in the objective function | 1180591620717411303424 |
Number of bits for the biggest coefficient in the objective function | 71 |
Sum of the numbers in the objective function | 2361183241434822606847 |
Number of bits of the sum of numbers in the objective function | 71 |
Biggest number in a constraint | 822752278660603021077484591278675252491367932816789931674304512 |
Number of bits of the biggest number in a constraint | 210 |
Biggest sum of numbers in a constraint | 3291009114642412084308654416646809277848400271660251117497592779 |
Number of bits of the biggest sum of numbers | 211 |
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.29/0.30 c ...done 0.29/0.30 c #vars=10151 #constraints=29823 hasObjective=yes 0.39/0.40 c res. mode=mod 0.39/0.40 c VSIDS like heuristics 0.39/0.40 c complete search running 39.88/39.93 c restart after 401 decisions 42.08/42.15 c nbDecision=500 #constraints=30166 91.06/91.13 c restart after 801 decisions 111.56/111.65 c nbDecision=1000 #constraints=30593 206.33/206.42 c nbDecision=1500 #constraints=31090 234.03/234.15 c restart after 1601 decisions 304.41/304.60 c nbDecision=2000 #constraints=31512 438.27/438.42 c nbDecision=2500 #constraints=32013 577.54/577.78 c nbDecision=3000 #constraints=32505 661.02/661.29 c restart after 3201 decisions 766.48/766.71 c nbDecision=3500 #constraints=32946 947.23/947.54 c nbDecision=4000 #constraints=33444 1196.96/1197.31 c nbDecision=4500 #constraints=33941 1408.60/1409.03 c nbDecision=5000 #constraints=34435 1445.30/1445.70 Received signal 15 1445.79/1446.22 1445.79/1446.22 s UNKNOWN 1445.79/1446.22 1445.79/1446.22 c user time= 1442.86 s 1445.79/1446.22 c system time= 2.96755 s 1445.79/1446.22 c wall clock time=1446.22
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-367066-1177003310 -o ROOT/results/node18/solver-367066-1177003310 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/367066-1177003310/instance-367066-1177003310.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/77 14971 /proc/meminfo: memFree=1737360/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1468 CPUtime=0 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 148248380 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 367 165 130 317 0 46 0 [startup+0.106253 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14971 /proc/meminfo: memFree=1737360/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=3712 CPUtime=0.1 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 726 0 0 0 10 0 0 0 18 0 1 0 148248380 3801088 708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 928 708 130 317 0 607 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3712 [startup+0.201263 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14971 /proc/meminfo: memFree=1737360/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=5692 CPUtime=0.19 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 1231 0 0 0 19 0 0 0 18 0 1 0 148248380 5828608 1213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 1423 1213 130 317 0 1102 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5692 [startup+0.301272 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14971 /proc/meminfo: memFree=1737360/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=7608 CPUtime=0.29 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 1708 0 0 0 29 0 0 0 19 0 1 0 148248380 7790592 1624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284160 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 1902 1624 131 317 0 1581 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7608 [startup+0.70131 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14971 /proc/meminfo: memFree=1737360/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=12648 CPUtime=0.69 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 3008 0 0 0 68 1 0 0 23 0 1 0 148248380 12951552 2825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284244 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 3162 2825 139 317 0 2841 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12648 [startup+1.50139 s] /proc/loadavg: 0.92 0.98 0.99 2/78 14972 /proc/meminfo: memFree=1726408/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=12648 CPUtime=1.49 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 3029 0 0 0 148 1 0 0 25 0 1 0 148248380 12951552 2846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 3162 2846 139 317 0 2841 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12648 [startup+3.10154 s] /proc/loadavg: 0.93 0.98 0.99 2/78 14972 /proc/meminfo: memFree=1725640/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=16144 CPUtime=3.09 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 4327 0 0 0 307 2 0 0 25 0 1 0 148248380 16531456 3397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 4036 3398 139 317 0 3715 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16144 [startup+6.30185 s] /proc/loadavg: 0.93 0.98 0.99 2/78 14972 /proc/meminfo: memFree=1714824/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=28372 CPUtime=6.29 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 9825 0 0 0 625 4 0 0 25 0 1 0 148248380 29052928 5920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 7093 5920 170 317 0 6772 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28372 [startup+12.7015 s] /proc/loadavg: 0.94 0.98 0.99 2/78 14972 /proc/meminfo: memFree=1698632/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=53596 CPUtime=12.69 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 20391 0 0 0 1261 8 0 0 25 0 1 0 148248380 54882304 11274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 13399 11274 170 317 0 13078 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53596 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/78 14972 /proc/meminfo: memFree=1656072/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=98124 CPUtime=25.48 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 39244 0 0 0 2534 14 0 0 25 0 1 0 148248380 100478976 20534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278995 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 24531 20534 170 317 0 24210 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 98124 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/78 14972 /proc/meminfo: memFree=1611848/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=154436 CPUtime=51.08 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 65492 0 0 0 5084 24 0 0 25 0 1 0 148248380 158142464 31645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 38609 31645 170 317 0 38288 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 154436 [startup+102.301 s] /proc/loadavg: 0.98 0.98 0.99 2/78 14972 /proc/meminfo: memFree=1500936/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=288532 CPUtime=102.26 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 125744 0 0 0 10180 46 0 0 25 0 1 0 148248380 295456768 59019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 72133 59019 170 317 0 71812 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 288532 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14972 /proc/meminfo: memFree=1387464/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=422960 CPUtime=162.25 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 180464 0 0 0 16157 68 0 0 25 0 1 0 148248380 433111040 87508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713788 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 105740 87508 170 317 0 105419 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 422960 [startup+222.306 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14972 /proc/meminfo: memFree=1309576/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=520608 CPUtime=222.23 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 226222 0 0 0 22138 85 0 0 25 0 1 0 148248380 533102592 106725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 130152 106725 170 317 0 129831 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 520608 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14972 /proc/meminfo: memFree=1182536/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=685560 CPUtime=282.22 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 282046 0 0 0 28115 107 0 0 25 0 1 0 148248380 702013440 138780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284135 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 171390 138780 170 317 0 171069 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 685560 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14972 /proc/meminfo: memFree=1118152/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=759008 CPUtime=342.19 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 317063 0 0 0 34100 119 0 0 25 0 1 0 148248380 777224192 154547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590739 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 189752 154547 170 317 0 189431 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 759008 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14972 /proc/meminfo: memFree=1059208/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=827144 CPUtime=402.18 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 350155 0 0 0 40088 130 0 0 25 0 1 0 148248380 846995456 169244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 206786 169244 170 317 0 206465 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 827144 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14972 /proc/meminfo: memFree=996296/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=900472 CPUtime=462.16 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 386537 0 0 0 46072 144 0 0 25 0 1 0 148248380 922083328 185092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 225118 185092 170 317 0 224797 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 900472 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14972 /proc/meminfo: memFree=939720/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=970892 CPUtime=522.14 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 420199 0 0 0 52058 156 0 0 25 0 1 0 148248380 994193408 199239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541574 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 242723 199239 170 317 0 242402 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 970892 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14972 /proc/meminfo: memFree=879176/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1047240 CPUtime=582.13 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 455958 0 0 0 58044 169 0 0 25 0 1 0 148248380 1072373760 214208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 261810 214208 170 317 0 261489 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1047240 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14972 /proc/meminfo: memFree=839944/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1096824 CPUtime=642.11 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 479651 0 0 0 64035 176 0 0 25 0 1 0 148248380 1123147776 223966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718632 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 274206 223966 170 317 0 273885 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 1096824 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14972 /proc/meminfo: memFree=816008/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1126652 CPUtime=702.1 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 493550 0 0 0 70028 182 0 0 25 0 1 0 148248380 1153691648 229823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 281663 229823 170 317 0 281342 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1126652 [startup+762.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14972 /proc/meminfo: memFree=676680/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1333720 CPUtime=762.09 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 543478 0 0 0 76008 201 0 0 25 0 1 0 148248380 1365729280 264600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271317 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 333430 264600 170 317 0 333109 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1333720 [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14972 /proc/meminfo: memFree=631368/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1387436 CPUtime=822.07 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 569091 0 0 0 81996 211 0 0 25 0 1 0 148248380 1420734464 276116 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134742678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 346859 276116 170 317 0 346538 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1387436 [startup+882.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14972 /proc/meminfo: memFree=577160/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1449192 CPUtime=882.05 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 599497 0 0 0 87982 223 0 0 25 0 1 0 148248380 1483972608 289393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 362298 289393 170 317 0 361977 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1449192 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14972 /proc/meminfo: memFree=532936/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1501508 CPUtime=942.04 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 624464 0 0 0 93971 233 0 0 25 0 1 0 148248380 1537544192 300653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554561 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 375377 300653 170 317 0 375056 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1501508 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14974 /proc/meminfo: memFree=491400/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1548440 CPUtime=1002.02 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 647287 0 0 0 99963 239 0 0 25 0 1 0 148248380 1585602560 310782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 387110 310782 170 317 0 386789 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1548440 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14974 /proc/meminfo: memFree=466824/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1578764 CPUtime=1062 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 662293 0 0 0 105955 245 0 0 25 0 1 0 148248380 1616654336 317287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270612 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 394691 317287 170 317 0 394370 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1578764 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14974 /proc/meminfo: memFree=432584/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1616432 CPUtime=1121.99 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 680812 0 0 0 111947 252 0 0 25 0 1 0 148248380 1655226368 325457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 404108 325457 170 317 0 403787 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1616432 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14974 /proc/meminfo: memFree=391240/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1664860 CPUtime=1181.97 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 704273 0 0 0 117936 261 0 0 25 0 1 0 148248380 1704816640 335842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 416215 335842 170 317 0 415894 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1664860 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14974 /proc/meminfo: memFree=366088/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1693724 CPUtime=1241.95 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 718162 0 0 0 123928 267 0 0 25 0 1 0 148248380 1734373376 342071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 423431 342071 170 317 0 423110 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1693724 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14974 /proc/meminfo: memFree=328328/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1736996 CPUtime=1301.94 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 739317 0 0 0 129919 275 0 0 25 0 1 0 148248380 1778683904 351418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 434249 351418 170 317 0 433928 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1736996 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14974 /proc/meminfo: memFree=281480/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1792584 CPUtime=1361.92 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 766913 0 0 0 135907 285 0 0 25 0 1 0 148248380 1835606016 363373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 448146 363373 170 317 0 447825 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1792584 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14974 /proc/meminfo: memFree=241928/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1836932 CPUtime=1421.91 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 788543 0 0 0 141896 295 0 0 25 0 1 0 148248380 1881018368 372953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 459233 372953 170 317 0 458912 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1836932 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1445.7 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14974 /proc/meminfo: memFree=236808/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1843268 CPUtime=1445.3 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 791454 0 0 0 144234 296 0 0 25 0 1 0 148248380 1887506432 374256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746922 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 460817 374256 170 317 0 460496 0 Current children cumulated CPU time (s) 1445.3 Current children cumulated vsize (KiB) 1843268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1445.9 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14974 /proc/meminfo: memFree=236808/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=1843268 CPUtime=1445.49 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194304 791475 0 0 0 144253 296 0 0 25 0 1 0 148248380 1887506432 374277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 460817 374277 170 317 0 460496 0 Current children cumulated CPU time (s) 1445.49 Current children cumulated vsize (KiB) 1843268 [startup+1446.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14974 /proc/meminfo: memFree=236808/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=0 CPUtime=1445.9 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194308 791510 0 0 0 144287 303 0 0 25 0 1 0 148248380 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1445.9 Current children cumulated vsize (KiB) 0 [startup+1446.4 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14974 /proc/meminfo: memFree=236808/2055920 swapFree=4147128/4192956 [pid=14971] ppid=14969 vsize=0 CPUtime=1446 /proc/14971/stat : 14971 (oree) R 14969 14971 14101 0 -1 4194308 791510 0 0 0 144287 313 0 0 25 0 1 0 148248380 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14971/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1446 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1446.48 CPU time (s): 1446.08 CPU user time (s): 1442.87 CPU system time (s): 3.20951 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 1843268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1442.87 system time used= 3.20951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 791510 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= 29113 runsolver used 1.76673 second user time and 3.43048 second system time The end
Begin job on node18 on Thu Apr 19 17:21:50 UTC 2007 IDJOB= 367066 IDBENCH= 3004 IDSOLVER= 172 FILE ID= node18/367066-1177003310 PBS_JOBID= 4630471 Free space on /tmp= 66483 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=140-sizeP=71-sizeQ=140-217105354.opb COMMAND LINE= oree /tmp/evaluation/367066-1177003310/instance-367066-1177003310.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-367066-1177003310 -o ROOT/results/node18/solver-367066-1177003310 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/367066-1177003310/instance-367066-1177003310.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= eca994a4da1c48383c86dd1e556e3687 RANDOM SEED= 318072437 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.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.234 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.234 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: 1737704 kB Buffers: 36140 kB Cached: 195108 kB SwapCached: 14164 kB Active: 76368 kB Inactive: 180288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1737704 kB SwapTotal: 4192956 kB SwapFree: 4147128 kB Dirty: 2472 kB Writeback: 0 kB Mapped: 32480 kB Slab: 47068 kB Committed_AS: 4401260 kB PageTables: 1780 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= 66483 MiB End job on node18 on Thu Apr 19 17:45:58 UTC 2007