Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.74 | 1801.29 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb |
MD5SUM | bae2de9f4879fca72b44ba1c72e8b4a3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -7863 |
Best CPU time to get the best result obtained on this benchmark | 1800.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7952 |
Optimality of the best value was proved | NO |
Number of variables | 2993 |
Total number of constraints | 112 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 73 |
Number of constraints which are nor clauses,nor cardinality constraints | 39 |
Minimum length of a constraint | 41 |
Maximum length of a constraint | 73 |
Number of terms in the objective function | 2993 |
Biggest coefficient in the objective function | 2020 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 525822 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 96167 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 525822 |
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/node21/41454-1149356267/instance-41454-1149356267.opb ...... 0.11 c done parsing opb. 0.11 o 505104 0.13 o 505081 0.15 o 505064 0.18 o 505055 0.20 o 502546 0.22 o 502542 0.24 o 501787 241.77 o 501771 241.83 o 501539 334.69 o 501526
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/node21/watcher-41454-1149356267 -o ROOT/results/node21/solver-41454-1149356267 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node21/41454-1149356267/instance-41454-1149356267.opb 718236974 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1843512/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=1684 CPUtime=0 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 201289797 1724416 163 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 421 164 90 232 0 186 0 [startup+10.0033 s] /proc/loadavg: 0.93 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1804024/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=67840 CPUtime=9.99 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 10003 0 0 0 996 3 0 0 25 0 1 0 201289797 69468160 9979 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549285 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 16960 9979 108 232 0 16725 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 67840 [startup+20.0094 s] /proc/loadavg: 0.94 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1767992/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=133512 CPUtime=20 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 18987 0 0 0 1993 7 0 0 25 0 1 0 201289797 136716288 18963 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 33378 18963 108 232 0 33143 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 133512 [startup+30.0155 s] /proc/loadavg: 0.95 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1724600/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=133868 CPUtime=30 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 29828 0 0 0 2989 11 0 0 25 0 1 0 201289797 137080832 29804 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549303 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 33467 29804 108 232 0 33232 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 133868 [startup+40.0216 s] /proc/loadavg: 0.95 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1687544/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=265264 CPUtime=40 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 39061 0 0 0 3984 16 0 0 25 0 1 0 201289797 271630336 38988 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 66316 38988 108 232 0 66081 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 265264 [startup+50.0277 s] /proc/loadavg: 0.96 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1669304/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=265664 CPUtime=50.01 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 43629 0 0 0 4983 18 0 0 25 0 1 0 201289797 272039936 43556 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134612792 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 66416 43556 108 232 0 66181 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 265664 [startup+60.0338 s] /proc/loadavg: 0.97 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1656824/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=266216 CPUtime=60.01 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 46750 0 0 0 5982 19 0 0 25 0 1 0 201289797 272605184 46677 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 66554 46677 108 232 0 66319 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 266216 [startup+70.0399 s] /proc/loadavg: 0.97 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1647160/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=267404 CPUtime=70.01 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 49150 0 0 0 6980 21 0 0 25 0 1 0 201289797 273821696 49077 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 66851 49077 108 232 0 66616 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 267404 [startup+80.046 s] /proc/loadavg: 0.98 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1646648/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=268064 CPUtime=80.02 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 49357 0 0 0 7980 22 0 0 25 0 1 0 201289797 274497536 49187 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 67016 49187 108 232 0 66781 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 268064 [startup+90.0521 s] /proc/loadavg: 0.98 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1646456/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=268328 CPUtime=90.02 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 49438 0 0 0 8979 23 0 0 25 0 1 0 201289797 274767872 49268 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550010 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 67082 49268 108 232 0 66847 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 268328 [startup+100.058 s] /proc/loadavg: 0.98 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1646072/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=268724 CPUtime=100.03 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 49534 0 0 0 9980 23 0 0 25 0 1 0 201289797 275173376 49364 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 67181 49364 108 232 0 66946 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 268724 [startup+110.064 s] /proc/loadavg: 0.98 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1621496/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=268960 CPUtime=110.03 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 55652 0 0 0 10978 25 0 0 25 0 1 0 201289797 275415040 55482 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549466 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 67240 55482 108 232 0 67005 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 268960 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1616312/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=269220 CPUtime=120.04 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 56952 0 0 0 11977 27 0 0 25 0 1 0 201289797 275681280 56782 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559006 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 67305 56782 108 232 0 67070 0 Current children cumulated CPU time (s) 120.04 Current children cumulated vsize (Kb) 269220 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1589880/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=269488 CPUtime=130.04 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 63550 0 0 0 12974 30 0 0 25 0 1 0 201289797 275955712 63380 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 67372 63380 108 232 0 67137 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 269488 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1574072/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=270068 CPUtime=140.03 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 67484 0 0 0 13971 32 0 0 25 0 1 0 201289797 276549632 67314 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 67517 67314 108 232 0 67282 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 270068 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1573816/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=270836 CPUtime=150.04 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 67705 0 0 0 14971 33 0 0 25 0 1 0 201289797 277336064 67342 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558976 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 67709 67342 108 232 0 67474 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 270836 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1573816/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=270836 CPUtime=160.05 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 67737 0 0 0 15971 34 0 0 25 0 1 0 201289797 277336064 67374 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 67709 67374 108 232 0 67474 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 270836 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1573752/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=270836 CPUtime=170.05 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 67760 0 0 0 16971 34 0 0 25 0 1 0 201289797 277336064 67397 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594599 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 67709 67397 108 232 0 67474 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 270836 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1573624/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=270968 CPUtime=180.05 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 67793 0 0 0 17970 35 0 0 25 0 1 0 201289797 277471232 67430 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564889 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 67742 67430 108 232 0 67507 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 270968 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1573432/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=271076 CPUtime=190.05 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 67832 0 0 0 18970 35 0 0 25 0 1 0 201289797 277581824 67469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550808 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 67769 67469 108 232 0 67534 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 271076 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1573368/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=271076 CPUtime=200.05 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 67856 0 0 0 19970 35 0 0 25 0 1 0 201289797 277581824 67493 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 67769 67493 108 232 0 67534 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 271076 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4140 /proc/meminfo: memFree=1573112/2055920 swapFree=4181464/4192956 ################ # More data... # ################ /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74812 0 0 0 178053 106 0 0 25 0 1 0 201289797 299204608 71758 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71758 108 232 0 72813 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (Kb) 292192 [startup+1783.14 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555320/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1782.59 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74813 0 0 0 178153 106 0 0 25 0 1 0 201289797 299204608 71759 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71759 108 232 0 72813 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 292192 [startup+1784.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555320/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1783.59 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74814 0 0 0 178253 106 0 0 25 0 1 0 201289797 299204608 71760 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546257 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71760 108 232 0 72813 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 292192 [startup+1785.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555320/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1784.6 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74815 0 0 0 178354 106 0 0 25 0 1 0 201289797 299204608 71761 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71761 108 232 0 72813 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 292192 [startup+1786.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555320/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1785.6 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74818 0 0 0 178454 106 0 0 25 0 1 0 201289797 299204608 71764 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71764 108 232 0 72813 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 292192 [startup+1787.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555320/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1786.61 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74819 0 0 0 178555 106 0 0 25 0 1 0 201289797 299204608 71765 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71765 108 232 0 72813 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 292192 [startup+1788.17 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555320/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1787.61 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74820 0 0 0 178655 106 0 0 25 0 1 0 201289797 299204608 71766 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134630288 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71766 108 232 0 72813 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 292192 [startup+1789.17 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555256/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1788.61 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74824 0 0 0 178755 106 0 0 25 0 1 0 201289797 299204608 71770 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71770 108 232 0 72813 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 292192 [startup+1790.18 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555256/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1789.62 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74830 0 0 0 178856 106 0 0 25 0 1 0 201289797 299204608 71776 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546284 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71776 108 232 0 72813 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 292192 [startup+1791.18 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555256/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1790.62 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74831 0 0 0 178956 106 0 0 25 0 1 0 201289797 299204608 71777 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559006 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71777 108 232 0 72813 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 292192 [startup+1792.19 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555256/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1791.63 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74832 0 0 0 179057 106 0 0 25 0 1 0 201289797 299204608 71778 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71778 108 232 0 72813 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 292192 [startup+1793.19 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555256/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1792.64 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74835 0 0 0 179157 107 0 0 25 0 1 0 201289797 299204608 71781 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71781 108 232 0 72813 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 292192 [startup+1794.2 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555256/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1793.64 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74837 0 0 0 179257 107 0 0 25 0 1 0 201289797 299204608 71783 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71783 108 232 0 72813 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 292192 [startup+1795.2 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555256/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1794.65 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74838 0 0 0 179358 107 0 0 25 0 1 0 201289797 299204608 71784 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550000 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71784 108 232 0 72813 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 292192 [startup+1796.21 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555192/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1795.65 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74841 0 0 0 179458 107 0 0 25 0 1 0 201289797 299204608 71787 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71787 108 232 0 72813 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 292192 [startup+1797.21 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555192/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1796.66 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74842 0 0 0 179559 107 0 0 25 0 1 0 201289797 299204608 71788 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71788 108 232 0 72813 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 292192 [startup+1798.22 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555192/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1797.66 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74843 0 0 0 179659 107 0 0 25 0 1 0 201289797 299204608 71789 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559735 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71789 108 232 0 72813 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 292192 [startup+1799.22 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555192/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1798.66 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74844 0 0 0 179759 107 0 0 25 0 1 0 201289797 299204608 71790 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71790 108 232 0 72813 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 292192 [startup+1800.22 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555192/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1799.67 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74845 0 0 0 179860 107 0 0 25 0 1 0 201289797 299204608 71791 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549432 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71791 108 232 0 72813 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 292192 [startup+1801.23 s] /proc/loadavg: 0.99 0.97 0.95 2/64 4335 /proc/meminfo: memFree=1555192/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1800.67 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74847 0 0 0 179960 107 0 0 25 0 1 0 201289797 299204608 71793 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549345 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71793 108 232 0 72813 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 292192 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.23 s] /proc/loadavg: 0.99 0.97 0.95 3/64 4335 /proc/meminfo: memFree=1555192/2055920 swapFree=4181464/4192956 [pid=4140] ppid=4138 vsize=292192 CPUtime=1800.68 /proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74847 0 0 0 179961 107 0 0 25 0 1 0 201289797 299204608 71793 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/4140/statm: 73048 71793 108 232 0 72813 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 292192 Sending SIGTERM to -4140 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.29 CPU time (s): 1800.74 CPU user time (s): 1799.61 CPU system time (s): 1.12383 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (Kb): 292192 The end
Begin job on node21 on Sat Jun 3 17:37:47 UTC 2006 FILE ID= 41454-1149356267 PBS_JOBID= 311268 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node21/41454-1149356267/instance-41454-1149356267.opb 718236974 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-41454-1149356267 -o ROOT/results/node21/solver-41454-1149356267 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node21/41454-1149356267/instance-41454-1149356267.opb 718236974 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= bae2de9f4879fca72b44ba1c72e8b4a3 RANDOM SEED= 718236974 /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.240 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.240 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: 1843720 kB Buffers: 14244 kB Cached: 134944 kB SwapCached: 3200 kB Active: 25676 kB Inactive: 132216 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843720 kB SwapTotal: 4192956 kB SwapFree: 4181464 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14740 kB Slab: 40360 kB Committed_AS: 343228 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node21 on Sat Jun 3 18:07:49 UTC 2006