Trace number 363448

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)63 1800.11 1800.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos1.opb
MD5SUM374deb5d477559ba9c51d0ad1d758624
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark28.0347
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 19
Optimality of the best value was proved YES
Number of variables2112
Total number of constraints5020
Number of constraints which are clauses4128
Number of constraints which are cardinality constraints (but not clauses)216
Number of constraints which are nor clauses,nor cardinality constraints676
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 288
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 288
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 288
Number of bits of the biggest sum of numbers9
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/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.05/0.06	c ...done
0.05/0.06	c #vars=2112 #constraints=5121 hasObjective=yes
0.05/0.07	c res. mode=mod
0.05/0.07	c VSIDS like heuristics
0.05/0.07	c complete search running
0.09/0.10	c restart after 401 decisions
0.09/0.11	c nbDecision=500 #constraints=5121
0.09/0.13	c restart after 801 decisions
0.09/0.15	c nbDecision=1000 #constraints=5121
0.19/0.21	c nbDecision=1500 #constraints=5146
0.19/0.22	c restart after 1601 decisions
0.19/0.25	c nbDecision=2000 #constraints=5156
0.29/0.32	c nbDecision=2500 #constraints=5197
0.39/0.40	c nbDecision=3000 #constraints=5243
0.39/0.43	c restart after 3201 decisions
0.39/0.46	c nbDecision=3500 #constraints=5264
0.49/0.52	c nbDecision=4000 #constraints=5298
0.59/0.60	c nbDecision=4500 #constraints=5349
0.59/0.69	c nbDecision=5000 #constraints=5394
0.69/0.76	c nbDecision=5500 #constraints=5441
0.79/0.85	c nbDecision=6000 #constraints=5493
0.89/0.92	c restart after 6401 decisions
0.89/0.93	c nbDecision=6500 #constraints=5548
0.89/1.00	c nbDecision=7000 #constraints=5580
1.10/1.12	c nbDecision=7500 #constraints=5672
1.19/1.24	c nbDecision=8000 #constraints=5748
1.29/1.31	c nbDecision=8500 #constraints=5807
1.29/1.38	c nbDecision=9000 #constraints=5866
1.39/1.44	c nbDecision=9500 #constraints=5903
1.49/1.51	c nbDecision=10000 #constraints=5960
1.49/1.58	c nbDecision=10500 #constraints=6012
1.59/1.66	c nbDecision=11000 #constraints=6067
1.69/1.73	c nbDecision=11500 #constraints=6115
1.79/1.81	c nbDecision=12000 #constraints=6154
1.79/1.88	c nbDecision=12500 #constraints=6197
1.89/1.94	c restart after 12801 decisions
1.89/1.97	c nbDecision=13000 #constraints=6232
2.09/2.10	c nbDecision=13500 #constraints=6305
2.19/2.28	c nbDecision=14000 #constraints=6385
2.39/2.44	c nbDecision=14500 #constraints=6447
2.59/2.63	c nbDecision=15000 #constraints=6521
2.79/2.82	c nbDecision=15500 #constraints=6587
2.89/2.91	c nbDecision=16000 #constraints=6631
2.99/3.06	c nbDecision=16500 #constraints=6701
3.19/3.27	c nbDecision=17000 #constraints=6769
3.29/3.38	c nbDecision=17500 #constraints=6818
3.38/3.47	c nbDecision=18000 #constraints=6868
3.48/3.54	c nbDecision=18500 #constraints=6901
3.58/3.61	c nbDecision=19000 #constraints=6927
3.58/3.68	c nbDecision=19500 #constraints=6959
3.68/3.75	c nbDecision=20000 #constraints=7036
3.78/3.83	c nbDecision=20500 #constraints=7103
3.88/3.96	c nbDecision=21000 #constraints=7228
4.09/4.14	c nbDecision=21500 #constraints=7354
4.19/4.26	c nbDecision=22000 #constraints=7396
4.40/4.43	c nbDecision=22500 #constraints=7521
4.59/4.68	c nbDecision=23000 #constraints=7640
4.79/4.90	c nbDecision=23500 #constraints=7763
5.09/5.12	c nbDecision=24000 #constraints=7828
5.29/5.31	c nbDecision=24500 #constraints=7889
5.49/5.57	c nbDecision=25000 #constraints=8018
5.99/6.01	c nbDecision=25500 #constraints=8134
5.99/6.06	c restart after 25601 decisions
6.09/6.11	c nbDecision=26000 #constraints=8142
6.39/6.40	c nbDecision=26500 #constraints=8213
6.68/6.70	c nbDecision=27000 #constraints=8280
6.88/6.97	c nbDecision=27500 #constraints=8340
7.18/7.24	c nbDecision=28000 #constraints=8393
7.48/7.54	c nbDecision=28500 #constraints=8450
7.78/7.83	c nbDecision=29000 #constraints=8513
8.08/8.14	c nbDecision=29500 #constraints=8582
8.38/8.43	c nbDecision=30000 #constraints=8636
8.69/8.70	c nbDecision=30500 #constraints=8686
8.88/8.94	c nbDecision=31000 #constraints=8719
9.08/9.15	c nbDecision=31500 #constraints=8769
9.38/9.40	c nbDecision=32000 #constraints=8828
9.58/9.68	c nbDecision=32500 #constraints=8952
9.99/10.06	c nbDecision=33000 #constraints=9104
10.49/10.55	c nbDecision=33500 #constraints=9220
10.99/11.06	c nbDecision=34000 #constraints=9311
11.39/11.43	c nbDecision=34500 #constraints=9364
11.69/11.78	c nbDecision=35000 #constraints=9420
12.09/12.20	c nbDecision=35500 #constraints=9473
12.59/12.69	c nbDecision=36000 #constraints=9535
12.99/13.08	c nbDecision=36500 #constraints=9588
13.38/13.49	c nbDecision=37000 #constraints=9634
13.79/13.85	c nbDecision=37500 #constraints=9679
14.08/14.14	c nbDecision=38000 #constraints=9740
14.38/14.48	c nbDecision=38500 #constraints=9840
14.88/14.93	c nbDecision=39000 #constraints=9966
15.29/15.39	c nbDecision=39500 #constraints=10021
15.88/15.90	c nbDecision=40000 #constraints=10174
16.28/16.35	c nbDecision=40500 #constraints=10236
16.88/16.97	c nbDecision=41000 #constraints=10393
17.49/17.52	c nbDecision=41500 #constraints=10556
17.98/18.08	c nbDecision=42000 #constraints=10690
18.99/19.05	c nbDecision=42500 #constraints=10849
19.79/19.84	c nbDecision=43000 #constraints=11012
20.48/20.56	c nbDecision=43500 #constraints=11172
21.78/21.83	c nbDecision=44000 #constraints=11398
22.88/22.92	c nbDecision=44500 #constraints=11552
23.68/23.72	c nbDecision=45000 #constraints=11617
24.78/24.84	c nbDecision=45500 #constraints=11679
25.58/25.69	c nbDecision=46000 #constraints=11759
26.48/26.57	c nbDecision=46500 #constraints=11820
27.68/27.73	c nbDecision=47000 #constraints=11873
28.78/28.84	c nbDecision=47500 #constraints=11960
29.98/30.04	c nbDecision=48000 #constraints=12050
30.88/30.95	c nbDecision=48500 #constraints=12103
32.08/32.13	c nbDecision=49000 #constraints=12155
33.27/33.39	c nbDecision=49500 #constraints=12242
34.58/34.64	c nbDecision=50000 #constraints=12297
35.78/35.88	c nbDecision=50500 #constraints=12372
37.08/37.17	c nbDecision=51000 #constraints=12474
37.48/37.58	c restart after 51201 decisions
37.58/37.62	c nbDecision=51500 #constraints=12510
38.49/38.58	c nbDecision=52000 #constraints=12579
39.59/39.63	c nbDecision=52500 #constraints=12651
40.78/40.81	c nbDecision=53000 #constraints=12750
41.88/41.95	c nbDecision=53500 #constraints=12832
43.08/43.13	c nbDecision=54000 #constraints=12930
44.28/44.37	c nbDecision=54500 #constraints=12979
45.48/45.55	c nbDecision=55000 #constraints=13058
46.78/46.81	c nbDecision=55500 #constraints=13115
47.78/47.83	c nbDecision=56000 #constraints=13204
48.58/48.67	c nbDecision=56500 #constraints=13279
49.68/49.79	c nbDecision=57000 #constraints=13386
51.08/51.16	c nbDecision=57500 #constraints=13473
52.38/52.44	c nbDecision=58000 #constraints=13541
53.68/53.76	c nbDecision=58500 #constraints=13653
55.08/55.18	c nbDecision=59000 #constraints=13741
56.58/56.62	c nbDecision=59500 #constraints=13852
57.57/57.69	c nbDecision=60000 #constraints=13928
58.47/58.53	c nbDecision=60500 #constraints=14071
59.38/59.40	c nbDecision=61000 #constraints=14218
60.68/60.70	c nbDecision=61500 #constraints=14403
62.58/62.61	c nbDecision=62000 #constraints=14572
63.78/63.82	c nbDecision=62500 #constraints=14754
65.18/65.25	c nbDecision=63000 #constraints=14935
67.37/67.42	c nbDecision=63500 #constraints=15124
69.77/69.80	c nbDecision=64000 #constraints=15343
71.58/71.68	c nbDecision=64500 #constraints=15513
73.17/73.22	c nbDecision=65000 #constraints=15687
74.97/75.10	c nbDecision=65500 #constraints=15849
77.97/78.05	c nbDecision=66000 #constraints=16059
80.77/80.81	c nbDecision=66500 #constraints=16246
84.06/84.11	c nbDecision=67000 #constraints=16422
87.47/87.54	c nbDecision=67500 #constraints=16610
89.57/89.65	c nbDecision=68000 #constraints=16768
89.57/89.70	c nbDecision=68168 #constraints=16773
89.57/89.70	c linear search for optimum
89.57/89.70	o 63
90.37/90.49	c nbDecision=68500 #constraints=17079
92.46/92.50	c nbDecision=69000 #constraints=17580
95.16/95.24	c nbDecision=69500 #constraints=18080
98.56/98.63	c nbDecision=70000 #constraints=18576
102.86/102.94	c nbDecision=70500 #constraints=19076
108.17/108.25	c nbDecision=71000 #constraints=19575
114.16/114.21	c nbDecision=71500 #constraints=20066
120.76/120.85	c nbDecision=72000 #constraints=20566
128.16/128.24	c nbDecision=72500 #constraints=21065
137.45/137.55	c nbDecision=73000 #constraints=21566
146.85/146.96	c nbDecision=73500 #constraints=22066
157.26/157.35	c nbDecision=74000 #constraints=22564
171.95/172.02	c nbDecision=74500 #constraints=23057
184.74/184.82	c nbDecision=75000 #constraints=23537
197.54/197.63	c nbDecision=75500 #constraints=24035
211.44/211.57	c nbDecision=76000 #constraints=24536
226.23/226.32	c nbDecision=76500 #constraints=25037
241.83/241.98	c nbDecision=77000 #constraints=25539
259.03/259.15	c nbDecision=77500 #constraints=26037
280.42/280.58	c nbDecision=78000 #constraints=26528
298.61/298.76	c nbDecision=78500 #constraints=27025
317.31/317.42	c nbDecision=79000 #constraints=27527
338.70/338.83	c nbDecision=79500 #constraints=28027
359.40/359.53	c nbDecision=80000 #constraints=28526
382.99/383.15	c nbDecision=80500 #constraints=29023
408.28/408.40	c nbDecision=81000 #constraints=29519
431.28/431.42	c nbDecision=81500 #constraints=30018
456.07/456.23	c nbDecision=82000 #constraints=30519
482.87/483.02	c nbDecision=82500 #constraints=31018
507.96/508.18	c nbDecision=83000 #constraints=31519
539.45/539.69	c nbDecision=83500 #constraints=32019
571.24/571.46	c nbDecision=84000 #constraints=32515
600.14/600.34	c nbDecision=84500 #constraints=33015
629.73/629.92	c nbDecision=85000 #constraints=33516
663.52/663.74	c nbDecision=85500 #constraints=34012
696.02/696.24	c nbDecision=86000 #constraints=34514
728.30/728.57	c nbDecision=86500 #constraints=35010
761.40/761.64	c nbDecision=87000 #constraints=35511
795.59/795.87	c nbDecision=87500 #constraints=36013
830.47/830.73	c nbDecision=88000 #constraints=36511
870.27/870.51	c nbDecision=88500 #constraints=37013
911.96/912.20	c nbDecision=89000 #constraints=37511
949.45/949.74	c nbDecision=89500 #constraints=38013
987.04/987.37	c nbDecision=90000 #constraints=38512
1031.53/1031.88	c nbDecision=90500 #constraints=39010
1070.82/1071.17	c nbDecision=91000 #constraints=39512
1111.61/1111.93	c nbDecision=91500 #constraints=40012
1157.50/1157.88	c nbDecision=92000 #constraints=40510
1201.08/1201.42	c nbDecision=92500 #constraints=41010
1244.48/1244.84	c nbDecision=93000 #constraints=41509
1287.96/1288.37	c nbDecision=93500 #constraints=42010
1332.55/1332.99	c nbDecision=94000 #constraints=42510
1377.94/1378.31	c nbDecision=94500 #constraints=43010
1438.84/1439.22	c nbDecision=95000 #constraints=43509
1487.81/1488.21	c nbDecision=95500 #constraints=44005
1536.90/1537.38	c nbDecision=96000 #constraints=44507
1591.80/1592.20	c nbDecision=96500 #constraints=45007
1641.98/1642.43	c nbDecision=97000 #constraints=45506
1695.26/1695.74	c nbDecision=97500 #constraints=46005
1754.87/1755.41	c nbDecision=98000 #constraints=46505
1800.05/1800.60	Received signal 15
1800.05/1800.62	
1800.05/1800.62	s SATISFIABLE
1800.05/1800.62	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.05/1800.62	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.05/1800.62	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.05/1800.62	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 -x105
1800.05/1800.62	v -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.05/1800.62	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147
1800.05/1800.62	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.05/1800.62	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.05/1800.62	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.05/1800.62	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.05/1800.62	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252
1800.05/1800.62	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.05/1800.62	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.05/1800.62	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.05/1800.62	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.05/1800.62	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 x356 -x357
1800.05/1800.62	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.05/1800.62	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.05/1800.62	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 x419 -x420
1800.05/1800.62	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.05/1800.62	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.05/1800.62	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.05/1800.62	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.05/1800.62	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.05/1800.62	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.05/1800.62	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 x564 -x565 -x566 -x567
1800.05/1800.62	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.05/1800.62	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.05/1800.62	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1800.05/1800.62	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.05/1800.62	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.05/1800.62	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.05/1800.62	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.05/1800.62	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.05/1800.62	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1800.05/1800.62	v -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777
1800.05/1800.62	v -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798
1800.05/1800.62	v -x799 x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819
1800.05/1800.62	v x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 x840
1800.05/1800.62	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.05/1800.62	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882
1800.05/1800.62	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
1800.05/1800.62	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1800.05/1800.62	v -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.05/1800.62	v -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966
1800.05/1800.62	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1800.05/1800.62	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1800.05/1800.62	v -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024
1800.05/1800.62	v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 x1040 -x1041 -x1042
1800.05/1800.62	v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059
1800.05/1800.62	v -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076
1800.05/1800.62	v -x1077 -x1078 x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094
1800.05/1800.62	v -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
1800.05/1800.62	v x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129
1800.05/1800.62	v -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
1800.05/1800.62	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164
1800.05/1800.62	v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181
1800.05/1800.62	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198
1800.05/1800.62	v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215
1800.05/1800.62	v -x1216 -x1217 x1218 x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233
1800.05/1800.62	v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
1800.05/1800.62	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267
1800.05/1800.62	v -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285
1800.05/1800.62	v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302
1800.05/1800.62	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320
1800.05/1800.62	v x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338
1800.05/1800.62	v x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355
1800.05/1800.62	v -x1356 -x1357 -x1358 -x1359 x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373
1800.05/1800.62	v -x1374 x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391
1800.05/1800.62	v -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 x1398 x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409
1800.05/1800.62	v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426
1800.05/1800.62	v -x1427 -x1428 x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 x1440 x1441 x1442 x1443 x1444 x1445
1800.05/1800.62	v x1446 x1447 x1448 x1449 x1450 x1451 x1452 x1453 x1454 x1455 x1456 x1457 x1458 x1459 x1460 x1461 x1462 x1463 x1464 x1465 x1466
1800.05/1800.62	v x1467 x1468 x1469 x1470 x1471 x1472 x1473 x1474 x1475 x1476 x1477 x1478 x1479 x1480 x1481 x1482 x1483 x1484 x1485 x1486 x1487
1800.05/1800.62	v x1488 x1489 x1490 x1491 x1492 x1493 x1494 x1495 x1496 x1497 x1498 x1499 x1500 x1501 x1502 x1503 x1504 x1505 x1506 x1507 x1508
1800.05/1800.62	v x1509 x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 x1519 x1520 x1521 x1522 x1523 x1524 x1525 x1526 x1527 x1528 x1529
1800.05/1800.62	v x1530 x1531 x1532 x1533 x1534 x1535 x1536 x1537 x1538 x1539 x1540 x1541 x1542 x1543 x1544 x1545 x1546 x1547 x1548 x1549 x1550
1800.05/1800.62	v x1551 x1552 x1553 x1554 x1555 x1556 x1557 x1558 x1559 x1560 x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 x1571
1800.05/1800.62	v x1572 x1573 x1574 x1575 x1576 x1577 x1578 x1579 x1580 x1581 x1582 x1583 x1584 x1585 x1586 x1587 x1588 x1589 x1590 x1591 x1592
1800.05/1800.62	v x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 x1604 x1605 x1606 x1607 x1608 x1609 x1610 x1611 x1612 x1613
1800.05/1800.62	v x1614 x1615 x1616 x1617 x1618 x1619 x1620 x1621 x1622 x1623 x1624 x1625 x1626 x1627 x1628 x1629 x1630 x1631 x1632 x1633 x1634
1800.05/1800.62	v x1635 x1636 x1637 x1638 x1639 x1640 x1641 x1642 x1643 x1644 x1645 x1646 x1647 x1648 x1649 x1650 x1651 x1652 x1653 x1654 x1655
1800.05/1800.62	v x1656 x1657 x1658 x1659 x1660 x1661 x1662 x1663 x1664 x1665 x1666 x1667 x1668 x1669 x1670 x1671 x1672 x1673 x1674 x1675 x1676
1800.05/1800.62	v x1677 x1678 x1679 x1680 x1681 x1682 x1683 x1684 x1685 x1686 x1687 x1688 x1689 x1690 x1691 x1692 x1693 x1694 x1695 x1696 x1697
1800.05/1800.62	v x1698 x1699 x1700 x1701 x1702 x1703 x1704 x1705 x1706 x1707 x1708 x1709 x1710 x1711 x1712 x1713 x1714 x1715 x1716 x1717 x1718
1800.05/1800.62	v x1719 x1720 x1721 x1722 x1723 x1724 x1725 x1726 x1727 x1728 x1729 x1730 x1731 x1732 x1733 x1734 x1735 x1736 x1737 x1738 x1739
1800.05/1800.62	v x1740 x1741 x1742 x1743 x1744 x1745 x1746 x1747 x1748 x1749 x1750 x1751 x1752 x1753 x1754 x1755 x1756 x1757 x1758 x1759 x1760
1800.05/1800.62	v x1761 x1762 x1763 x1764 x1765 x1766 x1767 x1768 x1769 x1770 x1771 x1772 x1773 x1774 x1775 x1776 x1777 x1778 x1779 x1780 x1781
1800.05/1800.62	v x1782 x1783 x1784 x1785 x1786 x1787 x1788 x1789 x1790 x1791 x1792 x1793 x1794 x1795 x1796 x1797 x1798 x1799 x1800 x1801 x1802
1800.05/1800.62	v x1803 x1804 x1805 x1806 x1807 x1808 x1809 x1810 x1811 x1812 x1813 x1814 x1815 x1816 x1817 x1818 x1819 x1820 x1821 x1822 x1823
1800.05/1800.62	v x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x1840 x1841
1800.05/1800.62	v -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859
1800.05/1800.62	v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 x1875 x1876 -x1877
1800.05/1800.62	v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894
1800.05/1800.62	v x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 -x1910 -x1911 -x1912
1800.05/1800.62	v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929
1800.05/1800.62	v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946
1800.05/1800.62	v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963
1800.05/1800.62	v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 x1979 x1980 -x1981
1800.05/1800.62	v x1982 x1983 x1984 x1985 -x1986 x1987 x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 x1999 -x2000
1800.05/1800.62	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 x2012 -x2013 -x2014 x2015 x2016 -x2017 -x2018
1800.05/1800.62	v -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 x2027 -x2028 x2029 -x2030 x2031 x2032 -x2033 -x2034 -x2035 -x2036
1800.05/1800.62	v x2037 -x2038 -x2039 x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 x2047 x2048 -x2049 x2050 x2051 x2052 -x2053 -x2054 -x2055
1800.05/1800.62	v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 x2071 -x2072 -x2073
1800.05/1800.62	v -x2074 -x2075 -x2076 -x2077 x2078 x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 x2087 x2088 x2089 x2090 -x2091 x2092
1800.05/1800.62	v -x2093 -x2094 -x2095 x2096 -x2097 x2098 x2099 x2100 -x2101 -x2102 -x2103 x2104 -x2105 -x2106 -x2107 -x2108 x2109 x2110
1800.05/1800.62	v x2111 x2112
1800.05/1800.62	
1800.05/1800.62	c user time= 1799.52 s
1800.05/1800.62	c system time= 0.550916 s
1800.05/1800.62	c wall clock time=1800.62

