Trace number 357457

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 NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alphaSAT (TO)93 1800.22 1800.84

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-duke2.b.opb
MD5SUMad998dfe89909927555ae6165c9e8c9e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark71
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 70
Optimality of the best value was proved NO
Number of variables1821
Total number of constraints4706
Number of constraints which are clauses4706
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint382
Number of terms in the objective function 1821
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1821
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1821
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.29/0.33	c ...done
0.29/0.33	c #vars=1821 #constraints=4707 hasObjective=yes
0.49/0.52	c res. mode=mod
0.49/0.52	c VSIDS like heuristics
0.49/0.52	c complete search running
0.49/0.55	c restart after 401 decisions
0.49/0.57	c nbDecision=500 #constraints=4709
0.49/0.58	c restart after 801 decisions
0.59/0.60	c nbDecision=1000 #constraints=4709
0.59/0.62	c nbDecision=1500 #constraints=4709
0.59/0.62	c restart after 1601 decisions
0.59/0.66	c nbDecision=2000 #constraints=4709
0.59/0.68	c nbDecision=2500 #constraints=4710
0.69/0.70	c nbDecision=3000 #constraints=4711
0.69/0.71	c restart after 3201 decisions
0.69/0.75	c nbDecision=3500 #constraints=4711
0.69/0.77	c nbDecision=4000 #constraints=4711
0.69/0.79	c nbDecision=4500 #constraints=4711
0.79/0.80	c nbDecision=4922 #constraints=4711
0.79/0.80	c linear search for optimum
0.79/0.80	o 94
0.79/0.82	c nbDecision=5000 #constraints=4732
0.79/0.86	c nbDecision=5260 #constraints=4776
0.79/0.86	o 93
0.89/0.95	c nbDecision=5500 #constraints=4851
1.09/1.12	c nbDecision=6000 #constraints=4983
1.19/1.26	c restart after 6401 decisions
1.29/1.31	c nbDecision=6500 #constraints=5085
1.29/1.33	c nbDecision=7000 #constraints=5085
1.29/1.36	c nbDecision=7500 #constraints=5085
1.29/1.38	c nbDecision=8000 #constraints=5085
1.49/1.57	c nbDecision=8500 #constraints=5203
1.79/1.87	c nbDecision=9000 #constraints=5395
2.09/2.19	c nbDecision=9500 #constraints=5548
2.59/2.65	c nbDecision=10000 #constraints=5733
2.99/3.06	c nbDecision=10500 #constraints=5891
3.49/3.54	c nbDecision=11000 #constraints=6054
3.99/4.09	c nbDecision=11500 #constraints=6215
4.58/4.61	c nbDecision=12000 #constraints=6363
5.59/5.63	c nbDecision=12500 #constraints=6571
6.59/6.61	c restart after 12801 decisions
6.69/6.76	c nbDecision=13000 #constraints=6734
6.79/6.80	c nbDecision=13500 #constraints=6734
6.79/6.86	c nbDecision=14000 #constraints=6734
6.89/6.93	c nbDecision=14500 #constraints=6734
8.09/8.14	c nbDecision=15000 #constraints=6925
8.79/8.86	c nbDecision=15500 #constraints=7065
9.58/9.64	c nbDecision=16000 #constraints=7205
10.38/10.41	c nbDecision=16500 #constraints=7341
11.49/11.57	c nbDecision=17000 #constraints=7533
12.59/12.64	c nbDecision=17500 #constraints=7688
14.09/14.12	c nbDecision=18000 #constraints=7873
15.29/15.30	c nbDecision=18500 #constraints=8027
16.68/16.72	c nbDecision=19000 #constraints=8194
18.08/18.17	c nbDecision=19500 #constraints=8351
19.49/19.53	c nbDecision=20000 #constraints=8500
21.99/22.02	c nbDecision=20500 #constraints=8709
25.58/25.60	c nbDecision=21000 #constraints=8953
27.69/27.77	c nbDecision=21500 #constraints=9121
29.19/29.20	c nbDecision=22000 #constraints=9257
30.48/30.58	c nbDecision=22500 #constraints=9381
32.58/32.65	c nbDecision=23000 #constraints=9552
34.68/34.79	c nbDecision=23500 #constraints=9726
36.78/36.88	c nbDecision=24000 #constraints=9879
39.98/40.02	c nbDecision=24500 #constraints=10085
42.08/42.13	c nbDecision=25000 #constraints=10230
44.88/44.94	c nbDecision=25500 #constraints=10403
45.08/45.11	c restart after 25601 decisions
45.58/45.66	c nbDecision=26000 #constraints=10425
45.68/45.77	c nbDecision=26500 #constraints=10425
45.88/45.97	c nbDecision=27000 #constraints=10425
47.07/47.11	c nbDecision=27500 #constraints=10487
49.28/49.32	c nbDecision=28000 #constraints=10634
53.17/53.20	c nbDecision=28500 #constraints=10829
59.17/59.21	c nbDecision=29000 #constraints=11091
62.67/62.72	c nbDecision=29500 #constraints=11255
64.68/64.78	c nbDecision=30000 #constraints=11381
66.98/67.07	c nbDecision=30500 #constraints=11517
70.07/70.14	c nbDecision=31000 #constraints=11677
73.47/73.58	c nbDecision=31500 #constraints=11862
76.67/76.73	c nbDecision=32000 #constraints=12017
81.37/81.46	c nbDecision=32500 #constraints=12221
84.27/84.31	c nbDecision=33000 #constraints=12358
88.47/88.53	c nbDecision=33500 #constraints=12541
90.97/91.02	c nbDecision=34000 #constraints=12667
94.57/94.66	c nbDecision=34500 #constraints=12828
101.17/101.25	c nbDecision=35000 #constraints=13049
109.66/109.71	c nbDecision=35500 #constraints=13304
112.66/112.77	c nbDecision=36000 #constraints=13431
115.96/116.03	c nbDecision=36500 #constraints=13571
119.36/119.49	c nbDecision=37000 #constraints=13711
123.95/124.09	c nbDecision=37500 #constraints=13890
128.25/128.36	c nbDecision=38000 #constraints=14055
132.46/132.56	c nbDecision=38500 #constraints=14210
138.75/138.83	c nbDecision=39000 #constraints=14413
142.75/142.84	c nbDecision=39500 #constraints=14563
147.25/147.36	c nbDecision=40000 #constraints=14717
151.85/151.93	c nbDecision=40500 #constraints=14875
157.65/157.77	c nbDecision=41000 #constraints=15052
168.04/168.11	c nbDecision=41500 #constraints=15305
175.14/175.26	c nbDecision=42000 #constraints=15485
179.44/179.57	c nbDecision=42500 #constraints=15629
183.74/183.82	c nbDecision=43000 #constraints=15769
187.94/188.07	c nbDecision=43500 #constraints=15905
193.83/193.97	c nbDecision=44000 #constraints=16095
199.04/199.12	c nbDecision=44500 #constraints=16248
206.03/206.18	c nbDecision=45000 #constraints=16433
211.23/211.36	c nbDecision=45500 #constraints=16591
217.13/217.22	c nbDecision=46000 #constraints=16759
222.83/222.99	c nbDecision=46500 #constraints=16915
228.22/228.31	c nbDecision=47000 #constraints=17063
237.33/237.49	c nbDecision=47500 #constraints=17271
250.02/250.16	c nbDecision=48000 #constraints=17522
257.32/257.48	c nbDecision=48500 #constraints=17686
262.12/262.29	c nbDecision=49000 #constraints=17822
266.62/266.74	c nbDecision=49500 #constraints=17948
273.01/273.14	c nbDecision=50000 #constraints=18115
279.71/279.84	c nbDecision=50500 #constraints=18289
285.92/286.08	c nbDecision=51000 #constraints=18442
288.41/288.57	c restart after 51201 decisions
289.61/289.79	c nbDecision=51500 #constraints=18504
289.91/290.05	c nbDecision=52000 #constraints=18504
290.41/290.50	c nbDecision=52500 #constraints=18504
293.71/293.85	c nbDecision=53000 #constraints=18560
300.50/300.68	c nbDecision=53500 #constraints=18726
307.61/307.73	c nbDecision=54000 #constraints=18895
314.41/314.59	c nbDecision=54500 #constraints=19054
320.50/320.61	c nbDecision=55000 #constraints=19200
330.79/330.93	c nbDecision=55500 #constraints=19401
346.10/346.25	c nbDecision=56000 #constraints=19656
354.59/354.76	c nbDecision=56500 #constraints=19818
359.79/359.94	c nbDecision=57000 #constraints=19953
365.09/365.29	c nbDecision=57500 #constraints=20080
372.68/372.87	c nbDecision=58000 #constraints=20246
380.69/380.86	c nbDecision=58500 #constraints=20429
387.89/388.08	c nbDecision=59000 #constraints=20582
398.58/398.76	c nbDecision=59500 #constraints=20784
405.07/405.21	c nbDecision=60000 #constraints=20925
414.38/414.55	c nbDecision=60500 #constraints=21104
419.88/420.01	c nbDecision=61000 #constraints=21230
427.87/428.06	c nbDecision=61500 #constraints=21394
442.46/442.66	c nbDecision=62000 #constraints=21627
459.26/459.47	c nbDecision=62500 #constraints=21867
474.96/475.19	c nbDecision=63000 #constraints=22075
491.15/491.36	c nbDecision=63500 #constraints=22243
506.95/507.17	c nbDecision=64000 #constraints=22413
524.14/524.34	c nbDecision=64500 #constraints=22607
539.73/539.92	c nbDecision=65000 #constraints=22751
557.54/557.77	c nbDecision=65500 #constraints=22975
573.53/573.73	c nbDecision=66000 #constraints=23105
591.22/591.46	c nbDecision=66500 #constraints=23321
607.61/607.82	c nbDecision=67000 #constraints=23459
625.51/625.73	c nbDecision=67500 #constraints=23675
642.30/642.57	c nbDecision=68000 #constraints=23813
660.10/660.39	c nbDecision=68500 #constraints=24027
677.10/677.36	c nbDecision=69000 #constraints=24163
695.19/695.45	c nbDecision=69500 #constraints=24376
712.79/713.06	c nbDecision=70000 #constraints=24530
730.79/731.04	c nbDecision=70500 #constraints=24734
748.58/748.84	c nbDecision=71000 #constraints=24897
760.07/760.36	c nbDecision=71500 #constraints=24988
771.17/771.43	c nbDecision=72000 #constraints=25074
782.16/782.41	c nbDecision=72500 #constraints=25164
793.27/793.52	c nbDecision=73000 #constraints=25248
804.26/804.54	c nbDecision=73500 #constraints=25340
815.46/815.79	c nbDecision=74000 #constraints=25426
826.65/827.00	c nbDecision=74500 #constraints=25520
837.85/838.15	c nbDecision=75000 #constraints=25604
848.65/848.92	c nbDecision=75500 #constraints=25692
860.35/860.64	c nbDecision=76000 #constraints=25782
871.24/871.59	c nbDecision=76500 #constraints=25872
882.64/882.99	c nbDecision=77000 #constraints=25958
893.94/894.24	c nbDecision=77500 #constraints=26049
905.43/905.70	c nbDecision=78000 #constraints=26139
916.63/916.93	c nbDecision=78500 #constraints=26226
927.92/928.23	c nbDecision=79000 #constraints=26315
939.73/940.01	c nbDecision=79500 #constraints=26406
951.23/951.55	c nbDecision=80000 #constraints=26521
962.81/963.12	c nbDecision=80500 #constraints=26636
974.12/974.43	c nbDecision=81000 #constraints=26749
982.22/982.54	c nbDecision=81500 #constraints=26856
989.11/989.45	c nbDecision=82000 #constraints=26996
996.01/996.30	c nbDecision=82500 #constraints=27128
1004.80/1005.19	c nbDecision=83000 #constraints=27286
1015.81/1016.12	c nbDecision=83500 #constraints=27473
1024.70/1025.07	c nbDecision=84000 #constraints=27626
1038.29/1038.65	c nbDecision=84500 #constraints=27840
1045.89/1046.22	c nbDecision=85000 #constraints=27972
1055.70/1056.00	c nbDecision=85500 #constraints=28132
1063.99/1064.34	c nbDecision=86000 #constraints=28282
1073.88/1074.24	c nbDecision=86500 #constraints=28445
1091.09/1091.46	c nbDecision=87000 #constraints=28666
1112.47/1112.81	c nbDecision=87500 #constraints=28912
1120.87/1121.25	c nbDecision=88000 #constraints=29046
1129.28/1129.63	c nbDecision=88500 #constraints=29190
1137.57/1137.99	c nbDecision=89000 #constraints=29330
1148.66/1149.07	c nbDecision=89500 #constraints=29504
1159.26/1159.61	c nbDecision=90000 #constraints=29672
1169.16/1169.55	c nbDecision=90500 #constraints=29827
1182.96/1183.39	c nbDecision=91000 #constraints=30016
1193.35/1193.76	c nbDecision=91500 #constraints=30180
1203.65/1204.08	c nbDecision=92000 #constraints=30332
1214.05/1214.46	c nbDecision=92500 #constraints=30490
1227.04/1227.44	c nbDecision=93000 #constraints=30664
1249.74/1250.11	c nbDecision=93500 #constraints=30908
1269.33/1269.75	c nbDecision=94000 #constraints=31112
1292.53/1292.97	c nbDecision=94500 #constraints=31322
1314.92/1315.38	c nbDecision=95000 #constraints=31462
1338.72/1339.10	c nbDecision=95500 #constraints=31676
1361.10/1361.59	c nbDecision=96000 #constraints=31828
1375.40/1375.86	c nbDecision=96500 #constraints=31920
1390.10/1390.59	c nbDecision=97000 #constraints=32006
1403.40/1403.85	c nbDecision=97500 #constraints=32094
1418.69/1419.15	c nbDecision=98000 #constraints=32184
1432.58/1433.01	c nbDecision=98500 #constraints=32283
1441.68/1442.14	c nbDecision=99000 #constraints=32400
1450.88/1451.38	c nbDecision=99500 #constraints=32542
1459.88/1460.31	c nbDecision=100000 #constraints=32678
1471.17/1471.68	c nbDecision=100500 #constraints=32841
1482.77/1483.26	c nbDecision=101000 #constraints=33009
1493.87/1494.33	c nbDecision=101500 #constraints=33162
1509.86/1510.32	c nbDecision=102000 #constraints=33362
1518.67/1519.18	c restart after 102401 decisions
1521.06/1521.52	c nbDecision=102500 #constraints=33478
1521.26/1521.75	c nbDecision=103000 #constraints=33478
1521.97/1522.40	c nbDecision=103500 #constraints=33478
1522.97/1523.41	c nbDecision=104000 #constraints=33478
1532.46/1533.00	c nbDecision=104500 #constraints=33611
1544.32/1544.81	c nbDecision=105000 #constraints=33768
1556.60/1557.19	c nbDecision=105500 #constraints=33927
1574.66/1575.28	c nbDecision=106000 #constraints=34129
1601.84/1602.48	c nbDecision=106500 #constraints=34384
1615.03/1615.66	c nbDecision=107000 #constraints=34540
1625.03/1625.69	c nbDecision=107500 #constraints=34678
1633.72/1634.35	c nbDecision=108000 #constraints=34807
1646.52/1647.16	c nbDecision=108500 #constraints=34973
1659.61/1660.21	c nbDecision=109000 #constraints=35146
1671.71/1672.30	c nbDecision=109500 #constraints=35299
1689.11/1689.79	c nbDecision=110000 #constraints=35498
1701.61/1702.25	c nbDecision=110500 #constraints=35656
1715.90/1716.53	c nbDecision=111000 #constraints=35826
1726.31/1726.93	c nbDecision=111500 #constraints=35958
1739.50/1740.18	c nbDecision=112000 #constraints=36118
1765.29/1765.94	c nbDecision=112500 #constraints=36363
1791.98/1792.65	c nbDecision=113000 #constraints=36590
1800.09/1800.71	Received signal 15
1800.09/1800.78	
1800.09/1800.78	s SATISFIABLE
1800.09/1800.78	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.09/1800.78	v -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.09/1800.78	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80
1800.09/1800.78	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.09/1800.78	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.09/1800.78	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.09/1800.78	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.09/1800.78	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.09/1800.78	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.09/1800.78	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.09/1800.78	v -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251
1800.09/1800.78	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.09/1800.78	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.09/1800.78	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.09/1800.78	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335
1800.09/1800.78	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.09/1800.78	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.09/1800.78	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.09/1800.78	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.09/1800.78	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.09/1800.78	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.09/1800.78	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.09/1800.78	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.09/1800.78	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.09/1800.78	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.09/1800.78	v -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.09/1800.78	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 x582 -x583 -x584 -x585 -x586 -x587
1800.09/1800.78	v -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.09/1800.78	v -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.09/1800.78	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650
1800.09/1800.78	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.09/1800.78	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.09/1800.78	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.09/1800.78	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.09/1800.78	v -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.09/1800.78	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.09/1800.78	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.09/1800.78	v -x798 -x799 -x800 -x801 -x802 x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.09/1800.78	v -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.09/1800.78	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1800.09/1800.78	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1800.09/1800.78	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1800.09/1800.78	v -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.09/1800.78	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944
1800.09/1800.78	v -x945 -x946 x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1800.09/1800.78	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1800.09/1800.78	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1800.09/1800.78	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1800.09/1800.78	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.09/1800.78	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.09/1800.78	v -x1057 x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.09/1800.78	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 x1090 -x1091 -x1092
1800.09/1800.78	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1800.09/1800.78	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126
1800.09/1800.78	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143
1800.09/1800.78	v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
1800.09/1800.78	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177
1800.09/1800.78	v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 x1195
1800.09/1800.78	v x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213
1800.09/1800.78	v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230
1800.09/1800.78	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247
1800.09/1800.78	v -x1248 -x1249 -x1250 -x1251 x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265
1800.09/1800.78	v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282
1800.09/1800.78	v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
1800.09/1800.78	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317
1800.09/1800.78	v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334
1800.09/1800.78	v x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351
1800.09/1800.78	v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368
1800.09/1800.78	v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385
1800.09/1800.78	v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402
1800.09/1800.78	v -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419
1800.09/1800.78	v -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436
1800.09/1800.78	v -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453
1800.09/1800.78	v -x1454 x1455 -x1456 -x1457 -x1458 x1459 -x1460 x1461 x1462 -x1463 -x1464 x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471
1800.09/1800.78	v -x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488
1800.09/1800.78	v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506
1800.09/1800.78	v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523
1800.09/1800.78	v -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 x1541
1800.09/1800.78	v x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559
1800.09/1800.78	v -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576
1800.09/1800.78	v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593
1800.09/1800.78	v -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
1800.09/1800.78	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627
1800.09/1800.78	v -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645
1800.09/1800.78	v -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 x1661 -x1662 x1663
1800.09/1800.78	v -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
1800.09/1800.78	v -x1681 -x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698
1800.09/1800.78	v -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 x1712 x1713 -x1714 -x1715 -x1716
1800.09/1800.78	v -x1717 -x1718 -x1719 x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734
1800.09/1800.78	v x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752
1800.09/1800.78	v x1753 x1754 x1755 -x1756 -x1757 x1758 x1759 x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
1800.09/1800.78	v -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788
1800.09/1800.78	v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805
1800.09/1800.78	v -x1806 -x1807 x1808 x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 x1818 -x1819 x1820 x1821
1800.09/1800.78	
1800.09/1800.78	c user time= 1799.6 s
1800.09/1800.78	c system time= 0.572912 s
1800.09/1800.78	c wall clock time=1800.78

