Trace number 39618

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
bsolo 2006/05? (TO) 1800.05 1801.36

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
MD5SUMb656932a938990470d09f3771b5047c2
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark5.54416
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1650
Total number of constraints113164
Number of constraints which are clauses112614
Number of constraints which are cardinality constraints (but not clauses)550
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
2.96	c Initial problem consists of 1650 variables and 113714 constraints.
27.00	c Using non-optimization problem switches.
27.00	c No problem reductions applied in OPT. instance.
27.00	c	preprocess terminated. Elapsed time: 26.977
27.00	c After prepocess the problem consists of 1650 variables and 113714 constraints.
28.24	c Restart #1 #Var: 1650 LB: 0 @ 28.214
31.08	c Restart #2 #Var: 1650 LB: 0 @ 31.055
34.70	c Restart #3 #Var: 1650 LB: 0 @ 34.678
42.12	c Restart #4 #Var: 1650 LB: 0 @ 42.092
52.30	c Restart #5 #Var: 1650 LB: 0 @ 52.258
59.30	c Restart #6 #Var: 1650 LB: 0 @ 59.258
66.12	c Restart #7 #Var: 1650 LB: 0 @ 66.068
76.51	c Restart #8 #Var: 1650 LB: 0 @ 76.456
87.82	c Restart #9 #Var: 1650 LB: 0 @ 87.766
102.07	c Restart #10 #Var: 1650 LB: 0 @ 102
113.41	c Restart #11 #Var: 1650 LB: 0 @ 113.34
128.87	c Restart #12 #Var: 1650 LB: 0 @ 128.79
143.49	c Restart #13 #Var: 1650 LB: 0 @ 143.4
161.77	c Restart #14 #Var: 1650 LB: 0 @ 161.68
179.03	c Restart #15 #Var: 1650 LB: 0 @ 178.93
200.75	c Restart #16 #Var: 1650 LB: 0 @ 200.63
221.54	c Restart #17 #Var: 1650 LB: 0 @ 221.41
245.05	c Restart #18 #Var: 1650 LB: 0 @ 244.91
266.86	c Restart #19 #Var: 1650 LB: 0 @ 266.7
294.28	c Restart #20 #Var: 1650 LB: 0 @ 294.1
320.57	c Restart #21 #Var: 1650 LB: 0 @ 320.38
349.86	c Restart #22 #Var: 1650 LB: 0 @ 349.65
374.93	c Restart #23 #Var: 1650 LB: 0 @ 374.7
405.59	c Restart #24 #Var: 1650 LB: 0 @ 405.35
434.70	c Restart #25 #Var: 1650 LB: 0 @ 434.44
474.87	c Restart #26 #Var: 1650 LB: 0 @ 474.59
508.06	c Restart #27 #Var: 1650 LB: 0 @ 507.76
547.01	c Restart #28 #Var: 1650 LB: 0 @ 546.7
581.03	c Restart #29 #Var: 1650 LB: 0 @ 580.7
606.51	c Restart #30 #Var: 1650 LB: 0 @ 606.17
643.67	c Restart #31 #Var: 1650 LB: 0 @ 643.31
676.45	c Restart #32 #Var: 1650 LB: 0 @ 676.08
724.27	c Restart #33 #Var: 1650 LB: 0 @ 723.87
764.56	c Restart #34 #Var: 1650 LB: 0 @ 764.13
809.75	c Restart #35 #Var: 1650 LB: 0 @ 809.29
856.29	c Restart #36 #Var: 1650 LB: 0 @ 855.81
907.87	c CHANGE Heuristic... 
907.87	c Restart #0 #Var: 1650 LB: 0 @ 907.37
910.31	c Restart #1 #Var: 1650 LB: 0 @ 909.8
913.30	c Restart #2 #Var: 1650 LB: 0 @ 912.79
918.04	c Restart #3 #Var: 1650 LB: 0 @ 917.52
925.86	c Restart #4 #Var: 1650 LB: 0 @ 925.34
934.80	c Restart #5 #Var: 1650 LB: 0 @ 934.27
944.16	c Restart #6 #Var: 1650 LB: 0 @ 943.63
954.52	c Restart #7 #Var: 1650 LB: 0 @ 953.99
964.49	c Restart #8 #Var: 1650 LB: 0 @ 963.96
977.10	c Restart #9 #Var: 1650 LB: 0 @ 976.56
988.90	c Restart #10 #Var: 1650 LB: 0 @ 988.36
1004.90	c Restart #11 #Var: 1650 LB: 0 @ 1004.3
1021.65	c Restart #12 #Var: 1650 LB: 0 @ 1021.1
1039.49	c Restart #13 #Var: 1650 LB: 0 @ 1038.9
1057.04	c Restart #14 #Var: 1650 LB: 0 @ 1056.5
1076.40	c Restart #15 #Var: 1650 LB: 0 @ 1075.8
1097.63	c Restart #16 #Var: 1650 LB: 0 @ 1097
1121.16	c Restart #17 #Var: 1650 LB: 0 @ 1120.5
1142.95	c Restart #18 #Var: 1650 LB: 0 @ 1142.3
1170.47	c Restart #19 #Var: 1650 LB: 0 @ 1169.8
1196.03	c Restart #20 #Var: 1650 LB: 0 @ 1195.4
1225.57	c Restart #21 #Var: 1650 LB: 0 @ 1224.9
1254.55	c Restart #22 #Var: 1650 LB: 0 @ 1253.9
1290.25	c Restart #23 #Var: 1650 LB: 0 @ 1289.5
1321.76	c Restart #24 #Var: 1650 LB: 0 @ 1321
1357.21	c Restart #25 #Var: 1650 LB: 0 @ 1356.5
1393.51	c Restart #26 #Var: 1650 LB: 0 @ 1392.7
1432.34	c Restart #27 #Var: 1650 LB: 0 @ 1431.5
1468.73	c Restart #28 #Var: 1650 LB: 0 @ 1467.9
1509.72	c Restart #29 #Var: 1650 LB: 0 @ 1508.9
1547.08	c Restart #30 #Var: 1650 LB: 0 @ 1546.2
1589.31	c Restart #31 #Var: 1650 LB: 0 @ 1588.4
1629.77	c Restart #32 #Var: 1650 LB: 0 @ 1628.8
1678.77	c Restart #33 #Var: 1650 LB: 0 @ 1677.8
1727.65	c Restart #34 #Var: 1650 LB: 0 @ 1726.7
1779.49	c Restart #35 #Var: 1650 LB: 0 @ 1778.5
1801.06	s UNKNOWN
1801.06	c Exit Code: 0
1801.06	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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/node81/watcher-39618-1149225255 -o ROOT/results/node81/solver-39618-1149225255 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/39618-1149225255/instance-39618-1149225255.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.86 0.95 0.95 2/68 19689
/proc/meminfo: memFree=1300888/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=4936 CPUtime=0
/proc/19689/stat : 19689 (bsolo) D 19687 19689 19644 0 -1 0 365 0 0 0 0 0 0 0 19 0 1 0 188164949 5054464 328 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072100015398 0 0 17 0 0 0
/proc/19689/statm: 1234 328 224 55 0 125 0

