Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.72 | 1801.29 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb |
MD5SUM | 669011fc499ae56e44c354cc6cddc4c7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -49 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 80851 |
Number of constraints which are clauses | 80851 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1150 |
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 | 1150 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1150 |
Number of bits of the biggest sum of numbers | 11 |
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/node42/41942-1149299169/instance-41942-1149299169.opb ...... 0.51 c done parsing opb. 0.51 o 1150 0.52 o 1149 0.53 o 1148 0.54 o 1147 0.91 o 1146 0.92 o 1115 3.64 o 1114 10.96 o 1113 15.61 o 1112 19.41 o 1111 217.34 o 1110 245.48 o 1109
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/node42/watcher-41942-1149299169 -o ROOT/results/node42/solver-41942-1149299169 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41942-1149299169/instance-41942-1149299169.opb 810847874 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1560528/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=1400 CPUtime=0 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 153 0 0 0 0 0 0 0 19 0 1 0 195583994 1433600 131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599020 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 350 132 90 232 0 115 0 [startup+10.0022 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1496984/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=71768 CPUtime=9.99 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 16723 0 0 0 991 8 0 0 25 0 1 0 195583994 73490432 15961 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 17942 15961 108 232 0 17707 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 71768 [startup+20.0083 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1465176/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=141280 CPUtime=20.06 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 24672 0 0 0 1992 14 0 0 25 0 1 0 195583994 144670720 23910 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549492 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 35320 23910 108 232 0 35085 0 Current children cumulated CPU time (s) 20.06 Current children cumulated vsize (Kb) 141280 [startup+30.0844 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1445016/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=143160 CPUtime=30.06 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 29699 0 0 0 2990 16 0 0 25 0 1 0 195583994 146595840 28937 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550057 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 35790 28937 108 232 0 35555 0 Current children cumulated CPU time (s) 30.06 Current children cumulated vsize (Kb) 143160 [startup+40.0906 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1438552/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=144844 CPUtime=40.07 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 31320 0 0 0 3989 18 0 0 25 0 1 0 195583994 148320256 30558 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 36211 30558 108 232 0 35976 0 Current children cumulated CPU time (s) 40.07 Current children cumulated vsize (Kb) 144844 [startup+50.0967 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1431192/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=145964 CPUtime=50.07 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 33178 0 0 0 4988 19 0 0 25 0 1 0 195583994 149467136 32416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 36491 32416 108 232 0 36256 0 Current children cumulated CPU time (s) 50.07 Current children cumulated vsize (Kb) 145964 [startup+60.1028 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1427992/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=147644 CPUtime=60.07 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 33969 0 0 0 5987 20 0 0 25 0 1 0 195583994 151187456 33207 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 36911 33207 108 232 0 36676 0 Current children cumulated CPU time (s) 60.07 Current children cumulated vsize (Kb) 147644 [startup+70.1089 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1425432/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=148736 CPUtime=70.08 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 34591 0 0 0 6986 22 0 0 25 0 1 0 195583994 152305664 33829 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549267 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 37184 33829 108 232 0 36949 0 Current children cumulated CPU time (s) 70.08 Current children cumulated vsize (Kb) 148736 [startup+80.1151 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1423064/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=149552 CPUtime=80.08 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 35181 0 0 0 7985 23 0 0 25 0 1 0 195583994 153141248 34419 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 37388 34419 108 232 0 37153 0 Current children cumulated CPU time (s) 80.08 Current children cumulated vsize (Kb) 149552 [startup+90.1212 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1421848/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=150176 CPUtime=90.08 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 35495 0 0 0 8984 24 0 0 25 0 1 0 195583994 153780224 34733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 37544 34733 108 232 0 37309 0 Current children cumulated CPU time (s) 90.08 Current children cumulated vsize (Kb) 150176 [startup+100.127 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1420504/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=154272 CPUtime=100.08 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 36592 0 0 0 9983 25 0 0 25 0 1 0 195583994 157974528 35061 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 38568 35061 108 232 0 38333 0 Current children cumulated CPU time (s) 100.08 Current children cumulated vsize (Kb) 154272 [startup+110.133 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1419608/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=154560 CPUtime=110.09 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 36813 0 0 0 10982 27 0 0 25 0 1 0 195583994 158269440 35282 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558960 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 38640 35282 108 232 0 38405 0 Current children cumulated CPU time (s) 110.09 Current children cumulated vsize (Kb) 154560 [startup+120.14 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1418840/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=155180 CPUtime=120.09 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 37000 0 0 0 11981 28 0 0 25 0 1 0 195583994 158904320 35469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 38795 35469 108 232 0 38560 0 Current children cumulated CPU time (s) 120.09 Current children cumulated vsize (Kb) 155180 [startup+130.146 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1418200/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=155664 CPUtime=130.09 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 37182 0 0 0 12980 29 0 0 25 0 1 0 195583994 159399936 35651 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549008 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 38916 35651 108 232 0 38681 0 Current children cumulated CPU time (s) 130.09 Current children cumulated vsize (Kb) 155664 [startup+140.152 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1417560/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=156260 CPUtime=140.1 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 37336 0 0 0 13980 30 0 0 25 0 1 0 195583994 160010240 35805 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550022 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 39065 35805 108 232 0 38830 0 Current children cumulated CPU time (s) 140.1 Current children cumulated vsize (Kb) 156260 [startup+150.158 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1416728/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=156928 CPUtime=150.1 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 37537 0 0 0 14979 31 0 0 25 0 1 0 195583994 160694272 36006 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 39232 36006 108 232 0 38997 0 Current children cumulated CPU time (s) 150.1 Current children cumulated vsize (Kb) 156928 [startup+160.164 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1416216/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=157296 CPUtime=160.11 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 37675 0 0 0 15979 32 0 0 25 0 1 0 195583994 161071104 36144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611848 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 39324 36144 108 232 0 39089 0 Current children cumulated CPU time (s) 160.11 Current children cumulated vsize (Kb) 157296 [startup+170.169 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1415768/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=157608 CPUtime=170.11 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 37779 0 0 0 16978 33 0 0 25 0 1 0 195583994 161390592 36248 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594595 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 39402 36248 108 232 0 39167 0 Current children cumulated CPU time (s) 170.11 Current children cumulated vsize (Kb) 157608 [startup+180.175 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1414936/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=158504 CPUtime=180.11 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 37978 0 0 0 17978 33 0 0 25 0 1 0 195583994 162308096 36447 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 39626 36447 108 232 0 39391 0 Current children cumulated CPU time (s) 180.11 Current children cumulated vsize (Kb) 158504 [startup+190.181 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1414552/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=158664 CPUtime=190.12 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 38080 0 0 0 18977 35 0 0 25 0 1 0 195583994 162471936 36549 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546257 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 39666 36549 108 232 0 39431 0 Current children cumulated CPU time (s) 190.12 Current children cumulated vsize (Kb) 158664 [startup+200.188 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1413912/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=159280 CPUtime=200.11 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 38240 0 0 0 19976 35 0 0 25 0 1 0 195583994 163102720 36709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552008 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 39820 36709 108 232 0 39585 0 Current children cumulated CPU time (s) 200.11 Current children cumulated vsize (Kb) 159280 [startup+210.194 s] /proc/loadavg: 1.00 0.99 0.92 2/64 12488 /proc/meminfo: memFree=1413144/2055920 swapFree=4181444/4192956 ################ # More data... # ################ /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51519 0 0 0 177997 161 0 0 25 0 1 0 195583994 205017088 45378 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45378 108 232 0 49818 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 200212 [startup+1783.16 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357592/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1782.59 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51520 0 0 0 178098 161 0 0 25 0 1 0 195583994 205017088 45379 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45379 108 232 0 49818 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 200212 [startup+1784.16 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357592/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1783.59 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51523 0 0 0 178198 161 0 0 25 0 1 0 195583994 205017088 45382 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45382 108 232 0 49818 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 200212 [startup+1785.17 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357592/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1784.6 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51528 0 0 0 178299 161 0 0 25 0 1 0 195583994 205017088 45387 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45387 108 232 0 49818 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 200212 [startup+1786.17 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357592/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1785.61 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51530 0 0 0 178399 162 0 0 25 0 1 0 195583994 205017088 45389 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45389 108 232 0 49818 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (Kb) 200212 [startup+1787.18 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357528/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1786.61 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51536 0 0 0 178499 162 0 0 25 0 1 0 195583994 205017088 45395 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45395 108 232 0 49818 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 200212 [startup+1788.18 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357528/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1787.62 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51539 0 0 0 178600 162 0 0 25 0 1 0 195583994 205017088 45398 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45398 108 232 0 49818 0 Current children cumulated CPU time (s) 1787.62 Current children cumulated vsize (Kb) 200212 [startup+1789.19 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357528/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1788.62 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51544 0 0 0 178700 162 0 0 25 0 1 0 195583994 205017088 45403 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45403 108 232 0 49818 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 200212 [startup+1790.19 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357528/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1789.62 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51547 0 0 0 178800 162 0 0 25 0 1 0 195583994 205017088 45406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549064 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45406 108 232 0 49818 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 200212 [startup+1791.2 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357464/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1790.62 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51553 0 0 0 178900 162 0 0 25 0 1 0 195583994 205017088 45412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45412 108 232 0 49818 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 200212 [startup+1792.2 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357464/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1791.63 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51554 0 0 0 179001 162 0 0 25 0 1 0 195583994 205017088 45413 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45413 108 232 0 49818 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 200212 [startup+1793.21 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357464/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1792.63 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51561 0 0 0 179101 162 0 0 25 0 1 0 195583994 205017088 45420 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45420 108 232 0 49818 0 Current children cumulated CPU time (s) 1792.63 Current children cumulated vsize (Kb) 200212 [startup+1794.21 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357464/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1793.65 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51563 0 0 0 179202 163 0 0 25 0 1 0 195583994 205017088 45422 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45422 108 232 0 49818 0 Current children cumulated CPU time (s) 1793.65 Current children cumulated vsize (Kb) 200212 [startup+1795.22 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357400/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1794.65 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51569 0 0 0 179302 163 0 0 25 0 1 0 195583994 205017088 45428 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45428 108 232 0 49818 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 200212 [startup+1796.22 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357400/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1795.65 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51570 0 0 0 179402 163 0 0 25 0 1 0 195583994 205017088 45429 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45429 108 232 0 49818 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 200212 [startup+1797.23 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357400/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1796.66 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51572 0 0 0 179503 163 0 0 25 0 1 0 195583994 205017088 45431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45431 108 232 0 49818 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 200212 [startup+1798.23 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357400/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1797.66 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51577 0 0 0 179603 163 0 0 25 0 1 0 195583994 205017088 45436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45436 108 232 0 49818 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 200212 [startup+1799.24 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357400/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1798.67 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51579 0 0 0 179704 163 0 0 25 0 1 0 195583994 205017088 45438 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45438 108 232 0 49818 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 200212 [startup+1800.24 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357336/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1799.67 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51581 0 0 0 179804 163 0 0 25 0 1 0 195583994 205017088 45440 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549008 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45440 108 232 0 49818 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 200212 [startup+1801.25 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357336/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1800.68 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51586 0 0 0 179905 163 0 0 25 0 1 0 195583994 205017088 45445 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546338 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45445 108 232 0 49818 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 200212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.25 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13159 /proc/meminfo: memFree=1357336/2055920 swapFree=4181444/4192956 [pid=12488] ppid=12486 vsize=200212 CPUtime=1800.68 /proc/12488/stat : 12488 (PBS4L) R 12486 12488 12442 0 -1 4194304 51586 0 0 0 179905 163 0 0 25 0 1 0 195583994 205017088 45445 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/12488/statm: 50053 45445 108 232 0 49818 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 200212 Sending SIGTERM to -12488 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.29 CPU time (s): 1800.72 CPU user time (s): 1799.06 CPU system time (s): 1.66275 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (Kb): 200212 The end
Begin job on node42 on Sat Jun 3 01:46:09 UTC 2006 FILE ID= 41942-1149299169 PBS_JOBID= 307272 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41942-1149299169/instance-41942-1149299169.opb 810847874 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-41942-1149299169 -o ROOT/results/node42/solver-41942-1149299169 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41942-1149299169/instance-41942-1149299169.opb 810847874 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 669011fc499ae56e44c354cc6cddc4c7 RANDOM SEED= 810847874 /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.216 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.216 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: 1560736 kB Buffers: 20408 kB Cached: 403396 kB SwapCached: 3304 kB Active: 36632 kB Inactive: 395936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1560736 kB SwapTotal: 4192956 kB SwapFree: 4181444 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14932 kB Slab: 48624 kB Committed_AS: 307252 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node42 on Sat Jun 3 02:16:11 UTC 2006