Trace number 39411

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 237.792 237.869

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14ls.opb
MD5SUM8999d4ddd4825a5d620fe0a3c798bc24
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.234963
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables316
Total number of constraints476
Number of constraints which are clauses274
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint2
Maximum length of a constraint100
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 14
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 114
Number of bits of the biggest sum of numbers7
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.03	c Initial problem consists of 316 variables and 476 constraints.
0.03	c Using non-optimization problem switches.
0.03	c No problem reductions applied in OPT. instance.
0.03	c	preprocess terminated. Elapsed time: 0.019
0.03	c After prepocess the problem consists of 316 variables and 476 constraints.
0.06	c Restart #1 #Var: 316 LB: 0 @ 0.049
0.13	c Restart #2 #Var: 316 LB: 0 @ 0.118
0.22	c Restart #3 #Var: 316 LB: 0 @ 0.209
0.36	c Restart #4 #Var: 316 LB: 0 @ 0.349
0.51	c Restart #5 #Var: 316 LB: 0 @ 0.506
0.77	c Restart #6 #Var: 316 LB: 0 @ 0.758
1.03	c Restart #7 #Var: 316 LB: 0 @ 1.024
1.38	c Restart #8 #Var: 316 LB: 0 @ 1.374
1.83	c Restart #9 #Var: 316 LB: 0 @ 1.823
2.28	c Restart #10 #Var: 316 LB: 0 @ 2.272
2.75	c Restart #11 #Var: 316 LB: 0 @ 2.746
3.31	c Restart #12 #Var: 316 LB: 0 @ 3.304
4.15	c Restart #13 #Var: 316 LB: 0 @ 4.139
5.26	c Restart #14 #Var: 316 LB: 0 @ 5.249
6.72	c Restart #15 #Var: 316 LB: 0 @ 6.706
8.36	c Restart #16 #Var: 316 LB: 0 @ 8.347
9.50	c Restart #17 #Var: 316 LB: 0 @ 9.493
10.98	c Restart #18 #Var: 316 LB: 0 @ 10.97
13.44	c Restart #19 #Var: 316 LB: 0 @ 13.428
15.77	c Restart #20 #Var: 316 LB: 0 @ 15.753
20.18	c Restart #21 #Var: 316 LB: 0 @ 20.167
23.34	c Restart #22 #Var: 316 LB: 0 @ 23.322
27.98	c Restart #23 #Var: 316 LB: 0 @ 27.962
30.71	c Restart #24 #Var: 316 LB: 0 @ 30.687
36.35	c Restart #25 #Var: 316 LB: 0 @ 36.327
41.39	c Restart #26 #Var: 316 LB: 0 @ 41.373
50.38	c Restart #27 #Var: 316 LB: 0 @ 50.359
56.98	c Restart #28 #Var: 316 LB: 0 @ 56.95
64.91	c Restart #29 #Var: 316 LB: 0 @ 64.883
73.40	c Restart #30 #Var: 316 LB: 0 @ 73.371
87.61	c Restart #31 #Var: 316 LB: 0 @ 87.573
94.16	c Restart #32 #Var: 316 LB: 0 @ 94.123
105.67	c Restart #33 #Var: 316 LB: 0 @ 105.63
112.28	c Restart #34 #Var: 316 LB: 0 @ 112.24
132.80	c Restart #35 #Var: 316 LB: 0 @ 132.75
144.97	c Restart #36 #Var: 316 LB: 0 @ 144.92
154.29	c Restart #37 #Var: 316 LB: 0 @ 154.24
171.62	c Restart #38 #Var: 316 LB: 0 @ 171.56
193.83	c Restart #39 #Var: 316 LB: 0 @ 193.77
213.32	c Restart #40 #Var: 316 LB: 0 @ 213.25
237.84	c Sol. found (all assignments made)...
237.84	o 0
237.84	c NEW SOLUTION FOUND: 0 @ 237.77
237.84	s SATISFIABLE
237.84	c Cost: 0
237.84	v -x1 -x3 -x5 -x7 -x9 -x11 -x13 -x15 -x17 -x19 -x21 -x23 -x25 -x27 -x29 -x31 -x33 -x35 -x37 -x39 -x41 -x43 -x45 -x47 -x49 -x51 -x53
237.84	v -x55 -x57 -x59 -x61 -x63 -x65 -x67 -x69 -x71 -x73 -x75 -x77 -x79 -x81 -x83 -x85 -x87 -x89 -x91 -x93 -x95 -x97 -x99 -x101 -x103
237.84	v -x105 -x107 -x109 -x111 -x113 -x115 -x117 -x119 -x121 x123 -x125 -x127 -x129 -x131 -x133 x135 -x137 -x139 -x141 -x143 x145
237.84	v -x147 -x149 -x151 -x153 x155 x157 -x159 -x161 x163 x165 -x167 -x169 -x171 -x173 x175 x177 x179 -x181 x183 x185 -x187 -x189
237.84	v -x191 -x193 -x195 x197 x199 -x2 -x4 -x6 x8 x10 x12 x14 -x16 -x18 -x20 -x22 -x24 -x26 x28 x30 x32 -x34 -x36 -x38 -x40 x42 -x44 -x46
237.84	v -x48 x50 -x52 x54 -x56 -x58 -x60 x62 -x64 -x66 -x68 -x70 x72 -x74 -x76 -x78 -x80 x82 -x84 -x86 -x88 -x90 -x92 -x94 -x96 -x98 -x100
237.84	v -x102 -x104 -x106 x108 -x110 -x112 -x114 -x116 -x118 -x120 -x122 -x124 -x126 -x128 -x130 -x132 -x134 -x136 -x138 -x140 -x142
237.84	v -x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 -x166 -x168 -x170 -x172 -x174 -x176 -x178 -x180 -x182 -x184
237.84	v -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 x201 -x204 x203 -x206 x205 -x208 x207 -x210 x209 -x212 x211 x214 -x213
237.84	v x216 -x215 x218 -x217 x220 -x219 -x222 x221 x224 -x223 x226 -x225 -x228 x227 -x230 x229 -x232 x231 -x234 x233 x236 -x235 x238
237.84	v -x237 x240 -x239 x242 -x241 x244 -x243 -x246 x245 -x248 x247 -x250 x249 x252 -x251 x254 -x253 x256 -x255 x258 -x257 -x260 -x259
237.84	v -x262 -x261 -x264 -x263 -x266 x265 -x268 x267 -x270 x269 -x272 x271 -x274 x273 x276 -x275 -x278 x277 x280 -x279 x282 -x281
237.84	v x284 -x283 -x286 -x285 x288 -x287 x290 -x289 x292 -x291 x294 -x293 x296 -x295 x298 -x297 -x300 -x299 -x302 -x301 -x304 -x303
237.84	v -x306 x305 -x308 x307 -x310 x309 -x312 x311 -x314 x313 x316 -x315
237.84	c Exit Code: 10
237.84	c Total time: 237.77 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/node18/watcher-39411-1149205072 -o ROOT/results/node18/solver-39411-1149205072 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node18/39411-1149205072/instance-39411-1149205072.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.82 0.54 0.36 2/64 23384
/proc/meminfo: memFree=1358296/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=4616 CPUtime=0
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 206 0 0 0 0 0 0 0 18 0 1 0 186170134 4726784 177 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4157841472 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 1187 188 143 55 0 79 0