[startup+10.0016 s]
/proc/loadavg: 0.88 0.95 0.95 2/68 19689
/proc/meminfo: memFree=1232984/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=72348 CPUtime=9.98
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 17311 0 0 0 991 7 0 0 25 0 1 0 188164949 74084352 17227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19689/statm: 18087 17227 284 55 0 16978 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 72348

[startup+20.0077 s]
/proc/loadavg: 0.90 0.96 0.95 2/68 19689
/proc/meminfo: memFree=1233176/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=72348 CPUtime=19.98
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 17311 0 0 0 1991 7 0 0 25 0 1 0 188164949 74084352 17227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 18087 17227 284 55 0 16978 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 72348

[startup+30.0138 s]
/proc/loadavg: 0.91 0.96 0.95 2/68 19689
/proc/meminfo: memFree=1230488/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=75284 CPUtime=29.99
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 18067 0 0 0 2991 8 0 0 25 0 1 0 188164949 77090816 17983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 18821 17983 293 55 0 17712 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 75284

[startup+40.0199 s]
/proc/loadavg: 0.93 0.96 0.95 2/68 19689
/proc/meminfo: memFree=1229720/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=75944 CPUtime=39.98
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 18239 0 0 0 3989 9 0 0 25 0 1 0 188164949 77766656 18155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 18986 18155 293 55 0 17877 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 75944

[startup+50.027 s]
/proc/loadavg: 0.94 0.96 0.95 2/68 19689
/proc/meminfo: memFree=1229208/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=76472 CPUtime=49.99
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 18369 0 0 0 4990 9 0 0 25 0 1 0 188164949 78307328 18285 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 19118 18285 293 55 0 18009 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 76472