Verifier Data (download as text)

OK	93

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node17/watcher-357457-1177000524 -o ROOT/results/node17/solver-357457-1177000524 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357457-1177000524/instance-357457-1177000524.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.98 0.99 2/77 1960
/proc/meminfo: memFree=1528056/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=1468 CPUtime=0
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 147969907 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 367 165 130 317 0 46 0

[startup+0.099894 s]
/proc/loadavg: 0.91 0.98 0.99 2/77 1960
/proc/meminfo: memFree=1528056/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=3448 CPUtime=0.09
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 662 0 0 0 9 0 0 0 18 0 1 0 147969907 3530752 644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 862 645 130 317 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3448

[startup+0.101894 s]
/proc/loadavg: 0.91 0.98 0.99 2/77 1960
/proc/meminfo: memFree=1528056/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=3448 CPUtime=0.09
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 672 0 0 0 9 0 0 0 18 0 1 0 147969907 3530752 654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 862 654 130 317 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3448

[startup+0.301915 s]
/proc/loadavg: 0.91 0.98 0.99 2/77 1960
/proc/meminfo: memFree=1528056/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=7540 CPUtime=0.29
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 1688 0 0 0 28 1 0 0 19 0 1 0 147969907 7720960 1670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 1885 1670 130 317 0 1564 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7540

