Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.08 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_2.opb |
MD5SUM | 8d62286ae12c02f1d9e42b05c51333f2 |
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 | -131 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -131 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 21 |
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 | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6328 |
Sum of products size (including duplicates) | 12656 |
Number of different products | 3164 |
Sum of products size | 6328 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/454779-1178031069/instance-454779-1178031069.opb ...... 0.09/0.10 c done parsing opb. 0.09/0.10 o 415 0.09/0.13 o 414 0.09/0.13 o 412 0.09/0.13 o 411 0.09/0.14 o 410 4.79/4.82 o 407 5.28/5.30 o 406 5.28/5.31 o 399 5.28/5.32 o 398 5.28/5.33 o 397 5.28/5.33 o 396 5.28/5.36 o 392 5.28/5.36 o 391 1800.06/1800.60 s SATISFIABLE
ERROR: no interpretation found !
Linearizing /tmp/evaluation/454779-1178031069/instance-454779-1178031069.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-454779-1178031069 -o ROOT/results/node14/solver-454779-1178031069 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/454779-1178031069/PBS4 /tmp/evaluation/454779-1178031069/instance-454779-1178031069.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.77 0.93 0.98 3/77 3055 /proc/meminfo: memFree=1874480/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=1828 CPUtime=0 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 250 0 0 0 0 0 0 0 18 0 1 0 251024700 1871872 233 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/3055/statm: 457 233 87 219 0 234 0 [startup+0.00785705 s] /proc/loadavg: 0.77 0.93 0.98 3/77 3055 /proc/meminfo: memFree=1874480/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=1828 CPUtime=0 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 273 0 0 0 0 0 0 0 18 0 1 0 251024700 1871872 256 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/3055/statm: 457 256 87 219 0 234 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1828 [startup+0.101867 s] /proc/loadavg: 0.77 0.93 0.98 3/77 3055 /proc/meminfo: memFree=1874480/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=3452 CPUtime=0.09 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 731 0 0 0 9 0 0 0 18 0 1 0 251024700 3534848 616 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/3055/statm: 863 616 93 219 0 640 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3452 [startup+0.301884 s] /proc/loadavg: 0.77 0.93 0.98 3/77 3055 /proc/meminfo: memFree=1874480/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=5244 CPUtime=0.29 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 1159 0 0 0 29 0 0 0 19 0 1 0 251024700 5369856 1044 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 1311 1044 104 219 0 1088 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5244 [startup+0.701922 s] /proc/loadavg: 0.77 0.93 0.98 3/77 3055 /proc/meminfo: memFree=1874480/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=11584 CPUtime=0.69 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 1960 0 0 0 69 0 0 0 23 0 1 0 251024700 11862016 1845 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 2896 1845 104 219 0 2673 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11584 [startup+1.502 s] /proc/loadavg: 0.77 0.93 0.98 2/78 3056 /proc/meminfo: memFree=1865256/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=19776 CPUtime=1.49 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 3378 0 0 0 148 1 0 0 25 0 1 0 251024700 20250624 3263 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 4944 3263 104 219 0 4721 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19776 [startup+3.10115 s] /proc/loadavg: 0.79 0.94 0.98 2/78 3056 /proc/meminfo: memFree=1858216/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=36488 CPUtime=3.09 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 5419 0 0 0 306 3 0 0 25 0 1 0 251024700 37363712 5255 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 9122 5255 104 219 0 8899 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36488 [startup+6.30145 s] /proc/loadavg: 0.79 0.94 0.98 2/78 3056 /proc/meminfo: memFree=1843688/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=37448 CPUtime=6.28 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 8855 0 0 0 622 6 0 0 25 0 1 0 251024700 38346752 8691 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134561167 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 9362 8691 104 219 0 9139 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 37448 [startup+12.7011 s] /proc/loadavg: 0.82 0.94 0.98 2/78 3056 /proc/meminfo: memFree=1837288/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=38560 CPUtime=12.69 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 9571 0 0 0 1262 7 0 0 25 0 1 0 251024700 39485440 9310 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559728 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 9640 9310 104 219 0 9417 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38560 [startup+25.5013 s] /proc/loadavg: 0.85 0.94 0.98 2/78 3056 /proc/meminfo: memFree=1836520/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=39036 CPUtime=25.48 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 9764 0 0 0 2540 8 0 0 25 0 1 0 251024700 39972864 9503 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559400 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 9759 9503 104 219 0 9536 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39036 [startup+51.1017 s] /proc/loadavg: 0.90 0.94 0.98 2/78 3056 /proc/meminfo: memFree=1835240/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=40600 CPUtime=51.08 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 10285 0 0 0 5096 12 0 0 25 0 1 0 251024700 41574400 9831 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 10150 9831 104 219 0 9927 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 40600 [startup+102.306 s] /proc/loadavg: 0.96 0.95 0.98 2/78 3056 /proc/meminfo: memFree=1832488/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=43864 CPUtime=102.27 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 11341 0 0 0 10204 23 0 0 25 0 1 0 251024700 44916736 10502 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 10966 10502 104 219 0 10743 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 43864 [startup+162.301 s] /proc/loadavg: 0.98 0.95 0.98 2/78 3056 /proc/meminfo: memFree=1830440/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=47796 CPUtime=162.25 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 12616 0 0 0 16193 32 0 0 25 0 1 0 251024700 48943104 11008 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 11949 11008 104 219 0 11726 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 47796 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.98 2/78 3056 /proc/meminfo: memFree=1828584/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=48888 CPUtime=222.23 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 13071 0 0 0 22186 37 0 0 25 0 1 0 251024700 50061312 11463 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 12222 11463 104 219 0 11999 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 48888 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 3056 /proc/meminfo: memFree=1826856/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=49900 CPUtime=282.22 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 13513 0 0 0 28179 43 0 0 25 0 1 0 251024700 51097600 11905 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 12475 11905 104 219 0 12252 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49900 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 3056 /proc/meminfo: memFree=1825072/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=50684 CPUtime=342.21 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 13941 0 0 0 34172 49 0 0 25 0 1 0 251024700 51900416 12333 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 12671 12333 104 219 0 12448 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 50684 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 3056 /proc/meminfo: memFree=1823472/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=57712 CPUtime=402.19 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 15890 0 0 0 40164 55 0 0 25 0 1 0 251024700 59097088 12745 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 14428 12745 104 219 0 14205 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 57712 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 3056 /proc/meminfo: memFree=1821808/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=58712 CPUtime=462.18 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 16294 0 0 0 46157 61 0 0 25 0 1 0 251024700 60121088 13149 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 14678 13149 104 219 0 14455 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 58712 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 3056 /proc/meminfo: memFree=1820272/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=59260 CPUtime=522.16 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 16687 0 0 0 52150 66 0 0 25 0 1 0 251024700 60682240 13542 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 14815 13542 104 219 0 14592 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 59260 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 3056 /proc/meminfo: memFree=1818672/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=59840 CPUtime=582.15 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 17073 0 0 0 58144 71 0 0 25 0 1 0 251024700 61276160 13928 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 14960 13928 104 219 0 14737 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 59840 [startup+642.302 s] /proc/loadavg: 1.05 0.99 0.98 2/84 3232 /proc/meminfo: memFree=1815672/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=61112 CPUtime=642.05 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 17444 0 0 0 64129 76 0 0 25 0 1 0 251024700 62578688 14299 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 15278 14299 104 219 0 15055 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 61112 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.02 1.01 0.99 2/78 3254 /proc/meminfo: memFree=1812464/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=63336 CPUtime=821.99 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 18518 0 0 0 82108 91 0 0 25 0 1 0 251024700 64856064 15373 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 15834 15373 104 219 0 15611 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 63336 [startup+882.301 s] /proc/loadavg: 1.01 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1811056/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=76460 CPUtime=881.97 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 21932 0 0 0 88099 98 0 0 25 0 1 0 251024700 78295040 15714 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 19115 15714 104 219 0 18892 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 76460 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1809712/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=76460 CPUtime=941.95 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 22268 0 0 0 94093 102 0 0 25 0 1 0 251024700 78295040 16050 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547123 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 19115 16050 104 219 0 18892 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 76460 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1808368/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=77348 CPUtime=1001.94 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 22598 0 0 0 100085 109 0 0 25 0 1 0 251024700 79204352 16380 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 19337 16380 104 219 0 19114 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 77348 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1807024/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=78292 CPUtime=1061.92 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 22924 0 0 0 106077 115 0 0 25 0 1 0 251024700 80171008 16706 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 19573 16706 104 219 0 19350 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 78292 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1805744/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=78292 CPUtime=1121.91 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 23240 0 0 0 112072 119 0 0 25 0 1 0 251024700 80171008 17022 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559426 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 19573 17022 104 219 0 19350 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 78292 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1804400/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=79292 CPUtime=1181.9 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 23555 0 0 0 118066 124 0 0 25 0 1 0 251024700 81195008 17337 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 19823 17337 104 219 0 19600 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 79292 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1803056/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=80356 CPUtime=1241.88 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 23863 0 0 0 124058 130 0 0 25 0 1 0 251024700 82284544 17645 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 20089 17645 104 219 0 19866 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 80356 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1801712/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=80356 CPUtime=1301.87 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 24166 0 0 0 130053 134 0 0 25 0 1 0 251024700 82284544 17948 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559739 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 20089 17948 104 219 0 19866 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 80356 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1800496/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=81488 CPUtime=1361.85 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 24463 0 0 0 136047 138 0 0 25 0 1 0 251024700 83443712 18245 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 20372 18245 104 219 0 20149 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 81488 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1799280/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=81488 CPUtime=1421.84 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 24758 0 0 0 142041 143 0 0 25 0 1 0 251024700 83443712 18540 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 20372 18540 104 219 0 20149 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 81488 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1798064/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=82688 CPUtime=1481.83 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 25047 0 0 0 148036 147 0 0 25 0 1 0 251024700 84672512 18829 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 20672 18829 104 219 0 20449 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 82688 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1796912/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=82688 CPUtime=1541.81 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 25334 0 0 0 154030 151 0 0 25 0 1 0 251024700 84672512 19116 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 20672 19116 104 219 0 20449 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 82688 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1795824/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=83964 CPUtime=1601.79 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 25619 0 0 0 160024 155 0 0 25 0 1 0 251024700 85979136 19401 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 20991 19401 104 219 0 20768 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 83964 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1794672/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=83964 CPUtime=1661.78 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 25895 0 0 0 166019 159 0 0 25 0 1 0 251024700 85979136 19677 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552810 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 20991 19677 104 219 0 20768 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 83964 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1793520/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=85320 CPUtime=1721.77 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 26170 0 0 0 172014 163 0 0 25 0 1 0 251024700 87367680 19952 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 21330 19952 104 219 0 21107 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 85320 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1792368/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=85320 CPUtime=1781.75 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 26442 0 0 0 178008 167 0 0 25 0 1 0 251024700 87367680 20224 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 21330 20224 104 219 0 21107 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 85320 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/78 3254 /proc/meminfo: memFree=1791984/2055920 swapFree=4148768/4192956 [pid=3055] ppid=3053 vsize=85320 CPUtime=1800.06 /proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 26524 0 0 0 179838 168 0 0 25 0 1 0 251024700 87367680 20306 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3055/statm: 21330 20306 104 219 0 21107 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 85320 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.08 CPU user time (s): 1798.38 CPU system time (s): 1.69474 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 85320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.38 system time used= 1.69474 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26525 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= 36199 runsolver used 1.47477 second user time and 4.01439 second system time The end
Begin job on node14 on Tue May 1 14:51:09 UTC 2007 IDJOB= 454779 IDBENCH= 48220 IDSOLVER= 157 FILE ID= node14/454779-1178031069 PBS_JOBID= 4728392 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/mis/normalized-mis_500_10_2.opb COMMAND LINE= /tmp/evaluation/454779-1178031069/PBS4 /tmp/evaluation/454779-1178031069/instance-454779-1178031069.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node14/convwatcher-454779-1178031069 -o ROOT/results/node14/conversion-454779-1178031069 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/454779-1178031069/instance-454779-1178031069.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-454779-1178031069 -o ROOT/results/node14/solver-454779-1178031069 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/454779-1178031069/PBS4 /tmp/evaluation/454779-1178031069/instance-454779-1178031069.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 8d62286ae12c02f1d9e42b05c51333f2 RANDOM SEED= 940788760 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 1874952 kB Buffers: 28560 kB Cached: 65900 kB SwapCached: 11212 kB Active: 72676 kB Inactive: 44532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1874952 kB SwapTotal: 4192956 kB SwapFree: 4148768 kB Dirty: 1608 kB Writeback: 0 kB Mapped: 29492 kB Slab: 49320 kB Committed_AS: 8228056 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 node14 on Tue May 1 15:21:12 UTC 2007