Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.1 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_3.opb |
MD5SUM | 68d7f052f18638860d9232a7f3ed2053 |
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 | -139 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -139 |
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) | 12632 |
Sum of products size (including duplicates) | 25264 |
Number of different products | 6316 |
Sum of products size | 12632 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/455184-1178038708/instance-455184-1178038708.opb ...... 5.49/5.53 c done parsing opb. 5.49/5.53 o 421 152.76/152.85 o 407 153.24/153.33 o 405 161.22/161.32 o 404 164.02/164.15 o 403 221.65/221.88 o 402 222.75/222.98 o 401 223.05/223.30 o 399 224.25/224.41 o 398 224.35/224.54 o 396 260.85/261.02 o 395 264.24/264.45 o 394 486.00/486.23 o 393 528.88/529.19 o 392 1800.08/1800.61 s SATISFIABLE
ERROR: no interpretation found !
Linearizing /tmp/evaluation/455184-1178038708/instance-455184-1178038708.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-455184-1178038708 -o ROOT/results/node41/solver-455184-1178038708 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/455184-1178038708/PBS4 /tmp/evaluation/455184-1178038708/instance-455184-1178038708.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.98 0.99 3/77 27549 /proc/meminfo: memFree=1733680/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=2316 CPUtime=0 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 251782783 2371584 351 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/27549/statm: 579 351 86 219 0 356 0 [startup+0.0607479 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27549 /proc/meminfo: memFree=1733680/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=2872 CPUtime=0.05 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 533 0 0 0 5 0 0 0 18 0 1 0 251782783 2940928 516 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134640569 0 0 4096 0 0 0 0 17 1 0 0 /proc/27549/statm: 718 516 87 219 0 495 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2872 [startup+0.101751 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27549 /proc/meminfo: memFree=1733680/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=3708 CPUtime=0.09 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 718 0 0 0 9 0 0 0 18 0 1 0 251782783 3796992 668 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134530224 0 0 4096 0 0 0 0 17 1 0 0 /proc/27549/statm: 927 668 88 219 0 704 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3708 [startup+0.301768 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27549 /proc/meminfo: memFree=1733680/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=4424 CPUtime=0.29 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 1052 0 0 0 29 0 0 0 20 0 1 0 251782783 4530176 937 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 1106 937 93 219 0 883 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4424 [startup+0.701803 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27549 /proc/meminfo: memFree=1733680/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=4424 CPUtime=0.69 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 1052 0 0 0 69 0 0 0 24 0 1 0 251782783 4530176 937 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 1106 937 93 219 0 883 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4424 [startup+1.50187 s] /proc/loadavg: 0.92 0.98 0.99 2/78 27550 /proc/meminfo: memFree=1730216/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=4424 CPUtime=1.49 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 1052 0 0 0 149 0 0 0 25 0 1 0 251782783 4530176 937 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 1106 937 93 219 0 883 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4424 [startup+3.10201 s] /proc/loadavg: 0.93 0.98 0.99 2/78 27550 /proc/meminfo: memFree=1730024/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=4556 CPUtime=3.09 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 1062 0 0 0 309 0 0 0 25 0 1 0 251782783 4665344 947 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 1139 947 93 219 0 916 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4556 [startup+6.30129 s] /proc/loadavg: 0.93 0.98 0.99 2/78 27550 /proc/meminfo: memFree=1729448/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=5492 CPUtime=6.29 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 1275 0 0 0 627 2 0 0 25 0 1 0 251782783 5623808 1160 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 1373 1160 104 219 0 1150 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5492 [startup+12.7028 s] /proc/loadavg: 0.94 0.98 0.99 2/78 27550 /proc/meminfo: memFree=1728248/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=6736 CPUtime=12.68 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 1587 0 0 0 1261 7 0 0 25 0 1 0 251782783 6897664 1423 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 1684 1423 104 219 0 1461 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 6736 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.99 2/78 27550 /proc/meminfo: memFree=1724600/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=14036 CPUtime=25.49 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 2466 0 0 0 2540 9 0 0 25 0 1 0 251782783 14372864 2302 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 3509 2302 104 219 0 3286 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14036 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/78 27550 /proc/meminfo: memFree=1721272/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=14036 CPUtime=51.08 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 3329 0 0 0 5098 10 0 0 25 0 1 0 251782783 14372864 3165 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 3509 3165 104 219 0 3286 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 14036 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 27550 /proc/meminfo: memFree=1713848/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=22360 CPUtime=102.27 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 5156 0 0 0 10215 12 0 0 25 0 1 0 251782783 22896640 4992 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559462 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 5590 4992 104 219 0 5367 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 22360 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/84 27624 /proc/meminfo: memFree=1700224/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=39944 CPUtime=162.22 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 8449 0 0 0 16203 19 0 0 25 0 1 0 251782783 40902656 8285 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 9986 8285 104 219 0 9763 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 39944 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27748 /proc/meminfo: memFree=1693616/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=40840 CPUtime=222.15 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 10202 0 0 0 22191 24 0 0 25 0 1 0 251782783 41820160 9941 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563269 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 10210 9941 104 219 0 9987 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 40840 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27748 /proc/meminfo: memFree=1692336/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=41964 CPUtime=282.13 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 10536 0 0 0 28175 38 0 0 25 0 1 0 251782783 42971136 10275 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 10491 10275 104 219 0 10268 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 41964 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27748 /proc/meminfo: memFree=1692080/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=42184 CPUtime=342.12 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 10610 0 0 0 34169 43 0 0 25 0 1 0 251782783 43196416 10349 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 10546 10349 104 219 0 10323 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 42184 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27748 /proc/meminfo: memFree=1691184/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=43624 CPUtime=402.11 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 11033 0 0 0 40151 60 0 0 25 0 1 0 251782783 44670976 10579 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 10906 10579 104 219 0 10683 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 43624 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 3/78 27748 /proc/meminfo: memFree=1690480/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=44128 CPUtime=462.1 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 11199 0 0 0 46135 75 0 0 25 0 1 0 251782783 45187072 10745 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 11032 10745 104 219 0 10809 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 44128 [startup+522.301 s] /proc/loadavg: 1.06 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1689784/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=44488 CPUtime=522.08 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 11386 0 0 0 52111 97 0 0 25 0 1 0 251782783 45555712 10932 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 11122 10932 104 219 0 10899 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 44488 [startup+582.301 s] /proc/loadavg: 1.12 1.03 1.01 2/78 27748 /proc/meminfo: memFree=1689016/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=46400 CPUtime=582.06 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 11933 0 0 0 58097 109 0 0 25 0 1 0 251782783 47513600 11094 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 11600 11094 104 219 0 11377 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 46400 [startup+642.301 s] /proc/loadavg: 1.04 1.02 1.00 2/78 27748 /proc/meminfo: memFree=1688312/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=46912 CPUtime=642.06 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 12112 0 0 0 64076 130 0 0 25 0 1 0 251782783 48037888 11273 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548056 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 11728 11273 104 219 0 11505 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 46912 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1686968/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=47860 CPUtime=822 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 12481 0 0 0 82036 164 0 0 25 0 1 0 251782783 49008640 11642 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549623 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 11965 11642 104 219 0 11742 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 47860 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1686136/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=48396 CPUtime=881.99 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 12678 0 0 0 88018 181 0 0 25 0 1 0 251782783 49557504 11839 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 12099 11839 104 219 0 11876 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 48396 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1685560/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=51740 CPUtime=941.98 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 13601 0 0 0 94004 194 0 0 25 0 1 0 251782783 52981760 11993 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 12935 11993 104 219 0 12712 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 51740 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1684920/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=52144 CPUtime=1001.96 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 13774 0 0 0 99991 205 0 0 25 0 1 0 251782783 53395456 12166 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 13036 12166 104 219 0 12813 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 52144 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1684216/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=52552 CPUtime=1061.95 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 13926 0 0 0 105979 216 0 0 25 0 1 0 251782783 53813248 12318 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 13138 12318 104 219 0 12915 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 52552 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1684024/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=52552 CPUtime=1121.94 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 13980 0 0 0 111973 221 0 0 25 0 1 0 251782783 53813248 12372 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 13138 12372 104 219 0 12915 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 52552 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1683640/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=52864 CPUtime=1181.92 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14073 0 0 0 117968 224 0 0 25 0 1 0 251782783 54132736 12465 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 13216 12465 104 219 0 12993 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 52864 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1683320/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=53116 CPUtime=1241.91 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14150 0 0 0 123962 229 0 0 25 0 1 0 251782783 54390784 12542 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 13279 12542 104 219 0 13056 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 53116 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1682936/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=53116 CPUtime=1301.9 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14230 0 0 0 129954 236 0 0 25 0 1 0 251782783 54390784 12622 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 13279 12622 104 219 0 13056 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 53116 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1682552/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=53492 CPUtime=1361.87 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14338 0 0 0 135946 241 0 0 25 0 1 0 251782783 54775808 12730 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559756 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 13373 12730 104 219 0 13150 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 53492 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1682232/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=53568 CPUtime=1421.87 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14429 0 0 0 141938 249 0 0 25 0 1 0 251782783 54853632 12821 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 13392 12821 104 219 0 13169 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 53568 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1681848/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=53852 CPUtime=1481.85 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14501 0 0 0 147932 253 0 0 25 0 1 0 251782783 55144448 12893 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 13463 12893 104 219 0 13240 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 53852 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1681528/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=53924 CPUtime=1541.83 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14590 0 0 0 153926 257 0 0 25 0 1 0 251782783 55218176 12982 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 13481 12982 104 219 0 13258 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 53924 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1681144/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=54228 CPUtime=1601.82 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14685 0 0 0 159919 263 0 0 25 0 1 0 251782783 55529472 13077 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559802 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 13557 13077 104 219 0 13334 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 54228 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1680696/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=54304 CPUtime=1661.81 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14790 0 0 0 165914 267 0 0 25 0 1 0 251782783 55607296 13182 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 13576 13182 104 219 0 13353 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 54304 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1680312/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=54704 CPUtime=1721.79 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14900 0 0 0 171905 274 0 0 25 0 1 0 251782783 56016896 13292 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 13676 13292 104 219 0 13453 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 54704 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1679864/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=55044 CPUtime=1781.78 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 14997 0 0 0 177899 279 0 0 25 0 1 0 251782783 56365056 13389 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 13761 13389 104 219 0 13538 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 55044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27748 /proc/meminfo: memFree=1679736/2055920 swapFree=4169228/4192956 [pid=27549] ppid=27547 vsize=55120 CPUtime=1800.08 /proc/27549/stat : 27549 (PBS4) R 27547 27549 20852 0 -1 4194304 15026 0 0 0 179723 285 0 0 25 0 1 0 251782783 56442880 13418 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27549/statm: 13780 13418 104 219 0 13557 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 55120 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.1 CPU user time (s): 1797.24 CPU system time (s): 2.86756 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 55120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.24 system time used= 2.86756 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15027 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= 3566 runsolver used 1.35679 second user time and 4.02139 second system time The end
Begin job on node41 on Tue May 1 16:58:29 UTC 2007 IDJOB= 455184 IDBENCH= 48247 IDSOLVER= 157 FILE ID= node41/455184-1178038708 PBS_JOBID= 4728441 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_10_3.opb COMMAND LINE= /tmp/evaluation/455184-1178038708/PBS4 /tmp/evaluation/455184-1178038708/instance-455184-1178038708.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node41/convwatcher-455184-1178038708 -o ROOT/results/node41/conversion-455184-1178038708 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455184-1178038708/instance-455184-1178038708.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-455184-1178038708 -o ROOT/results/node41/solver-455184-1178038708 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/455184-1178038708/PBS4 /tmp/evaluation/455184-1178038708/instance-455184-1178038708.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 68d7f052f18638860d9232a7f3ed2053 RANDOM SEED= 782243701 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.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.232 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.232 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: 1734088 kB Buffers: 115552 kB Cached: 108928 kB SwapCached: 2572 kB Active: 177268 kB Inactive: 77772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1734088 kB SwapTotal: 4192956 kB SwapFree: 4169228 kB Dirty: 1780 kB Writeback: 0 kB Mapped: 35688 kB Slab: 52064 kB Committed_AS: 6827636 kB PageTables: 2020 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 node41 on Tue May 1 17:28:32 UTC 2007