Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.05 | 1800.64 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_2.opb |
MD5SUM | b5a23f46b7c8ffe564ae87cb51d69480 |
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 | -59 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -59 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 4984 |
Sum of products size (including duplicates) | 9968 |
Number of different products | 2492 |
Sum of products size | 4984 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/455544-1178045279/instance-455544-1178045279.opb ...... 0.49/0.58 c done parsing opb. 0.49/0.58 o 173 0.59/0.69 o 168 0.79/0.82 o 167 0.89/0.90 o 163 1.00/1.04 o 159 1.59/1.65 o 158 10.49/10.60 o 157 26.08/26.14 o 156 48.17/48.28 o 155 600.13/600.33 o 154 1800.02/1800.61 s SATISFIABLE
ERROR: no interpretation found !
Linearizing /tmp/evaluation/455544-1178045279/instance-455544-1178045279.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-455544-1178045279 -o ROOT/results/node9/solver-455544-1178045279 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/455544-1178045279/PBS4 /tmp/evaluation/455544-1178045279/instance-455544-1178045279.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: 0.91 0.94 0.95 3/77 15036 /proc/meminfo: memFree=1840088/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=1732 CPUtime=0 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 233 0 0 0 0 0 0 0 18 0 1 0 280565460 1773568 216 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/15036/statm: 433 216 87 219 0 210 0 [startup+0.067004 s] /proc/loadavg: 0.91 0.94 0.95 3/77 15036 /proc/meminfo: memFree=1840088/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=2720 CPUtime=0.06 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 477 0 0 0 6 0 0 0 18 0 1 0 280565460 2785280 427 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134593268 0 0 4096 0 0 0 0 17 1 0 0 /proc/15036/statm: 680 427 88 219 0 457 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2720 [startup+0.102007 s] /proc/loadavg: 0.91 0.94 0.95 3/77 15036 /proc/meminfo: memFree=1840088/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=2716 CPUtime=0.09 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 497 0 0 0 9 0 0 0 18 0 1 0 280565460 2781184 447 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 679 447 93 219 0 456 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2716 [startup+0.30103 s] /proc/loadavg: 0.91 0.94 0.95 3/77 15036 /proc/meminfo: memFree=1840088/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=2716 CPUtime=0.29 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 497 0 0 0 29 0 0 0 19 0 1 0 280565460 2781184 447 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559734 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 679 447 93 219 0 456 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2716 [startup+0.701075 s] /proc/loadavg: 0.91 0.94 0.95 3/77 15036 /proc/meminfo: memFree=1840088/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=2848 CPUtime=0.69 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 549 0 0 0 69 0 0 0 23 0 1 0 280565460 2916352 499 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 712 499 103 219 0 489 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2848 [startup+1.50216 s] /proc/loadavg: 0.91 0.94 0.95 2/78 15037 /proc/meminfo: memFree=1838032/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=3368 CPUtime=1.49 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 715 0 0 0 147 2 0 0 25 0 1 0 280565460 3448832 665 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 842 665 104 219 0 619 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3368 [startup+3.10135 s] /proc/loadavg: 0.91 0.94 0.95 2/78 15037 /proc/meminfo: memFree=1837008/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=5100 CPUtime=3.09 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 1021 0 0 0 306 3 0 0 25 0 1 0 280565460 5222400 971 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 1275 971 104 219 0 1052 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5100 [startup+6.30171 s] /proc/loadavg: 0.92 0.94 0.95 2/78 15037 /proc/meminfo: memFree=1831440/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=11700 CPUtime=6.29 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 2794 0 0 0 625 4 0 0 25 0 1 0 280565460 11980800 2695 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 2925 2695 104 219 0 2702 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11700 [startup+12.7014 s] /proc/loadavg: 0.93 0.94 0.95 2/78 15037 /proc/meminfo: memFree=1821840/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=20732 CPUtime=12.69 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 5062 0 0 0 1260 9 0 0 25 0 1 0 280565460 21229568 4963 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 5183 4963 104 219 0 4960 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20732 [startup+25.5019 s] /proc/loadavg: 0.94 0.94 0.95 2/78 15037 /proc/meminfo: memFree=1819152/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=21764 CPUtime=25.48 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 5439 0 0 0 2534 14 0 0 25 0 1 0 280565460 22286336 5243 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 5441 5243 104 219 0 5218 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21764 [startup+51.1018 s] /proc/loadavg: 0.96 0.94 0.95 2/78 15037 /proc/meminfo: memFree=1818000/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=23432 CPUtime=51.08 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 5940 0 0 0 5088 20 0 0 25 0 1 0 280565460 23994368 5551 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 5858 5551 104 219 0 5635 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 23432 [startup+102.306 s] /proc/loadavg: 0.98 0.95 0.95 2/78 15037 /proc/meminfo: memFree=1805392/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=42724 CPUtime=102.27 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 9449 0 0 0 10195 32 0 0 25 0 1 0 280565460 43749376 8675 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 10681 8675 104 219 0 10458 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 42724 [startup+162.301 s] /proc/loadavg: 0.99 0.96 0.95 2/78 15037 /proc/meminfo: memFree=1764304/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=78480 CPUtime=162.24 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 19715 0 0 0 16176 48 0 0 25 0 1 0 280565460 80363520 18941 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 19620 18941 104 219 0 19397 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 78480 [startup+222.301 s] /proc/loadavg: 0.99 0.96 0.95 2/78 15037 /proc/meminfo: memFree=1759568/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=82984 CPUtime=222.23 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 20862 0 0 0 22166 57 0 0 25 0 1 0 280565460 84975616 20088 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 20746 20088 104 219 0 20523 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 82984 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 15037 /proc/meminfo: memFree=1757136/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=88436 CPUtime=282.22 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 22224 0 0 0 28157 65 0 0 25 0 1 0 280565460 90558464 20681 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 22109 20681 104 219 0 21886 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 88436 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 15037 /proc/meminfo: memFree=1736912/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=157228 CPUtime=342.2 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 27268 0 0 0 34146 74 0 0 25 0 1 0 280565460 161001472 25725 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 39307 25725 104 219 0 39084 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 157228 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 15037 /proc/meminfo: memFree=1734096/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=159188 CPUtime=402.18 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 28054 0 0 0 40139 79 0 0 25 0 1 0 280565460 163008512 26511 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 39797 26511 104 219 0 39574 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 159188 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 15037 /proc/meminfo: memFree=1731216/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=160048 CPUtime=462.16 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 28664 0 0 0 46130 86 0 0 25 0 1 0 280565460 163889152 27121 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 40012 27121 104 219 0 39789 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 160048 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 15037 /proc/meminfo: memFree=1729424/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=161384 CPUtime=522.15 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 29112 0 0 0 52121 94 0 0 25 0 1 0 280565460 165257216 27569 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 40346 27569 104 219 0 40123 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 161384 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 15037 /proc/meminfo: memFree=1728400/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=161716 CPUtime=582.14 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 29362 0 0 0 58112 102 0 0 25 0 1 0 280565460 165597184 27819 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 40429 27819 104 219 0 40206 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 161716 [startup+642.302 s] /proc/loadavg: 1.04 0.99 0.95 2/78 15037 /proc/meminfo: memFree=1727568/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=168212 CPUtime=642.12 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 31097 0 0 0 64101 111 0 0 25 0 1 0 280565460 172249088 28017 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 42053 28017 104 219 0 41830 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 168212 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 0.99 0.95 2/84 15205 /proc/meminfo: memFree=1722776/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=170336 CPUtime=821.98 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 31941 0 0 0 82062 136 0 0 25 0 1 0 280565460 174424064 28861 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 42584 28861 104 219 0 42361 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 170336 [startup+882.303 s] /proc/loadavg: 1.00 0.99 0.95 2/78 15234 /proc/meminfo: memFree=1722832/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=170844 CPUtime=881.96 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 32216 0 0 0 88053 143 0 0 25 0 1 0 280565460 174944256 29136 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 42711 29136 104 219 0 42488 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 170844 [startup+942.303 s] /proc/loadavg: 1.00 0.99 0.95 2/78 15234 /proc/meminfo: memFree=1722192/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=170844 CPUtime=941.94 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 32368 0 0 0 94046 148 0 0 25 0 1 0 280565460 174944256 29288 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 42711 29288 104 219 0 42488 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 170844 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 15234 /proc/meminfo: memFree=1721488/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=171384 CPUtime=1001.92 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 32533 0 0 0 100040 152 0 0 25 0 1 0 280565460 175497216 29453 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 42846 29453 104 219 0 42623 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 171384 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 15234 /proc/meminfo: memFree=1720976/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=171384 CPUtime=1061.9 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 32702 0 0 0 106034 156 0 0 25 0 1 0 280565460 175497216 29622 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 42846 29622 104 219 0 42623 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 171384 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 15234 /proc/meminfo: memFree=1720144/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=171956 CPUtime=1121.88 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 32880 0 0 0 112026 162 0 0 25 0 1 0 280565460 176082944 29800 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 42989 29800 104 219 0 42766 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 171956 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 15234 /proc/meminfo: memFree=1719632/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=171956 CPUtime=1181.87 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 33004 0 0 0 118020 167 0 0 25 0 1 0 280565460 176082944 29924 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 42989 29924 104 219 0 42766 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 171956 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 15234 /proc/meminfo: memFree=1718352/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=173208 CPUtime=1241.86 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 33315 0 0 0 124014 172 0 0 25 0 1 0 280565460 177364992 30235 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 43302 30235 104 219 0 43079 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 173208 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 15234 /proc/meminfo: memFree=1717776/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=173208 CPUtime=1301.84 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 33454 0 0 0 130007 177 0 0 25 0 1 0 280565460 177364992 30374 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 43302 30374 104 219 0 43079 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 173208 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 15234 /proc/meminfo: memFree=1717200/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=173208 CPUtime=1361.83 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 33582 0 0 0 136002 181 0 0 25 0 1 0 280565460 177364992 30502 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 43302 30502 104 219 0 43079 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 173208 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.95 2/78 15234 /proc/meminfo: memFree=1716880/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=173208 CPUtime=1421.81 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 33677 0 0 0 141994 187 0 0 25 0 1 0 280565460 177364992 30597 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 43302 30597 104 219 0 43079 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 173208 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 15234 /proc/meminfo: memFree=1716496/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=173208 CPUtime=1481.8 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 33759 0 0 0 147989 191 0 0 25 0 1 0 280565460 177364992 30679 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 43302 30679 104 219 0 43079 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 173208 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 15234 /proc/meminfo: memFree=1701520/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=185496 CPUtime=1541.77 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 40570 0 0 0 153979 198 0 0 25 0 1 0 280565460 189947904 34417 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 46374 34417 104 219 0 46151 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 185496 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 15234 /proc/meminfo: memFree=1693456/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=186180 CPUtime=1601.76 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 42566 0 0 0 159972 204 0 0 25 0 1 0 280565460 190648320 36413 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 46545 36413 104 219 0 46322 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 186180 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 15234 /proc/meminfo: memFree=1677904/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=187436 CPUtime=1661.74 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 46443 0 0 0 165964 210 0 0 25 0 1 0 280565460 191934464 40290 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 46859 40290 104 219 0 46636 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 187436 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 15234 /proc/meminfo: memFree=1677456/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=187436 CPUtime=1721.73 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 46556 0 0 0 171957 216 0 0 25 0 1 0 280565460 191934464 40403 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 46859 40403 104 219 0 46636 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 187436 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 15234 /proc/meminfo: memFree=1676944/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=187628 CPUtime=1781.72 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 46662 0 0 0 177951 221 0 0 25 0 1 0 280565460 192131072 40509 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 46907 40509 104 219 0 46684 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 187628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.95 3/78 15234 /proc/meminfo: memFree=1676112/2055920 swapFree=4145492/4192956 [pid=15036] ppid=15034 vsize=188400 CPUtime=1800.02 /proc/15036/stat : 15036 (PBS4) R 15034 15036 14908 0 -1 4194304 46879 0 0 0 179779 223 0 0 25 0 1 0 280565460 192921600 40726 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15036/statm: 47100 40726 104 219 0 46877 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 188400 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.64 CPU time (s): 1800.05 CPU user time (s): 1797.8 CPU system time (s): 2.25766 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 197788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.8 system time used= 2.25766 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46880 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= 37325 runsolver used 1.41278 second user time and 4.05538 second system time The end
Begin job on node9 on Tue May 1 18:47:59 UTC 2007 IDJOB= 455544 IDBENCH= 48271 IDSOLVER= 157 FILE ID= node9/455544-1178045279 PBS_JOBID= 4728464 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_200_10_2.opb COMMAND LINE= /tmp/evaluation/455544-1178045279/PBS4 /tmp/evaluation/455544-1178045279/instance-455544-1178045279.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node9/convwatcher-455544-1178045279 -o ROOT/results/node9/conversion-455544-1178045279 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455544-1178045279/instance-455544-1178045279.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-455544-1178045279 -o ROOT/results/node9/solver-455544-1178045279 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/455544-1178045279/PBS4 /tmp/evaluation/455544-1178045279/instance-455544-1178045279.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= b5a23f46b7c8ffe564ae87cb51d69480 RANDOM SEED= 916392755 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.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.221 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.221 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: 1840496 kB Buffers: 55136 kB Cached: 71028 kB SwapCached: 15344 kB Active: 104236 kB Inactive: 45176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1840496 kB SwapTotal: 4192956 kB SwapFree: 4145492 kB Dirty: 1448 kB Writeback: 0 kB Mapped: 29824 kB Slab: 51608 kB Committed_AS: 8606544 kB PageTables: 1784 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= 66563 MiB End job on node9 on Tue May 1 19:18:02 UTC 2007