Verifier Data (download as text)

OK	63

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node18/watcher-363448-1176852750 -o ROOT/results/node18/solver-363448-1176852750 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363448-1176852750/instance-363448-1176852750.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.97 3/77 30545
/proc/meminfo: memFree=1820168/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=1468 CPUtime=0
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 133192404 1503232 169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 367 169 131 317 0 46 0

[startup+0.0541041 s]
/proc/loadavg: 0.91 0.98 0.97 3/77 30545
/proc/meminfo: memFree=1820168/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=2524 CPUtime=0.05
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 448 0 0 0 5 0 0 0 18 0 1 0 133192404 2584576 430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 631 430 131 317 0 310 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2524

[startup+0.10111 s]
/proc/loadavg: 0.91 0.98 0.97 3/77 30545
/proc/meminfo: memFree=1820168/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=3616 CPUtime=0.09
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 704 0 0 0 9 0 0 0 18 0 1 0 133192404 3702784 686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 904 686 138 317 0 583 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3616

[startup+0.301128 s]
/proc/loadavg: 0.91 0.98 0.97 3/77 30545
/proc/meminfo: memFree=1820168/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=3888 CPUtime=0.29
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 777 0 0 0 29 0 0 0 19 0 1 0 133192404 3981312 723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 972 723 139 317 0 651 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3888

