Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
pb_cplex 2010-06-29 | ? (TO) | 1800.04 | 1189.92 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_1.opb |
MD5SUM | fd0cd32338d58e5da2d0a0f96e14ad7d |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1789.55 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6076 |
Sum of products size (including duplicates) | 12152 |
Number of different products | 3038 |
Sum of products size | 6076 |
0.00/0.00 c pb_cplex 1.0 - 20100701 0.00/0.00 c Parsing opb file format. File HOME/instance-2697209-1278051604.opb. 0.00/0.00 c Instance file HOME/instance-2697209-1278051604.opb 0.00/0.00 c File size is 254876 bytes. 0.00/0.14 c Highest Coefficient sum: 200 0.00/0.14 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.15 c ============================[ Problem Statistics ]============================= 0.00/0.15 c | | 0.00/0.15 c | Parsing time: 0.14 s | 0.00/0.15 c | Number Variables: 3238 | 0.00/0.15 c | Number Constraints: 6377 | 0.00/0.15 c =============================================================================== 1800.04/1189.91 c Remaining time 1799.85 sec. 1800.04/1189.91 c 1800.04/1189.91 c *** INTERRUPTED *** 1800.04/1189.91 s UNKNOWN 1800.04/1189.91 c Total CPU time : 1797.62 s 1800.04/1189.91 c Memory used : 102.74 MB 1800.04/1189.91 c CPU time : 1797.62 s 1800.04/1189.91 c 1800.04/1189.91 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-2697209-1278051604/watcher-2697209-1278051604 -o /tmp/evaluation-result-2697209-1278051604/solver-2697209-1278051604 -C 1800 -W 2000 -M 1800 run HOME/instance-2697209-1278051604.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: 1.53 1.67 1.54 3/106 29564 /proc/meminfo: memFree=1751456/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) R 29562 29564 29220 0 -1 4202496 348 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053039509 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [startup+0.065364 s] /proc/loadavg: 1.53 1.67 1.54 3/106 29564 /proc/meminfo: memFree=1751456/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101369 s] /proc/loadavg: 1.53 1.67 1.54 3/106 29564 /proc/meminfo: memFree=1751456/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300985 s] /proc/loadavg: 1.53 1.67 1.54 3/106 29564 /proc/meminfo: memFree=1751456/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700995 s] /proc/loadavg: 1.53 1.67 1.54 3/106 29564 /proc/meminfo: memFree=1751456/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50001 s] /proc/loadavg: 1.53 1.67 1.54 2/108 29566 /proc/meminfo: memFree=1738916/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=33984 CPUtime=1.49 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 4932 0 0 0 147 2 0 0 19 0 1 0 146448450 34799616 3985 1992294400 134512640 146736320 4289726032 18446744073709551615 136474228 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/29565/statm: 8496 3985 913 2985 0 5038 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42684 [startup+3.10005 s] /proc/loadavg: 1.49 1.65 1.53 2/108 29566 /proc/meminfo: memFree=1738544/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=34016 CPUtime=3.09 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 4948 0 0 0 306 3 0 0 25 0 1 0 146448450 34832384 4000 1992294400 134512640 146736320 4289726032 18446744073709551615 139048114 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/29565/statm: 8504 4000 912 2985 0 5046 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42716 [startup+6.30013 s] /proc/loadavg: 1.49 1.65 1.53 2/108 29566 /proc/meminfo: memFree=1737924/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=42560 CPUtime=6.28 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 7242 0 0 0 624 4 0 0 25 0 1 0 146448450 43581440 5468 1992294400 134512640 146736320 4289726032 18446744073709551615 136403112 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29565/statm: 10640 5468 1001 2985 0 7182 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 51260 [startup+12.7013 s] /proc/loadavg: 1.41 1.63 1.53 2/108 29566 /proc/meminfo: memFree=1731848/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=35428 CPUtime=12.68 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 8654 0 0 0 1264 4 0 0 25 0 1 0 146448450 36278272 4605 1992294400 134512640 146736320 4289726032 18446744073709551615 136939559 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/29565/statm: 8857 4605 1000 2985 0 5399 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44128 [startup+25.5006 s] /proc/loadavg: 1.35 1.61 1.52 2/108 29566 /proc/meminfo: memFree=1733708/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=37552 CPUtime=25.47 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 12799 0 0 0 2541 6 0 0 25 0 1 0 146448450 38453248 5350 1992294400 134512640 146736320 4289726032 18446744073709551615 136400753 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/29565/statm: 9388 5350 1009 2985 0 5930 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 46252 [startup+51.1003 s] /proc/loadavg: 1.23 1.56 1.51 2/109 29571 /proc/meminfo: memFree=1724276/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=61332 CPUtime=53.59 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 23815 0 0 0 5345 14 0 0 25 0 2 0 146448450 62803968 7725 1992294400 134512640 146736320 4289726032 18446744073709551615 136475826 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/29565/statm: 15333 7725 1066 2985 0 11875 0 [pid=29565/tid=29571] ppid=29564 vsize=61332 CPUtime=0 /proc/29565/task/29571/stat : 29571 (pb_cplex) S 29564 29564 29220 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 2 0 146452745 62803968 7725 1992294400 134512640 146736320 4289726032 18446744073709551615 144580073 0 2 4096 16387 18446604437871518656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 53.59 Current children cumulated vsize (KiB) 70032 [startup+102.309 s] /proc/loadavg: 1.37 1.53 1.50 2/109 29571 /proc/meminfo: memFree=1717332/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=68640 CPUtime=114.5 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 25633 0 0 0 11434 16 0 0 25 0 2 0 146448450 70287360 9433 1992294400 134512640 146736320 4289726032 18446744073709551615 136385185 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/29565/statm: 17160 9433 1072 2985 0 13702 0 [pid=29565/tid=29571] ppid=29564 vsize=68640 CPUtime=9.72 /proc/29565/task/29571/stat : 29571 (pb_cplex) S 29564 29564 29220 0 -1 4202560 1321 0 0 0 971 1 0 0 25 0 2 0 146452745 70287360 9433 1992294400 134512640 146736320 4289726032 18446744073709551615 144580073 0 2 4096 16387 18446604437871518656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 114.5 Current children cumulated vsize (KiB) 77340 [startup+162.3 s] /proc/loadavg: 1.18 1.45 1.47 3/109 29573 /proc/meminfo: memFree=1714604/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=69536 CPUtime=182.14 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 28030 0 0 0 18194 20 0 0 25 0 2 0 146448450 71204864 10018 1992294400 134512640 146736320 4289726032 18446744073709551615 136388868 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/29565/statm: 17384 10018 1073 2985 0 13926 0 [pid=29565/tid=29571] ppid=29564 vsize=69536 CPUtime=17.39 /proc/29565/task/29571/stat : 29571 (pb_cplex) R 29564 29564 29220 0 -1 4202560 2182 0 0 0 1737 2 0 0 24 0 2 0 146452745 71204864 10018 1992294400 134512640 146736320 4289726032 18446744073709551615 139044598 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 182.14 Current children cumulated vsize (KiB) 78236 [startup+222.301 s] /proc/loadavg: 1.58 1.52 1.49 3/109 29575 /proc/meminfo: memFree=1714356/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=69536 CPUtime=293.47 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 30543 0 0 0 29320 27 0 0 25 0 2 0 146448450 71204864 10028 1992294400 134512640 146736320 4289726032 18446744073709551615 136385183 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/29565/statm: 17384 10028 1073 2985 0 13926 0 [pid=29565/tid=29571] ppid=29564 vsize=69536 CPUtime=76.99 /proc/29565/task/29571/stat : 29571 (pb_cplex) R 29564 29564 29220 0 -1 4202560 2636 0 0 0 7693 6 0 0 25 0 2 0 146452745 71204864 10028 1992294400 134512640 146736320 4289726032 18446744073709551615 136008053 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 293.47 Current children cumulated vsize (KiB) 78236 [startup+282.3 s] /proc/loadavg: 1.89 1.62 1.52 3/109 29577 /proc/meminfo: memFree=1713612/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=70560 CPUtime=411.11 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 34601 0 0 0 41079 32 0 0 25 0 2 0 146448450 72253440 10186 1992294400 134512640 146736320 4289726032 18446744073709551615 136008042 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/29565/statm: 17640 10186 1073 2985 0 14182 0 [pid=29565/tid=29571] ppid=29564 vsize=70560 CPUtime=136.23 /proc/29565/task/29571/stat : 29571 (pb_cplex) R 29564 29564 29220 0 -1 4202560 3204 0 0 0 13616 7 0 0 25 0 2 0 146452745 72253440 10186 1992294400 134512640 146736320 4289726032 18446744073709551615 139042901 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 411.11 Current children cumulated vsize (KiB) 79260 [startup+342.301 s] /proc/loadavg: 1.92 1.67 1.55 3/109 29579 /proc/meminfo: memFree=1713364/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=70212 CPUtime=520.26 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 38554 0 0 0 51986 40 0 0 20 0 2 0 146448450 71897088 10255 1992294400 134512640 146736320 4289726032 18446744073709551615 136008020 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/29565/statm: 17553 10255 1074 2985 0 14095 0 [pid=29565/tid=29571] ppid=29564 vsize=70212 CPUtime=185.41 /proc/29565/task/29571/stat : 29571 (pb_cplex) R 29564 29564 29220 0 -1 4202560 5494 0 0 0 18529 12 0 0 25 0 2 0 146452745 71897088 10255 1992294400 134512640 146736320 4289726032 18446744073709551615 139044580 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 520.26 Current children cumulated vsize (KiB) 78912 [startup+402.301 s] ################ # More data... # ################ [pid=29565] ppid=29564 vsize=87764 CPUtime=957.41 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 126252 0 0 0 95640 101 0 0 25 0 2 0 146448450 89870336 15584 1992294400 134512640 146736320 4289726032 18446744073709551615 135855165 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/29565/statm: 21941 15584 1084 2985 0 18483 0 [pid=29565/tid=29589] ppid=29564 vsize=87764 CPUtime=0 /proc/29565/task/29589/stat : 29589 (pb_cplex) S 29564 29564 29220 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 2 0 146510939 89870336 15584 1992294400 134512640 146736320 4289726032 18446744073709551615 144580073 0 2 4096 16387 18446604437871518656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 957.41 Current children cumulated vsize (KiB) 96464 [startup+762.309 s] /proc/loadavg: 1.55 1.41 1.46 3/109 29593 /proc/meminfo: memFree=1678396/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=103448 CPUtime=1051.11 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 137254 0 0 0 105003 108 0 0 25 0 2 0 146448450 105930752 18956 1992294400 134512640 146736320 4289726032 18446744073709551615 136008065 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/29565/statm: 25862 18956 1084 2985 0 22404 0 [pid=29565/tid=29589] ppid=29564 vsize=103448 CPUtime=33.71 /proc/29565/task/29589/stat : 29589 (pb_cplex) R 29564 29564 29220 0 -1 4202560 8096 0 0 0 3367 4 0 0 25 0 2 0 146510939 105930752 18956 1992294400 134512640 146736320 4289726032 18446744073709551615 139023098 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1051.11 Current children cumulated vsize (KiB) 112148 [startup+822.3 s] /proc/loadavg: 1.63 1.46 1.47 3/109 29598 /proc/meminfo: memFree=1675296/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=104928 CPUtime=1148.68 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 152795 0 0 0 114750 118 0 0 23 0 2 0 146448450 107446272 19730 1992294400 134512640 146736320 4289726032 18446744073709551615 135525916 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/29565/statm: 26232 19730 1084 2985 0 22774 0 [pid=29565/tid=29589] ppid=29564 vsize=104928 CPUtime=71.44 /proc/29565/task/29589/stat : 29589 (pb_cplex) R 29564 29564 29220 0 -1 4202560 17309 0 0 0 7134 10 0 0 22 0 2 0 146510939 107446272 19730 1992294400 134512640 146736320 4289726032 18446744073709551615 136385183 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1148.68 Current children cumulated vsize (KiB) 113628 [startup+882.301 s] /proc/loadavg: 1.75 1.52 1.48 3/109 29600 /proc/meminfo: memFree=1674800/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=101220 CPUtime=1251.22 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 166086 0 0 0 124994 128 0 0 25 0 2 0 146448450 103649280 18959 1992294400 134512640 146736320 4289726032 18446744073709551615 136008050 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/29565/statm: 25305 18959 1084 2985 0 21847 0 [pid=29565/tid=29589] ppid=29564 vsize=101220 CPUtime=114 /proc/29565/task/29589/stat : 29589 (pb_cplex) R 29564 29564 29220 0 -1 4202560 24485 0 0 0 11386 14 0 0 25 0 2 0 146510939 103649280 18959 1992294400 134512640 146736320 4289726032 18446744073709551615 136008053 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1251.22 Current children cumulated vsize (KiB) 109920 [startup+942.3 s] /proc/loadavg: 1.94 1.61 1.52 3/109 29602 /proc/meminfo: memFree=1677652/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=101220 CPUtime=1370.74 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 190922 0 0 0 136930 144 0 0 25 0 2 0 146448450 103649280 18976 1992294400 134512640 146736320 4289726032 18446744073709551615 135855174 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/29565/statm: 25305 18976 1084 2985 0 21847 0 [pid=29565/tid=29589] ppid=29564 vsize=101220 CPUtime=173.54 /proc/29565/task/29589/stat : 29589 (pb_cplex) R 29564 29564 29220 0 -1 4202560 40607 0 0 0 17331 23 0 0 25 0 2 0 146510939 103649280 18976 1992294400 134512640 146736320 4289726032 18446744073709551615 136474219 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1370.74 Current children cumulated vsize (KiB) 109920 [startup+1002.3 s] /proc/loadavg: 1.90 1.67 1.54 2/109 29602 /proc/meminfo: memFree=1677776/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=100876 CPUtime=1488.22 /proc/29565/stat : 29565 (pb_cplex) S 29564 29564 29220 0 -1 4202496 224799 0 0 0 148657 165 0 0 25 0 2 0 146448450 103297024 18971 1992294400 134512640 146736320 4289726032 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/29565/statm: 25219 18971 1084 2985 0 21761 0 [pid=29565/tid=29589] ppid=29564 vsize=100876 CPUtime=233.1 /proc/29565/task/29589/stat : 29589 (pb_cplex) R 29564 29564 29220 0 -1 4202560 54785 0 0 0 23276 34 0 0 25 0 2 0 146510939 103297024 18971 1992294400 134512640 146736320 4289726032 18446744073709551615 136008416 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1488.22 Current children cumulated vsize (KiB) 109576 [startup+1062.3 s] /proc/loadavg: 2.02 1.74 1.57 3/109 29604 /proc/meminfo: memFree=1677280/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=102248 CPUtime=1604.79 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 265121 0 0 0 160289 190 0 0 25 0 2 0 146448450 104701952 19185 1992294400 134512640 146736320 4289726032 18446744073709551615 136403114 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/29565/statm: 25562 19185 1084 2985 0 22104 0 [pid=29565/tid=29589] ppid=29564 vsize=102248 CPUtime=290.93 /proc/29565/task/29589/stat : 29589 (pb_cplex) R 29564 29564 29220 0 -1 4202560 75124 0 0 0 29046 47 0 0 25 0 2 0 146510939 104701952 19185 1992294400 134512640 146736320 4289726032 18446744073709551615 136018922 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1604.79 Current children cumulated vsize (KiB) 110948 [startup+1122.3 s] /proc/loadavg: 1.77 1.71 1.57 3/109 29606 /proc/meminfo: memFree=1675544/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=102416 CPUtime=1696.57 /proc/29565/stat : 29565 (pb_cplex) R 29564 29564 29220 0 -1 4202496 310240 0 0 0 169441 216 0 0 25 0 2 0 146448450 104873984 19602 1992294400 134512640 146736320 4289726032 18446744073709551615 135855170 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/29565/statm: 25604 19602 1084 2985 0 22146 0 [pid=29565/tid=29589] ppid=29564 vsize=102416 CPUtime=350.67 /proc/29565/task/29589/stat : 29589 (pb_cplex) R 29564 29564 29220 0 -1 4202560 104001 0 0 0 35004 63 0 0 25 0 2 0 146510939 104873984 19602 1992294400 134512640 146736320 4289726032 18446744073709551615 139046503 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1696.57 Current children cumulated vsize (KiB) 111116 [startup+1182.3 s] /proc/loadavg: 1.72 1.70 1.57 2/109 29608 /proc/meminfo: memFree=1672196/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=105200 CPUtime=1792.43 /proc/29565/stat : 29565 (pb_cplex) S 29564 29564 29220 0 -1 4202496 351204 0 0 0 179000 243 0 0 25 0 2 0 146448450 107724800 20461 1992294400 134512640 146736320 4289726032 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/29565/statm: 26300 20461 1084 2985 0 22842 0 [pid=29565/tid=29589] ppid=29564 vsize=105200 CPUtime=397.74 /proc/29565/task/29589/stat : 29589 (pb_cplex) R 29564 29564 29220 0 -1 4202560 129671 0 0 0 39693 81 0 0 25 0 2 0 146510939 107724800 20461 1992294400 134512640 146736320 4289726032 18446744073709551615 136403129 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1792.43 Current children cumulated vsize (KiB) 113900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1189.9 s] /proc/loadavg: 1.61 1.68 1.56 2/109 29608 /proc/meminfo: memFree=1672196/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=105200 CPUtime=1800.04 /proc/29565/stat : 29565 (pb_cplex) S 29564 29564 29220 0 -1 4202496 351205 0 0 0 179761 243 0 0 25 0 2 0 146448450 107724800 20462 1992294400 134512640 146736320 4289726032 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/29565/statm: 26300 20462 1084 2985 0 22842 0 [pid=29565/tid=29589] ppid=29564 vsize=105200 CPUtime=405.34 /proc/29565/task/29589/stat : 29589 (pb_cplex) R 29564 29564 29220 0 -1 4202560 129672 0 0 0 40453 81 0 0 25 0 2 0 146510939 107724800 20462 1992294400 134512640 146736320 4289726032 18446744073709551615 136008691 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 113900 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1189.9 s] /proc/loadavg: 1.61 1.68 1.56 2/109 29608 /proc/meminfo: memFree=1672196/2059040 swapFree=4135672/4192956 [pid=29564] ppid=29562 vsize=8700 CPUtime=0 /proc/29564/stat : 29564 (run) S 29562 29564 29220 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146448449 8908800 248 1992294400 4194304 4922060 140734833128048 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/29564/statm: 2175 248 208 178 0 68 0 [pid=29565] ppid=29564 vsize=105200 CPUtime=1800.04 /proc/29565/stat : 29565 (pb_cplex) S 29564 29564 29220 0 -1 4202496 351205 0 0 0 179761 243 0 0 25 0 2 0 146448450 107724800 20462 1992294400 134512640 146736320 4289726032 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/29565/statm: 26300 20462 1084 2985 0 22842 0 [pid=29565/tid=29589] ppid=29564 vsize=105200 CPUtime=405.34 /proc/29565/task/29589/stat : 29589 (pb_cplex) R 29564 29564 29220 0 -1 4202560 129672 0 0 0 40453 81 0 0 25 0 2 0 146510939 107724800 20462 1992294400 134512640 146736320 4289726032 18446744073709551615 136008691 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 113900 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 29564 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 1800.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1189.92 CPU time (s): 1800.04 CPU user time (s): 1797.61 CPU system time (s): 2.43 CPU usage (%): 151.274 Max. virtual memory (cumulated for all children) (KiB): 122072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.001999 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 2.18267 second user time and 6.20906 second system time The end
Begin job on node049 at 2010-07-02 08:20:04 IDJOB=2697209 IDBENCH=48243 IDSOLVER=1209 FILE ID=node049/2697209-1278051604 PBS_JOBID= 11198844 Free space on /tmp= 62364 MiB SOLVER NAME= pb_cplex 2010-06-29 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_1.opb COMMAND LINE= run BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697209-1278051604/watcher-2697209-1278051604 -o /tmp/evaluation-result-2697209-1278051604/solver-2697209-1278051604 -C 1800 -W 2000 -M 1800 run HOME/instance-2697209-1278051604.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d RANDOM SEED=1458427621 node049.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.244 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.48 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.244 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: 1752356 kB Buffers: 81232 kB Cached: 133176 kB SwapCached: 12232 kB Active: 112884 kB Inactive: 116740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1752356 kB SwapTotal: 4192956 kB SwapFree: 4135672 kB Dirty: 16700 kB Writeback: 0 kB AnonPages: 12268 kB Mapped: 8512 kB Slab: 54980 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183704 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2697209-1278051604.opb Free space on /tmp at the end= 62348 MiB End job on node049 at 2010-07-02 08:39:56