Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.68 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-noswot.opb |
MD5SUM | aaad086a46811221a1e6b3eb30cad49d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7 |
Best CPU time to get the best result obtained on this benchmark | 2.03269 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
Optimality of the best value was proved | YES |
Number of variables | 1340 |
Total number of constraints | 207 |
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 | 207 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 425 |
Number of terms in the objective function | 425 |
Biggest coefficient in the objective function | 10486 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 524475 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262137 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524482 |
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/node87/41480-1149362683/instance-41480-1149362683.opb ...... 0.04 c done parsing opb. 0.04 o 524474 0.31 o 524468
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/node87/watcher-41480-1149362683 -o ROOT/results/node87/solver-41480-1149362683 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node87/41480-1149362683/instance-41480-1149362683.opb 202205199 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1710192/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=1104 CPUtime=0 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 83 0 0 0 0 0 0 0 19 0 1 0 201907455 1130496 68 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135095683 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 341 78 68 232 0 106 0 [startup+10.0021 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1675248/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=68996 CPUtime=9.98 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 8942 0 0 0 992 6 0 0 25 0 1 0 201907455 70651904 8860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 17249 8860 108 232 0 17014 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 68996 [startup+20.0083 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1663024/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=69800 CPUtime=19.99 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 12081 0 0 0 1988 11 0 0 25 0 1 0 201907455 71475200 11902 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 17450 11902 108 232 0 17215 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 69800 [startup+30.0135 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1652464/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=70100 CPUtime=29.99 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 14709 0 0 0 2984 15 0 0 25 0 1 0 201907455 71782400 14530 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 17525 14530 108 232 0 17290 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 70100 [startup+40.0196 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1641712/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=70260 CPUtime=40 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 17398 0 0 0 3981 19 0 0 25 0 1 0 201907455 71946240 17219 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559353 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 17565 17219 108 232 0 17330 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 70260 [startup+50.0258 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1631152/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=137076 CPUtime=50 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 20215 0 0 0 4977 23 0 0 25 0 1 0 201907455 140365824 19843 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550043 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 34269 19843 108 232 0 34034 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 137076 [startup+60.0319 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1630064/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=137620 CPUtime=60.01 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 20496 0 0 0 5976 25 0 0 25 0 1 0 201907455 140922880 20124 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 34405 20124 108 232 0 34170 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 137620 [startup+70.0381 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1623792/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=137812 CPUtime=70.01 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 22076 0 0 0 6974 27 0 0 25 0 1 0 201907455 141119488 21704 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611867 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 34453 21704 108 232 0 34218 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 137812 [startup+80.0443 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1618672/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=138120 CPUtime=80.01 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 23353 0 0 0 7971 30 0 0 25 0 1 0 201907455 141434880 22981 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 34530 22981 108 232 0 34295 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 138120 [startup+90.0494 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1617200/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=138488 CPUtime=90.01 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 23716 0 0 0 8970 31 0 0 25 0 1 0 201907455 141811712 23344 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 34622 23344 108 232 0 34387 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 138488 [startup+100.056 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1616816/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=138856 CPUtime=100.01 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 23804 0 0 0 9969 32 0 0 25 0 1 0 201907455 142188544 23432 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558793 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 34714 23432 108 232 0 34479 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 138856 [startup+110.062 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1616432/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=139036 CPUtime=110.01 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 23901 0 0 0 10968 33 0 0 25 0 1 0 201907455 142372864 23529 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 34759 23529 108 232 0 34524 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 139036 [startup+120.068 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1613488/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=139036 CPUtime=120.02 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 24625 0 0 0 11967 35 0 0 25 0 1 0 201907455 142372864 24253 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 34759 24253 108 232 0 34524 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 139036 [startup+130.074 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1612400/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=139036 CPUtime=130.03 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 24893 0 0 0 12966 37 0 0 25 0 1 0 201907455 142372864 24521 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 34759 24521 108 232 0 34524 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 139036 [startup+140.08 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1607856/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=139220 CPUtime=140.03 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 26031 0 0 0 13964 39 0 0 25 0 1 0 201907455 142561280 25659 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 34805 25659 108 232 0 34570 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 139220 [startup+150.085 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1607600/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=139220 CPUtime=150.03 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 26099 0 0 0 14963 40 0 0 25 0 1 0 201907455 142561280 25727 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 34805 25727 108 232 0 34570 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 139220 [startup+160.092 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1606000/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=140956 CPUtime=160.03 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 26854 0 0 0 15962 41 0 0 25 0 1 0 201907455 144338944 26097 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 35239 26097 108 232 0 35004 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 140956 [startup+170.098 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1606000/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=140956 CPUtime=170.03 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 26890 0 0 0 16961 42 0 0 25 0 1 0 201907455 144338944 26133 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558811 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 35239 26133 108 232 0 35004 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 140956 [startup+180.104 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1603440/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=141148 CPUtime=180.04 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 27531 0 0 0 17960 44 0 0 25 0 1 0 201907455 144535552 26774 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 35287 26774 108 232 0 35052 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 141148 [startup+190.11 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2734 /proc/meminfo: memFree=1598448/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=141284 CPUtime=190.04 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 28776 0 0 0 18958 46 0 0 25 0 1 0 201907455 144674816 28019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 35321 28019 108 232 0 35086 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 141284 [startup+200.116 s] /proc/loadavg: 1.07 1.02 0.94 2/67 2734 /proc/meminfo: memFree=1597040/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=141428 CPUtime=200.05 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 29112 0 0 0 19958 47 0 0 25 0 1 0 201907455 144822272 28355 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 35357 28355 108 232 0 35122 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 141428 [startup+210.122 s] /proc/loadavg: 1.06 1.02 0.94 2/67 2734 /proc/meminfo: memFree=1596784/2055888 swapFree=4085404/4096564 ################ # More data... # ################ /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 84786 0 0 0 177984 170 0 0 25 0 1 0 201907455 438915072 80700 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 80700 108 232 0 106922 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 428628 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1385840/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1782.54 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 84856 0 0 0 178084 170 0 0 25 0 1 0 201907455 438915072 80770 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 80770 108 232 0 106922 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 428628 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1385584/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1783.54 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 84912 0 0 0 178184 170 0 0 25 0 1 0 201907455 438915072 80826 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558947 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 80826 108 232 0 106922 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 428628 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1385456/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1784.55 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 84952 0 0 0 178285 170 0 0 25 0 1 0 201907455 438915072 80866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559364 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 80866 108 232 0 106922 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 428628 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1385136/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1785.55 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85034 0 0 0 178385 170 0 0 25 0 1 0 201907455 438915072 80948 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558841 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 80948 108 232 0 106922 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 428628 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1384816/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1786.55 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85119 0 0 0 178485 170 0 0 25 0 1 0 201907455 438915072 81033 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 81033 108 232 0 106922 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 428628 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1384432/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1787.56 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85210 0 0 0 178586 170 0 0 25 0 1 0 201907455 438915072 81124 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558803 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 81124 108 232 0 106922 0 Current children cumulated CPU time (s) 1787.56 Current children cumulated vsize (Kb) 428628 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1384112/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1788.56 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85291 0 0 0 178686 170 0 0 25 0 1 0 201907455 438915072 81205 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 81205 108 232 0 106922 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 428628 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1383920/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1789.57 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85341 0 0 0 178787 170 0 0 25 0 1 0 201907455 438915072 81255 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550000 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 81255 108 232 0 106922 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 428628 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1383856/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1790.57 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85351 0 0 0 178887 170 0 0 25 0 1 0 201907455 438915072 81265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 81265 108 232 0 106922 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 428628 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1383664/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1791.58 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85401 0 0 0 178988 170 0 0 25 0 1 0 201907455 438915072 81315 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 81315 108 232 0 106922 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 428628 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 0.94 3/67 2736 /proc/meminfo: memFree=1383344/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1792.59 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85480 0 0 0 179088 171 0 0 25 0 1 0 201907455 438915072 81394 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558832 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 81394 108 232 0 106922 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 428628 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1383024/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1793.59 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85562 0 0 0 179188 171 0 0 25 0 1 0 201907455 438915072 81476 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 81476 108 232 0 106922 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 428628 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1382640/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1794.59 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85645 0 0 0 179288 171 0 0 25 0 1 0 201907455 438915072 81559 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 81559 108 232 0 106922 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 428628 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1382320/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1795.6 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85735 0 0 0 179389 171 0 0 25 0 1 0 201907455 438915072 81649 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 81649 108 232 0 106922 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 428628 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1382000/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1796.6 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85816 0 0 0 179489 171 0 0 25 0 1 0 201907455 438915072 81730 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 81730 108 232 0 106922 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 428628 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1381680/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1797.6 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85896 0 0 0 179589 171 0 0 25 0 1 0 201907455 438915072 81810 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 81810 108 232 0 106922 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 428628 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1381616/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1798.61 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85902 0 0 0 179690 171 0 0 25 0 1 0 201907455 438915072 81816 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611867 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 81816 108 232 0 106922 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (Kb) 428628 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1381616/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1799.61 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85904 0 0 0 179790 171 0 0 25 0 1 0 201907455 438915072 81818 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 81818 108 232 0 106922 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 428628 [startup+1801.16 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1381616/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1800.62 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85904 0 0 0 179891 171 0 0 25 0 1 0 201907455 438915072 81818 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 81818 108 232 0 106922 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 428628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 1.00 1.00 0.94 2/67 2736 /proc/meminfo: memFree=1381616/2055888 swapFree=4085404/4096564 [pid=2734] ppid=2732 vsize=428628 CPUtime=1800.62 /proc/2734/stat : 2734 (PBS4L) R 2732 2734 2688 0 -1 4194304 85904 0 0 0 179891 171 0 0 25 0 1 0 201907455 438915072 81818 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2734/statm: 107157 81818 108 232 0 106922 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 428628 Sending SIGTERM to -2734 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.22 CPU time (s): 1800.68 CPU user time (s): 1798.92 CPU system time (s): 1.76573 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (Kb): 428628 The end
Begin job on node87 on Sat Jun 3 19:24:43 UTC 2006 FILE ID= 41480-1149362683 PBS_JOBID= 311603 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-noswot.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node87/41480-1149362683/instance-41480-1149362683.opb 202205199 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node87/watcher-41480-1149362683 -o ROOT/results/node87/solver-41480-1149362683 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node87/41480-1149362683/instance-41480-1149362683.opb 202205199 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= aaad086a46811221a1e6b3eb30cad49d RANDOM SEED= 202205199 /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.234 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.17 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.234 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1710536 kB Buffers: 27384 kB Cached: 253896 kB SwapCached: 2348 kB Active: 47912 kB Inactive: 242032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1710536 kB SwapTotal: 4096564 kB SwapFree: 4085404 kB Dirty: 168 kB Writeback: 0 kB Mapped: 16760 kB Slab: 42040 kB Committed_AS: 300216 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node87 on Sat Jun 3 19:54:44 UTC 2006