Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
pb_cplex 2010-06-29 | ? (TO) | 1800.15 | 1053.32 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=397-P1=307-P2=37-P3=127-P4=401-P5=331-B.opb |
MD5SUM | 6d677c4de75200a225209ed048e7b96e |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.575911 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 135 |
Total number of constraints | 11 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 405 |
Sum of products size (including duplicates) | 810 |
Number of different products | 405 |
Sum of products size | 810 |
0.00/0.01 c pb_cplex 1.0 - 20100701 0.00/0.01 c Parsing opb file format. File HOME/instance-2696915-1278047164.opb. 0.00/0.01 c Instance file HOME/instance-2696915-1278047164.opb 0.00/0.01 c File size is 30043 bytes. 0.00/0.02 c Highest Coefficient sum: 523264 0.00/0.02 c IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ". 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 540 | 0.00/0.03 c | Number Constraints: 821 | 0.00/0.03 c =============================================================================== 1800.15/1053.31 c Remaining time 1799.98 sec. 1800.15/1053.31 c 1800.15/1053.31 c *** INTERRUPTED *** 1800.15/1053.31 s UNKNOWN 1800.15/1053.31 c Total CPU time : 1778.87 s 1800.15/1053.31 c Memory used : 88.72 MB 1800.15/1053.31 c CPU time : 1778.87 s 1800.15/1053.31 c 1800.15/1053.31 c *** INTERRUPTED ***
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2696915-1278047164/watcher-2696915-1278047164 -o /tmp/evaluation-result-2696915-1278047164/solver-2696915-1278047164 -C 1800 -W 2000 -M 1800 run HOME/instance-2696915-1278047164.opb 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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.62 0.14 0.05 3/106 32167 /proc/meminfo: memFree=1434384/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) R 32165 32167 32048 0 -1 4202496 348 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313423253 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [startup+0.111766 s] /proc/loadavg: 0.62 0.14 0.05 3/106 32167 /proc/meminfo: memFree=1434384/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.200765 s] /proc/loadavg: 0.62 0.14 0.05 3/106 32167 /proc/meminfo: memFree=1434384/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300763 s] /proc/loadavg: 0.62 0.14 0.05 3/106 32167 /proc/meminfo: memFree=1434384/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700755 s] /proc/loadavg: 0.62 0.14 0.05 3/106 32167 /proc/meminfo: memFree=1434384/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50174 s] /proc/loadavg: 0.62 0.14 0.05 3/109 32172 /proc/meminfo: memFree=1425680/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=34276 CPUtime=2.14 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 8671 0 0 0 207 7 0 0 17 0 2 0 146009351 35098624 3075 1992294400 134512640 146736320 4292269296 18446744073709551615 136403112 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32168/statm: 8569 3075 1071 2985 0 5111 0 [pid=32168/tid=32172] ppid=32167 vsize=34276 CPUtime=0.57 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 3263 0 0 0 55 2 0 0 19 0 2 0 146009430 35098624 3075 1992294400 134512640 146736320 4292269296 18446744073709551615 135999265 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.14 Current children cumulated vsize (KiB) 42976 [startup+3.10071 s] /proc/loadavg: 0.62 0.14 0.05 3/109 32172 /proc/meminfo: memFree=1424068/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=37896 CPUtime=4.83 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 18656 0 0 0 469 14 0 0 17 0 2 0 146009351 38805504 4038 1992294400 134512640 146736320 4292269296 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32168/statm: 9474 4038 1071 2985 0 6016 0 [pid=32168/tid=32172] ppid=32167 vsize=37896 CPUtime=1.91 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 10236 0 0 0 185 6 0 0 17 0 2 0 146009430 38805504 4038 1992294400 134512640 146736320 4292269296 18446744073709551615 139028328 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.83 Current children cumulated vsize (KiB) 46596 [startup+6.30065 s] /proc/loadavg: 0.73 0.18 0.06 3/109 32172 /proc/meminfo: memFree=1419728/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=42348 CPUtime=10.52 /proc/32168/stat : 32168 (pb_cplex) S 32167 32167 32048 0 -1 4202496 27360 0 0 0 1027 25 0 0 16 0 2 0 146009351 43364352 5067 1992294400 134512640 146736320 4292269296 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32168/statm: 10587 5067 1074 2985 0 7129 0 [pid=32168/tid=32172] ppid=32167 vsize=42348 CPUtime=4.79 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 16762 0 0 0 465 14 0 0 17 0 2 0 146009430 43364352 5067 1992294400 134512640 146736320 4292269296 18446744073709551615 135850322 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 10.52 Current children cumulated vsize (KiB) 51048 [startup+12.7005 s] /proc/loadavg: 0.75 0.19 0.06 4/109 32172 /proc/meminfo: memFree=1412288/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=48320 CPUtime=20.94 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 53125 0 0 0 2049 45 0 0 16 0 2 0 146009351 49479680 6413 1992294400 134512640 146736320 4292269296 18446744073709551615 139044580 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32168/statm: 12080 6413 1074 2985 0 8622 0 [pid=32168/tid=32172] ppid=32167 vsize=48320 CPUtime=10.1 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 27275 0 0 0 988 22 0 0 16 0 2 0 146009430 49479680 6413 1992294400 134512640 146736320 4292269296 18446744073709551615 136015700 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 20.94 Current children cumulated vsize (KiB) 57020 [startup+25.5013 s] /proc/loadavg: 0.96 0.26 0.09 2/109 32174 /proc/meminfo: memFree=1406460/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=53984 CPUtime=41.52 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 100820 0 0 0 4072 80 0 0 16 0 2 0 146009351 55279616 7803 1992294400 134512640 146736320 4292269296 18446744073709551615 135468524 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32168/statm: 13496 7803 1074 2985 0 10038 0 [pid=32168/tid=32172] ppid=32167 vsize=53984 CPUtime=20.61 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 49170 0 0 0 2023 38 0 0 16 0 2 0 146009430 55279616 7803 1992294400 134512640 146736320 4292269296 18446744073709551615 135850315 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 41.52 Current children cumulated vsize (KiB) 62684 [startup+51.1018 s] /proc/loadavg: 1.38 0.42 0.14 3/109 32174 /proc/meminfo: memFree=1401500/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=59584 CPUtime=82.95 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 250673 0 0 0 8121 174 0 0 18 0 2 0 146009351 61014016 9179 1992294400 134512640 146736320 4292269296 18446744073709551615 136384861 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/32168/statm: 14896 9179 1074 2985 0 11438 0 [pid=32168/tid=32172] ppid=32167 vsize=59584 CPUtime=39.58 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 127482 0 0 0 3873 85 0 0 16 0 2 0 146009430 61014016 9179 1992294400 134512640 146736320 4292269296 18446744073709551615 135846463 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 82.95 Current children cumulated vsize (KiB) 68284 [startup+102.301 s] /proc/loadavg: 1.55 0.60 0.22 2/109 32176 /proc/meminfo: memFree=1391580/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=68748 CPUtime=160.32 /proc/32168/stat : 32168 (pb_cplex) S 32167 32167 32048 0 -1 4202496 396062 0 0 0 15760 272 0 0 17 0 2 0 146009351 70397952 11632 1992294400 134512640 146736320 4292269296 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/32168/statm: 17187 11632 1099 2985 0 13729 0 [pid=32168/tid=32172] ppid=32167 vsize=68748 CPUtime=75.41 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 193593 0 0 0 7410 131 0 0 17 0 2 0 146009430 70397952 11632 1992294400 134512640 146736320 4292269296 18446744073709551615 136008069 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 160.32 Current children cumulated vsize (KiB) 77448 [startup+162.302 s] /proc/loadavg: 1.52 0.76 0.29 2/109 32176 /proc/meminfo: memFree=1389348/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=70172 CPUtime=262.79 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 538915 0 0 0 25896 383 0 0 18 0 2 0 146009351 71856128 11972 1992294400 134512640 146736320 4292269296 18446744073709551615 136360646 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/32168/statm: 17543 11972 1099 2985 0 14085 0 [pid=32168/tid=32172] ppid=32167 vsize=70172 CPUtime=129.75 /proc/32168/task/32172/stat : 32172 (pb_cplex) S 32167 32167 32048 0 -1 4202560 267088 0 0 0 12787 188 0 0 16 0 2 0 146009430 71856128 11972 1992294400 134512640 146736320 4292269296 18446744073709551615 144580073 0 2 4096 16387 18446604437862004032 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 262.79 Current children cumulated vsize (KiB) 78872 [startup+222.309 s] /proc/loadavg: 1.73 0.95 0.39 2/109 32178 /proc/meminfo: memFree=1388604/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=78048 CPUtime=359.3 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 660510 0 0 0 35455 475 0 0 17 0 2 0 146009351 79921152 13264 1992294400 134512640 146736320 4292269296 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/32168/statm: 19512 13264 1099 2985 0 16054 0 [pid=32168/tid=32172] ppid=32167 vsize=78048 CPUtime=175.63 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 319464 0 0 0 17332 231 0 0 16 0 2 0 146009430 79921152 13264 1992294400 134512640 146736320 4292269296 18446744073709551615 139022937 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 359.3 Current children cumulated vsize (KiB) 86748 [startup+282.302 s] /proc/loadavg: 1.92 1.15 0.49 3/109 32180 /proc/meminfo: memFree=1388108/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=72204 CPUtime=464.63 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 778826 0 0 0 45889 574 0 0 18 0 2 0 146009351 73936896 12494 1992294400 134512640 146736320 4292269296 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/32168/statm: 18051 12494 1099 2985 0 14593 0 [pid=32168/tid=32172] ppid=32167 vsize=72204 CPUtime=227.81 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 381478 0 0 0 22500 281 0 0 17 0 2 0 146009430 73936896 12494 1992294400 134512640 146736320 4292269296 18446744073709551615 135851010 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 464.63 Current children cumulated vsize (KiB) 80904 [startup+342.302 s] /proc/loadavg: 1.85 1.27 0.57 2/109 32182 /proc/meminfo: memFree=1384140/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 ################ # More data... # ################ [pid=32168] ppid=32167 vsize=81588 CPUtime=773.94 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 1159618 0 0 0 76441 953 0 0 16 0 2 0 146009351 83546112 14235 1992294400 134512640 146736320 4292269296 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/32168/statm: 20397 14235 1118 2985 0 16939 0 [pid=32168/tid=32172] ppid=32167 vsize=81588 CPUtime=384.12 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 605612 0 0 0 37917 495 0 0 16 0 2 0 146009430 83546112 14235 1992294400 134512640 146736320 4292269296 18446744073709551615 139023063 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 773.94 Current children cumulated vsize (KiB) 90288 [startup+522.302 s] /proc/loadavg: 1.60 1.42 0.75 3/109 32186 /proc/meminfo: memFree=1378560/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=81848 CPUtime=877.56 /proc/32168/stat : 32168 (pb_cplex) S 32167 32167 32048 0 -1 4202496 1267237 0 0 0 86690 1066 0 0 16 0 2 0 146009351 83812352 14720 1992294400 134512640 146736320 4292269296 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32168/statm: 20462 14720 1118 2985 0 17004 0 [pid=32168/tid=32172] ppid=32167 vsize=81848 CPUtime=435.37 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 654749 0 0 0 42987 550 0 0 16 0 2 0 146009430 83812352 14720 1992294400 134512640 146736320 4292269296 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 877.56 Current children cumulated vsize (KiB) 90548 [startup+582.301 s] /proc/loadavg: 1.67 1.48 0.81 3/109 32188 /proc/meminfo: memFree=1377940/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=90584 CPUtime=982.78 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 1425578 0 0 0 97080 1198 0 0 15 0 2 0 146009351 92758016 16224 1992294400 134512640 146736320 4292269296 18446744073709551615 135468704 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/32168/statm: 22646 16224 1118 2985 0 19188 0 [pid=32168/tid=32172] ppid=32167 vsize=90584 CPUtime=487.69 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 739210 0 0 0 48155 614 0 0 16 0 2 0 146009430 92758016 16224 1992294400 134512640 146736320 4292269296 18446744073709551615 135234642 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 982.78 Current children cumulated vsize (KiB) 99284 [startup+642.301 s] /proc/loadavg: 1.84 1.56 0.88 2/109 32190 /proc/meminfo: memFree=1378560/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=81560 CPUtime=1083.98 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 1519315 0 0 0 107099 1299 0 0 16 0 2 0 146009351 83517440 14698 1992294400 134512640 146736320 4292269296 18446744073709551615 135454093 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/32168/statm: 20390 14698 1118 2985 0 16932 0 [pid=32168/tid=32172] ppid=32167 vsize=81560 CPUtime=538.77 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 771022 0 0 0 53225 652 0 0 16 0 2 0 146009430 83517440 14698 1992294400 134512640 146736320 4292269296 18446744073709551615 135526778 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1083.98 Current children cumulated vsize (KiB) 90260 [startup+702.302 s] /proc/loadavg: 1.80 1.59 0.93 3/109 32192 /proc/meminfo: memFree=1376328/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=84188 CPUtime=1181.98 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 1651354 0 0 0 116782 1416 0 0 18 0 2 0 146009351 86208512 15318 1992294400 134512640 146736320 4292269296 18446744073709551615 135468704 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/32168/statm: 21047 15318 1118 2985 0 17589 0 [pid=32168/tid=32172] ppid=32167 vsize=84188 CPUtime=588.7 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 828221 0 0 0 58168 702 0 0 17 0 2 0 146009430 86208512 15318 1992294400 134512640 146736320 4292269296 18446744073709551615 135850063 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 92888 [startup+762.302 s] /proc/loadavg: 1.91 1.66 0.99 2/109 32192 /proc/meminfo: memFree=1375088/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=85068 CPUtime=1286.38 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 1745729 0 0 0 127106 1532 0 0 17 0 2 0 146009351 87109632 15596 1992294400 134512640 146736320 4292269296 18446744073709551615 144580332 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/32168/statm: 21267 15596 1119 2985 0 17809 0 [pid=32168/tid=32172] ppid=32167 vsize=85068 CPUtime=640.34 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 859540 0 0 0 63286 748 0 0 15 0 2 0 146009430 87109632 15596 1992294400 134512640 146736320 4292269296 18446744073709551615 135454097 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1286.38 Current children cumulated vsize (KiB) 93768 [startup+822.302 s] /proc/loadavg: 1.98 1.72 1.05 3/109 32194 /proc/meminfo: memFree=1374964/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=86264 CPUtime=1391.36 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 1814471 0 0 0 137504 1632 0 0 16 0 2 0 146009351 88334336 15772 1992294400 134512640 146736320 4292269296 18446744073709551615 135851007 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/32168/statm: 21566 15772 1120 2985 0 18108 0 [pid=32168/tid=32172] ppid=32167 vsize=86264 CPUtime=692.25 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 897365 0 0 0 68422 803 0 0 16 0 2 0 146009430 88334336 15772 1992294400 134512640 146736320 4292269296 18446744073709551615 136753914 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1391.36 Current children cumulated vsize (KiB) 94964 [startup+882.31 s] /proc/loadavg: 1.86 1.74 1.10 3/109 32196 /proc/meminfo: memFree=1371492/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=92536 CPUtime=1498.5 /proc/32168/stat : 32168 (pb_cplex) S 32167 32167 32048 0 -1 4202496 1926155 0 0 0 148090 1760 0 0 16 0 2 0 146009351 94756864 16644 1992294400 134512640 146736320 4292269296 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/32168/statm: 23134 16644 1120 2985 0 19676 0 [pid=32168/tid=32172] ppid=32167 vsize=92536 CPUtime=745.32 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 972125 0 0 0 73652 880 0 0 18 0 2 0 146009430 94756864 16644 1992294400 134512640 146736320 4292269296 18446744073709551615 139023114 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1498.5 Current children cumulated vsize (KiB) 101236 [startup+942.302 s] /proc/loadavg: 1.82 1.75 1.14 3/109 32198 /proc/meminfo: memFree=1372484/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=88688 CPUtime=1604.44 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 2003909 0 0 0 158561 1883 0 0 16 0 2 0 146009351 90816512 16282 1992294400 134512640 146736320 4292269296 18446744073709551615 135526881 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/32168/statm: 22172 16282 1120 2985 0 18714 0 [pid=32168/tid=32172] ppid=32167 vsize=88688 CPUtime=798.86 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 1015788 0 0 0 78942 944 0 0 17 0 2 0 146009430 90816512 16282 1992294400 134512640 146736320 4292269296 18446744073709551615 135526863 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1604.44 Current children cumulated vsize (KiB) 97388 [startup+1002.3 s] /proc/loadavg: 1.91 1.79 1.19 3/109 32200 /proc/meminfo: memFree=1370624/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=89668 CPUtime=1710.32 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 2114404 0 0 0 169016 2016 0 0 16 0 2 0 146009351 91820032 16671 1992294400 134512640 146736320 4292269296 18446744073709551615 135846482 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32168/statm: 22417 16671 1120 2985 0 18959 0 [pid=32168/tid=32172] ppid=32167 vsize=89668 CPUtime=851.1 /proc/32168/task/32172/stat : 32172 (pb_cplex) R 32167 32167 32048 0 -1 4202560 1087164 0 0 0 84087 1023 0 0 17 0 2 0 146009430 91820032 16671 1992294400 134512640 146736320 4292269296 18446744073709551615 135450973 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1710.32 Current children cumulated vsize (KiB) 98368 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1053.3 s] /proc/loadavg: 1.85 1.79 1.22 3/109 32200 /proc/meminfo: memFree=1369756/2059040 swapFree=4140788/4192956 [pid=32167] ppid=32165 vsize=8700 CPUtime=0 /proc/32167/stat : 32167 (run) S 32165 32167 32048 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146009351 8908800 248 1992294400 4194304 4922060 140736918219888 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/32167/statm: 2175 248 208 178 0 68 0 [pid=32168] ppid=32167 vsize=90844 CPUtime=1800.15 /proc/32168/stat : 32168 (pb_cplex) R 32167 32167 32048 0 -1 4202496 2216391 0 0 0 177886 2129 0 0 16 0 2 0 146009351 93024256 16848 1992294400 134512640 146736320 4292269296 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/32168/statm: 22711 16848 1120 2985 0 19253 0 [pid=32168/tid=32172] ppid=32167 vsize=90844 CPUtime=895.6 /proc/32168/task/32172/stat : 32172 (pb_cplex) S 32167 32167 32048 0 -1 4202560 1156909 0 0 0 88467 1093 0 0 16 0 2 0 146009430 93024256 16848 1992294400 134512640 146736320 4292269296 18446744073709551615 144580073 0 2 4096 16387 18446604437862004032 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 99544 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 32167 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.002999 # while last known CPU time is 1800.15 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1053.32 CPU time (s): 1800.15 CPU user time (s): 1778.86 CPU system time (s): 21.29 CPU usage (%): 170.902 Max. virtual memory (cumulated for all children) (KiB): 112784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 364 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= 2 involuntary context switches= 2 runsolver used 1.91971 second user time and 5.76412 second system time The end
Begin job on node036 at 2010-07-02 07:06:04 IDJOB=2696915 IDBENCH=47949 IDSOLVER=1209 FILE ID=node036/2696915-1278047164 PBS_JOBID= 11198855 Free space on /tmp= 62324 MiB SOLVER NAME= pb_cplex 2010-06-29 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=397-P1=307-P2=37-P3=127-P4=401-P5=331-B.opb COMMAND LINE= run BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2696915-1278047164/watcher-2696915-1278047164 -o /tmp/evaluation-result-2696915-1278047164/solver-2696915-1278047164 -C 1800 -W 2000 -M 1800 run HOME/instance-2696915-1278047164.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6d677c4de75200a225209ed048e7b96e RANDOM SEED=506061219 node036.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 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.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1435284 kB Buffers: 160876 kB Cached: 358568 kB SwapCached: 6032 kB Active: 215192 kB Inactive: 318352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1435284 kB SwapTotal: 4192956 kB SwapFree: 4140788 kB Dirty: 16744 kB Writeback: 0 kB AnonPages: 12504 kB Mapped: 12100 kB Slab: 68228 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180772 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2696915-1278047164.opb Free space on /tmp at the end= 62308 MiB End job on node036 at 2010-07-02 07:23:40