Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.12 | 1800.94 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_3.opb |
MD5SUM | e70f8e0da8fa345ba6e82dce1b0133d2 |
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 | -7 |
Best CPU time to get the best result obtained on this benchmark | 124.223 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 2952 |
Sum of products size (including duplicates) | 5904 |
Number of different products | 1476 |
Sum of products size | 2952 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/454944-1178034351/instance-454944-1178034351.opb ...... 0.10/0.13 c done parsing opb. 0.10/0.13 o 47 0.10/0.14 o 46 0.10/0.17 o 45 0.89/0.93 o 44 22.38/22.46 o 43 1800.08/1800.90 s SATISFIABLE
ERROR: no interpretation found !
Linearizing /tmp/evaluation/454944-1178034351/instance-454944-1178034351.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-454944-1178034351 -o ROOT/results/node13/solver-454944-1178034351 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/454944-1178034351/PBS4 /tmp/evaluation/454944-1178034351/instance-454944-1178034351.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.92 0.97 0.98 3/77 31357 /proc/meminfo: memFree=1773256/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=1604 CPUtime=0 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 251352900 1642496 170 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/31357/statm: 401 170 87 219 0 178 0 [startup+0.0890371 s] /proc/loadavg: 0.92 0.97 0.98 3/77 31357 /proc/meminfo: memFree=1773256/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=2016 CPUtime=0.08 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 316 0 0 0 8 0 0 0 18 0 1 0 251352900 2064384 299 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559777 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 504 299 92 219 0 281 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2016 [startup+0.10204 s] /proc/loadavg: 0.92 0.97 0.98 3/77 31357 /proc/meminfo: memFree=1773256/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=2016 CPUtime=0.1 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 317 0 0 0 10 0 0 0 18 0 1 0 251352900 2064384 300 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 504 300 92 219 0 281 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2016 [startup+0.301082 s] /proc/loadavg: 0.92 0.97 0.98 3/77 31357 /proc/meminfo: memFree=1773256/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=2148 CPUtime=0.29 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 367 0 0 0 29 0 0 0 19 0 1 0 251352900 2199552 350 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 537 350 102 219 0 314 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2148 [startup+0.701167 s] /proc/loadavg: 0.92 0.97 0.98 3/77 31357 /proc/meminfo: memFree=1773256/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=3048 CPUtime=0.69 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 536 0 0 0 69 0 0 0 23 0 1 0 251352900 3121152 519 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134546783 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 762 519 103 219 0 539 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3048 [startup+1.50134 s] /proc/loadavg: 0.92 0.97 0.98 2/78 31358 /proc/meminfo: memFree=1770752/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=6772 CPUtime=1.49 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 1211 0 0 0 149 0 0 0 25 0 1 0 251352900 6934528 1145 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 1693 1145 104 219 0 1470 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6772 [startup+3.10168 s] /proc/loadavg: 0.93 0.97 0.98 2/78 31358 /proc/meminfo: memFree=1767488/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=11556 CPUtime=3.09 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 1965 0 0 0 306 3 0 0 25 0 1 0 251352900 11833344 1899 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 2889 1899 104 219 0 2666 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11556 [startup+6.30136 s] /proc/loadavg: 0.93 0.97 0.98 2/78 31358 /proc/meminfo: memFree=1762816/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=12816 CPUtime=6.28 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 3083 0 0 0 624 4 0 0 25 0 1 0 251352900 13123584 2920 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 3204 2920 104 219 0 2981 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 12816 [startup+12.7017 s] /proc/loadavg: 0.94 0.97 0.98 2/78 31358 /proc/meminfo: memFree=1756744/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=23400 CPUtime=12.68 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 4608 0 0 0 1261 7 0 0 25 0 1 0 251352900 23961600 4252 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 5850 4252 104 219 0 5627 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23400 [startup+25.5024 s] /proc/loadavg: 0.95 0.97 0.98 2/78 31358 /proc/meminfo: memFree=1751816/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=24620 CPUtime=25.48 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 5739 0 0 0 2536 12 0 0 25 0 1 0 251352900 25210880 5383 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 6155 5383 104 219 0 5932 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24620 [startup+51.1019 s] /proc/loadavg: 0.96 0.97 0.98 2/78 31358 /proc/meminfo: memFree=1744456/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=46204 CPUtime=51.08 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 8052 0 0 0 5089 19 0 0 25 0 1 0 251352900 47312896 7311 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 11551 7311 104 219 0 11328 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 46204 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.98 2/78 31358 /proc/meminfo: memFree=1736648/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=49028 CPUtime=102.25 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 9896 0 0 0 10196 29 0 0 25 0 1 0 251352900 50204672 9155 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 12257 9155 104 219 0 12034 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 49028 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31358 /proc/meminfo: memFree=1717704/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=90868 CPUtime=162.23 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 15952 0 0 0 16181 42 0 0 25 0 1 0 251352900 93048832 13914 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 22717 13914 104 219 0 22494 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 90868 [startup+222.301 s] /proc/loadavg: 1.02 0.99 0.99 2/78 31358 /proc/meminfo: memFree=1707720/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=94016 CPUtime=222.2 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 18659 0 0 0 22170 50 0 0 25 0 1 0 251352900 96272384 16357 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 23504 16357 104 219 0 23281 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 94016 [startup+282.301 s] /proc/loadavg: 1.01 0.99 0.99 2/78 31358 /proc/meminfo: memFree=1705416/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=95656 CPUtime=282.18 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 19223 0 0 0 28160 58 0 0 25 0 1 0 251352900 97951744 16921 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549623 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 23914 16921 104 219 0 23691 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 95656 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 31358 /proc/meminfo: memFree=1699976/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=98996 CPUtime=342.16 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 20991 0 0 0 34150 66 0 0 25 0 1 0 251352900 101371904 18260 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 24749 18260 104 219 0 24526 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 98996 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 31358 /proc/meminfo: memFree=1694536/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=106820 CPUtime=402.13 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 24029 0 0 0 40140 73 0 0 25 0 1 0 251352900 109383680 19596 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 26705 19596 104 219 0 26482 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 106820 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 31358 /proc/meminfo: memFree=1689544/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=108740 CPUtime=462.11 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 25568 0 0 0 46131 80 0 0 25 0 1 0 251352900 111349760 20871 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 27185 20871 104 219 0 26962 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 108740 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 31358 /proc/meminfo: memFree=1684232/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=110172 CPUtime=522.08 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 26993 0 0 0 52120 88 0 0 25 0 1 0 251352900 112816128 22197 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549620 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 27543 22197 104 219 0 27320 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 110172 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 31358 /proc/meminfo: memFree=1674056/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=114404 CPUtime=582.07 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 30441 0 0 0 58110 97 0 0 25 0 1 0 251352900 117149696 24701 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 28601 24701 104 219 0 28378 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 114404 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 31358 /proc/meminfo: memFree=1663048/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=182924 CPUtime=642.05 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 33841 0 0 0 64100 105 0 0 25 0 1 0 251352900 187314176 27481 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549317 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 45731 27481 104 219 0 45508 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 182924 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.09 1.04 1.00 2/78 31358 /proc/meminfo: memFree=1647752/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=190324 CPUtime=881.95 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 38698 0 0 0 88065 130 0 0 25 0 1 0 251352900 194891776 31295 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 47581 31295 104 219 0 47358 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 190324 [startup+942.302 s] /proc/loadavg: 1.09 1.04 1.00 2/84 31522 /proc/meminfo: memFree=1637192/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=191352 CPUtime=941.84 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 41216 0 0 0 94048 136 0 0 25 0 1 0 251352900 195944448 33618 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 47838 33618 104 219 0 47615 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 191352 [startup+1002.3 s] /proc/loadavg: 1.07 1.05 1.00 2/78 31556 /proc/meminfo: memFree=1629192/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=205592 CPUtime=1001.78 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 46941 0 0 0 100034 144 0 0 25 0 1 0 251352900 210526208 35880 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 51398 35880 104 219 0 51175 0 Current children cumulated CPU time (s) 1001.78 Current children cumulated vsize (KiB) 205592 [startup+1062.3 s] /proc/loadavg: 1.03 1.04 1.00 2/78 31556 /proc/meminfo: memFree=1624136/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=206876 CPUtime=1061.76 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 48487 0 0 0 106026 150 0 0 25 0 1 0 251352900 211841024 37166 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 51719 37166 104 219 0 51496 0 Current children cumulated CPU time (s) 1061.76 Current children cumulated vsize (KiB) 206876 [startup+1122.3 s] /proc/loadavg: 1.09 1.04 1.01 2/78 31556 /proc/meminfo: memFree=1618312/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=208088 CPUtime=1121.74 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 50116 0 0 0 112017 157 0 0 25 0 1 0 251352900 213082112 38600 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 52022 38600 104 219 0 51799 0 Current children cumulated CPU time (s) 1121.74 Current children cumulated vsize (KiB) 208088 [startup+1182.3 s] /proc/loadavg: 1.03 1.03 1.00 2/78 31556 /proc/meminfo: memFree=1614920/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=209832 CPUtime=1181.72 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 51054 0 0 0 118010 162 0 0 25 0 1 0 251352900 214867968 39408 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 52458 39408 104 219 0 52235 0 Current children cumulated CPU time (s) 1181.72 Current children cumulated vsize (KiB) 209832 [startup+1242.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 31556 /proc/meminfo: memFree=1613704/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=210600 CPUtime=1241.7 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 51571 0 0 0 124002 168 0 0 25 0 1 0 251352900 215654400 39730 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 52650 39730 104 219 0 52427 0 Current children cumulated CPU time (s) 1241.7 Current children cumulated vsize (KiB) 210600 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 31556 /proc/meminfo: memFree=1608072/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=211776 CPUtime=1301.67 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 53098 0 0 0 129994 173 0 0 25 0 1 0 251352900 216858624 41127 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549620 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 52944 41127 104 219 0 52721 0 Current children cumulated CPU time (s) 1301.67 Current children cumulated vsize (KiB) 211776 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 31556 /proc/meminfo: memFree=1601928/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=212428 CPUtime=1361.65 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 54739 0 0 0 135985 180 0 0 25 0 1 0 251352900 217526272 42703 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 53107 42703 104 219 0 52884 0 Current children cumulated CPU time (s) 1361.65 Current children cumulated vsize (KiB) 212428 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/78 31556 /proc/meminfo: memFree=1593480/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=214740 CPUtime=1421.63 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 56996 0 0 0 141977 186 0 0 25 0 1 0 251352900 219893760 44830 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 53685 44830 104 219 0 53462 0 Current children cumulated CPU time (s) 1421.63 Current children cumulated vsize (KiB) 214740 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31556 /proc/meminfo: memFree=1592136/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=215416 CPUtime=1481.6 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 57308 0 0 0 147970 190 0 0 25 0 1 0 251352900 220585984 45142 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 53854 45142 104 219 0 53631 0 Current children cumulated CPU time (s) 1481.6 Current children cumulated vsize (KiB) 215416 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31556 /proc/meminfo: memFree=1590728/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=217720 CPUtime=1541.58 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 58279 0 0 0 153964 194 0 0 25 0 1 0 251352900 222945280 45530 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 54430 45530 104 219 0 54207 0 Current children cumulated CPU time (s) 1541.58 Current children cumulated vsize (KiB) 217720 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31556 /proc/meminfo: memFree=1589384/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=219216 CPUtime=1601.55 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 58706 0 0 0 159957 198 0 0 25 0 1 0 251352900 224477184 45828 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 54804 45828 104 219 0 54581 0 Current children cumulated CPU time (s) 1601.55 Current children cumulated vsize (KiB) 219216 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31556 /proc/meminfo: memFree=1588296/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=219348 CPUtime=1661.52 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 58980 0 0 0 165950 202 0 0 25 0 1 0 251352900 224612352 46102 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 54837 46102 104 219 0 54614 0 Current children cumulated CPU time (s) 1661.52 Current children cumulated vsize (KiB) 219348 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31556 /proc/meminfo: memFree=1587400/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=219348 CPUtime=1721.5 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 59202 0 0 0 171942 208 0 0 25 0 1 0 251352900 224612352 46324 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 54837 46324 104 219 0 54614 0 Current children cumulated CPU time (s) 1721.5 Current children cumulated vsize (KiB) 219348 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31556 /proc/meminfo: memFree=1584584/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=222040 CPUtime=1781.48 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 59965 0 0 0 177935 213 0 0 25 0 1 0 251352900 227368960 47022 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547150 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 55510 47022 104 219 0 55287 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (KiB) 222040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31556 /proc/meminfo: memFree=1584392/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=222040 CPUtime=1800.08 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 60000 0 0 0 179793 215 0 0 25 0 1 0 251352900 227368960 47057 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 55510 47057 104 219 0 55287 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 222040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31556 /proc/meminfo: memFree=1584392/2055920 swapFree=4159404/4192956 [pid=31357] ppid=31355 vsize=222040 CPUtime=1800.08 /proc/31357/stat : 31357 (PBS4) R 31355 31357 31236 0 -1 4194304 60000 0 0 0 179793 215 0 0 25 0 1 0 251352900 227368960 47057 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31357/statm: 55510 47057 104 219 0 55287 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 222040 Child status: 0 Real time (s): 1800.94 CPU time (s): 1800.12 CPU user time (s): 1797.94 CPU system time (s): 2.18467 CPU usage (%): 99.9546 Max. virtual memory (cumulated for all children) (KiB): 222040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.94 system time used= 2.18467 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60001 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= 37997 runsolver used 1.41478 second user time and 3.99139 second system time The end
Begin job on node13 on Tue May 1 15:45:51 UTC 2007 IDJOB= 454944 IDBENCH= 48231 IDSOLVER= 157 FILE ID= node13/454944-1178034351 PBS_JOBID= 4728415 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_50_25_3.opb COMMAND LINE= /tmp/evaluation/454944-1178034351/PBS4 /tmp/evaluation/454944-1178034351/instance-454944-1178034351.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node13/convwatcher-454944-1178034351 -o ROOT/results/node13/conversion-454944-1178034351 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/454944-1178034351/instance-454944-1178034351.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-454944-1178034351 -o ROOT/results/node13/solver-454944-1178034351 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/454944-1178034351/PBS4 /tmp/evaluation/454944-1178034351/instance-454944-1178034351.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= e70f8e0da8fa345ba6e82dce1b0133d2 RANDOM SEED= 679549357 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1773664 kB Buffers: 77068 kB Cached: 115880 kB SwapCached: 12684 kB Active: 121640 kB Inactive: 95324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1773664 kB SwapTotal: 4192956 kB SwapFree: 4159404 kB Dirty: 1264 kB Writeback: 0 kB Mapped: 30092 kB Slab: 50772 kB Committed_AS: 9384588 kB PageTables: 1872 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 node13 on Tue May 1 16:15:54 UTC 2007