Trace number 39689

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/05SAT 824.58 824.907

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb
MD5SUMad8c96101fa1b2a172901cb81285d15c
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 benchmark0.002999
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables165
Total number of constraints141
Number of constraints which are clauses120
Number of constraints which are cardinality constraints (but not clauses)21
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint5
Maximum length of a constraint11
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 12
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.
0.02	c Initial problem consists of 165 variables and 141 constraints.
0.02	c Using non-optimization problem switches.
0.02	c No problem reductions applied in OPT. instance.
0.02	c	preprocess terminated. Elapsed time: 0.007
0.02	c After prepocess the problem consists of 165 variables and 141 constraints.
0.03	c Restart #1 #Var: 165 LB: 0 @ 0.018
0.05	c Restart #2 #Var: 165 LB: 0 @ 0.039
0.09	c Restart #3 #Var: 165 LB: 0 @ 0.075
0.15	c Restart #4 #Var: 165 LB: 0 @ 0.141
0.27	c Restart #5 #Var: 165 LB: 0 @ 0.257
0.41	c Restart #6 #Var: 165 LB: 0 @ 0.4
0.61	c Restart #7 #Var: 165 LB: 0 @ 0.597
0.99	c Restart #8 #Var: 165 LB: 0 @ 0.982
1.21	c Restart #9 #Var: 165 LB: 0 @ 1.2
1.57	c Restart #10 #Var: 165 LB: 0 @ 1.553
2.15	c Restart #11 #Var: 165 LB: 0 @ 2.139
2.69	c Restart #12 #Var: 165 LB: 0 @ 2.677
3.53	c Restart #13 #Var: 165 LB: 0 @ 3.518
4.06	c Restart #14 #Var: 165 LB: 0 @ 4.045
4.99	c Restart #15 #Var: 165 LB: 0 @ 4.982
5.73	c Restart #16 #Var: 165 LB: 0 @ 5.717
7.00	c Restart #17 #Var: 165 LB: 0 @ 6.982
8.26	c Restart #18 #Var: 165 LB: 0 @ 8.249
9.73	c Restart #19 #Var: 165 LB: 0 @ 9.719
11.01	c Restart #20 #Var: 165 LB: 0 @ 10.991
12.16	c Restart #21 #Var: 165 LB: 0 @ 12.141
14.77	c Restart #22 #Var: 165 LB: 0 @ 14.75
16.24	c Restart #23 #Var: 165 LB: 0 @ 16.221
19.03	c Restart #24 #Var: 165 LB: 0 @ 19.005
21.57	c Restart #25 #Var: 165 LB: 0 @ 21.539
24.73	c Restart #26 #Var: 165 LB: 0 @ 24.707
27.81	c Restart #27 #Var: 165 LB: 0 @ 27.78
34.38	c Restart #28 #Var: 165 LB: 0 @ 34.348
37.12	c Restart #29 #Var: 165 LB: 0 @ 37.083
43.71	c Restart #30 #Var: 165 LB: 0 @ 43.669
49.14	c Restart #31 #Var: 165 LB: 0 @ 49.099
63.32	c Restart #32 #Var: 165 LB: 0 @ 63.266
75.70	c Restart #33 #Var: 165 LB: 0 @ 75.647
95.03	c Restart #34 #Var: 165 LB: 0 @ 94.969
116.25	c Restart #35 #Var: 165 LB: 0 @ 116.18
138.83	c Restart #36 #Var: 165 LB: 0 @ 138.75
151.35	c Restart #37 #Var: 165 LB: 0 @ 151.26
169.40	c Restart #38 #Var: 165 LB: 0 @ 169.31
185.93	c Restart #39 #Var: 165 LB: 0 @ 185.83
198.39	c Restart #40 #Var: 165 LB: 0 @ 198.29
213.04	c Restart #41 #Var: 165 LB: 0 @ 212.93
235.59	c Restart #42 #Var: 165 LB: 0 @ 235.48
279.93	c Restart #43 #Var: 165 LB: 0 @ 279.8
289.82	c Restart #44 #Var: 165 LB: 0 @ 289.69
303.03	c Restart #45 #Var: 165 LB: 0 @ 302.89
340.69	c Restart #46 #Var: 165 LB: 0 @ 340.53
410.00	c Restart #47 #Var: 165 LB: 0 @ 409.82
428.75	c Restart #48 #Var: 165 LB: 0 @ 428.56
453.82	c Restart #49 #Var: 165 LB: 0 @ 453.63
507.19	c Restart #50 #Var: 165 LB: 0 @ 506.98
538.56	c Restart #51 #Var: 165 LB: 0 @ 538.34
622.36	c Restart #52 #Var: 165 LB: 0 @ 622.1
702.50	c Restart #53 #Var: 165 LB: 0 @ 702.22
813.63	c Restart #54 #Var: 165 LB: 0 @ 813.31
824.87	c Sol. found (all assignments made)...
824.87	o 0
824.87	c NEW SOLUTION FOUND: 0 @ 824.54
824.87	s SATISFIABLE
824.87	c Cost: 0
824.87	v -x108 -x151 -x152 -x153 -x154 x155 -x27 -x131 -x132 -x133 x134 -x135 x75 -x72 -x136 -x137 x138 -x139 -x140 -x1 -x2 -x3 x4 -x5
824.87	v -x6 -x7 -x8 -x9 -x10 -x11 -x69 -x121 -x122 x123 -x124 -x125 -x66 -x161 -x162 -x163 x164 -x165 -x18 -x141 -x142 -x143 -x144 -x145
824.87	v x58 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x59 x126 -x127 -x128 -x129 -x130 -x40 -x51 -x15 -x14 -x19 x146 -x147
824.87	v -x148 -x149 -x150 -x70 -x50 -x62 -x63 -x23 -x111 x112 -x113 -x114 -x115 -x102 -x95 -x101 -x116 -x117 -x118 -x119 x120 -x46
824.87	v -x71 -x76 -x156 x157 -x158 -x159 -x160 -x74 -x34 x105 -x67 -x68 -x73 -x77 -x21 -x24 -x89 -x45 -x91 -x41 -x104 -x25 -x90 -x92
824.87	v -x93 -x94 x96 -x97 -x98 -x99 x35 -x28 -x26 -x29 -x30 -x31 -x32 x33 -x107 -x17 -x61 -x52 -x38 -x109 -x13 -x103 -x49 -x22 -x110
824.87	v -x100 -x106 -x53 -x65 -x42 -x12 x16 -x20 -x43 -x57 -x39 -x56 -x60 -x64 -x44 -x48 x54 -x47 -x55 -x37 -x36
824.87	c Exit Code: 10
824.87	c Total time: 824.54 s