[startup+60.0322 s]
/proc/loadavg: 0.95 0.96 0.95 2/68 19689
/proc/meminfo: memFree=1228568/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=77132 CPUtime=59.98
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 18541 0 0 0 5989 9 0 0 25 0 1 0 188164949 78983168 18457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 19283 18457 293 55 0 18174 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 77132

[startup+70.0383 s]
/proc/loadavg: 0.95 0.96 0.95 2/68 19689
/proc/meminfo: memFree=1227544/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=78188 CPUtime=69.98
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 18790 0 0 0 6988 10 0 0 25 0 1 0 188164949 80064512 18706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 19547 18706 293 55 0 18438 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 78188

[startup+80.0444 s]
/proc/loadavg: 0.96 0.96 0.95 2/68 19689
/proc/meminfo: memFree=1226840/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=78844 CPUtime=79.98
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 18966 0 0 0 7988 10 0 0 25 0 1 0 188164949 80736256 18882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 19711 18882 293 55 0 18602 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 78844

[startup+90.0505 s]
/proc/loadavg: 0.97 0.96 0.95 2/68 19689
/proc/meminfo: memFree=1226264/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=79488 CPUtime=89.99
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 19113 0 0 0 8988 11 0 0 25 0 1 0 188164949 81395712 19029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19689/statm: 19872 19029 293 55 0 18763 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 79488

[startup+100.057 s]
/proc/loadavg: 0.97 0.96 0.95 2/68 19689
/proc/meminfo: memFree=1225432/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=80276 CPUtime=99.98
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 19303 0 0 0 9987 11 0 0 25 0 1 0 188164949 82202624 19219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 20069 19219 293 55 0 18960 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 80276

[startup+110.064 s]
/proc/loadavg: 0.97 0.96 0.95 2/68 19689
/proc/meminfo: memFree=1224600/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=81068 CPUtime=109.98
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 19524 0 0 0 10987 11 0 0 25 0 1 0 188164949 83013632 19440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 20267 19440 293 55 0 19158 0
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 81068

[startup+120.069 s]
/proc/loadavg: 0.98 0.97 0.95 2/68 19689
/proc/meminfo: memFree=1223896/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=81852 CPUtime=119.99
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 19701 0 0 0 11987 12 0 0 25 0 1 0 188164949 83816448 19617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 20463 19617 293 55 0 19354 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 81852

[startup+130.074 s]
/proc/loadavg: 0.98 0.97 0.95 2/68 19689
/proc/meminfo: memFree=1223320/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=82380 CPUtime=129.98
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 19843 0 0 0 12986 12 0 0 25 0 1 0 188164949 84357120 19759 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 20595 19759 293 55 0 19486 0
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 82380

[startup+140.08 s]
/proc/loadavg: 0.98 0.97 0.95 2/68 19689
/proc/meminfo: memFree=1222488/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=83172 CPUtime=139.98
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 20053 0 0 0 13986 12 0 0 25 0 1 0 188164949 85168128 19969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 20793 19969 293 55 0 19684 0
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 83172

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19689
/proc/meminfo: memFree=1221720/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=83964 CPUtime=149.98
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 20240 0 0 0 14986 12 0 0 25 0 1 0 188164949 85979136 20156 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 20991 20156 293 55 0 19882 0
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 83964

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19689
/proc/meminfo: memFree=1221016/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=84752 CPUtime=159.99
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 20421 0 0 0 15986 13 0 0 25 0 1 0 188164949 86786048 20337 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542124 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 21188 20337 293 55 0 20079 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 84752

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19689
/proc/meminfo: memFree=1220312/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=85400 CPUtime=169.99
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 20581 0 0 0 16985 14 0 0 25 0 1 0 188164949 87449600 20497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541442 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 21350 20497 293 55 0 20241 0
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 85400

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19689
/proc/meminfo: memFree=1219672/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=86052 CPUtime=179.99
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 20755 0 0 0 17985 14 0 0 25 0 1 0 188164949 88117248 20671 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540808 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 21513 20671 293 55 0 20404 0
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 86052

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19689
/proc/meminfo: memFree=1218968/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=86708 CPUtime=189.99
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 20921 0 0 0 18984 15 0 0 25 0 1 0 188164949 88788992 20837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 21677 20837 293 55 0 20568 0
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 86708

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19689
/proc/meminfo: memFree=1218520/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=87236 CPUtime=199.98
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 21042 0 0 0 19983 15 0 0 25 0 1 0 188164949 89329664 20958 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 21809 20958 293 55 0 20700 0
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 87236

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19689
/proc/meminfo: memFree=1217880/2055892 swapFree=4085344/4096564

