Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.07 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_2.opb |
MD5SUM | 16914dfad82872f4c1ab9b61e8ec867a |
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 | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 74976 |
Sum of products size (including duplicates) | 149952 |
Number of different products | 37488 |
Sum of products size | 74976 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/455379-1178042210/instance-455379-1178042210.opb ...... 182.94/183.04 c done parsing opb. 182.94/183.04 o 477 183.35/183.44 o 476 208.14/208.25 o 475 746.70/747.07 o 473 860.57/860.93 o 472 922.56/922.94 o 471 1080.82/1081.25 o 470 1125.70/1126.14 o 469 1363.65/1364.12 o 468 1800.05/1800.60 s SATISFIABLE
ERROR: no interpretation found !
Linearizing /tmp/evaluation/455379-1178042210/instance-455379-1178042210.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-455379-1178042210 -o ROOT/results/node70/solver-455379-1178042210 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/455379-1178042210/PBS4 /tmp/evaluation/455379-1178042210/instance-455379-1178042210.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): 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: 1.00 1.00 1.00 3/64 6597 /proc/meminfo: memFree=1849592/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=4936 CPUtime=0 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 481 0 0 0 0 0 0 0 18 0 1 0 243758520 5054464 464 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134572872 0 0 4096 0 0 0 0 17 1 0 0 /proc/6597/statm: 1234 467 81 219 0 1011 0 [startup+0.026899 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6597 /proc/meminfo: memFree=1849592/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=6748 CPUtime=0.02 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 1481 0 0 0 2 0 0 0 18 0 1 0 243758520 6909952 1431 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/6597/statm: 1687 1431 88 219 0 1464 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 6748 [startup+0.101909 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6597 /proc/meminfo: memFree=1849592/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=7712 CPUtime=0.09 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 1724 0 0 0 9 0 0 0 18 0 1 0 243758520 7897088 1674 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/6597/statm: 1928 1674 88 219 0 1705 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7712 [startup+0.301927 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6597 /proc/meminfo: memFree=1849592/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=9752 CPUtime=0.29 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 2247 0 0 0 29 0 0 0 19 0 1 0 243758520 9986048 2197 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134529723 0 0 4096 0 0 0 0 17 1 0 0 /proc/6597/statm: 2438 2197 88 219 0 2215 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9752 [startup+0.701966 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6597 /proc/meminfo: memFree=1849592/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=14080 CPUtime=0.69 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 3331 0 0 0 69 0 0 0 22 0 1 0 243758520 14417920 3248 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134518406 0 0 4096 0 0 0 0 17 1 0 0 /proc/6597/statm: 3520 3248 89 219 0 3297 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14080 [startup+1.50105 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6598 /proc/meminfo: memFree=1834352/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=23312 CPUtime=1.49 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 5828 0 0 0 147 2 0 0 25 0 1 0 243758520 23871488 4782 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 5828 4782 94 219 0 5605 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23312 [startup+3.10121 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6598 /proc/meminfo: memFree=1830512/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=23312 CPUtime=3.09 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 5828 0 0 0 307 2 0 0 25 0 1 0 243758520 23871488 4782 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 5828 4782 94 219 0 5605 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23312 [startup+6.30153 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6600 /proc/meminfo: memFree=1830320/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=23312 CPUtime=6.29 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 5828 0 0 0 627 2 0 0 25 0 1 0 243758520 23871488 4782 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563561 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 5828 4782 94 219 0 5605 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23312 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6600 /proc/meminfo: memFree=1830392/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=23312 CPUtime=12.68 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 5828 0 0 0 1266 2 0 0 25 0 1 0 243758520 23871488 4782 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 5828 4782 94 219 0 5605 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23312 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6600 /proc/meminfo: memFree=1830392/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=23444 CPUtime=25.49 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 5845 0 0 0 2546 3 0 0 25 0 1 0 243758520 24006656 4799 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 5861 4799 94 219 0 5638 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23444 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6600 /proc/meminfo: memFree=1830328/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=23708 CPUtime=51.08 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 5880 0 0 0 5105 3 0 0 25 0 1 0 243758520 24276992 4834 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 5927 4834 94 219 0 5704 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 23708 [startup+102.304 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6600 /proc/meminfo: memFree=1830200/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=23984 CPUtime=102.27 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 5914 0 0 0 10224 3 0 0 25 0 1 0 243758520 24559616 4868 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 5996 4868 94 219 0 5773 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 23984 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6600 /proc/meminfo: memFree=1829880/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=24176 CPUtime=162.25 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 5992 0 0 0 16222 3 0 0 25 0 1 0 243758520 24756224 4946 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 6044 4946 94 219 0 5821 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 24176 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6600 /proc/meminfo: memFree=1825784/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=29272 CPUtime=222.23 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 7029 0 0 0 22216 7 0 0 25 0 1 0 243758520 29974528 5983 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559861 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 7318 5983 104 219 0 7095 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 29272 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/71 6764 /proc/meminfo: memFree=1798960/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=59176 CPUtime=282.14 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 13421 0 0 0 28199 15 0 0 25 0 1 0 243758520 60596224 12299 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 14794 12299 104 219 0 14571 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 59176 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1799864/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=59368 CPUtime=342.1 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 13500 0 0 0 34194 16 0 0 25 0 1 0 243758520 60792832 12378 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 14842 12378 104 219 0 14619 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 59368 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1799544/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=59560 CPUtime=402.08 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 13582 0 0 0 40192 16 0 0 25 0 1 0 243758520 60989440 12460 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 14890 12460 104 219 0 14667 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 59560 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1799352/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=59560 CPUtime=462.08 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 13613 0 0 0 46191 17 0 0 25 0 1 0 243758520 60989440 12491 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 14890 12491 104 219 0 14667 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 59560 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1799288/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=59752 CPUtime=522.06 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 13668 0 0 0 52189 17 0 0 25 0 1 0 243758520 61186048 12546 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 14938 12546 104 219 0 14715 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 59752 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1799160/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=59752 CPUtime=582.04 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 13709 0 0 0 58187 17 0 0 25 0 1 0 243758520 61186048 12587 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 14938 12587 104 219 0 14715 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 59752 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1799096/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=59752 CPUtime=642.03 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 13722 0 0 0 64186 17 0 0 25 0 1 0 243758520 61186048 12600 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 14938 12600 104 219 0 14715 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 59752 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1795576/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=63840 CPUtime=821.98 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 14608 0 0 0 82179 19 0 0 25 0 1 0 243758520 65372160 13486 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559802 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 15960 13486 104 219 0 15737 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 63840 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1794296/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=65252 CPUtime=881.96 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 14926 0 0 0 88176 20 0 0 25 0 1 0 243758520 66818048 13804 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 16313 13804 104 219 0 16090 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 65252 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1792184/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=67780 CPUtime=941.96 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 15517 0 0 0 94173 23 0 0 25 0 1 0 243758520 69406720 14319 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 16945 14319 104 219 0 16722 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 67780 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1791736/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=68236 CPUtime=1001.93 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 15632 0 0 0 100170 23 0 0 25 0 1 0 243758520 69873664 14434 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559728 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 17059 14434 104 219 0 16836 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 68236 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1791480/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=68540 CPUtime=1061.92 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 15768 0 0 0 106168 24 0 0 25 0 1 0 243758520 70184960 14494 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 17135 14494 104 219 0 16912 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 68540 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1789816/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=70524 CPUtime=1121.91 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 16501 0 0 0 112162 29 0 0 25 0 1 0 243758520 72216576 14923 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 17631 14923 104 219 0 17408 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 70524 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1788536/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=71932 CPUtime=1181.89 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 17131 0 0 0 118149 40 0 0 25 0 1 0 243758520 73658368 15249 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 17983 15249 104 219 0 17760 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 71932 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1787000/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=73852 CPUtime=1241.87 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 17656 0 0 0 124145 42 0 0 25 0 1 0 243758520 75624448 15622 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 18463 15622 104 219 0 18240 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 73852 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1786232/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=75004 CPUtime=1301.87 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 17844 0 0 0 130144 43 0 0 25 0 1 0 243758520 76804096 15810 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559734 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 18751 15810 104 219 0 18528 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 75004 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1785208/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=76412 CPUtime=1361.85 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 18463 0 0 0 136134 51 0 0 25 0 1 0 243758520 78245888 16049 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 19103 16049 104 219 0 18880 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 76412 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1784120/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=77324 CPUtime=1421.84 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 19143 0 0 0 142130 54 0 0 25 0 1 0 243758520 79179776 16273 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 19331 16273 104 219 0 19108 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 77324 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1783544/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=79664 CPUtime=1481.81 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 20026 0 0 0 148114 67 0 0 25 0 1 0 243758520 81575936 16467 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 19916 16467 104 219 0 19693 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 79664 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1783352/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=79808 CPUtime=1541.8 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 20077 0 0 0 154112 68 0 0 25 0 1 0 243758520 81723392 16518 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 19952 16518 104 219 0 19729 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 79808 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1782264/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=81072 CPUtime=1601.78 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 20489 0 0 0 160098 80 0 0 25 0 1 0 243758520 83017728 16778 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 20268 16778 104 219 0 20045 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 81072 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1781880/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=81264 CPUtime=1661.77 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 20920 0 0 0 166084 93 0 0 25 0 1 0 243758520 83214336 16829 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 20316 16829 104 219 0 20093 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 81264 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1781304/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=81904 CPUtime=1721.75 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 21337 0 0 0 172076 99 0 0 25 0 1 0 243758520 83869696 17018 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 20476 17018 104 219 0 20253 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 81904 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1780536/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=82252 CPUtime=1781.74 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 21852 0 0 0 178059 115 0 0 25 0 1 0 243758520 84226048 17153 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 20563 17153 104 219 0 20340 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 82252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6798 /proc/meminfo: memFree=1780536/2055920 swapFree=4183764/4192956 [pid=6597] ppid=6595 vsize=82396 CPUtime=1800.05 /proc/6597/stat : 6597 (PBS4) R 6595 6597 11384 0 -1 4194304 22020 0 0 0 179881 124 0 0 25 0 1 0 243758520 84373504 17169 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6597/statm: 20599 17169 104 219 0 20376 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 82396 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.07 CPU user time (s): 1798.81 CPU system time (s): 1.25381 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 82396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.81 system time used= 1.25381 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22021 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= 4151 runsolver used 1.3258 second user time and 3.65044 second system time The end
Begin job on node70 on Tue May 1 17:56:50 UTC 2007 IDJOB= 455379 IDBENCH= 48260 IDSOLVER= 157 FILE ID= node70/455379-1178042210 PBS_JOBID= 4728391 Free space on /tmp= 66563 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_2.opb COMMAND LINE= /tmp/evaluation/455379-1178042210/PBS4 /tmp/evaluation/455379-1178042210/instance-455379-1178042210.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node70/convwatcher-455379-1178042210 -o ROOT/results/node70/conversion-455379-1178042210 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455379-1178042210/instance-455379-1178042210.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-455379-1178042210 -o ROOT/results/node70/solver-455379-1178042210 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/455379-1178042210/PBS4 /tmp/evaluation/455379-1178042210/instance-455379-1178042210.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 16914dfad82872f4c1ab9b61e8ec867a RANDOM SEED= 220717993 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1850000 kB Buffers: 52128 kB Cached: 74256 kB SwapCached: 3020 kB Active: 96856 kB Inactive: 45096 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1850000 kB SwapTotal: 4192956 kB SwapFree: 4183764 kB Dirty: 4376 kB Writeback: 0 kB Mapped: 19792 kB Slab: 49992 kB Committed_AS: 5828528 kB PageTables: 1408 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= 66560 MiB End job on node70 on Tue May 1 18:26:55 UTC 2007