[startup+10.0018 s]
/proc/loadavg: 0.85 0.55 0.36 2/64 23384
/proc/meminfo: memFree=1333408/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=29296 CPUtime=9.98
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 6598 0 0 0 994 4 0 0 25 0 1 0 186170134 29999104 6513 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 7324 6513 297 55 0 6216 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 29296

[startup+20.0087 s]
/proc/loadavg: 0.87 0.57 0.37 2/64 23384
/proc/meminfo: memFree=1324512/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=38224 CPUtime=19.99
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 8824 0 0 0 1992 7 0 0 25 0 1 0 186170134 39141376 8739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529320 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 9556 8739 297 55 0 8448 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 38224

[startup+30.0167 s]
/proc/loadavg: 0.89 0.58 0.37 2/64 23384
/proc/meminfo: memFree=1315680/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=47140 CPUtime=29.99
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 11029 0 0 0 2989 10 0 0 25 0 1 0 186170134 48271360 10944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 11785 10944 297 55 0 10677 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 47140

[startup+40.0227 s]
/proc/loadavg: 0.91 0.59 0.38 2/64 23384
/proc/meminfo: memFree=1309728/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=53064 CPUtime=40
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 12511 0 0 0 3987 13 0 0 25 0 1 0 186170134 54337536 12426 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528681 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 13266 12426 297 55 0 12158 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 53064