################
# More data... #
################

[pid=19689] ppid=19687 vsize=182772 CPUtime=1781.07
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 44952 0 0 0 178028 79 0 0 25 0 1 0 188164949 187158528 44868 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 45693 44868 293 55 0 44584 0
Current children cumulated CPU time (s) 1781.07
Current children cumulated vsize (Kb) 182772

[startup+1783.1 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1122520/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=182904 CPUtime=1782.07
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 44974 0 0 0 178128 79 0 0 25 0 1 0 188164949 187293696 44890 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 45726 44890 293 55 0 44617 0
Current children cumulated CPU time (s) 1782.07
Current children cumulated vsize (Kb) 182904

[startup+1784.11 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1122392/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=182904 CPUtime=1783.07
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 44983 0 0 0 178228 79 0 0 25 0 1 0 188164949 187293696 44899 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537903 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19689/statm: 45726 44899 293 55 0 44617 0
Current children cumulated CPU time (s) 1783.07
Current children cumulated vsize (Kb) 182904

[startup+1785.11 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1122264/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=183036 CPUtime=1784.07
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45020 0 0 0 178328 79 0 0 25 0 1 0 188164949 187428864 44936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 45759 44936 293 55 0 44650 0
Current children cumulated CPU time (s) 1784.07
Current children cumulated vsize (Kb) 183036

[startup+1786.12 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1122264/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=183168 CPUtime=1785.07
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45034 0 0 0 178428 79 0 0 25 0 1 0 188164949 187564032 44950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 45792 44950 293 55 0 44683 0
Current children cumulated CPU time (s) 1785.07
Current children cumulated vsize (Kb) 183168

[startup+1787.12 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1122136/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=183300 CPUtime=1786.07
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45060 0 0 0 178528 79 0 0 25 0 1 0 188164949 187699200 44976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 45825 44976 293 55 0 44716 0
Current children cumulated CPU time (s) 1786.07
Current children cumulated vsize (Kb) 183300

[startup+1788.12 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1122136/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=183300 CPUtime=1787.08
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45068 0 0 0 178629 79 0 0 25 0 1 0 188164949 187699200 44984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541583 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 45825 44984 293 55 0 44716 0
Current children cumulated CPU time (s) 1787.08
Current children cumulated vsize (Kb) 183300

[startup+1789.13 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1122008/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=183432 CPUtime=1788.08
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45092 0 0 0 178729 79 0 0 25 0 1 0 188164949 187834368 45008 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528687 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 45858 45008 293 55 0 44749 0
Current children cumulated CPU time (s) 1788.08
Current children cumulated vsize (Kb) 183432

[startup+1790.13 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1121944/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=183432 CPUtime=1789.09
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45112 0 0 0 178830 79 0 0 25 0 1 0 188164949 187834368 45028 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 45858 45028 293 55 0 44749 0
Current children cumulated CPU time (s) 1789.09
Current children cumulated vsize (Kb) 183432

[startup+1791.14 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1121816/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=183564 CPUtime=1790.09
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45142 0 0 0 178930 79 0 0 25 0 1 0 188164949 187969536 45058 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 45891 45058 293 55 0 44782 0
Current children cumulated CPU time (s) 1790.09
Current children cumulated vsize (Kb) 183564

[startup+1792.14 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1121752/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=183696 CPUtime=1791.09
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45166 0 0 0 179030 79 0 0 25 0 1 0 188164949 188104704 45082 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718209 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 45924 45082 293 55 0 44815 0
Current children cumulated CPU time (s) 1791.09
Current children cumulated vsize (Kb) 183696

[startup+1793.15 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1121688/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=183696 CPUtime=1792.1
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45181 0 0 0 179131 79 0 0 25 0 1 0 188164949 188104704 45097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 45924 45097 293 55 0 44815 0
Current children cumulated CPU time (s) 1792.1
Current children cumulated vsize (Kb) 183696

[startup+1794.15 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1121624/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=183828 CPUtime=1793.1
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45201 0 0 0 179231 79 0 0 25 0 1 0 188164949 188239872 45117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541539 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 45957 45117 293 55 0 44848 0
Current children cumulated CPU time (s) 1793.1
Current children cumulated vsize (Kb) 183828

[startup+1795.16 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1121496/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=183960 CPUtime=1794.1
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45233 0 0 0 179331 79 0 0 25 0 1 0 188164949 188375040 45149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 45990 45149 293 55 0 44881 0
Current children cumulated CPU time (s) 1794.1
Current children cumulated vsize (Kb) 183960

[startup+1796.16 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1121432/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=183960 CPUtime=1795.11
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45249 0 0 0 179432 79 0 0 25 0 1 0 188164949 188375040 45165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 45990 45165 293 55 0 44881 0
Current children cumulated CPU time (s) 1795.11
Current children cumulated vsize (Kb) 183960

[startup+1797.17 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1121368/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=184092 CPUtime=1796.11
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45261 0 0 0 179532 79 0 0 25 0 1 0 188164949 188510208 45177 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541588 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 46023 45177 293 55 0 44914 0
Current children cumulated CPU time (s) 1796.11
Current children cumulated vsize (Kb) 184092

[startup+1798.17 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1121304/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=184092 CPUtime=1797.12
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45267 0 0 0 179633 79 0 0 25 0 1 0 188164949 188510208 45183 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524334 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 46023 45183 293 55 0 44914 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (Kb) 184092

[startup+1799.18 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1121304/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=184092 CPUtime=1798.12
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45275 0 0 0 179733 79 0 0 25 0 1 0 188164949 188510208 45191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 46023 45191 293 55 0 44914 0
Current children cumulated CPU time (s) 1798.12
Current children cumulated vsize (Kb) 184092

[startup+1800.18 s]
/proc/loadavg: 0.99 0.97 0.95 2/68 19691
/proc/meminfo: memFree=1121240/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=184224 CPUtime=1799.13
/proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45296 0 0 0 179834 79 0 0 25 0 1 0 188164949 188645376 45212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541547 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19689/statm: 46056 45212 293 55 0 44947 0
Current children cumulated CPU time (s) 1799.13
Current children cumulated vsize (Kb) 184224

[startup+1801.19 s]
/proc/loadavg: 0.99 0.97 0.95 1/67 19691
/proc/meminfo: memFree=1301088/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=0 CPUtime=1800.03
/proc/19689/stat : 19689 (bsolo) D 19687 19689 19644 0 -1 4 45320 0 0 0 179921 82 0 0 25 0 1 0 188164949 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100303002 0 0 17 0 0 0
/proc/19689/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (Kb) 0



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.19 s]
/proc/loadavg: 0.99 0.97 0.95 1/67 19691
/proc/meminfo: memFree=1301088/2055892 swapFree=4085344/4096564
[pid=19689] ppid=19687 vsize=0 CPUtime=1800.03
/proc/19689/stat : 19689 (bsolo) D 19687 19689 19644 0 -1 4 45320 0 0 0 179921 82 0 0 25 0 1 0 188164949 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100303002 0 0 17 0 0 0
/proc/19689/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (Kb) 0

Sending SIGTERM to -19689
Sleeping 2 seconds

Child status: 0
Real time (s): 1801.36
CPU time (s): 1800.05
CPU user time (s): 1799.22
CPU system time (s): 0.827874
CPU usage (%): 99.9269
Max. virtual memory (cumulated for all children) (Kb): 184224

Launcher Data (download as text)

Begin job on node81 on Fri Jun  2 05:14:15 UTC 2006


FILE ID= 39618-1149225255

PBS_JOBID= 295785

BENCH NAME= ROOT/tmp/node81/39618-1149225255/instance-39618-1149225255.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/39618-1149225255/instance-39618-1149225255.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node81/watcher-39618-1149225255 -o ROOT/results/node81/solver-39618-1149225255 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/39618-1149225255/instance-39618-1149225255.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  b656932a938990470d09f3771b5047c2

RANDOM SEED= 852794864


/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.248
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.19
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.248
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1301096 kB
Buffers:         43700 kB
Cached:         632964 kB
SwapCached:       2656 kB
Active:         171200 kB
Inactive:       514424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1301096 kB
SwapTotal:     4096564 kB
SwapFree:      4085344 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          16508 kB
Slab:            55712 kB
Committed_AS:   217484 kB
PageTables:       1288 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node81 on Fri Jun  2 05:44:17 UTC 2006