[startup+0.701167 s]
/proc/loadavg: 0.91 0.98 0.97 3/77 30545
/proc/meminfo: memFree=1820168/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=3888 CPUtime=0.69
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 801 0 0 0 69 0 0 0 23 0 1 0 133192404 3981312 747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 972 747 139 317 0 651 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3888

[startup+1.50125 s]
/proc/loadavg: 0.91 0.98 0.97 2/78 30546
/proc/meminfo: memFree=1817536/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=4408 CPUtime=1.49
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 963 0 0 0 149 0 0 0 25 0 1 0 133192404 4513792 909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 1102 909 170 317 0 781 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4408

[startup+3.1014 s]
/proc/loadavg: 0.91 0.98 0.97 2/78 30546
/proc/meminfo: memFree=1816704/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=5184 CPUtime=3.08
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 1152 0 0 0 308 0 0 0 25 0 1 0 133192404 5308416 1098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712525 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 1296 1098 170 317 0 975 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 5184

[startup+6.30171 s]
/proc/loadavg: 0.92 0.98 0.97 2/78 30546
/proc/meminfo: memFree=1814216/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=7684 CPUtime=6.29
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 1780 0 0 0 628 1 0 0 25 0 1 0 133192404 7868416 1726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 1921 1726 170 317 0 1600 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7684

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.97 2/78 30546
/proc/meminfo: memFree=1811920/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=9392 CPUtime=12.69
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 2240 0 0 0 1267 2 0 0 25 0 1 0 133192404 9617408 2186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 2348 2186 170 317 0 2027 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9392

