Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.65 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_3.opb |
MD5SUM | 37c74b9e914d30b1ddfc0838676dd479 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 41 |
Total number of constraints | 11 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 40 |
Number of terms in the objective function | 1 |
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 | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1162 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3487 |
Number of bits of the biggest sum of numbers | 12 |
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/node15/50558-1154109622/instance-50558-1154109622.opb ......
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 runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node15/watcher-50558-1154109622 -o ROOT/results/node15/solver-50558-1154109622 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node15/50558-1154109622/instance-50558-1154109622.opb 33932712 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 23493 /proc/meminfo: memFree=1479648/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=1400 CPUtime=0 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 134 0 0 0 0 0 0 0 19 0 1 0 157823044 1433600 117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134565728 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 350 117 100 232 0 115 0 [startup+10.0031 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23493 /proc/meminfo: memFree=1472680/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=11364 CPUtime=9.99 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 2006 0 0 0 995 4 0 0 25 0 1 0 157823044 11636736 1842 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558793 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 2841 1842 104 232 0 2606 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 11364 [startup+20.009 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23493 /proc/meminfo: memFree=1470576/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=12036 CPUtime=19.99 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 2570 0 0 0 1993 6 0 0 25 0 1 0 157823044 12324864 2406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550678 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 3009 2406 104 232 0 2774 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 12036 [startup+30.0149 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23493 /proc/meminfo: memFree=1468528/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=21316 CPUtime=30 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 3274 0 0 0 2992 8 0 0 25 0 1 0 157823044 21827584 2917 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 5329 2917 104 232 0 5094 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 21316 [startup+40.0209 s] /proc/loadavg: 1.00 1.00 1.00 2/70 23519 /proc/meminfo: memFree=1465920/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=21668 CPUtime=40 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 3668 0 0 0 3990 10 0 0 25 0 1 0 157823044 22188032 3311 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134542458 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 5417 3311 104 232 0 5182 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 21668 [startup+50.0278 s] /proc/loadavg: 1.00 1.00 1.00 2/70 23601 /proc/meminfo: memFree=1464296/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=22052 CPUtime=49.97 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 4009 0 0 0 4982 15 0 0 25 0 1 0 157823044 22581248 3652 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 0 0 0 /proc/23493/statm: 5513 3652 104 232 0 5278 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 22052 [startup+60.0347 s] /proc/loadavg: 1.00 1.00 1.00 2/70 23651 /proc/meminfo: memFree=1463392/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=22052 CPUtime=59.95 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 4219 0 0 0 5978 17 0 0 25 0 1 0 157823044 22581248 3862 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 5513 3862 104 232 0 5278 0 Current children cumulated CPU time (s) 59.95 Current children cumulated vsize (Kb) 22052 [startup+70.0416 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1463640/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=22244 CPUtime=69.93 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 4423 0 0 0 6975 18 0 0 25 0 1 0 157823044 22777856 4066 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 5561 4066 104 232 0 5326 0 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (Kb) 22244 [startup+80.0476 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1462832/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=22436 CPUtime=79.93 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 4665 0 0 0 7973 20 0 0 25 0 1 0 157823044 22974464 4308 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 5609 4308 104 232 0 5374 0 Current children cumulated CPU time (s) 79.93 Current children cumulated vsize (Kb) 22436 [startup+90.0535 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1461680/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=22436 CPUtime=89.94 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 4949 0 0 0 8973 21 0 0 25 0 1 0 157823044 22974464 4592 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558828 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 5609 4592 104 232 0 5374 0 Current children cumulated CPU time (s) 89.94 Current children cumulated vsize (Kb) 22436 [startup+100.059 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1460464/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=24356 CPUtime=99.94 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 5641 0 0 0 9971 23 0 0 25 0 1 0 157823044 24940544 4899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 6089 4899 104 232 0 5854 0 Current children cumulated CPU time (s) 99.94 Current children cumulated vsize (Kb) 24356 [startup+110.065 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1459120/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=24620 CPUtime=109.95 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 5961 0 0 0 10971 24 0 0 25 0 1 0 157823044 25210880 5219 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 6155 5219 104 232 0 5920 0 Current children cumulated CPU time (s) 109.95 Current children cumulated vsize (Kb) 24620 [startup+120.071 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1458416/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=25004 CPUtime=119.95 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 6147 0 0 0 11970 25 0 0 25 0 1 0 157823044 25604096 5405 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 6251 5405 104 232 0 6016 0 Current children cumulated CPU time (s) 119.95 Current children cumulated vsize (Kb) 25004 [startup+130.077 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1457456/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=25004 CPUtime=129.95 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 6384 0 0 0 12969 26 0 0 25 0 1 0 157823044 25604096 5642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 6251 5642 104 232 0 6016 0 Current children cumulated CPU time (s) 129.95 Current children cumulated vsize (Kb) 25004 [startup+140.083 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1456560/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=41652 CPUtime=139.96 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 6604 0 0 0 13969 27 0 0 25 0 1 0 157823044 42651648 5862 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 10413 5862 104 232 0 10178 0 Current children cumulated CPU time (s) 139.96 Current children cumulated vsize (Kb) 41652 [startup+150.089 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1455792/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=41652 CPUtime=149.96 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 6793 0 0 0 14968 28 0 0 25 0 1 0 157823044 42651648 6051 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559364 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 10413 6051 104 232 0 10178 0 Current children cumulated CPU time (s) 149.96 Current children cumulated vsize (Kb) 41652 [startup+160.095 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1455024/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=41916 CPUtime=159.96 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 6998 0 0 0 15968 28 0 0 25 0 1 0 157823044 42921984 6256 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 10479 6256 104 232 0 10244 0 Current children cumulated CPU time (s) 159.96 Current children cumulated vsize (Kb) 41916 [startup+170.101 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1454192/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=42312 CPUtime=169.96 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 7212 0 0 0 16967 29 0 0 25 0 1 0 157823044 43327488 6470 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 10578 6470 104 232 0 10343 0 Current children cumulated CPU time (s) 169.96 Current children cumulated vsize (Kb) 42312 [startup+180.107 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1453232/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=42708 CPUtime=179.96 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 7442 0 0 0 17966 30 0 0 25 0 1 0 157823044 43732992 6700 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 10677 6700 104 232 0 10442 0 Current children cumulated CPU time (s) 179.96 Current children cumulated vsize (Kb) 42708 [startup+190.114 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1452592/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=42972 CPUtime=189.97 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 7614 0 0 0 18966 31 0 0 25 0 1 0 157823044 44003328 6872 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 10743 6872 104 232 0 10508 0 Current children cumulated CPU time (s) 189.97 Current children cumulated vsize (Kb) 42972 [startup+200.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1451696/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=43368 CPUtime=199.97 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 7834 0 0 0 19965 32 0 0 25 0 1 0 157823044 44408832 7092 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 10842 7092 104 232 0 10607 0 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 43368 [startup+210.126 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 ################ # More data... # ################ /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21203 0 0 0 178053 100 0 0 25 0 1 0 157823044 97984512 17116 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17116 104 232 0 23687 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 95688 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411312/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95688 CPUtime=1782.54 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21204 0 0 0 178154 100 0 0 25 0 1 0 157823044 97984512 17117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17117 104 232 0 23687 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 95688 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411312/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95688 CPUtime=1783.54 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21204 0 0 0 178254 100 0 0 25 0 1 0 157823044 97984512 17117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17117 104 232 0 23687 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 95688 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411312/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95688 CPUtime=1784.55 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21205 0 0 0 178355 100 0 0 25 0 1 0 157823044 97984512 17118 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17118 104 232 0 23687 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 95688 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411312/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95688 CPUtime=1785.55 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21206 0 0 0 178455 100 0 0 25 0 1 0 157823044 97984512 17119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17119 104 232 0 23687 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 95688 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411312/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95688 CPUtime=1786.56 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21206 0 0 0 178556 100 0 0 25 0 1 0 157823044 97984512 17119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558835 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17119 104 232 0 23687 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 95688 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411312/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95688 CPUtime=1787.56 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21207 0 0 0 178656 100 0 0 25 0 1 0 157823044 97984512 17120 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17120 104 232 0 23687 0 Current children cumulated CPU time (s) 1787.56 Current children cumulated vsize (Kb) 95688 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411312/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95688 CPUtime=1788.56 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21210 0 0 0 178756 100 0 0 25 0 1 0 157823044 97984512 17123 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17123 104 232 0 23687 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 95688 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95688 CPUtime=1789.57 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21217 0 0 0 178857 100 0 0 25 0 1 0 157823044 97984512 17130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17130 104 232 0 23687 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 95688 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95688 CPUtime=1790.57 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21218 0 0 0 178957 100 0 0 25 0 1 0 157823044 97984512 17131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17131 104 232 0 23687 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 95688 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95688 CPUtime=1791.58 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21219 0 0 0 179058 100 0 0 25 0 1 0 157823044 97984512 17132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17132 104 232 0 23687 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 95688 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95688 CPUtime=1792.58 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21220 0 0 0 179158 100 0 0 25 0 1 0 157823044 97984512 17133 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17133 104 232 0 23687 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 95688 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95688 CPUtime=1793.59 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21221 0 0 0 179259 100 0 0 25 0 1 0 157823044 97984512 17134 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17134 104 232 0 23687 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 95688 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95688 CPUtime=1794.59 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21222 0 0 0 179359 100 0 0 25 0 1 0 157823044 97984512 17135 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17135 104 232 0 23687 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 95688 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95688 CPUtime=1795.6 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21223 0 0 0 179460 100 0 0 25 0 1 0 157823044 97984512 17136 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17136 104 232 0 23687 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 95688 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95688 CPUtime=1796.6 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21224 0 0 0 179560 100 0 0 25 0 1 0 157823044 97984512 17137 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17137 104 232 0 23687 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 95688 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411248/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95688 CPUtime=1797.6 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21227 0 0 0 179660 100 0 0 25 0 1 0 157823044 97984512 17140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23922 17140 104 232 0 23687 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 95688 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411120/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95816 CPUtime=1798.62 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21261 0 0 0 179761 101 0 0 25 0 1 0 157823044 98115584 17141 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23954 17141 104 232 0 23719 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 95816 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411120/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95816 CPUtime=1799.62 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21262 0 0 0 179861 101 0 0 25 0 1 0 157823044 98115584 17142 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23954 17142 104 232 0 23719 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 95816 [startup+1801.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411120/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95816 CPUtime=1800.63 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21266 0 0 0 179962 101 0 0 25 0 1 0 157823044 98115584 17146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23954 17146 104 232 0 23719 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 95816 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23691 /proc/meminfo: memFree=1411120/2055920 swapFree=4182804/4192956 [pid=23493] ppid=23491 vsize=95816 CPUtime=1800.63 /proc/23493/stat : 23493 (PBS4L) R 23491 23493 23444 0 -1 4194304 21266 0 0 0 179962 101 0 0 25 0 1 0 157823044 98115584 17146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/23493/statm: 23954 17146 104 232 0 23719 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 95816 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.65 CPU user time (s): 1799.63 CPU system time (s): 1.02284 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (Kb): 95816 The end
Begin job on node15 on Fri Jul 28 18:00:22 UTC 2006 FILE ID= 50558-1154109622 PBS_JOBID= 886424 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node15/50558-1154109622/instance-50558-1154109622.opb 33932712 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-50558-1154109622 -o ROOT/results/node15/solver-50558-1154109622 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node15/50558-1154109622/instance-50558-1154109622.opb 33932712 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 37c74b9e914d30b1ddfc0838676dd479 RANDOM SEED= 33932712 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1479856 kB Buffers: 27888 kB Cached: 473840 kB SwapCached: 3852 kB Active: 48568 kB Inactive: 461764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1479856 kB SwapTotal: 4192956 kB SwapFree: 4182804 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14512 kB Slab: 51708 kB Committed_AS: 726728 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node15 on Fri Jul 28 18:30:24 UTC 2006