Verifier Data (download as text)

OK	0

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.73 0.91 0.96 2/64 29477
/proc/meminfo: memFree=1532680/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=4932 CPUtime=0
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 361 0 0 0 0 0 0 0 18 0 1 0 189031568 5050368 325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9966176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 1233 330 226 55 0 125 0

[startup+10.003 s]
/proc/loadavg: 0.77 0.91 0.96 2/64 29477
/proc/meminfo: memFree=1503568/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=33660 CPUtime=9.98
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 7655 0 0 0 991 7 0 0 25 0 1 0 189031568 34467840 7569 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 8415 7569 297 55 0 7307 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 33660

[startup+20.0098 s]
/proc/loadavg: 0.80 0.91 0.96 2/64 29477
/proc/meminfo: memFree=1485520/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=51780 CPUtime=19.97
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 12175 0 0 0 1986 11 0 0 25 0 1 0 189031568 53022720 12087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 12945 12087 297 55 0 11837 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 51780

[startup+30.0166 s]
/proc/loadavg: 0.83 0.92 0.96 2/64 29477
/proc/meminfo: memFree=1472016/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=65408 CPUtime=29.98
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 15548 0 0 0 2983 15 0 0 25 0 1 0 189031568 66977792 15459 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 16352 15459 297 55 0 15244 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 65408

[startup+40.0224 s]
/proc/loadavg: 0.86 0.92 0.96 2/64 29477
/proc/meminfo: memFree=1461776/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=75776 CPUtime=39.98
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 18113 0 0 0 3979 19 0 0 25 0 1 0 189031568 77594624 18020 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 18944 18020 297 55 0 17836 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 75776

[startup+50.0282 s]
/proc/loadavg: 0.88 0.92 0.96 2/64 29477
/proc/meminfo: memFree=1453392/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=84372 CPUtime=49.98
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 20224 0 0 0 4975 23 0 0 25 0 1 0 189031568 86396928 20130 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29477/statm: 21093 20130 297 55 0 19985 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 84372