[startup+25.5016 s]
/proc/loadavg: 0.94 0.98 0.97 2/78 30546
/proc/meminfo: memFree=1806800/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=14828 CPUtime=25.48
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 3562 0 0 0 2545 3 0 0 25 0 1 0 133192404 15183872 3439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 3707 3439 170 317 0 3386 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14828

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.97 2/78 30546
/proc/meminfo: memFree=1803984/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=17596 CPUtime=51.08
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 4265 0 0 0 5104 4 0 0 25 0 1 0 133192404 18018304 4142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563414 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 4399 4142 170 317 0 4078 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17596

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.97 2/78 30546
/proc/meminfo: memFree=1783312/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=38820 CPUtime=102.27
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 9431 0 0 0 10217 10 0 0 25 0 1 0 133192404 39751680 9308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 9705 9308 170 317 0 9384 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 38820

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30546
/proc/meminfo: memFree=1765264/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=57860 CPUtime=162.25
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 14065 0 0 0 16211 14 0 0 25 0 1 0 133192404 59248640 13806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718670 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 14465 13806 170 317 0 14144 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 57860

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30546
/proc/meminfo: memFree=1754448/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=68036 CPUtime=222.23
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 16731 0 0 0 22206 17 0 0 25 0 1 0 133192404 69668864 16472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 17009 16472 170 317 0 16688 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 68036

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30546
/proc/meminfo: memFree=1744976/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=79172 CPUtime=282.22
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 19100 0 0 0 28202 20 0 0 25 0 1 0 133192404 81072128 18841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 19793 18841 170 317 0 19472 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 79172

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30548
/proc/meminfo: memFree=1737680/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=85808 CPUtime=342.2
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 20887 0 0 0 34199 21 0 0 25 0 1 0 133192404 87867392 20628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 21452 20628 170 317 0 21131 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 85808

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30548
/proc/meminfo: memFree=1730960/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=93124 CPUtime=402.19
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 22594 0 0 0 40196 23 0 0 25 0 1 0 133192404 95358976 22335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 23281 22335 170 317 0 22960 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 93124

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30548
/proc/meminfo: memFree=1725264/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=98204 CPUtime=462.17
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 23998 0 0 0 46193 24 0 0 25 0 1 0 133192404 100560896 23739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 24551 23739 170 317 0 24230 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 98204

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30548
/proc/meminfo: memFree=1720208/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=103284 CPUtime=522.16
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 25373 0 0 0 52190 26 0 0 25 0 1 0 133192404 105762816 25015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 25821 25015 170 317 0 25500 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 103284

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30548
/proc/meminfo: memFree=1715280/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=108044 CPUtime=582.14
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 26559 0 0 0 58187 27 0 0 25 0 1 0 133192404 110637056 26201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 27011 26201 170 317 0 26690 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 108044

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30548
/proc/meminfo: memFree=1709456/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=119436 CPUtime=642.13
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 29116 0 0 0 64184 29 0 0 25 0 1 0 133192404 122302464 27636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 29859 27636 170 317 0 29538 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 119436


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30548
/proc/meminfo: memFree=1696784/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=131216 CPUtime=822.08
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 32406 0 0 0 82175 33 0 0 25 0 1 0 133192404 134365184 30860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 32804 30860 170 317 0 32483 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 131216

