Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.55 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb |
MD5SUM | fd717ffc3177aa889b23f16defdc157a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3248 |
Best CPU time to get the best result obtained on this benchmark | 1782.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3248 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 900 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 29 |
Number of constraints which are nor clauses,nor cardinality constraints | 871 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 555 |
Number of terms in the objective function | 421 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 72290 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 524691 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node89/41449-1149355090/instance-41449-1149355090.opb ...... 0.19 c done parsing opb. 0.19 o 4687
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node89/watcher-41449-1149355090 -o ROOT/results/node89/solver-41449-1149355090 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41449-1149355090/instance-41449-1149355090.opb 322747529 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1850072/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=2076 CPUtime=0 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 211 0 0 0 0 0 0 0 18 0 1 0 201148067 2125824 196 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 519 197 90 232 0 284 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1844312/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=8732 CPUtime=9.99 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 1577 0 0 0 996 3 0 0 25 0 1 0 201148067 8941568 1554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 2183 1554 108 232 0 1948 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 8732 [startup+20.0082 s] /proc/loadavg: 0.94 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1842456/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=9004 CPUtime=20 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 2071 0 0 0 1994 6 0 0 25 0 1 0 201148067 9220096 2048 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 2251 2048 108 232 0 2016 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 9004 [startup+30.0141 s] /proc/loadavg: 0.95 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1840472/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=13560 CPUtime=30 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 2563 0 0 0 2992 8 0 0 25 0 1 0 201148067 13885440 2540 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 3390 2540 108 232 0 3155 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 13560 [startup+40.02 s] /proc/loadavg: 0.96 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1838552/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=13948 CPUtime=40 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3046 0 0 0 3990 10 0 0 25 0 1 0 201148067 14282752 3023 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 3487 3023 108 232 0 3252 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 13948 [startup+50.0258 s] /proc/loadavg: 0.96 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1836888/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=14492 CPUtime=50 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3487 0 0 0 4988 12 0 0 25 0 1 0 201148067 14839808 3415 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 3623 3415 108 232 0 3388 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 14492 [startup+60.0317 s] /proc/loadavg: 0.97 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1836760/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=14672 CPUtime=60 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3545 0 0 0 5986 14 0 0 25 0 1 0 201148067 15024128 3473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 3668 3473 108 232 0 3433 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 14672 [startup+70.0376 s] /proc/loadavg: 0.97 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1836568/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=14804 CPUtime=70.01 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3602 0 0 0 6984 17 0 0 25 0 1 0 201148067 15159296 3530 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546266 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 3701 3530 108 232 0 3466 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 14804 [startup+80.0434 s] /proc/loadavg: 0.98 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1836312/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=15160 CPUtime=80.01 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3670 0 0 0 7982 19 0 0 25 0 1 0 201148067 15523840 3598 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 3790 3598 108 232 0 3555 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 15160 [startup+90.0493 s] /proc/loadavg: 0.98 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1836184/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=15160 CPUtime=90.01 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3697 0 0 0 8981 20 0 0 25 0 1 0 201148067 15523840 3625 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 3790 3625 108 232 0 3555 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 15160 [startup+100.055 s] /proc/loadavg: 0.98 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1835736/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=15748 CPUtime=100.01 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3850 0 0 0 9979 22 0 0 25 0 1 0 201148067 16125952 3681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 3937 3681 108 232 0 3702 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 15748 [startup+110.061 s] /proc/loadavg: 0.98 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1835736/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=15948 CPUtime=110.01 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3899 0 0 0 10977 24 0 0 25 0 1 0 201148067 16330752 3730 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 3987 3730 108 232 0 3752 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 15948 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1835544/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=16100 CPUtime=120.01 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3941 0 0 0 11975 26 0 0 25 0 1 0 201148067 16486400 3772 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 4025 3772 108 232 0 3790 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 16100 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1835288/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=16344 CPUtime=130.02 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 4018 0 0 0 12973 29 0 0 25 0 1 0 201148067 16736256 3849 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 4086 3849 108 232 0 3851 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 16344 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1835160/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=16344 CPUtime=140.02 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 4046 0 0 0 13971 31 0 0 25 0 1 0 201148067 16736256 3877 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 4086 3877 108 232 0 3851 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 16344 [startup+150.084 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1834968/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=16496 CPUtime=150.02 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 4079 0 0 0 14969 33 0 0 25 0 1 0 201148067 16891904 3910 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 4124 3910 108 232 0 3889 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 16496 [startup+160.09 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1834840/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=16584 CPUtime=160.02 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 4112 0 0 0 15967 35 0 0 25 0 1 0 201148067 16982016 3943 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 4146 3943 108 232 0 3911 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 16584 [startup+170.096 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1834776/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=16584 CPUtime=170.03 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 4133 0 0 0 16965 38 0 0 25 0 1 0 201148067 16982016 3964 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 4146 3964 108 232 0 3911 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 16584 [startup+180.102 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1834648/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=16744 CPUtime=180.04 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 4159 0 0 0 17963 41 0 0 25 0 1 0 201148067 17145856 3990 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 4186 3990 108 232 0 3951 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 16744 [startup+190.108 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1834520/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=16864 CPUtime=190.04 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 4201 0 0 0 18961 43 0 0 25 0 1 0 201148067 17268736 4032 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 4216 4032 108 232 0 3981 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 16864 [startup+200.113 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1834328/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=17028 CPUtime=200.04 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 4239 0 0 0 19958 46 0 0 25 0 1 0 201148067 17436672 4070 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 4257 4070 108 232 0 4022 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 17028 [startup+210.119 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29010 /proc/meminfo: memFree=1834008/2055892 swapFree=4085352/4096564 ################ # More data... # ################ /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9110 0 0 0 177785 359 0 0 25 0 1 0 201148067 32292864 7594 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7884 7594 108 232 0 7649 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 31536 [startup+1783.06 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819800/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31536 CPUtime=1782.46 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9111 0 0 0 177886 360 0 0 25 0 1 0 201148067 32292864 7595 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7884 7595 108 232 0 7649 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 31536 [startup+1784.07 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819800/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31536 CPUtime=1783.46 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9112 0 0 0 177986 360 0 0 25 0 1 0 201148067 32292864 7596 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7884 7596 108 232 0 7649 0 Current children cumulated CPU time (s) 1783.46 Current children cumulated vsize (Kb) 31536 [startup+1785.07 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819800/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31536 CPUtime=1784.46 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9112 0 0 0 178086 360 0 0 25 0 1 0 201148067 32292864 7596 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7884 7596 108 232 0 7649 0 Current children cumulated CPU time (s) 1784.46 Current children cumulated vsize (Kb) 31536 [startup+1786.08 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819800/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31536 CPUtime=1785.47 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9113 0 0 0 178187 360 0 0 25 0 1 0 201148067 32292864 7597 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7884 7597 108 232 0 7649 0 Current children cumulated CPU time (s) 1785.47 Current children cumulated vsize (Kb) 31536 [startup+1787.08 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819800/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31536 CPUtime=1786.47 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9123 0 0 0 178287 360 0 0 25 0 1 0 201148067 32292864 7607 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7884 7607 108 232 0 7649 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 31536 [startup+1788.09 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31536 CPUtime=1787.47 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9128 0 0 0 178387 360 0 0 25 0 1 0 201148067 32292864 7612 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7884 7612 108 232 0 7649 0 Current children cumulated CPU time (s) 1787.47 Current children cumulated vsize (Kb) 31536 [startup+1789.09 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31536 CPUtime=1788.48 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9129 0 0 0 178487 361 0 0 25 0 1 0 201148067 32292864 7613 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551585 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7884 7613 108 232 0 7649 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (Kb) 31536 [startup+1790.1 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31536 CPUtime=1789.49 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9129 0 0 0 178588 361 0 0 25 0 1 0 201148067 32292864 7613 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7884 7613 108 232 0 7649 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 31536 [startup+1791.1 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31536 CPUtime=1790.49 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9130 0 0 0 178688 361 0 0 25 0 1 0 201148067 32292864 7614 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7884 7614 108 232 0 7649 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 31536 [startup+1792.11 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31536 CPUtime=1791.49 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9131 0 0 0 178788 361 0 0 25 0 1 0 201148067 32292864 7615 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7884 7615 108 232 0 7649 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (Kb) 31536 [startup+1793.11 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31536 CPUtime=1792.49 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9132 0 0 0 178888 361 0 0 25 0 1 0 201148067 32292864 7616 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549354 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7884 7616 108 232 0 7649 0 Current children cumulated CPU time (s) 1792.49 Current children cumulated vsize (Kb) 31536 [startup+1794.12 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31536 CPUtime=1793.51 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9132 0 0 0 178989 362 0 0 25 0 1 0 201148067 32292864 7616 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551957 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7884 7616 108 232 0 7649 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 31536 [startup+1795.12 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31536 CPUtime=1794.51 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9133 0 0 0 179089 362 0 0 25 0 1 0 201148067 32292864 7617 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7884 7617 108 232 0 7649 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 31536 [startup+1796.12 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31536 CPUtime=1795.51 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9134 0 0 0 179189 362 0 0 25 0 1 0 201148067 32292864 7618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7884 7618 108 232 0 7649 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 31536 [startup+1797.13 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819672/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31616 CPUtime=1796.51 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9140 0 0 0 179289 362 0 0 25 0 1 0 201148067 32374784 7624 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7904 7624 108 232 0 7669 0 Current children cumulated CPU time (s) 1796.51 Current children cumulated vsize (Kb) 31616 [startup+1798.14 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819672/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31616 CPUtime=1797.52 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9141 0 0 0 179390 362 0 0 25 0 1 0 201148067 32374784 7625 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7904 7625 108 232 0 7669 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 31616 [startup+1799.14 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819672/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31616 CPUtime=1798.52 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9143 0 0 0 179490 362 0 0 25 0 1 0 201148067 32374784 7627 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7904 7627 108 232 0 7669 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (Kb) 31616 [startup+1800.14 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819672/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31616 CPUtime=1799.52 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9144 0 0 0 179590 362 0 0 25 0 1 0 201148067 32374784 7628 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7904 7628 108 232 0 7669 0 Current children cumulated CPU time (s) 1799.52 Current children cumulated vsize (Kb) 31616 [startup+1801.15 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819672/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31616 CPUtime=1800.53 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9145 0 0 0 179690 363 0 0 25 0 1 0 201148067 32374784 7629 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7904 7629 108 232 0 7669 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 31616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 0.99 0.98 0.92 2/68 29012 /proc/meminfo: memFree=1819672/2055892 swapFree=4085352/4096564 [pid=29010] ppid=29008 vsize=31616 CPUtime=1800.54 /proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9145 0 0 0 179691 363 0 0 25 0 1 0 201148067 32374784 7629 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29010/statm: 7904 7629 108 232 0 7669 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 31616 Sending SIGTERM to -29010 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.55 CPU user time (s): 1796.91 CPU system time (s): 3.63745 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (Kb): 31616 The end
Begin job on node89 on Sat Jun 3 17:18:10 UTC 2006 FILE ID= 41449-1149355090 PBS_JOBID= 311204 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41449-1149355090/instance-41449-1149355090.opb 322747529 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node89/watcher-41449-1149355090 -o ROOT/results/node89/solver-41449-1149355090 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41449-1149355090/instance-41449-1149355090.opb 322747529 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= fd717ffc3177aa889b23f16defdc157a RANDOM SEED= 322747529 /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.265 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 : 6006.16 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.265 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1850280 kB Buffers: 26860 kB Cached: 117500 kB SwapCached: 2384 kB Active: 51124 kB Inactive: 101836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1850280 kB SwapTotal: 4096564 kB SwapFree: 4085352 kB Dirty: 168 kB Writeback: 0 kB Mapped: 16524 kB Slab: 39188 kB Committed_AS: 367440 kB PageTables: 1300 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node89 on Sat Jun 3 17:48:11 UTC 2006