[startup+50.0286 s]
/proc/loadavg: 0.92 0.61 0.39 2/64 23384
/proc/meminfo: memFree=1304544/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=58204 CPUtime=50
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 13801 0 0 0 4986 14 0 0 25 0 1 0 186170134 59600896 13716 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 14551 13716 297 55 0 13443 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 58204

[startup+60.0346 s]
/proc/loadavg: 0.93 0.62 0.39 2/64 23384
/proc/meminfo: memFree=1299872/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=62832 CPUtime=60
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 14964 0 0 0 5984 16 0 0 25 0 1 0 186170134 64339968 14879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 15708 14879 297 55 0 14600 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 62832

[startup+70.0406 s]
/proc/loadavg: 0.94 0.63 0.40 2/64 23384
/proc/meminfo: memFree=1294560/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=68228 CPUtime=70
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 16286 0 0 0 6983 17 0 0 25 0 1 0 186170134 69865472 16201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 17057 16201 297 55 0 15949 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 68228

[startup+80.0466 s]
/proc/loadavg: 0.95 0.64 0.40 2/64 23384
/proc/meminfo: memFree=1291680/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=71116 CPUtime=80.01
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 17003 0 0 0 7982 19 0 0 25 0 1 0 186170134 72822784 16918 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 17779 16918 297 55 0 16671 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 71116

[startup+90.0525 s]
/proc/loadavg: 0.96 0.65 0.41 2/64 23384
/proc/meminfo: memFree=1288544/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=74244 CPUtime=90.01
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 17789 0 0 0 8981 20 0 0 25 0 1 0 186170134 76025856 17704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 18561 17704 297 55 0 17453 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 74244

[startup+100.059 s]
/proc/loadavg: 0.96 0.66 0.42 2/64 23384
/proc/meminfo: memFree=1282784/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=80032 CPUtime=100.02
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 19226 0 0 0 9979 23 0 0 25 0 1 0 186170134 81952768 19141 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 20008 19141 297 55 0 18900 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 80032

[startup+110.064 s]
/proc/loadavg: 0.97 0.68 0.42 2/64 23384
/proc/meminfo: memFree=1278112/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=84620 CPUtime=110.01
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 20380 0 0 0 10976 25 0 0 25 0 1 0 186170134 86650880 20294 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 21155 20294 297 55 0 20047 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 84620

[startup+120.07 s]
/proc/loadavg: 0.97 0.69 0.43 2/64 23384
/proc/meminfo: memFree=1273952/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=88812 CPUtime=120.02
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 21418 0 0 0 11975 27 0 0 25 0 1 0 186170134 90943488 21331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 22203 21331 297 55 0 21095 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 88812

[startup+130.076 s]
/proc/loadavg: 0.98 0.70 0.43 2/64 23384
/proc/meminfo: memFree=1272032/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=90652 CPUtime=130.02
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 21892 0 0 0 12975 27 0 0 25 0 1 0 186170134 92827648 21805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 22663 21805 297 55 0 21555 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 90652

[startup+140.082 s]
/proc/loadavg: 0.98 0.71 0.44 2/64 23384
/proc/meminfo: memFree=1268832/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=93932 CPUtime=140.03
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 22702 0 0 0 13974 29 0 0 25 0 1 0 186170134 96186368 22615 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 23483 22615 297 55 0 22375 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 93932