[startup+882.301 s]
/proc/loadavg: 1.03 1.00 0.97 2/78 30548
/proc/meminfo: memFree=1692880/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=135132 CPUtime=882.07
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 33446 0 0 0 88172 35 0 0 25 0 1 0 133192404 138375168 31801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 33783 31801 170 317 0 33462 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 135132

[startup+942.301 s]
/proc/loadavg: 1.01 1.00 0.97 2/78 30548
/proc/meminfo: memFree=1689040/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=138436 CPUtime=942.06
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 34405 0 0 0 94170 36 0 0 25 0 1 0 133192404 141758464 32760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 34609 32760 170 317 0 34288 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 138436

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30548
/proc/meminfo: memFree=1685520/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=141704 CPUtime=1002.04
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 35293 0 0 0 100167 37 0 0 25 0 1 0 133192404 145104896 33648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 35426 33648 170 317 0 35105 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 141704

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30548
/proc/meminfo: memFree=1681040/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=146584 CPUtime=1062.02
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 36647 0 0 0 106163 39 0 0 25 0 1 0 133192404 150102016 34700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 36646 34700 170 317 0 36325 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 146584

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30548
/proc/meminfo: memFree=1678288/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=149620 CPUtime=1122.01
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 37428 0 0 0 112160 41 0 0 25 0 1 0 133192404 153210880 35448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 37405 35448 170 317 0 37084 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 149620

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30548
/proc/meminfo: memFree=1674960/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=152912 CPUtime=1181.99
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 38305 0 0 0 118158 41 0 0 25 0 1 0 133192404 156581888 36259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 38228 36259 170 317 0 37907 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 152912

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30548
/proc/meminfo: memFree=1671440/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=157564 CPUtime=1241.98
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 39485 0 0 0 124156 42 0 0 25 0 1 0 133192404 161345536 37142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 39391 37142 170 317 0 39070 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 157564

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30548
/proc/meminfo: memFree=1668048/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=160724 CPUtime=1301.97
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 40324 0 0 0 130153 44 0 0 25 0 1 0 133192404 164581376 37981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 40181 37981 170 317 0 39860 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 160724

