Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? (TO) | 1801.16 | 1801.75 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb |
MD5SUM | 81a731c23b82a1147f726d3bcf60f6bf |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 13.5909 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4500 |
Total number of constraints | 2559501 |
Number of constraints which are clauses | 2554450 |
Number of constraints which are cardinality constraints (but not clauses) | 101 |
Number of constraints which are nor clauses,nor cardinality constraints | 4950 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 462 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 2049 |
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 Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 49.31 c Initial problem consists of 4500 variables and 2559602 constraints. 1801.53 c Caught signal: 15 1801.53 s UNKNOWN 1801.53 c Exit Code: 0
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/node53/watcher-39628-1149226557 -o ROOT/results/node53/solver-39628-1149226557 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node53/39628-1149226557/instance-39628-1149226557.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.79 0.94 0.90 2/64 13691 /proc/meminfo: memFree=1007832/2055920 swapFree=4181356/4192956 [pid=13691] ppid=13689 vsize=436 CPUtime=0 /proc/13691/stat : 13691 (bsolo) D 13689 13691 13646 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 188324738 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8745764 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/13691/statm: 109 23 18 55 0 18 0 [startup+10.002 s] /proc/loadavg: 0.82 0.94 0.90 2/64 13691 /proc/meminfo: memFree=744280/2055920 swapFree=4181356/4192956 [pid=13691] ppid=13689 vsize=267548 CPUtime=9.98 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 66134 0 0 0 966 32 0 0 25 0 1 0 188324738 273969152 66049 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9180795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 66887 66049 280 55 0 65779 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 267548 [startup+20.0081 s] /proc/loadavg: 0.85 0.94 0.91 2/64 13691 /proc/meminfo: memFree=473816/2055920 swapFree=4181356/4192956 [pid=13691] ppid=13689 vsize=539328 CPUtime=19.97 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 133639 0 0 0 1932 65 0 0 25 0 1 0 188324738 552271872 133554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533445 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 134832 133554 280 55 0 133724 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 539328 [startup+30.0153 s] /proc/loadavg: 0.87 0.94 0.91 2/64 13691 /proc/meminfo: memFree=216492/2055920 swapFree=4181356/4192956 [pid=13691] ppid=13689 vsize=796532 CPUtime=29.98 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 197855 0 0 0 2899 99 0 0 25 0 1 0 188324738 815648768 197770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9180795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 199133 197771 280 55 0 198025 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 796532 [startup+40.0214 s] /proc/loadavg: 0.89 0.94 0.91 2/64 13691 /proc/meminfo: memFree=16024/2055920 swapFree=4181356/4192956 [pid=13691] ppid=13689 vsize=1044280 CPUtime=39.97 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 259776 0 0 0 3869 128 0 0 25 0 1 0 188324738 1069342720 259691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9180795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 261070 259691 280 55 0 259962 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 1044280 [startup+50.0285 s] /proc/loadavg: 0.91 0.94 0.91 2/64 13691 /proc/meminfo: memFree=15192/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=49.98 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 4837 161 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 1304292 [startup+60.0347 s] /proc/loadavg: 0.92 0.95 0.91 2/64 13691 /proc/meminfo: memFree=15320/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=59.98 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 5837 161 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 1304292 [startup+70.0408 s] /proc/loadavg: 0.93 0.95 0.91 2/64 13691 /proc/meminfo: memFree=15384/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=69.98 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 6837 161 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 1304292 [startup+80.0469 s] /proc/loadavg: 0.94 0.95 0.91 2/64 13691 /proc/meminfo: memFree=15320/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=79.99 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 7838 161 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 1304292 [startup+90.053 s] /proc/loadavg: 0.95 0.95 0.91 2/64 13691 /proc/meminfo: memFree=15320/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=89.99 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 8838 161 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 1304292 [startup+100.059 s] /proc/loadavg: 0.96 0.95 0.91 2/64 13691 /proc/meminfo: memFree=15320/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=99.99 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 9838 161 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 1304292 [startup+110.065 s] /proc/loadavg: 0.96 0.95 0.91 2/64 13691 /proc/meminfo: memFree=15320/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=110 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 10839 161 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 1304292 [startup+120.071 s] /proc/loadavg: 0.97 0.95 0.91 2/64 13691 /proc/meminfo: memFree=15320/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=120 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 11839 161 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542072 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 1304292 [startup+130.078 s] /proc/loadavg: 0.97 0.95 0.91 2/64 13691 /proc/meminfo: memFree=15320/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=130 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 12839 161 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 1304292 [startup+140.084 s] /proc/loadavg: 0.98 0.95 0.91 2/64 13691 /proc/meminfo: memFree=15384/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=140.01 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 13840 161 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 1304292 [startup+150.091 s] /proc/loadavg: 0.98 0.95 0.91 2/64 13691 /proc/meminfo: memFree=15384/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=150.01 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 14840 161 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 1304292 [startup+160.098 s] /proc/loadavg: 0.98 0.96 0.91 2/64 13691 /proc/meminfo: memFree=15384/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=160.01 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 15840 161 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 1304292 [startup+170.104 s] /proc/loadavg: 0.98 0.96 0.91 2/64 13691 /proc/meminfo: memFree=15384/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=170.02 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 16841 161 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 1304292 [startup+180.11 s] /proc/loadavg: 0.99 0.96 0.91 2/64 13691 /proc/meminfo: memFree=15384/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=180.02 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 17841 161 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 1304292 [startup+190.116 s] /proc/loadavg: 0.99 0.96 0.91 2/64 13691 /proc/meminfo: memFree=15384/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=190.02 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 18841 161 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 1304292 [startup+200.123 s] /proc/loadavg: 0.99 0.96 0.91 2/64 13691 /proc/meminfo: memFree=15320/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=200.03 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 19842 161 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 1304292 [startup+210.129 s] /proc/loadavg: 0.99 0.96 0.91 2/64 13691 /proc/meminfo: memFree=15320/2055920 swapFree=4181348/4192956 ################ # More data... # ################ [pid=13691] ppid=13689 vsize=1304292 CPUtime=1781.86 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 178014 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (Kb) 1304292 [startup+1783.43 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13886 /proc/meminfo: memFree=16216/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1782.86 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 178114 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645343 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1782.86 Current children cumulated vsize (Kb) 1304292 [startup+1784.44 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13886 /proc/meminfo: memFree=16280/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1783.87 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 178215 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1783.87 Current children cumulated vsize (Kb) 1304292 [startup+1785.45 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13886 /proc/meminfo: memFree=16280/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1784.87 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 178315 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1784.87 Current children cumulated vsize (Kb) 1304292 [startup+1786.45 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13886 /proc/meminfo: memFree=16280/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1785.88 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 178416 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1785.88 Current children cumulated vsize (Kb) 1304292 [startup+1787.46 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13886 /proc/meminfo: memFree=16280/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1786.88 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 178516 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1786.88 Current children cumulated vsize (Kb) 1304292 [startup+1788.46 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13886 /proc/meminfo: memFree=16280/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1787.89 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 178617 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1787.89 Current children cumulated vsize (Kb) 1304292 [startup+1789.46 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13886 /proc/meminfo: memFree=16280/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1788.89 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 178717 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1788.89 Current children cumulated vsize (Kb) 1304292 [startup+1790.47 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13886 /proc/meminfo: memFree=16280/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1789.9 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 178818 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1789.9 Current children cumulated vsize (Kb) 1304292 [startup+1791.47 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13886 /proc/meminfo: memFree=16280/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1790.9 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 178918 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541675 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1790.9 Current children cumulated vsize (Kb) 1304292 [startup+1792.48 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13886 /proc/meminfo: memFree=16344/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1791.9 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 179018 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1791.9 Current children cumulated vsize (Kb) 1304292 [startup+1793.48 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13886 /proc/meminfo: memFree=16344/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1792.91 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 179119 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1792.91 Current children cumulated vsize (Kb) 1304292 [startup+1794.49 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13886 /proc/meminfo: memFree=16344/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1793.91 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 179219 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1793.91 Current children cumulated vsize (Kb) 1304292 [startup+1795.5 s] /proc/loadavg: 1.07 0.99 0.91 2/64 13886 /proc/meminfo: memFree=16344/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1794.92 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 179320 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1794.92 Current children cumulated vsize (Kb) 1304292 [startup+1796.5 s] /proc/loadavg: 1.07 0.99 0.91 2/64 13886 /proc/meminfo: memFree=16344/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1795.92 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 179420 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541640 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1795.92 Current children cumulated vsize (Kb) 1304292 [startup+1797.5 s] /proc/loadavg: 1.07 0.99 0.91 2/64 13886 /proc/meminfo: memFree=16344/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1796.93 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 179521 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1796.93 Current children cumulated vsize (Kb) 1304292 [startup+1798.51 s] /proc/loadavg: 1.07 0.99 0.91 2/64 13886 /proc/meminfo: memFree=16344/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1797.93 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 179621 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541640 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (Kb) 1304292 [startup+1799.51 s] /proc/loadavg: 1.07 0.99 0.91 2/64 13886 /proc/meminfo: memFree=16344/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1798.94 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 179722 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1798.94 Current children cumulated vsize (Kb) 1304292 [startup+1800.52 s] /proc/loadavg: 1.07 0.99 0.91 2/64 13886 /proc/meminfo: memFree=16344/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1799.94 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 179822 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1799.94 Current children cumulated vsize (Kb) 1304292 [startup+1801.52 s] /proc/loadavg: 1.07 0.99 0.91 2/64 13886 /proc/meminfo: memFree=16344/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1800.95 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 179923 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1800.95 Current children cumulated vsize (Kb) 1304292 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.53 s] /proc/loadavg: 1.07 0.99 0.91 2/64 13886 /proc/meminfo: memFree=16344/2055920 swapFree=4181348/4192956 [pid=13691] ppid=13689 vsize=1304292 CPUtime=1800.95 /proc/13691/stat : 13691 (bsolo) R 13689 13691 13646 0 -1 0 324377 0 0 0 179923 172 0 0 25 0 1 0 188324738 1335595008 324292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13691/statm: 326073 324292 288 55 0 324965 0 Current children cumulated CPU time (s) 1800.95 Current children cumulated vsize (Kb) 1304292 Sending SIGTERM to -13691 Sleeping 2 seconds Child status: 0 Real time (s): 1801.75 CPU time (s): 1801.16 CPU user time (s): 1799.24 CPU system time (s): 1.92371 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (Kb): 1304292
Begin job on node53 on Fri Jun 2 05:36:04 UTC 2006 FILE ID= 39628-1149226557 PBS_JOBID= 295915 BENCH NAME= ROOT/tmp/node53/39628-1149226557/instance-39628-1149226557.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node53/39628-1149226557/instance-39628-1149226557.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node53/watcher-39628-1149226557 -o ROOT/results/node53/solver-39628-1149226557 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node53/39628-1149226557/instance-39628-1149226557.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 81a731c23b82a1147f726d3bcf60f6bf RANDOM SEED= 474433901 /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.249 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.249 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: 1007784 kB Buffers: 36936 kB Cached: 936864 kB SwapCached: 3632 kB Active: 540688 kB Inactive: 442200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1007784 kB SwapTotal: 4192956 kB SwapFree: 4181356 kB Dirty: 224 kB Writeback: 0 kB Mapped: 14900 kB Slab: 51328 kB Committed_AS: 249352 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node53 on Fri Jun 2 06:06:15 UTC 2006