[startup+150.088 s]
/proc/loadavg: 0.98 0.71 0.45 2/64 23384
/proc/meminfo: memFree=1265056/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=97724 CPUtime=150.03
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 23628 0 0 0 14972 31 0 0 25 0 1 0 186170134 100069376 23541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 24431 23541 297 55 0 23323 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 97724

[startup+160.094 s]
/proc/loadavg: 0.98 0.72 0.45 2/64 23384
/proc/meminfo: memFree=1261984/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=100884 CPUtime=160.04
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 24420 0 0 0 15972 32 0 0 25 0 1 0 186170134 103305216 24332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 25221 24332 297 55 0 24113 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 100884

[startup+170.1 s]
/proc/loadavg: 0.99 0.73 0.46 2/64 23384
/proc/meminfo: memFree=1259296/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=103516 CPUtime=170.04
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 25079 0 0 0 16971 33 0 0 25 0 1 0 186170134 106000384 24991 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 25879 24991 297 55 0 24771 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 103516

[startup+180.106 s]
/proc/loadavg: 0.99 0.74 0.46 2/64 23384
/proc/meminfo: memFree=1256224/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=106688 CPUtime=180.04
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 25856 0 0 0 17970 34 0 0 25 0 1 0 186170134 109248512 25767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 26672 25767 297 55 0 25564 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 106688

[startup+190.112 s]
/proc/loadavg: 0.99 0.75 0.47 2/64 23384
/proc/meminfo: memFree=1254112/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=108804 CPUtime=190.04
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 26373 0 0 0 18969 35 0 0 25 0 1 0 186170134 111415296 26283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 27201 26283 297 55 0 26093 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 108804

[startup+200.118 s]
/proc/loadavg: 0.99 0.76 0.47 2/64 23384
/proc/meminfo: memFree=1250976/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=111964 CPUtime=200.05
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 27152 0 0 0 19969 36 0 0 25 0 1 0 186170134 114651136 27060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 27991 27060 297 55 0 26883 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 111964

[startup+210.124 s]
/proc/loadavg: 0.99 0.76 0.48 2/64 23384
/proc/meminfo: memFree=1248224/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=114732 CPUtime=210.05
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 27843 0 0 0 20968 37 0 0 25 0 1 0 186170134 117485568 27751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 28683 27751 297 55 0 27575 0
Current children cumulated CPU time (s) 210.05
Current children cumulated vsize (Kb) 114732

[startup+220.13 s]
/proc/loadavg: 0.99 0.77 0.48 2/64 23384
/proc/meminfo: memFree=1246560/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=116348 CPUtime=220.05
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 28254 0 0 0 21968 37 0 0 25 0 1 0 186170134 119140352 28161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 29087 28161 297 55 0 27979 0
Current children cumulated CPU time (s) 220.05
Current children cumulated vsize (Kb) 116348

[startup+230.136 s]
/proc/loadavg: 0.99 0.78 0.49 2/64 23384
/proc/meminfo: memFree=1245024/2055920 swapFree=4180888/4192956
[pid=23384] ppid=23382 vsize=117920 CPUtime=230.05
/proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 28637 0 0 0 22967 38 0 0 25 0 1 0 186170134 120750080 28544 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23384/statm: 29480 28544 297 55 0 28372 0
Current children cumulated CPU time (s) 230.05
Current children cumulated vsize (Kb) 117920

Child status: 10
Real time (s): 237.869
CPU time (s): 237.792
CPU user time (s): 237.367
CPU system time (s): 0.424935
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (Kb): 117920

Launcher Data (download as text)

Begin job on node18 on Thu Jun  1 23:37:52 UTC 2006


FILE ID= 39411-1149205072

PBS_JOBID= 293096

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  8999d4ddd4825a5d620fe0a3c798bc24

RANDOM SEED= 301925201


/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.216
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	: 5931.00
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.216
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:       1358504 kB
Buffers:         38800 kB
Cached:         582700 kB
SwapCached:       3828 kB
Active:         245956 kB
Inactive:       384280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1358504 kB
SwapTotal:     4192956 kB
SwapFree:      4180888 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14668 kB
Slab:            53244 kB
Committed_AS:   199652 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 node18 on Thu Jun  1 23:41:50 UTC 2006