[startup+1362.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30548
/proc/meminfo: memFree=1665104/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=163332 CPUtime=1361.95
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 41063 0 0 0 136150 45 0 0 25 0 1 0 133192404 167251968 38720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 40833 38720 170 317 0 40512 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 163332

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30548
/proc/meminfo: memFree=1662288/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=165944 CPUtime=1421.93
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 41767 0 0 0 142147 46 0 0 25 0 1 0 133192404 169926656 39424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564065 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 41486 39424 170 317 0 41165 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 165944

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30548
/proc/meminfo: memFree=1659472/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=168280 CPUtime=1481.92
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 42467 0 0 0 148145 47 0 0 25 0 1 0 133192404 172318720 40124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 42070 40124 170 317 0 41749 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 168280

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 3/78 30548
/proc/meminfo: memFree=1656592/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=170896 CPUtime=1541.9
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 43226 0 0 0 154142 48 0 0 25 0 1 0 133192404 174997504 40883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 42724 40883 170 317 0 42403 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 170896

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30548
/proc/meminfo: memFree=1653392/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=173544 CPUtime=1601.89
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 43987 0 0 0 160139 50 0 0 25 0 1 0 133192404 177709056 41644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 43386 41644 170 317 0 43065 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 173544

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30548
/proc/meminfo: memFree=1650576/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=176360 CPUtime=1661.88
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 44695 0 0 0 166137 51 0 0 25 0 1 0 133192404 180592640 42352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563346 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 44090 42352 170 317 0 43769 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 176360

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/84 30622
/proc/meminfo: memFree=1646544/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=178576 CPUtime=1721.83
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 45367 0 0 0 172129 54 0 0 25 0 1 0 133192404 182861824 43024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 44644 43024 170 317 0 44323 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 178576

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30746
/proc/meminfo: memFree=1644816/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=181284 CPUtime=1781.74
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 46084 0 0 0 178120 54 0 0 25 0 1 0 133192404 185634816 43741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 45321 43741 170 317 0 45000 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 181284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30746
/proc/meminfo: memFree=1643984/2055920 swapFree=4142712/4192956
[pid=30545] ppid=30543 vsize=182068 CPUtime=1800.05
/proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 46263 0 0 0 179950 55 0 0 25 0 1 0 133192404 186437632 43920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30545/statm: 45517 43920 170 317 0 45196 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 182068

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

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

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.11
CPU user time (s): 1799.53
CPU system time (s): 0.579911
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 182068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.579911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46279
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= 3182

runsolver used 2.17067 second user time and 4.30635 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Tue Apr 17 23:32:30 UTC 2007

IDJOB= 363448
IDBENCH= 1850
IDSOLVER= 172
FILE ID= node18/363448-1176852750

PBS_JOBID= 4590187

Free space on /tmp= 66509 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb
COMMAND LINE= oree /tmp/evaluation/363448-1176852750/instance-363448-1176852750.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-363448-1176852750 -o ROOT/results/node18/solver-363448-1176852750 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/363448-1176852750/instance-363448-1176852750.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  374deb5d477559ba9c51d0ad1d758624

RANDOM SEED= 365800591

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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.234
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.234
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:       1820576 kB
Buffers:         29372 kB
Cached:         146200 kB
SwapCached:      18432 kB
Active:          92224 kB
Inactive:       110776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1820576 kB
SwapTotal:     4192956 kB
SwapFree:      4142712 kB
Dirty:            1600 kB
Writeback:           0 kB
Mapped:          30100 kB
Slab:            17848 kB
Committed_AS:  4325688 kB
PageTables:       1780 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= 66509 MiB

End job on node18 on Wed Apr 18 00:02:33 UTC 2007