Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.63 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_4.opb |
MD5SUM | 56022330ee2943e2696d570dbfee01d9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 18.4002 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 31 |
Total number of constraints | 9 |
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 | 8 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 30 |
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 | 869 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2608 |
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/node39/50534-1154100893/instance-50534-1154100893.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/node39/watcher-50534-1154100893 -o ROOT/results/node39/solver-50534-1154100893 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node39/50534-1154100893/instance-50534-1154100893.opb 428727652 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1498976/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=1400 CPUtime=0 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 133 0 0 0 0 0 0 0 18 0 1 0 156960535 1433600 116 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 350 116 100 232 0 115 0 [startup+10.002 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1493416/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=7252 CPUtime=9.99 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 1650 0 0 0 995 4 0 0 25 0 1 0 156960535 7426048 1486 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 1813 1486 104 232 0 1578 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 7252 [startup+20.0079 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1491816/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=11732 CPUtime=19.99 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 2079 0 0 0 1993 6 0 0 25 0 1 0 156960535 12013568 1915 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 2933 1915 104 232 0 2698 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 11732 [startup+30.0138 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1490536/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=12884 CPUtime=29.99 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 2608 0 0 0 2991 8 0 0 25 0 1 0 156960535 13193216 2251 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 3221 2251 104 232 0 2986 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 12884 [startup+40.0197 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1489192/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=13652 CPUtime=40 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 2947 0 0 0 3990 10 0 0 25 0 1 0 156960535 13979648 2590 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 3413 2590 104 232 0 3178 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 13652 [startup+50.0256 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1488040/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=13844 CPUtime=50 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 3226 0 0 0 4989 11 0 0 25 0 1 0 156960535 14176256 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 3461 2869 104 232 0 3226 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 13844 [startup+60.0315 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1486440/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=14900 CPUtime=60 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 3645 0 0 0 5987 13 0 0 25 0 1 0 156960535 15257600 3288 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 3725 3288 104 232 0 3490 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 14900 [startup+70.0375 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1485352/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=23356 CPUtime=70.01 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 3904 0 0 0 6986 15 0 0 25 0 1 0 156960535 23916544 3547 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 5839 3547 104 232 0 5604 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 23356 [startup+80.0434 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1484456/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=23488 CPUtime=80.01 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 4131 0 0 0 7985 16 0 0 25 0 1 0 156960535 24051712 3774 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 5872 3774 104 232 0 5637 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 23488 [startup+90.0493 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1483624/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=25288 CPUtime=90.02 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 4718 0 0 0 8985 17 0 0 25 0 1 0 156960535 25894912 3976 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611544 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 6322 3976 104 232 0 6087 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 25288 [startup+100.055 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1482728/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=25552 CPUtime=100.03 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 4941 0 0 0 9984 19 0 0 25 0 1 0 156960535 26165248 4199 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 6388 4199 104 232 0 6153 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 25552 [startup+110.061 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1481960/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=25684 CPUtime=110.02 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 5133 0 0 0 10983 19 0 0 25 0 1 0 156960535 26300416 4391 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 6421 4391 104 232 0 6186 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 25684 [startup+120.067 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1481384/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=25816 CPUtime=120.02 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 5294 0 0 0 11983 19 0 0 25 0 1 0 156960535 26435584 4552 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 6454 4552 104 232 0 6219 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 25816 [startup+130.073 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1480616/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=25816 CPUtime=130.03 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 5475 0 0 0 12983 20 0 0 25 0 1 0 156960535 26435584 4733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 6454 4733 104 232 0 6219 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 25816 [startup+140.079 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1480296/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=25948 CPUtime=140.03 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 5568 0 0 0 13982 21 0 0 25 0 1 0 156960535 26570752 4826 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558832 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 6487 4826 104 232 0 6252 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 25948 [startup+150.085 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1479912/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=26080 CPUtime=150.04 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 5663 0 0 0 14982 22 0 0 25 0 1 0 156960535 26705920 4921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134542458 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 6520 4921 104 232 0 6285 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 26080 [startup+160.091 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1479400/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=26080 CPUtime=160.04 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 5780 0 0 0 15981 23 0 0 25 0 1 0 156960535 26705920 5038 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 6520 5038 104 232 0 6285 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 26080 [startup+170.097 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1478824/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=26212 CPUtime=170.04 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 5926 0 0 0 16980 24 0 0 25 0 1 0 156960535 26841088 5184 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 6553 5184 104 232 0 6318 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 26212 [startup+180.104 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1478376/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=26212 CPUtime=180.05 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 6040 0 0 0 17980 25 0 0 25 0 1 0 156960535 26841088 5298 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 6553 5298 104 232 0 6318 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 26212 [startup+190.109 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1477864/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=26212 CPUtime=190.05 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 6170 0 0 0 18980 25 0 0 25 0 1 0 156960535 26841088 5428 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 6553 5428 104 232 0 6318 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 26212 [startup+200.115 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 /proc/meminfo: memFree=1477352/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=26212 CPUtime=200.06 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 6288 0 0 0 19980 26 0 0 25 0 1 0 156960535 26841088 5546 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 6553 5546 104 232 0 6318 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 26212 [startup+210.121 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25602 ################ # More data... # ################ /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20704 0 0 0 178046 105 0 0 25 0 1 0 156960535 100229120 15565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15565 104 232 0 24235 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 97880 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1782.52 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20704 0 0 0 178147 105 0 0 25 0 1 0 156960535 100229120 15565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15565 104 232 0 24235 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 97880 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1783.52 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20705 0 0 0 178247 105 0 0 25 0 1 0 156960535 100229120 15566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15566 104 232 0 24235 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 97880 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1784.52 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20705 0 0 0 178347 105 0 0 25 0 1 0 156960535 100229120 15566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15566 104 232 0 24235 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 97880 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1785.53 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20706 0 0 0 178448 105 0 0 25 0 1 0 156960535 100229120 15567 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15567 104 232 0 24235 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 97880 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1786.53 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20706 0 0 0 178548 105 0 0 25 0 1 0 156960535 100229120 15567 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15567 104 232 0 24235 0 Current children cumulated CPU time (s) 1786.53 Current children cumulated vsize (Kb) 97880 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1787.54 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20707 0 0 0 178649 105 0 0 25 0 1 0 156960535 100229120 15568 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15568 104 232 0 24235 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 97880 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1788.54 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20708 0 0 0 178749 105 0 0 25 0 1 0 156960535 100229120 15569 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15569 104 232 0 24235 0 Current children cumulated CPU time (s) 1788.54 Current children cumulated vsize (Kb) 97880 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1789.55 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20708 0 0 0 178850 105 0 0 25 0 1 0 156960535 100229120 15569 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15569 104 232 0 24235 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 97880 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1790.55 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20709 0 0 0 178950 105 0 0 25 0 1 0 156960535 100229120 15570 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15570 104 232 0 24235 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 97880 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1791.56 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20709 0 0 0 179051 105 0 0 25 0 1 0 156960535 100229120 15570 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15570 104 232 0 24235 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 97880 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1792.56 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20710 0 0 0 179151 105 0 0 25 0 1 0 156960535 100229120 15571 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15571 104 232 0 24235 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 97880 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436912/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1793.57 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20710 0 0 0 179252 105 0 0 25 0 1 0 156960535 100229120 15571 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15571 104 232 0 24235 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 97880 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436848/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1794.58 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20711 0 0 0 179352 106 0 0 25 0 1 0 156960535 100229120 15572 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15572 104 232 0 24235 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 97880 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436848/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1795.58 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20711 0 0 0 179452 106 0 0 25 0 1 0 156960535 100229120 15572 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15572 104 232 0 24235 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 97880 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436848/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1796.59 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20712 0 0 0 179553 106 0 0 25 0 1 0 156960535 100229120 15573 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15573 104 232 0 24235 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 97880 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436848/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1797.59 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20712 0 0 0 179653 106 0 0 25 0 1 0 156960535 100229120 15573 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558877 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15573 104 232 0 24235 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 97880 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436848/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1798.6 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20713 0 0 0 179754 106 0 0 25 0 1 0 156960535 100229120 15574 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15574 104 232 0 24235 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 97880 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436848/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1799.6 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20713 0 0 0 179854 106 0 0 25 0 1 0 156960535 100229120 15574 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15574 104 232 0 24235 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 97880 [startup+1801.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436848/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1800.61 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20714 0 0 0 179955 106 0 0 25 0 1 0 156960535 100229120 15575 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15575 104 232 0 24235 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 97880 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25802 /proc/meminfo: memFree=1436848/2055920 swapFree=4183200/4192956 [pid=25602] ppid=25600 vsize=97880 CPUtime=1800.61 /proc/25602/stat : 25602 (PBS4L) R 25600 25602 25553 0 -1 4194304 20714 0 0 0 179955 106 0 0 25 0 1 0 156960535 100229120 15575 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/25602/statm: 24470 15575 104 232 0 24235 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 97880 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.63 CPU user time (s): 1799.56 CPU system time (s): 1.07384 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (Kb): 97880 The end
Begin job on node39 on Fri Jul 28 15:34:53 UTC 2006 FILE ID= 50534-1154100893 PBS_JOBID= 886112 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node39/50534-1154100893/instance-50534-1154100893.opb 428727652 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-50534-1154100893 -o ROOT/results/node39/solver-50534-1154100893 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node39/50534-1154100893/instance-50534-1154100893.opb 428727652 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 56022330ee2943e2696d570dbfee01d9 RANDOM SEED= 428727652 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.214 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.214 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: 1499184 kB Buffers: 30776 kB Cached: 466464 kB SwapCached: 3648 kB Active: 53956 kB Inactive: 451928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1499184 kB SwapTotal: 4192956 kB SwapFree: 4183200 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14724 kB Slab: 36916 kB Committed_AS: 672840 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node39 on Fri Jul 28 16:04:55 UTC 2006