Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 1185.99 | 1187.08 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb |
MD5SUM | b1249706e628878b014787592bd6d20f |
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 | 4.64329 |
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 | 16651 |
Total number of constraints | 49141 |
Number of constraints which are clauses | 49140 |
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 | 16380 |
Number of terms in the objective function | 91 |
Biggest coefficient in the objective function | 1237940039285380274899124224 |
Number of bits for the biggest coefficient in the objective function | 91 |
Sum of the numbers in the objective function | 2475880078570760549798248447 |
Number of bits of the sum of numbers in the objective function | 91 |
Biggest number in a constraint | 948568795032094272909893509191171341133987714380927500611236528192824358010355712 |
Number of bits of the biggest number in a constraint | 270 |
Biggest sum of numbers in a constraint | 3794275180128377091639574036119569691105961065265835810055117519795943319408340779 |
Number of bits of the biggest sum of numbers | 271 |
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.38/0.49 c ...done 0.38/0.49 c #vars=16651 #constraints=49143 hasObjective=yes 0.59/0.65 c res. mode=mod 0.59/0.65 c VSIDS like heuristics 0.59/0.65 c complete search running 60.93/61.07 c restart after 401 decisions 62.23/62.32 c nbDecision=500 #constraints=49436 138.97/139.15 c restart after 801 decisions 164.46/164.60 c nbDecision=1000 #constraints=49848 314.04/314.34 c nbDecision=1500 #constraints=50342 342.22/342.54 c restart after 1601 decisions 449.63/450.08 c nbDecision=2000 #constraints=50734 649.25/649.87 c nbDecision=2500 #constraints=51245 903.64/904.42 c nbDecision=3000 #constraints=51731 1001.76/1002.76 c restart after 3201 decisions 1177.31/1178.46 c nbDecision=3500 #constraints=52150 1185.61/1186.71 Received signal 15 1185.61/1186.80 1185.61/1186.80 Unexpected exception : 1185.61/1186.80 St9bad_alloc
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node40/watcher-367198-1177004230 -o ROOT/results/node40/solver-367198-1177004230 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/367198-1177004230/instance-367198-1177004230.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.91 0.95 0.97 2/77 15980 /proc/meminfo: memFree=1514288/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=1468 CPUtime=0 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 29302642 1503232 144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 367 144 127 317 0 46 0 [startup+0.076436 s] /proc/loadavg: 0.91 0.95 0.97 2/77 15980 /proc/meminfo: memFree=1514288/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=3052 CPUtime=0.06 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 571 0 0 0 6 0 0 0 18 0 1 0 29302642 3125248 553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 763 553 130 317 0 442 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3052 [startup+0.101431 s] /proc/loadavg: 0.91 0.95 0.97 2/77 15980 /proc/meminfo: memFree=1514288/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=3580 CPUtime=0.09 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 712 0 0 0 9 0 0 0 18 0 1 0 29302642 3665920 694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 895 694 130 317 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3580 [startup+0.301473 s] /proc/loadavg: 0.91 0.95 0.97 2/77 15980 /proc/meminfo: memFree=1514288/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=8196 CPUtime=0.29 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 1868 0 0 0 29 0 0 0 20 0 1 0 29302642 8392704 1817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 2049 1817 130 317 0 1728 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8196 [startup+0.701555 s] /proc/loadavg: 0.91 0.95 0.97 2/77 15980 /proc/meminfo: memFree=1514288/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=17040 CPUtime=0.69 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 4153 0 0 0 68 1 0 0 23 0 1 0 29302642 17448960 4036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 4260 4036 137 317 0 3939 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17040 [startup+1.50172 s] /proc/loadavg: 0.91 0.95 0.97 2/78 15981 /proc/meminfo: memFree=1496744/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=18900 CPUtime=1.48 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 4703 0 0 0 147 1 0 0 25 0 1 0 29302642 19353600 4520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 4725 4520 139 317 0 4404 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 18900 [startup+3.10106 s] /proc/loadavg: 0.91 0.95 0.97 2/78 15981 /proc/meminfo: memFree=1496552/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=19164 CPUtime=3.08 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 4769 0 0 0 307 1 0 0 25 0 1 0 29302642 19623936 4586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 4791 4586 139 317 0 4470 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 19164 [startup+6.30173 s] /proc/loadavg: 0.92 0.95 0.97 2/78 15981 /proc/meminfo: memFree=1495208/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=27164 CPUtime=6.28 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 7800 0 0 0 626 2 0 0 25 0 1 0 29302642 27815936 6169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 6791 6170 139 317 0 6470 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 27164 [startup+12.7011 s] /proc/loadavg: 0.93 0.95 0.97 2/78 15981 /proc/meminfo: memFree=1475440/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=41980 CPUtime=12.68 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 15045 0 0 0 1264 4 0 0 25 0 1 0 29302642 42987520 9964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710868 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 10495 9964 170 317 0 10174 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 41980 [startup+25.5017 s] /proc/loadavg: 0.94 0.96 0.97 2/78 15981 /proc/meminfo: memFree=1432880/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=85428 CPUtime=25.47 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 34058 0 0 0 2535 12 0 0 25 0 1 0 29302642 87478272 20751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266198 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 21357 20751 170 317 0 21036 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 85428 [startup+51.1011 s] /proc/loadavg: 0.96 0.96 0.97 2/78 15981 /proc/meminfo: memFree=1367344/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=152052 CPUtime=51.04 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 63496 0 0 0 5081 23 0 0 25 0 1 0 29302642 155701248 37362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 38013 37362 170 317 0 37692 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 152052 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.97 2/78 15981 /proc/meminfo: memFree=1227504/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=290068 CPUtime=102.21 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 125473 0 0 0 10174 47 0 0 25 0 1 0 29302642 297029632 71675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 72517 71675 170 317 0 72196 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 290068 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=1126320/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=393828 CPUtime=162.16 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 178868 0 0 0 16149 67 0 0 25 0 1 0 29302642 403279872 97485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712857 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 98457 97485 170 317 0 98136 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 393828 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=950256/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=567532 CPUtime=222.11 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 250440 0 0 0 22117 94 0 0 25 0 1 0 29302642 581152768 140740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 141883 140740 170 317 0 141562 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 567532 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=864880/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=656948 CPUtime=282.07 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 295448 0 0 0 28095 112 0 0 25 0 1 0 29302642 672714752 162910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 164237 162910 170 317 0 163916 0 Current children cumulated CPU time (s) 282.07 Current children cumulated vsize (KiB) 656948 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=777456/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=741228 CPUtime=342.02 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 338273 0 0 0 34073 129 0 0 25 0 1 0 29302642 759017472 183878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 185307 183878 170 317 0 184986 0 Current children cumulated CPU time (s) 342.02 Current children cumulated vsize (KiB) 741228 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=718896/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=800440 CPUtime=401.97 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 369082 0 0 0 40056 141 0 0 25 0 1 0 29302642 819650560 198583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 200110 198583 170 317 0 199789 0 Current children cumulated CPU time (s) 401.97 Current children cumulated vsize (KiB) 800440 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=523120/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=1025648 CPUtime=461.92 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 443812 0 0 0 46025 167 0 0 25 0 1 0 29302642 1050263552 247659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 256412 247659 170 317 0 256091 0 Current children cumulated CPU time (s) 461.92 Current children cumulated vsize (KiB) 1025648 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=447600/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=1095256 CPUtime=521.89 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 480725 0 0 0 52008 181 0 0 25 0 1 0 29302642 1121542144 266581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 273814 266581 170 317 0 273493 0 Current children cumulated CPU time (s) 521.89 Current children cumulated vsize (KiB) 1095256 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=366320/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=1172152 CPUtime=581.78 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 521330 0 0 0 57981 197 0 0 25 0 1 0 29302642 1200283648 287394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272676 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 293038 287394 170 317 0 292717 0 Current children cumulated CPU time (s) 581.78 Current children cumulated vsize (KiB) 1172152 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=294384/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=1235784 CPUtime=641.75 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 555108 0 0 0 63966 209 0 0 25 0 1 0 29302642 1265442816 304573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 308946 304573 170 317 0 308625 0 Current children cumulated CPU time (s) 641.75 Current children cumulated vsize (KiB) 1235784 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=217008/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=1307772 CPUtime=701.7 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 593060 0 0 0 69948 222 0 0 25 0 1 0 29302642 1339158528 323979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718404 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 326943 323979 170 317 0 326622 0 Current children cumulated CPU time (s) 701.7 Current children cumulated vsize (KiB) 1307772 [startup+762.306 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=161904/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=1359436 CPUtime=761.65 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 619632 0 0 0 75932 233 0 0 25 0 1 0 29302642 1392062464 337542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 339859 337542 170 317 0 339538 0 Current children cumulated CPU time (s) 761.65 Current children cumulated vsize (KiB) 1359436 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=113264/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=1407904 CPUtime=821.6 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 644152 0 0 0 81916 244 0 0 25 0 1 0 29302642 1441693696 349563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 351976 349563 170 317 0 351655 0 Current children cumulated CPU time (s) 821.6 Current children cumulated vsize (KiB) 1407904 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=63024/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=1458736 CPUtime=881.56 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 670286 0 0 0 87904 252 0 0 25 0 1 0 29302642 1493745664 362209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 364684 362209 170 317 0 364363 0 Current children cumulated CPU time (s) 881.56 Current children cumulated vsize (KiB) 1458736 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=15984/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=1521396 CPUtime=941.49 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 702421 0 0 0 93885 264 0 0 25 0 1 0 29302642 1557909504 377766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 380349 377766 170 317 0 380028 0 Current children cumulated CPU time (s) 941.49 Current children cumulated vsize (KiB) 1521396 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=15536/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=1582192 CPUtime=1001.36 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 734078 0 0 0 99860 276 0 0 25 0 1 0 29302642 1620164608 392854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 395548 392854 170 317 0 395227 0 Current children cumulated CPU time (s) 1001.36 Current children cumulated vsize (KiB) 1582192 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=15280/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=1590044 CPUtime=1061.32 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 737893 0 0 0 105854 278 0 0 25 0 1 0 29302642 1628205056 394813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284156 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 397511 394813 170 317 0 397190 0 Current children cumulated CPU time (s) 1061.32 Current children cumulated vsize (KiB) 1590044 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=35760/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=1634600 CPUtime=1121.25 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 761824 0 0 0 111838 287 0 0 25 0 1 0 29302642 1673830400 405874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 408650 405874 170 317 0 408329 0 Current children cumulated CPU time (s) 1121.25 Current children cumulated vsize (KiB) 1634600 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 15981 /proc/meminfo: memFree=16368/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=1687672 CPUtime=1181.2 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194304 789600 0 0 0 117823 297 0 0 25 0 1 0 29302642 1728176128 419058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284242 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 421918 419058 170 317 0 421597 0 Current children cumulated CPU time (s) 1181.2 Current children cumulated vsize (KiB) 1687672 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1186.7 s] /proc/loadavg: 0.99 0.97 0.97 3/78 15981 /proc/meminfo: memFree=13552/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=1865864 CPUtime=1185.61 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4196352 819687 0 0 0 118238 323 0 0 25 0 1 0 29302642 1910644736 447454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534233 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 466466 447454 170 317 0 466145 0 Current children cumulated CPU time (s) 1185.61 Current children cumulated vsize (KiB) 1865864 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1187 s] /proc/loadavg: 0.99 0.97 0.97 4/79 15982 /proc/meminfo: memFree=213224/2055920 swapFree=4112828/4192956 [pid=15980] ppid=15978 vsize=0 CPUtime=1185.9 /proc/15980/stat : 15980 (oree) R 15978 15980 15637 0 -1 4194308 824152 0 0 0 118242 348 0 0 25 0 1 0 29302642 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15980/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1185.9 Current children cumulated vsize (KiB) 0 Child status: 1 Real time (s): 1187.08 CPU time (s): 1185.99 CPU user time (s): 1182.42 CPU system time (s): 3.56346 CPU usage (%): 99.9082 Max. virtual memory (cumulated for all children) (KiB): 1865864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1182.42 system time used= 3.56346 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 824152 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= 22388 runsolver used 1.15982 second user time and 3.18052 second system time The end
Begin job on node40 on Thu Apr 19 17:37:11 UTC 2007 IDJOB= 367198 IDBENCH= 3049 IDSOLVER= 172 FILE ID= node40/367198-1177004230 PBS_JOBID= 4630503 Free space on /tmp= 66526 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=180-sizeP=91-sizeQ=180-348768554.opb COMMAND LINE= oree /tmp/evaluation/367198-1177004230/instance-367198-1177004230.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-367198-1177004230 -o ROOT/results/node40/solver-367198-1177004230 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/367198-1177004230/instance-367198-1177004230.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= b1249706e628878b014787592bd6d20f RANDOM SEED= 124060370 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node40.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.283 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.283 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: 1514888 kB Buffers: 38688 kB Cached: 420016 kB SwapCached: 2472 kB Active: 41656 kB Inactive: 441820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1514888 kB SwapTotal: 4192956 kB SwapFree: 4112828 kB Dirty: 3468 kB Writeback: 0 kB Mapped: 33912 kB Slab: 42992 kB Committed_AS: 304952 kB PageTables: 1896 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= 66526 MiB End job on node40 on Thu Apr 19 17:57:00 UTC 2007