[startup+60.034 s]
/proc/loadavg: 0.90 0.92 0.96 2/64 29477
/proc/meminfo: memFree=1450384/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=87328 CPUtime=59.98
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 20976 0 0 0 5974 24 0 0 25 0 1 0 189031568 89423872 20881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 21832 20881 297 55 0 20724 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 87328

[startup+70.0408 s]
/proc/loadavg: 0.91 0.92 0.96 2/64 29477
/proc/meminfo: memFree=1447184/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=90568 CPUtime=69.98
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 21775 0 0 0 6972 26 0 0 25 0 1 0 189031568 92741632 21676 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 22642 21676 297 55 0 21534 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 90568

[startup+80.0466 s]
/proc/loadavg: 0.93 0.93 0.96 2/64 29477
/proc/meminfo: memFree=1444432/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=93396 CPUtime=79.98
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 22452 0 0 0 7971 27 0 0 25 0 1 0 189031568 95637504 22351 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 23349 22351 297 55 0 22241 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 93396

[startup+90.0524 s]
/proc/loadavg: 0.94 0.93 0.96 2/64 29477
/proc/meminfo: memFree=1441552/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=96344 CPUtime=89.98
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 23177 0 0 0 8970 28 0 0 25 0 1 0 189031568 98656256 23075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 24086 23075 297 55 0 22978 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 96344

[startup+100.058 s]
/proc/loadavg: 0.95 0.93 0.96 2/64 29477
/proc/meminfo: memFree=1439568/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=98328 CPUtime=99.99
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 23673 0 0 0 9969 30 0 0 25 0 1 0 189031568 100687872 23569 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 24582 23569 297 55 0 23474 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 98328

[startup+110.064 s]
/proc/loadavg: 0.95 0.93 0.96 2/64 29477
/proc/meminfo: memFree=1437392/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=100440 CPUtime=109.99
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 24221 0 0 0 10968 31 0 0 25 0 1 0 189031568 102850560 24117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 25110 24117 297 55 0 24002 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 100440

[startup+120.07 s]
/proc/loadavg: 0.96 0.93 0.96 2/64 29477
/proc/meminfo: memFree=1435024/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=102700 CPUtime=119.99
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 24803 0 0 0 11967 32 0 0 25 0 1 0 189031568 105164800 24699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 25675 24699 297 55 0 24567 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 102700

[startup+130.076 s]
/proc/loadavg: 0.97 0.93 0.96 2/64 29477
/proc/meminfo: memFree=1431824/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=106084 CPUtime=129.99
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 25618 0 0 0 12966 33 0 0 25 0 1 0 189031568 108630016 25509 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 26521 25509 297 55 0 25413 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 106084

[startup+140.081 s]
/proc/loadavg: 0.97 0.94 0.96 2/64 29477
/proc/meminfo: memFree=1429200/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=108760 CPUtime=140
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 26271 0 0 0 13966 34 0 0 25 0 1 0 189031568 111370240 26160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 27190 26160 297 55 0 26082 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 108760

[startup+150.087 s]
/proc/loadavg: 0.97 0.94 0.96 2/64 29477
/proc/meminfo: memFree=1425680/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=112208 CPUtime=150
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 27140 0 0 0 14965 35 0 0 25 0 1 0 189031568 114900992 27028 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 28052 27028 297 55 0 26944 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 112208

[startup+160.093 s]
/proc/loadavg: 0.98 0.94 0.96 2/64 29477
/proc/meminfo: memFree=1421648/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=116392 CPUtime=160
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 28155 0 0 0 15963 37 0 0 25 0 1 0 189031568 119185408 28039 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 29098 28039 297 55 0 27990 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 116392

[startup+170.099 s]
/proc/loadavg: 0.98 0.94 0.96 2/64 29477
/proc/meminfo: memFree=1419344/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=118664 CPUtime=170.01
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 28725 0 0 0 16962 39 0 0 25 0 1 0 189031568 121511936 28609 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 29666 28609 297 55 0 28558 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 118664

[startup+180.105 s]
/proc/loadavg: 0.98 0.94 0.96 2/64 29477
/proc/meminfo: memFree=1416720/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=121304 CPUtime=180
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 29378 0 0 0 17960 40 0 0 25 0 1 0 189031568 124215296 29262 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 30326 29262 297 55 0 29218 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 121304