[startup+0.701956 s]
/proc/loadavg: 0.91 0.98 0.99 2/77 1960
/proc/meminfo: memFree=1528056/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=10340 CPUtime=0.69
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 2418 0 0 0 68 1 0 0 23 0 1 0 147969907 10588160 2367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 2585 2367 139 317 0 2264 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10340

[startup+1.50104 s]
/proc/loadavg: 0.91 0.98 0.99 2/78 1961
/proc/meminfo: memFree=1517808/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=13764 CPUtime=1.49
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 3288 0 0 0 147 2 0 0 25 0 1 0 147969907 14094336 3237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 3441 3237 170 317 0 3120 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13764

[startup+3.10221 s]
/proc/loadavg: 0.91 0.98 0.99 2/78 1961
/proc/meminfo: memFree=1512688/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=20324 CPUtime=3.09
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 4931 0 0 0 307 2 0 0 25 0 1 0 147969907 20811776 4880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273892 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 5081 4880 170 317 0 4760 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20324

[startup+6.30154 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 1961
/proc/meminfo: memFree=1504176/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=26476 CPUtime=6.29
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 6478 0 0 0 626 3 0 0 25 0 1 0 147969907 27111424 6427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 6619 6427 170 317 0 6298 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26476

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 1961
/proc/meminfo: memFree=1495216/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=34816 CPUtime=12.69
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 8511 0 0 0 1265 4 0 0 25 0 1 0 147969907 35651584 8460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 8704 8460 170 317 0 8383 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34816

[startup+25.5015 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 1961
/proc/meminfo: memFree=1483376/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=47992 CPUtime=25.48
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 11343 0 0 0 2543 5 0 0 25 0 1 0 147969907 49143808 11292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 11998 11292 170 317 0 11677 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47992

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 1961
/proc/meminfo: memFree=1470192/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=60196 CPUtime=51.08
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 14741 0 0 0 5100 8 0 0 25 0 1 0 147969907 61640704 14626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 15049 14626 170 317 0 14728 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 60196

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 1961
/proc/meminfo: memFree=1448688/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=85172 CPUtime=102.27
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 20028 0 0 0 10216 11 0 0 25 0 1 0 147969907 87216128 19913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604330 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 21293 19913 170 317 0 20972 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 85172

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1961
/proc/meminfo: memFree=1433008/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=99384 CPUtime=162.24
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 23957 0 0 0 16210 14 0 0 25 0 1 0 147969907 101769216 23842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604138 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 24846 23842 170 317 0 24525 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 99384

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1419824/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=111260 CPUtime=222.23
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 27185 0 0 0 22207 16 0 0 25 0 1 0 147969907 113930240 27070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 27815 27070 170 317 0 27494 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 111260

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1407024/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=127624 CPUtime=282.21
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 30411 0 0 0 28202 19 0 0 25 0 1 0 147969907 130686976 30296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 31906 30296 170 317 0 31585 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 127624

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1397232/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=136940 CPUtime=342.19
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 32954 0 0 0 34199 20 0 0 25 0 1 0 147969907 140226560 32711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 34235 32711 170 317 0 33914 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 136940

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1388080/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=145400 CPUtime=402.17
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 35274 0 0 0 40195 22 0 0 25 0 1 0 147969907 148889600 35031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 36350 35031 170 317 0 36029 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 145400

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1377392/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=164292 CPUtime=462.16
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 39443 0 0 0 46191 25 0 0 25 0 1 0 147969907 168235008 37682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 41073 37682 170 317 0 40752 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 164292

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1372592/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=169040 CPUtime=522.14
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 40696 0 0 0 52188 26 0 0 25 0 1 0 147969907 173096960 38935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 42260 38935 170 317 0 41939 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 169040

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1367728/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=172988 CPUtime=582.12
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 41874 0 0 0 58185 27 0 0 25 0 1 0 147969907 177139712 40113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604122 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 43247 40113 170 317 0 42926 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 172988

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1363440/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=176672 CPUtime=642.11
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 42936 0 0 0 64183 28 0 0 25 0 1 0 147969907 180912128 41175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 44168 41175 170 317 0 43847 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 176672


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1348720/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=189872 CPUtime=882.04
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 46601 0 0 0 88170 34 0 0 25 0 1 0 147969907 194428928 44840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 47468 44840 170 317 0 47147 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 189872

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1345712/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=192500 CPUtime=942.03
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 47343 0 0 0 94168 35 0 0 25 0 1 0 147969907 197120000 45582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 48125 45582 170 317 0 47804 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 192500

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1340656/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=196980 CPUtime=1002
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 48630 0 0 0 100164 36 0 0 25 0 1 0 147969907 201707520 46869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 49245 46869 170 317 0 48924 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 196980

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1333232/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=203856 CPUtime=1061.99
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 50463 0 0 0 106161 38 0 0 25 0 1 0 147969907 208748544 48702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 50964 48702 170 317 0 50643 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 203856

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1326384/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=209528 CPUtime=1121.97
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 52143 0 0 0 112158 39 0 0 25 0 1 0 147969907 214556672 50382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 52382 50382 170 317 0 52061 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 209528

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1319344/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=216632 CPUtime=1181.95
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 54066 0 0 0 118154 41 0 0 25 0 1 0 147969907 221831168 52173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 54158 52173 170 317 0 53837 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 216632

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1312688/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=222176 CPUtime=1241.93
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 55699 0 0 0 124150 43 0 0 25 0 1 0 147969907 227508224 53806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 55544 53806 170 317 0 55223 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 222176

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1308016/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=226256 CPUtime=1301.93
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 56833 0 0 0 130148 45 0 0 25 0 1 0 147969907 231686144 54940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 56564 54940 170 317 0 56243 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 226256

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1305136/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=228888 CPUtime=1361.9
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 57554 0 0 0 136144 46 0 0 25 0 1 0 147969907 234381312 55661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 57222 55661 170 317 0 56901 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 228888

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1302640/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=231112 CPUtime=1421.89
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 58199 0 0 0 142142 47 0 0 25 0 1 0 147969907 236658688 56273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 57778 56273 170 317 0 57457 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 231112

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1963
/proc/meminfo: memFree=1297008/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=237180 CPUtime=1481.87
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 59903 0 0 0 148139 48 0 0 25 0 1 0 147969907 242872320 57680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 59295 57680 170 317 0 58974 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 237180

[startup+1542.3 s]
/proc/loadavg: 1.15 1.02 1.00 2/84 2036
/proc/meminfo: memFree=1289728/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=249764 CPUtime=1541.83
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 62739 0 0 0 154132 51 0 0 25 0 1 0 147969907 255758336 59196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 62441 59196 170 317 0 62120 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 249764

[startup+1602.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 2180
/proc/meminfo: memFree=1285168/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=257460 CPUtime=1601.74
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 64653 0 0 0 160121 53 0 0 25 0 1 0 147969907 263639040 60582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604226 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 64365 60582 170 317 0 64044 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 257460

[startup+1662.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 2180
/proc/meminfo: memFree=1279088/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=262756 CPUtime=1661.72
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 66219 0 0 0 166118 54 0 0 25 0 1 0 147969907 269062144 62115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 65689 62115 170 317 0 65368 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 262756

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2180
/proc/meminfo: memFree=1273712/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=268272 CPUtime=1721.71
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 67788 0 0 0 172115 56 0 0 25 0 1 0 147969907 274710528 63519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 67068 63519 170 317 0 66747 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 268272

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2180
/proc/meminfo: memFree=1268272/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=272612 CPUtime=1781.69
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 69122 0 0 0 178112 57 0 0 25 0 1 0 147969907 279154688 64820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 68153 64820 170 317 0 67832 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 272612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2180
/proc/meminfo: memFree=1267312/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=273668 CPUtime=1800.09
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194304 69377 0 0 0 179952 57 0 0 25 0 1 0 147969907 280236032 65075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 68417 65075 170 317 0 68096 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 273668

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2180
/proc/meminfo: memFree=1267312/2055920 swapFree=4141660/4192956
[pid=1960] ppid=1958 vsize=0 CPUtime=1800.18
/proc/1960/stat : 1960 (oree) R 1958 1960 986 0 -1 4194308 69396 0 0 0 179960 58 0 0 25 0 1 0 147969907 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1960/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.84
CPU time (s): 1800.22
CPU user time (s): 1799.61
CPU system time (s): 0.612906
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 273668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.612906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69396
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 2946

runsolver used 2.10868 second user time and 4.35734 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Thu Apr 19 16:35:24 UTC 2007

IDJOB= 357457
IDBENCH= 2892
IDSOLVER= 172
FILE ID= node17/357457-1177000524

PBS_JOBID= 4630469

Free space on /tmp= 66390 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-duke2.b.opb
COMMAND LINE= oree /tmp/evaluation/357457-1177000524/instance-357457-1177000524.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-357457-1177000524 -o ROOT/results/node17/solver-357457-1177000524 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357457-1177000524/instance-357457-1177000524.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  ad998dfe89909927555ae6165c9e8c9e

RANDOM SEED= 492375579

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.240
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.240
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:       1528528 kB
Buffers:         37576 kB
Cached:         397644 kB
SwapCached:      14192 kB
Active:         220376 kB
Inactive:       250224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1528528 kB
SwapTotal:     4192956 kB
SwapFree:      4141660 kB
Dirty:            2520 kB
Writeback:           0 kB
Mapped:          41524 kB
Slab:            42288 kB
Committed_AS:  7119040 kB
PageTables:       1824 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66390 MiB

End job on node17 on Thu Apr 19 17:05:27 UTC 2007