[startup+190.111 s]
/proc/loadavg: 0.99 0.94 0.96 2/64 29477
/proc/meminfo: memFree=1411024/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=126996 CPUtime=190
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 30807 0 0 0 18958 42 0 0 25 0 1 0 189031568 130043904 30691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 31749 30691 297 55 0 30641 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 126996

[startup+200.116 s]
/proc/loadavg: 0.99 0.95 0.96 2/64 29477
/proc/meminfo: memFree=1408208/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=129912 CPUtime=200.01
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 31508 0 0 0 19957 44 0 0 25 0 1 0 189031568 133029888 31387 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 32478 31387 297 55 0 31370 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 129912

[startup+210.122 s]
/proc/loadavg: 0.99 0.95 0.96 2/64 29477
/proc/meminfo: memFree=1403984/2055920 swapFree=4181408/4192956

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

/proc/29477/statm: 51974 50326 297 55 0 50866 0
Current children cumulated CPU time (s) 610.11
Current children cumulated vsize (Kb) 207896

[startup+620.369 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1331344/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=208820 CPUtime=620.11
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 50763 0 0 0 61928 83 0 0 25 0 1 0 189031568 213831680 50548 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 52205 50548 297 55 0 51097 0
Current children cumulated CPU time (s) 620.11
Current children cumulated vsize (Kb) 208820

[startup+630.375 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1330960/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=209084 CPUtime=630.11
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 50847 0 0 0 62928 83 0 0 25 0 1 0 189031568 214102016 50632 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 52271 50632 297 55 0 51163 0
Current children cumulated CPU time (s) 630.11
Current children cumulated vsize (Kb) 209084

[startup+640.381 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1330000/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=210144 CPUtime=640.11
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 51093 0 0 0 63928 83 0 0 25 0 1 0 189031568 215187456 50877 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 52536 50877 297 55 0 51428 0
Current children cumulated CPU time (s) 640.11
Current children cumulated vsize (Kb) 210144

[startup+650.387 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1328848/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=211200 CPUtime=650.11
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 51374 0 0 0 64927 84 0 0 25 0 1 0 189031568 216268800 51158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 52800 51158 297 55 0 51692 0
Current children cumulated CPU time (s) 650.11
Current children cumulated vsize (Kb) 211200

[startup+660.393 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1327952/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=212124 CPUtime=660.12
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 51604 0 0 0 65927 85 0 0 25 0 1 0 189031568 217214976 51388 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 53031 51388 297 55 0 51923 0
Current children cumulated CPU time (s) 660.12
Current children cumulated vsize (Kb) 212124

[startup+670.399 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1327312/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=212804 CPUtime=670.12
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 51761 0 0 0 66927 85 0 0 25 0 1 0 189031568 217911296 51545 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 53201 51545 297 55 0 52093 0
Current children cumulated CPU time (s) 670.12
Current children cumulated vsize (Kb) 212804

[startup+680.404 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1326736/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=213464 CPUtime=680.12
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 51904 0 0 0 67927 85 0 0 25 0 1 0 189031568 218587136 51688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 53366 51688 297 55 0 52258 0
Current children cumulated CPU time (s) 680.12
Current children cumulated vsize (Kb) 213464

[startup+690.41 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1325904/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=214256 CPUtime=690.13
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 52114 0 0 0 68926 87 0 0 25 0 1 0 189031568 219398144 51898 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 53564 51898 297 55 0 52456 0
Current children cumulated CPU time (s) 690.13
Current children cumulated vsize (Kb) 214256

[startup+700.416 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1325072/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=215080 CPUtime=700.13
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 52327 0 0 0 69926 87 0 0 25 0 1 0 189031568 220241920 52107 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 53770 52107 297 55 0 52662 0
Current children cumulated CPU time (s) 700.13
Current children cumulated vsize (Kb) 215080

[startup+710.422 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1324240/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=216068 CPUtime=710.13
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 52538 0 0 0 70926 87 0 0 25 0 1 0 189031568 221253632 52315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 54017 52315 297 55 0 52909 0
Current children cumulated CPU time (s) 710.13
Current children cumulated vsize (Kb) 216068

[startup+720.428 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1323472/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=216744 CPUtime=720.14
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 52728 0 0 0 71926 88 0 0 25 0 1 0 189031568 221945856 52505 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 54186 52505 297 55 0 53078 0
Current children cumulated CPU time (s) 720.14
Current children cumulated vsize (Kb) 216744

[startup+730.433 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1322704/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=217404 CPUtime=730.13
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 52921 0 0 0 72925 88 0 0 25 0 1 0 189031568 222621696 52696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 54351 52696 297 55 0 53243 0
Current children cumulated CPU time (s) 730.13
Current children cumulated vsize (Kb) 217404

[startup+740.439 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1321936/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=218392 CPUtime=740.14
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 53114 0 0 0 73925 89 0 0 25 0 1 0 189031568 223633408 52881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 54598 52881 297 55 0 53490 0
Current children cumulated CPU time (s) 740.14
Current children cumulated vsize (Kb) 218392

[startup+750.445 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1321360/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=219128 CPUtime=750.14
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 53273 0 0 0 74925 89 0 0 25 0 1 0 189031568 224387072 53022 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 54782 53022 297 55 0 53674 0
Current children cumulated CPU time (s) 750.14
Current children cumulated vsize (Kb) 219128

[startup+760.451 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1320912/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=219528 CPUtime=760.14
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 53389 0 0 0 75925 89 0 0 25 0 1 0 189031568 224796672 53138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 54882 53138 297 55 0 53774 0
Current children cumulated CPU time (s) 760.14
Current children cumulated vsize (Kb) 219528

[startup+770.457 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1320080/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=220516 CPUtime=770.14
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 53593 0 0 0 76925 89 0 0 25 0 1 0 189031568 225808384 53342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534854 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 55129 53342 297 55 0 54021 0
Current children cumulated CPU time (s) 770.14
Current children cumulated vsize (Kb) 220516

[startup+780.462 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1319056/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=221572 CPUtime=780.14
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 53854 0 0 0 77925 89 0 0 25 0 1 0 189031568 226889728 53603 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 55393 53603 297 55 0 54285 0
Current children cumulated CPU time (s) 780.14
Current children cumulated vsize (Kb) 221572

[startup+790.468 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1318160/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=222364 CPUtime=790.15
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 54072 0 0 0 78925 90 0 0 25 0 1 0 189031568 227700736 53821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 55591 53821 297 55 0 54483 0
Current children cumulated CPU time (s) 790.15
Current children cumulated vsize (Kb) 222364

[startup+800.474 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1317392/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=223220 CPUtime=800.15
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 54273 0 0 0 79925 90 0 0 25 0 1 0 189031568 228577280 54018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 55805 54018 297 55 0 54697 0
Current children cumulated CPU time (s) 800.15
Current children cumulated vsize (Kb) 223220

[startup+810.48 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1316560/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=224208 CPUtime=810.15
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 54474 0 0 0 80924 91 0 0 25 0 1 0 189031568 229588992 54219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 56052 54219 297 55 0 54944 0
Current children cumulated CPU time (s) 810.15
Current children cumulated vsize (Kb) 224208

[startup+820.486 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29477
/proc/meminfo: memFree=1315984/2055920 swapFree=4181408/4192956
[pid=29477] ppid=29475 vsize=224736 CPUtime=820.15
/proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 54617 0 0 0 81924 91 0 0 25 0 1 0 189031568 230129664 54362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548614 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29477/statm: 56184 54362 297 55 0 55076 0
Current children cumulated CPU time (s) 820.15
Current children cumulated vsize (Kb) 224736

Child status: 10
Real time (s): 824.907
CPU time (s): 824.58
CPU user time (s): 823.626
CPU system time (s): 0.953854
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (Kb): 224736

Launcher Data (download as text)

Begin job on node12 on Fri Jun  2 07:34:50 UTC 2006


FILE ID= 39689-1149233690

PBS_JOBID= 296710

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  ad8c96101fa1b2a172901cb81285d15c

RANDOM SEED= 330970818


/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.282
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.282
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:       1532888 kB
Buffers:         29744 kB
Cached:         423312 kB
SwapCached:       3292 kB
Active:         149724 kB
Inactive:       312100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1532888 kB
SwapTotal:     4192956 kB
SwapFree:      4181408 kB
Dirty:             292 kB
Writeback:           0 kB
Mapped:          14708 kB
Slab:            47208 kB
Committed_AS:   215668 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node12 on Fri Jun  2 07:48:35 UTC 2006