Trace number 357005

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 alpha? (TO) 1800.18 1800.75

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum3.opb
MD5SUM7834f8d111acea7ee9f1805313462ca3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark410088
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 410088
Optimality of the best value was proved NO
Number of variables93400
Total number of constraints49197
Number of constraints which are clauses6081
Number of constraints which are cardinality constraints (but not clauses)450
Number of constraints which are nor clauses,nor cardinality constraints42666
Minimum length of a constraint1
Maximum length of a constraint1018
Number of terms in the objective function 87370
Biggest coefficient in the objective function 50629
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 602670
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 274082
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 602670
Number of bits of the biggest sum of numbers20
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...
30.48/30.53	c ...done
30.48/30.53	c #vars=93400 #constraints=50050 hasObjective=yes
37.78/37.88	c res. mode=mod
37.78/37.88	c VSIDS like heuristics
37.78/37.88	c complete search running
48.77/48.84	c restart after 401 decisions
51.77/51.89	c nbDecision=500 #constraints=50057
61.46/61.51	c restart after 801 decisions
67.66/67.76	c nbDecision=1000 #constraints=50063
78.06/78.10	c nbDecision=1500 #constraints=50069
79.56/79.68	c restart after 1601 decisions
83.06/83.11	c nbDecision=2000 #constraints=50074
90.35/90.42	c nbDecision=2500 #constraints=50078
95.15/95.24	c nbDecision=3000 #constraints=50082
100.75/100.84	c restart after 3201 decisions
107.85/107.91	c nbDecision=3500 #constraints=50086
115.45/115.59	c nbDecision=4000 #constraints=50089
121.15/121.23	c nbDecision=4500 #constraints=50092
127.65/127.70	c nbDecision=5000 #constraints=50096
132.85/132.90	c nbDecision=5500 #constraints=50099
139.15/139.26	c nbDecision=6000 #constraints=50102
142.95/143.07	c restart after 6401 decisions
143.54/143.61	c nbDecision=6500 #constraints=50105
150.94/151.00	c nbDecision=7000 #constraints=50108
158.04/158.15	c nbDecision=7500 #constraints=50111
163.04/163.16	c nbDecision=8000 #constraints=50115
169.73/169.80	c nbDecision=8500 #constraints=50118
175.23/175.39	c nbDecision=9000 #constraints=50121
181.03/181.10	c nbDecision=9500 #constraints=50124
183.83/183.94	c nbDecision=10000 #constraints=50127
189.33/189.49	c nbDecision=10500 #constraints=50130
197.82/197.90	c nbDecision=11000 #constraints=50133
203.22/203.32	c nbDecision=11500 #constraints=50136
207.12/207.27	c nbDecision=12000 #constraints=50138
213.22/213.37	c nbDecision=12500 #constraints=50141
221.71/221.85	c restart after 12801 decisions
224.61/224.78	c nbDecision=13000 #constraints=50144
230.01/230.17	c nbDecision=13500 #constraints=50146
238.11/238.26	c nbDecision=14000 #constraints=50149
242.02/242.17	c nbDecision=14500 #constraints=50151
245.22/245.34	c nbDecision=15000 #constraints=50154
248.71/248.88	c nbDecision=15500 #constraints=50156
251.21/251.39	c nbDecision=16000 #constraints=50158
255.11/255.20	c nbDecision=16500 #constraints=50161
261.61/261.77	c nbDecision=17000 #constraints=50163
264.51/264.66	c nbDecision=17500 #constraints=50165
267.41/267.58	c nbDecision=18000 #constraints=50167
274.30/274.49	c nbDecision=18500 #constraints=50169
277.90/278.09	c nbDecision=19000 #constraints=50171
280.10/280.26	c nbDecision=19500 #constraints=50172
284.40/284.51	c nbDecision=20000 #constraints=50174
287.90/288.08	c nbDecision=20500 #constraints=50176
291.70/291.83	c nbDecision=21000 #constraints=50178
294.50/294.68	c nbDecision=21500 #constraints=50180
296.50/296.61	c nbDecision=22000 #constraints=50181
300.59/300.79	c nbDecision=22500 #constraints=50183
306.29/306.48	c nbDecision=23000 #constraints=50185
308.69/308.83	c nbDecision=23500 #constraints=50186
311.99/312.17	c nbDecision=24000 #constraints=50188
314.39/314.58	c nbDecision=24500 #constraints=50190
316.39/316.51	c nbDecision=25000 #constraints=50191
321.48/321.60	c nbDecision=25500 #constraints=50193
321.68/321.84	c restart after 25601 decisions
326.59/326.75	c nbDecision=26000 #constraints=50194
328.89/329.05	c nbDecision=26500 #constraints=50195
334.18/334.31	c nbDecision=27000 #constraints=50197
338.78/338.90	c nbDecision=27500 #constraints=50199
341.08/341.25	c nbDecision=28000 #constraints=50200
344.77/344.97	c nbDecision=28500 #constraints=50202
347.08/347.30	c nbDecision=29000 #constraints=50203
349.98/350.16	c nbDecision=29500 #constraints=50205
351.89/352.07	c nbDecision=30000 #constraints=50206
359.88/360.09	c nbDecision=30500 #constraints=50208
366.58/366.73	c nbDecision=31000 #constraints=50209
372.47/372.62	c nbDecision=31500 #constraints=50211
374.67/374.83	c nbDecision=32000 #constraints=50212
379.87/380.03	c nbDecision=32500 #constraints=50214
382.87/383.01	c nbDecision=33000 #constraints=50216
385.07/385.28	c nbDecision=33500 #constraints=50217
389.07/389.26	c nbDecision=34000 #constraints=50219
391.77/391.94	c nbDecision=34500 #constraints=50220
394.47/394.67	c nbDecision=35000 #constraints=50222
396.27/396.42	c nbDecision=35500 #constraints=50223
398.97/399.18	c nbDecision=36000 #constraints=50225
400.97/401.18	c nbDecision=36500 #constraints=50226
404.77/404.95	c nbDecision=37000 #constraints=50228
406.76/406.98	c nbDecision=37500 #constraints=50229
409.46/409.66	c nbDecision=38000 #constraints=50231
411.26/411.44	c nbDecision=38500 #constraints=50232
412.96/413.15	c nbDecision=39000 #constraints=50233
418.46/418.66	c nbDecision=39500 #constraints=50235
420.46/420.67	c nbDecision=40000 #constraints=50236
423.05/423.27	c nbDecision=40500 #constraints=50238
425.15/425.36	c nbDecision=41000 #constraints=50239
428.75/428.90	c nbDecision=41500 #constraints=50240
433.55/433.77	c nbDecision=42000 #constraints=50242
437.05/437.22	c nbDecision=42500 #constraints=50243
443.55/443.77	c nbDecision=43000 #constraints=50244
451.14/451.30	c nbDecision=43500 #constraints=50246
452.94/453.19	c nbDecision=44000 #constraints=50247
455.04/455.20	c nbDecision=44500 #constraints=50248
459.34/459.59	c nbDecision=45000 #constraints=50250
463.44/463.68	c nbDecision=45500 #constraints=50251
466.94/467.17	c nbDecision=46000 #constraints=50252
468.95/469.14	c nbDecision=46500 #constraints=50253
474.54/474.79	c nbDecision=47000 #constraints=50255
476.25/476.49	c nbDecision=47500 #constraints=50256
478.24/478.41	c nbDecision=48000 #constraints=50257
480.04/480.26	c nbDecision=48500 #constraints=50258
483.94/484.11	c nbDecision=49000 #constraints=50260
486.74/486.95	c nbDecision=49500 #constraints=50261
488.74/488.96	c nbDecision=50000 #constraints=50262
492.24/492.46	c nbDecision=50500 #constraints=50263
495.94/496.16	c nbDecision=51000 #constraints=50265
496.44/496.65	c restart after 51201 decisions
497.74/497.94	c nbDecision=51500 #constraints=50265
499.74/499.97	c nbDecision=52000 #constraints=50266
502.83/503.01	c nbDecision=52500 #constraints=50268
504.63/504.89	c nbDecision=53000 #constraints=50269
510.63/510.88	c nbDecision=53500 #constraints=50270
514.73/514.98	c nbDecision=54000 #constraints=50271
522.53/522.74	c nbDecision=54500 #constraints=50273
524.43/524.60	c nbDecision=55000 #constraints=50274
528.52/528.71	c nbDecision=55500 #constraints=50275
533.12/533.34	c nbDecision=56000 #constraints=50276
536.82/537.02	c nbDecision=56500 #constraints=50278
539.02/539.21	c nbDecision=57000 #constraints=50279
542.82/543.00	c nbDecision=57500 #constraints=50280
547.42/547.67	c nbDecision=58000 #constraints=50281
551.12/551.34	c nbDecision=58500 #constraints=50283
553.51/553.74	c nbDecision=59000 #constraints=50284
555.81/556.03	c nbDecision=59500 #constraints=50285
557.81/558.09	c nbDecision=60000 #constraints=50286
560.01/560.26	c nbDecision=60500 #constraints=50287
562.91/563.17	c nbDecision=61000 #constraints=50289
564.91/565.12	c nbDecision=61500 #constraints=50290
568.21/568.48	c nbDecision=62000 #constraints=50291
572.01/572.29	c nbDecision=62500 #constraints=50292
573.91/574.17	c nbDecision=63000 #constraints=50293
576.81/577.08	c nbDecision=63500 #constraints=50294
579.80/580.02	c nbDecision=64000 #constraints=50296
581.90/582.10	c nbDecision=64500 #constraints=50297
584.70/584.94	c nbDecision=65000 #constraints=50298
590.80/591.05	c nbDecision=65500 #constraints=50300
594.50/594.74	c nbDecision=66000 #constraints=50301
597.40/597.60	c nbDecision=66500 #constraints=50302
605.91/606.19	c nbDecision=67000 #constraints=50304
611.20/611.40	c nbDecision=67500 #constraints=50306
613.60/613.89	c nbDecision=68000 #constraints=50307
619.10/619.35	c nbDecision=68500 #constraints=50309
621.60/621.86	c nbDecision=69000 #constraints=50310
623.70/623.91	c nbDecision=69500 #constraints=50311
625.90/626.14	c nbDecision=70000 #constraints=50312
628.09/628.34	c nbDecision=70500 #constraints=50313
631.09/631.38	c nbDecision=71000 #constraints=50314
633.29/633.54	c nbDecision=71500 #constraints=50315
635.29/635.50	c nbDecision=72000 #constraints=50316
637.19/637.48	c nbDecision=72500 #constraints=50317
639.29/639.54	c nbDecision=73000 #constraints=50318
645.99/646.24	c nbDecision=73500 #constraints=50320
648.29/648.50	c nbDecision=74000 #constraints=50321
651.09/651.37	c nbDecision=74500 #constraints=50322
653.29/653.55	c nbDecision=75000 #constraints=50323
659.08/659.38	c nbDecision=75500 #constraints=50324
662.48/662.78	c nbDecision=76000 #constraints=50325
665.28/665.51	c nbDecision=76500 #constraints=50326
667.88/668.19	c nbDecision=77000 #constraints=50327
670.08/670.38	c nbDecision=77500 #constraints=50328
671.98/672.26	c nbDecision=78000 #constraints=50329
673.98/674.22	c nbDecision=78500 #constraints=50330
675.88/676.12	c nbDecision=79000 #constraints=50331
681.47/681.73	c nbDecision=79500 #constraints=50333
685.87/686.17	c nbDecision=80000 #constraints=50334
688.17/688.48	c nbDecision=80500 #constraints=50335
690.07/690.31	c nbDecision=81000 #constraints=50336
692.17/692.46	c nbDecision=81500 #constraints=50337
694.87/695.17	c nbDecision=82000 #constraints=50338
696.87/697.10	c nbDecision=82500 #constraints=50339
699.77/700.01	c nbDecision=83000 #constraints=50341
701.88/702.11	c nbDecision=83500 #constraints=50342
703.97/704.24	c nbDecision=84000 #constraints=50343
708.28/708.54	c nbDecision=84500 #constraints=50344
712.57/712.80	c nbDecision=85000 #constraints=50345
715.27/715.52	c nbDecision=85500 #constraints=50346
717.27/717.55	c nbDecision=86000 #constraints=50347
719.17/719.47	c nbDecision=86500 #constraints=50348
722.47/722.77	c nbDecision=87000 #constraints=50349
724.37/724.63	c nbDecision=87500 #constraints=50350
729.36/729.69	c nbDecision=88000 #constraints=50351
733.36/733.68	c nbDecision=88500 #constraints=50352
736.16/736.40	c nbDecision=89000 #constraints=50353
741.76/742.01	c nbDecision=89500 #constraints=50354
746.36/746.61	c nbDecision=90000 #constraints=50356
748.86/749.19	c nbDecision=90500 #constraints=50357
751.06/751.38	c nbDecision=91000 #constraints=50358
753.36/753.69	c nbDecision=91500 #constraints=50359
755.76/756.05	c nbDecision=92000 #constraints=50360
760.05/760.39	c nbDecision=92500 #constraints=50361
764.26/764.58	c nbDecision=93000 #constraints=50362
765.65/765.93	c nbDecision=93500 #constraints=50362
768.35/768.65	c nbDecision=94000 #constraints=50363
770.85/771.15	c nbDecision=94500 #constraints=50364
773.85/774.20	c nbDecision=95000 #constraints=50365
776.15/776.48	c nbDecision=95500 #constraints=50366
778.65/778.91	c nbDecision=96000 #constraints=50367
781.05/781.39	c nbDecision=96500 #constraints=50368
783.35/783.64	c nbDecision=97000 #constraints=50369
785.44/785.80	c nbDecision=97500 #constraints=50370
787.94/788.22	c nbDecision=98000 #constraints=50371
790.44/790.74	c nbDecision=98500 #constraints=50372
794.64/794.92	c nbDecision=99000 #constraints=50373
799.54/799.81	c nbDecision=99500 #constraints=50374
802.04/802.37	c nbDecision=100000 #constraints=50375
805.34/805.65	c nbDecision=100500 #constraints=50376
809.13/809.42	c nbDecision=101000 #constraints=50377
811.43/811.77	c nbDecision=101500 #constraints=50378
816.04/816.34	c nbDecision=102000 #constraints=50379
816.93/817.21	c restart after 102401 decisions
817.83/818.14	c nbDecision=102500 #constraints=50379
820.63/820.97	c nbDecision=103000 #constraints=50380
821.83/822.15	c nbDecision=103500 #constraints=50380
828.44/828.79	c nbDecision=104000 #constraints=50382
830.64/830.99	c nbDecision=104500 #constraints=50383
834.74/835.04	c nbDecision=105000 #constraints=50384
838.53/838.81	c nbDecision=105500 #constraints=50385
839.73/840.07	c nbDecision=106000 #constraints=50385
842.03/842.32	c nbDecision=106500 #constraints=50386
844.43/844.79	c nbDecision=107000 #constraints=50387
848.83/849.16	c nbDecision=107500 #constraints=50388
852.43/852.73	c nbDecision=108000 #constraints=50389
854.93/855.26	c nbDecision=108500 #constraints=50390
857.23/857.59	c nbDecision=109000 #constraints=50391
859.53/859.85	c nbDecision=109500 #constraints=50392
862.02/862.32	c nbDecision=110000 #constraints=50393
863.23/863.50	c nbDecision=110500 #constraints=50393
865.43/865.70	c nbDecision=111000 #constraints=50394
867.82/868.12	c nbDecision=111500 #constraints=50395
870.62/870.93	c nbDecision=112000 #constraints=50396
874.72/875.00	c nbDecision=112500 #constraints=50397
878.32/878.62	c nbDecision=113000 #constraints=50398
880.82/881.10	c nbDecision=113500 #constraints=50399
883.02/883.34	c nbDecision=114000 #constraints=50400
885.91/886.27	c nbDecision=114500 #constraints=50401
887.31/887.67	c nbDecision=115000 #constraints=50401
891.21/891.58	c nbDecision=115500 #constraints=50402
898.11/898.46	c nbDecision=116000 #constraints=50404
899.51/899.82	c nbDecision=116500 #constraints=50404
902.21/902.56	c nbDecision=117000 #constraints=50405
905.31/905.60	c nbDecision=117500 #constraints=50406
909.30/909.63	c nbDecision=118000 #constraints=50407
912.60/912.96	c nbDecision=118500 #constraints=50408
916.20/916.51	c nbDecision=119000 #constraints=50409
919.70/920.03	c nbDecision=119500 #constraints=50410
921.80/922.13	c nbDecision=120000 #constraints=50411
925.10/925.42	c nbDecision=120500 #constraints=50412
928.00/928.30	c nbDecision=121000 #constraints=50413
929.10/929.49	c nbDecision=121500 #constraints=50413
931.81/932.16	c nbDecision=122000 #constraints=50414
935.70/936.08	c nbDecision=122500 #constraints=50415
939.21/939.57	c nbDecision=123000 #constraints=50416
943.40/943.73	c nbDecision=123500 #constraints=50417
946.30/946.64	c nbDecision=124000 #constraints=50418
948.90/949.21	c nbDecision=124500 #constraints=50419
950.10/950.40	c nbDecision=125000 #constraints=50419
952.50/952.85	c nbDecision=125500 #constraints=50420
955.40/955.75	c nbDecision=126000 #constraints=50421
957.70/958.03	c nbDecision=126500 #constraints=50422
960.00/960.33	c nbDecision=127000 #constraints=50423
962.79/963.16	c nbDecision=127500 #constraints=50424
965.39/965.74	c nbDecision=128000 #constraints=50425
966.60/966.92	c nbDecision=128500 #constraints=50425
970.49/970.81	c nbDecision=129000 #constraints=50426
974.79/975.18	c nbDecision=129500 #constraints=50427
977.19/977.56	c nbDecision=130000 #constraints=50428
979.39/979.75	c nbDecision=130500 #constraints=50429
981.89/982.27	c nbDecision=131000 #constraints=50430
983.09/983.46	c nbDecision=131500 #constraints=50430
985.78/986.11	c nbDecision=132000 #constraints=50431
988.28/988.61	c nbDecision=132500 #constraints=50432
990.79/991.18	c nbDecision=133000 #constraints=50433
993.48/993.87	c nbDecision=133500 #constraints=50434
995.98/996.34	c nbDecision=134000 #constraints=50435
999.38/999.73	c nbDecision=134500 #constraints=50436
1000.78/1001.10	c nbDecision=135000 #constraints=50436
1003.68/1004.02	c nbDecision=135500 #constraints=50437
1007.58/1007.99	c nbDecision=136000 #constraints=50438
1010.08/1010.41	c nbDecision=136500 #constraints=50439
1013.57/1013.95	c nbDecision=137000 #constraints=50440
1014.77/1015.15	c nbDecision=137500 #constraints=50440
1017.37/1017.74	c nbDecision=138000 #constraints=50441
1019.97/1020.32	c nbDecision=138500 #constraints=50442
1022.37/1022.76	c nbDecision=139000 #constraints=50443
1024.97/1025.31	c nbDecision=139500 #constraints=50444
1028.57/1028.92	c nbDecision=140000 #constraints=50445
1029.97/1030.35	c nbDecision=140500 #constraints=50445
1032.37/1032.78	c nbDecision=141000 #constraints=50446
1034.97/1035.37	c nbDecision=141500 #constraints=50447
1037.37/1037.76	c nbDecision=142000 #constraints=50448
1041.37/1041.73	c nbDecision=142500 #constraints=50449
1042.66/1043.08	c nbDecision=143000 #constraints=50449
1048.17/1048.51	c nbDecision=143500 #constraints=50450
1051.57/1052.00	c nbDecision=144000 #constraints=50451
1054.27/1054.68	c nbDecision=144500 #constraints=50452
1058.27/1058.62	c nbDecision=145000 #constraints=50453
1059.67/1060.03	c nbDecision=145500 #constraints=50453
1061.86/1062.26	c nbDecision=146000 #constraints=50454
1064.36/1064.80	c nbDecision=146500 #constraints=50455
1066.86/1067.26	c nbDecision=147000 #constraints=50456
1068.06/1068.46	c nbDecision=147500 #constraints=50456
1070.56/1070.91	c nbDecision=148000 #constraints=50457
1072.96/1073.31	c nbDecision=148500 #constraints=50458
1075.16/1075.56	c nbDecision=149000 #constraints=50459
1077.56/1077.91	c nbDecision=149500 #constraints=50460
1078.66/1079.09	c nbDecision=150000 #constraints=50460
1081.26/1081.66	c nbDecision=150500 #constraints=50461
1083.86/1084.21	c nbDecision=151000 #constraints=50462
1086.35/1086.72	c nbDecision=151500 #constraints=50463
1087.56/1087.90	c nbDecision=152000 #constraints=50463
1090.15/1090.55	c nbDecision=152500 #constraints=50464
1093.16/1093.53	c nbDecision=153000 #constraints=50465
1095.45/1095.80	c nbDecision=153500 #constraints=50466
1096.55/1096.99	c nbDecision=154000 #constraints=50466
1100.05/1100.49	c nbDecision=154500 #constraints=50467
1102.35/1102.79	c nbDecision=155000 #constraints=50468
1104.55/1104.95	c nbDecision=155500 #constraints=50469
1105.75/1106.19	c nbDecision=156000 #constraints=50469
1108.95/1109.30	c nbDecision=156500 #constraints=50470
1111.34/1111.73	c nbDecision=157000 #constraints=50471
1113.95/1114.31	c nbDecision=157500 #constraints=50472
1115.05/1115.48	c nbDecision=158000 #constraints=50472
1117.25/1117.61	c nbDecision=158500 #constraints=50473
1119.45/1119.84	c nbDecision=159000 #constraints=50474
1125.34/1125.77	c nbDecision=159500 #constraints=50475
1126.54/1126.93	c nbDecision=160000 #constraints=50475
1130.24/1130.65	c nbDecision=160500 #constraints=50476
1137.04/1137.49	c nbDecision=161000 #constraints=50477
1140.03/1140.44	c nbDecision=161500 #constraints=50478
1142.23/1142.70	c nbDecision=162000 #constraints=50479
1143.43/1143.86	c nbDecision=162500 #constraints=50479
1145.54/1145.97	c nbDecision=163000 #constraints=50480
1149.24/1149.66	c nbDecision=163500 #constraints=50481
1151.44/1151.87	c nbDecision=164000 #constraints=50482
1154.14/1154.57	c nbDecision=164500 #constraints=50483
1155.34/1155.74	c nbDecision=165000 #constraints=50483
1158.73/1159.12	c nbDecision=165500 #constraints=50484
1163.23/1163.67	c nbDecision=166000 #constraints=50485
1165.64/1166.00	c nbDecision=166500 #constraints=50486
1166.74/1167.18	c nbDecision=167000 #constraints=50486
1169.43/1169.86	c nbDecision=167500 #constraints=50487
1172.13/1172.50	c nbDecision=168000 #constraints=50488
1173.23/1173.68	c nbDecision=168500 #constraints=50488
1175.73/1176.13	c nbDecision=169000 #constraints=50489
1178.93/1179.32	c nbDecision=169500 #constraints=50490
1182.03/1182.42	c nbDecision=170000 #constraints=50491
1183.33/1183.77	c nbDecision=170500 #constraints=50491
1185.72/1186.13	c nbDecision=171000 #constraints=50492
1187.92/1188.35	c nbDecision=171500 #constraints=50493
1189.22/1189.63	c nbDecision=172000 #constraints=50493
1191.42/1191.83	c nbDecision=172500 #constraints=50494
1195.72/1196.15	c nbDecision=173000 #constraints=50495
1196.92/1197.33	c nbDecision=173500 #constraints=50495
1199.72/1200.16	c nbDecision=174000 #constraints=50496
1204.02/1204.48	c nbDecision=174500 #constraints=50497
1205.22/1205.63	c nbDecision=175000 #constraints=50497
1209.31/1209.72	c nbDecision=175500 #constraints=50498
1211.61/1212.02	c nbDecision=176000 #constraints=50499
1213.81/1214.29	c nbDecision=176500 #constraints=50500
1215.12/1215.54	c nbDecision=177000 #constraints=50500
1217.71/1218.15	c nbDecision=177500 #constraints=50501
1221.21/1221.63	c nbDecision=178000 #constraints=50502
1222.41/1222.82	c nbDecision=178500 #constraints=50502
1226.51/1226.92	c nbDecision=179000 #constraints=50503
1229.01/1229.48	c nbDecision=179500 #constraints=50504
1231.51/1231.98	c nbDecision=180000 #constraints=50505
1232.81/1233.24	c nbDecision=180500 #constraints=50505
1236.30/1236.75	c nbDecision=181000 #constraints=50506
1239.50/1239.98	c nbDecision=181500 #constraints=50507
1242.80/1243.28	c nbDecision=182000 #constraints=50508
1244.00/1244.44	c nbDecision=182500 #constraints=50508
1247.70/1248.12	c nbDecision=183000 #constraints=50509
1250.10/1250.52	c nbDecision=183500 #constraints=50510
1251.20/1251.69	c nbDecision=184000 #constraints=50510
1253.40/1253.83	c nbDecision=184500 #constraints=50511
1256.40/1256.85	c nbDecision=185000 #constraints=50512
1257.60/1258.03	c nbDecision=185500 #constraints=50512
1259.90/1260.31	c nbDecision=186000 #constraints=50513
1263.61/1264.10	c nbDecision=186500 #constraints=50514
1264.80/1265.28	c nbDecision=187000 #constraints=50514
1268.01/1268.41	c nbDecision=187500 #constraints=50515
1272.20/1272.65	c nbDecision=188000 #constraints=50516
1273.40/1273.84	c nbDecision=188500 #constraints=50516
1276.00/1276.42	c nbDecision=189000 #constraints=50517
1278.40/1278.88	c nbDecision=189500 #constraints=50518
1279.70/1280.12	c nbDecision=190000 #constraints=50518
1282.80/1283.23	c nbDecision=190500 #constraints=50519
1285.99/1286.45	c nbDecision=191000 #constraints=50520
1287.39/1287.86	c nbDecision=191500 #constraints=50520
1289.79/1290.23	c nbDecision=192000 #constraints=50521
1290.79/1291.27	c nbDecision=192500 #constraints=50521
1295.49/1295.96	c nbDecision=193000 #constraints=50522
1298.09/1298.54	c nbDecision=193500 #constraints=50523
1299.29/1299.71	c nbDecision=194000 #constraints=50523
1301.49/1301.97	c nbDecision=194500 #constraints=50524
1304.69/1305.12	c nbDecision=195000 #constraints=50525
1305.78/1306.29	c nbDecision=195500 #constraints=50525
1308.18/1308.68	c nbDecision=196000 #constraints=50526
1310.98/1311.46	c nbDecision=196500 #constraints=50527
1312.18/1312.64	c nbDecision=197000 #constraints=50527
1314.38/1314.81	c nbDecision=197500 #constraints=50528
1317.58/1318.03	c nbDecision=198000 #constraints=50529
1323.98/1324.44	c nbDecision=198500 #constraints=50530
1325.38/1325.80	c nbDecision=199000 #constraints=50530
1328.17/1328.62	c nbDecision=199500 #constraints=50531
1331.07/1331.59	c nbDecision=200000 #constraints=50532
1333.98/1334.46	c nbDecision=200500 #constraints=50533
1338.38/1338.84	c nbDecision=201000 #constraints=50534
1339.47/1339.94	c nbDecision=201500 #constraints=50534
1341.87/1342.32	c nbDecision=202000 #constraints=50535
1344.07/1344.58	c nbDecision=202500 #constraints=50536
1345.27/1345.76	c nbDecision=203000 #constraints=50536
1348.87/1349.37	c nbDecision=203500 #constraints=50537
1351.37/1351.83	c nbDecision=204000 #constraints=50538
1352.67/1353.11	c nbDecision=204500 #constraints=50538
1354.37/1354.83	c restart after 204801 decisions
1355.17/1355.67	c nbDecision=205000 #constraints=50539
1356.36/1356.86	c nbDecision=205500 #constraints=50539
1359.17/1359.66	c nbDecision=206000 #constraints=50540
1361.47/1361.98	c nbDecision=206500 #constraints=50541
1362.67/1363.17	c nbDecision=207000 #constraints=50541
1366.87/1367.36	c nbDecision=207500 #constraints=50542
1367.97/1368.47	c nbDecision=208000 #constraints=50542
1371.17/1371.62	c nbDecision=208500 #constraints=50543
1373.47/1373.97	c nbDecision=209000 #constraints=50544
1374.67/1375.16	c nbDecision=209500 #constraints=50544
1377.06/1377.50	c nbDecision=210000 #constraints=50545
1379.46/1379.90	c nbDecision=210500 #constraints=50546
1380.56/1381.09	c nbDecision=211000 #constraints=50546
1382.96/1383.49	c nbDecision=211500 #constraints=50547
1384.06/1384.59	c nbDecision=212000 #constraints=50547
1386.46/1386.98	c nbDecision=212500 #constraints=50548
1391.36/1391.82	c nbDecision=213000 #constraints=50549
1392.56/1393.00	c nbDecision=213500 #constraints=50549
1395.36/1395.88	c nbDecision=214000 #constraints=50550
1399.66/1400.12	c nbDecision=214500 #constraints=50551
1400.86/1401.31	c nbDecision=215000 #constraints=50551
1405.25/1405.80	c nbDecision=215500 #constraints=50552
1406.46/1406.90	c nbDecision=216000 #constraints=50552
1409.35/1409.82	c nbDecision=216500 #constraints=50553
1411.85/1412.32	c nbDecision=217000 #constraints=50554
1412.95/1413.50	c nbDecision=217500 #constraints=50554
1415.25/1415.78	c nbDecision=218000 #constraints=50555
1418.35/1418.86	c nbDecision=218500 #constraints=50556
1419.55/1420.05	c nbDecision=219000 #constraints=50556
1423.25/1423.72	c nbDecision=219500 #constraints=50557
1424.25/1424.75	c nbDecision=220000 #constraints=50557
1428.24/1428.75	c nbDecision=220500 #constraints=50558
1432.54/1433.06	c nbDecision=221000 #constraints=50559
1435.15/1435.65	c nbDecision=221500 #constraints=50560
1436.15/1436.70	c nbDecision=222000 #constraints=50560
1439.14/1439.69	c nbDecision=222500 #constraints=50561
1441.84/1442.39	c nbDecision=223000 #constraints=50562
1445.74/1446.22	c nbDecision=223500 #constraints=50563
1446.74/1447.25	c nbDecision=224000 #constraints=50563
1451.64/1452.12	c nbDecision=224500 #constraints=50564
1456.23/1456.70	c nbDecision=225000 #constraints=50565
1460.44/1460.94	c nbDecision=225500 #constraints=50566
1461.43/1461.96	c nbDecision=226000 #constraints=50566
1464.73/1465.24	c nbDecision=226500 #constraints=50567
1467.13/1467.68	c nbDecision=227000 #constraints=50568
1468.33/1468.88	c nbDecision=227500 #constraints=50568
1474.73/1475.25	c nbDecision=228000 #constraints=50569
1475.83/1476.36	c nbDecision=228500 #constraints=50569
1480.72/1481.23	c nbDecision=229000 #constraints=50570
1483.82/1484.36	c nbDecision=229500 #constraints=50571
1486.74/1487.24	c nbDecision=230000 #constraints=50572
1490.43/1490.98	c nbDecision=230500 #constraints=50573
1491.63/1492.17	c nbDecision=231000 #constraints=50573
1494.63/1495.14	c nbDecision=231500 #constraints=50574
1497.43/1497.97	c nbDecision=232000 #constraints=50575
1498.53/1499.00	c nbDecision=232500 #constraints=50575
1502.72/1503.20	c nbDecision=233000 #constraints=50576
1506.82/1507.34	c nbDecision=233500 #constraints=50577
1508.02/1508.54	c nbDecision=234000 #constraints=50577
1510.62/1511.14	c nbDecision=234500 #constraints=50578
1511.82/1512.31	c nbDecision=235000 #constraints=50578
1514.22/1514.78	c nbDecision=235500 #constraints=50579
1516.92/1517.42	c nbDecision=236000 #constraints=50580
1518.12/1518.62	c nbDecision=236500 #constraints=50580
1521.02/1521.58	c nbDecision=237000 #constraints=50581
1522.22/1522.76	c nbDecision=237500 #constraints=50581
1524.51/1525.01	c nbDecision=238000 #constraints=50582
1527.31/1527.90	c nbDecision=238500 #constraints=50583
1528.62/1529.17	c nbDecision=239000 #constraints=50583
1530.91/1531.45	c nbDecision=239500 #constraints=50584
1532.11/1532.64	c nbDecision=240000 #constraints=50584
1535.81/1536.37	c nbDecision=240500 #constraints=50585
1538.01/1538.58	c nbDecision=241000 #constraints=50586
1539.41/1539.94	c nbDecision=241500 #constraints=50586
1541.61/1542.19	c nbDecision=242000 #constraints=50587
1542.81/1543.37	c nbDecision=242500 #constraints=50587
1546.31/1546.84	c nbDecision=243000 #constraints=50588
1548.41/1548.92	c nbDecision=243500 #constraints=50589
1549.80/1550.35	c nbDecision=244000 #constraints=50589
1552.00/1552.53	c nbDecision=244500 #constraints=50590
1553.20/1553.71	c nbDecision=245000 #constraints=50590
1555.40/1555.92	c nbDecision=245500 #constraints=50591
1556.50/1557.04	c nbDecision=246000 #constraints=50591
1558.80/1559.37	c nbDecision=246500 #constraints=50592
1562.50/1563.07	c nbDecision=247000 #constraints=50593
1563.70/1564.25	c nbDecision=247500 #constraints=50593
1566.30/1566.81	c nbDecision=248000 #constraints=50594
1567.39/1567.92	c nbDecision=248500 #constraints=50594
1571.40/1571.92	c nbDecision=249000 #constraints=50595
1574.09/1574.64	c nbDecision=249500 #constraints=50596
1575.29/1575.82	c nbDecision=250000 #constraints=50596
1578.29/1578.86	c nbDecision=250500 #constraints=50597
1580.39/1580.98	c nbDecision=251000 #constraints=50598
1581.59/1582.16	c nbDecision=251500 #constraints=50598
1584.09/1584.60	c nbDecision=252000 #constraints=50599
1586.99/1587.52	c nbDecision=252500 #constraints=50600
1587.99/1588.55	c nbDecision=253000 #constraints=50600
1593.49/1594.05	c nbDecision=253500 #constraints=50601
1595.88/1596.47	c nbDecision=254000 #constraints=50602
1596.98/1597.59	c nbDecision=254500 #constraints=50602
1600.18/1600.70	c nbDecision=255000 #constraints=50603
1606.99/1607.56	c nbDecision=255500 #constraints=50605
1608.19/1608.76	c nbDecision=256000 #constraints=50605
1612.69/1613.25	c nbDecision=256500 #constraints=50606
1613.89/1614.45	c nbDecision=257000 #constraints=50606
1616.49/1617.10	c nbDecision=257500 #constraints=50607
1618.98/1619.57	c nbDecision=258000 #constraints=50608
1620.28/1620.86	c nbDecision=258500 #constraints=50608
1623.68/1624.25	c nbDecision=259000 #constraints=50609
1624.88/1625.44	c nbDecision=259500 #constraints=50609
1627.48/1628.04	c nbDecision=260000 #constraints=50610
1630.08/1630.62	c nbDecision=260500 #constraints=50611
1631.48/1632.01	c nbDecision=261000 #constraints=50611
1634.18/1634.71	c nbDecision=261500 #constraints=50612
1635.38/1635.90	c nbDecision=262000 #constraints=50612
1637.68/1638.27	c nbDecision=262500 #constraints=50613
1638.78/1639.37	c nbDecision=263000 #constraints=50613
1641.18/1641.72	c nbDecision=263500 #constraints=50614
1643.48/1644.03	c nbDecision=264000 #constraints=50615
1644.78/1645.31	c nbDecision=264500 #constraints=50615
1647.38/1647.92	c nbDecision=265000 #constraints=50616
1648.38/1648.98	c nbDecision=265500 #constraints=50616
1651.87/1652.49	c nbDecision=266000 #constraints=50617
1655.77/1656.31	c nbDecision=266500 #constraints=50618
1656.97/1657.58	c nbDecision=267000 #constraints=50618
1661.77/1662.32	c nbDecision=267500 #constraints=50619
1662.97/1663.51	c nbDecision=268000 #constraints=50619
1666.17/1666.74	c nbDecision=268500 #constraints=50620
1667.27/1667.85	c nbDecision=269000 #constraints=50620
1669.97/1670.57	c nbDecision=269500 #constraints=50621
1672.57/1673.15	c nbDecision=270000 #constraints=50622
1673.77/1674.36	c nbDecision=270500 #constraints=50622
1676.76/1677.31	c nbDecision=271000 #constraints=50623
1677.86/1678.49	c nbDecision=271500 #constraints=50623
1683.67/1684.28	c nbDecision=272000 #constraints=50624
1684.86/1685.40	c nbDecision=272500 #constraints=50624
1688.56/1689.12	c nbDecision=273000 #constraints=50625
1692.06/1692.67	c nbDecision=273500 #constraints=50626
1693.26/1693.87	c nbDecision=274000 #constraints=50626
1729.35/1729.98	c nbDecision=274500 #constraints=50664
1733.55/1734.16	c nbDecision=275000 #constraints=50667
1736.65/1737.20	c nbDecision=275500 #constraints=50671
1739.35/1739.94	c nbDecision=276000 #constraints=50673
1742.75/1743.30	c nbDecision=276500 #constraints=50675
1746.25/1746.87	c nbDecision=277000 #constraints=50676
1756.94/1757.57	c nbDecision=277500 #constraints=50679
1769.73/1770.33	c nbDecision=278000 #constraints=50684
1778.43/1779.01	c nbDecision=278500 #constraints=50685
1786.13/1786.79	c nbDecision=279000 #constraints=50694
1793.82/1794.42	c nbDecision=279500 #constraints=50695
1800.03/1800.60	Received signal 15
1800.03/1800.62	
1800.03/1800.62	s UNKNOWN
1800.03/1800.62	
1800.03/1800.62	c user time= 1799.19 s
1800.03/1800.62	c system time= 0.870867 s
1800.03/1800.62	c wall clock time=1800.62

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node22/watcher-357005-1176851248 -o ROOT/results/node22/solver-357005-1176851248 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357005-1176851248/instance-357005-1176851248.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: 1.00 1.00 1.00 3/77 24744
/proc/meminfo: memFree=1591360/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=1620 CPUtime=0
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 133042978 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279022 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 405 175 126 317 0 84 0

[startup+0.105661 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 24744
/proc/meminfo: memFree=1591360/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=5888 CPUtime=0.1
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 1083 0 0 0 10 0 0 0 18 0 1 0 133042978 6029312 838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 1472 840 126 317 0 1151 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5888

[startup+0.201676 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 24744
/proc/meminfo: memFree=1591360/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=5520 CPUtime=0.19
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 1498 0 0 0 19 0 0 0 18 0 1 0 133042978 5652480 996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 1380 996 127 317 0 1059 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5520

[startup+0.301692 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 24744
/proc/meminfo: memFree=1591360/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=6048 CPUtime=0.29
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 1622 0 0 0 29 0 0 0 19 0 1 0 133042978 6193152 1120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 1512 1120 131 317 0 1191 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6048

[startup+0.701752 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 24744
/proc/meminfo: memFree=1591360/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=11460 CPUtime=0.69
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 2976 0 0 0 67 2 0 0 23 0 1 0 133042978 11735040 2474 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 2865 2474 131 317 0 2544 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11460

[startup+1.50288 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1577208/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=22684 CPUtime=1.49
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 5794 0 0 0 145 4 0 0 25 0 1 0 133042978 23228416 5292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715266 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 5671 5292 131 317 0 5350 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22684

[startup+3.10112 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 24745
/proc/meminfo: memFree=1562552/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=46008 CPUtime=3.09
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 11634 0 0 0 302 7 0 0 25 0 1 0 133042978 47112192 11132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827761 0 0 4096 17474 0 0 0 17 0 0 0
/proc/24744/statm: 11502 11132 131 317 0 11181 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46008

[startup+6.30261 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 24745
/proc/meminfo: memFree=1516600/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=92432 CPUtime=6.28
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 23218 0 0 0 614 14 0 0 25 0 1 0 133042978 94650368 22716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 23108 22716 131 317 0 22787 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 92432

[startup+12.7016 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 24745
/proc/meminfo: memFree=1421240/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=185076 CPUtime=12.68
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 46311 0 0 0 1242 26 0 0 25 0 1 0 133042978 189517824 45809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828791 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 46269 45809 131 317 0 45948 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 185076

[startup+25.5015 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 24745
/proc/meminfo: memFree=1229688/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=370784 CPUtime=25.47
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 92699 0 0 0 2498 49 0 0 25 0 1 0 133042978 379682816 92197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134570027 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 92696 92197 131 317 0 92375 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 370784

[startup+51.1014 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 24745
/proc/meminfo: memFree=1031032/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=569624 CPUtime=51.07
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141918 0 0 0 5036 71 0 0 25 0 1 0 133042978 583294976 141040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142406 141040 139 317 0 142085 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 569624

[startup+102.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 24745
/proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=569624 CPUtime=102.25
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141918 0 0 0 10154 71 0 0 25 0 1 0 133042978 583294976 141040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142406 141040 139 317 0 142085 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 569624

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=569624 CPUtime=162.24
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141918 0 0 0 16152 72 0 0 25 0 1 0 133042978 583294976 141040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142406 141040 139 317 0 142085 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 569624

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=569624 CPUtime=222.22
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141918 0 0 0 22150 72 0 0 25 0 1 0 133042978 583294976 141040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142406 141040 139 317 0 142085 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 569624

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=569624 CPUtime=282.2
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141918 0 0 0 28147 73 0 0 25 0 1 0 133042978 583294976 141040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142406 141040 139 317 0 142085 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 569624

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=569624 CPUtime=342.18
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141919 0 0 0 34145 73 0 0 25 0 1 0 133042978 583294976 141041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142406 141041 139 317 0 142085 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 569624

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=569624 CPUtime=402.16
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141919 0 0 0 40142 74 0 0 25 0 1 0 133042978 583294976 141041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142406 141041 139 317 0 142085 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 569624

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=569624 CPUtime=462.14
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141919 0 0 0 46140 74 0 0 25 0 1 0 133042978 583294976 141041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142406 141041 139 317 0 142085 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 569624

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=569624 CPUtime=522.13
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141919 0 0 0 52138 75 0 0 25 0 1 0 133042978 583294976 141041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142406 141041 139 317 0 142085 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 569624

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=569624 CPUtime=582.1
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141919 0 0 0 58135 75 0 0 25 0 1 0 133042978 583294976 141041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142406 141041 139 317 0 142085 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 569624

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=569624 CPUtime=642.09
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141921 0 0 0 64133 76 0 0 25 0 1 0 133042978 583294976 141043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142406 141043 139 317 0 142085 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 569624


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

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1031032/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=569760 CPUtime=882.02
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141960 0 0 0 88124 78 0 0 25 0 1 0 133042978 583434240 141082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142440 141082 139 317 0 142119 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 569760

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1030904/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=569896 CPUtime=942
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141993 0 0 0 94121 79 0 0 25 0 1 0 133042978 583573504 141115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142474 141115 139 317 0 142153 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 569896

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1030904/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=569896 CPUtime=1001.98
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141997 0 0 0 100119 79 0 0 25 0 1 0 133042978 583573504 141119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142474 141119 139 317 0 142153 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 569896

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1030840/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=569896 CPUtime=1061.96
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142012 0 0 0 106116 80 0 0 25 0 1 0 133042978 583573504 141134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142474 141134 139 317 0 142153 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 569896

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1030776/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=570028 CPUtime=1121.94
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142022 0 0 0 112114 80 0 0 25 0 1 0 133042978 583708672 141144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142507 141144 139 317 0 142186 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 570028

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1030712/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=570160 CPUtime=1181.93
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142055 0 0 0 118112 81 0 0 25 0 1 0 133042978 583843840 141177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142540 141177 139 317 0 142219 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 570160

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1030520/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=570296 CPUtime=1241.9
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142097 0 0 0 124109 81 0 0 25 0 1 0 133042978 583983104 141219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142574 141219 139 317 0 142253 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 570296

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1030520/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=570296 CPUtime=1301.89
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142097 0 0 0 130107 82 0 0 25 0 1 0 133042978 583983104 141219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142574 141219 139 317 0 142253 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 570296

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1030264/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=570436 CPUtime=1361.87
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142149 0 0 0 136104 83 0 0 25 0 1 0 133042978 584126464 141271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134607099 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142609 141271 139 317 0 142288 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 570436

[startup+1422.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 24745
/proc/meminfo: memFree=1030200/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=570436 CPUtime=1421.85
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142154 0 0 0 142102 83 0 0 25 0 1 0 133042978 584126464 141276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142609 141276 139 317 0 142288 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 570436

[startup+1482.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/78 24745
/proc/meminfo: memFree=1029880/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=570856 CPUtime=1481.82
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142229 0 0 0 148099 83 0 0 25 0 1 0 133042978 584556544 141351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277005 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142714 141351 139 317 0 142393 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 570856

[startup+1542.31 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 24745
/proc/meminfo: memFree=1029816/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=570856 CPUtime=1541.81
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142250 0 0 0 154097 84 0 0 25 0 1 0 133042978 584556544 141372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142714 141372 139 317 0 142393 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 570856

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 24745
/proc/meminfo: memFree=1029688/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=571128 CPUtime=1601.79
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142299 0 0 0 160094 85 0 0 25 0 1 0 133042978 584835072 141421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142782 141421 139 317 0 142461 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 571128

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 24745
/proc/meminfo: memFree=1029560/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=571128 CPUtime=1661.77
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142311 0 0 0 166092 85 0 0 25 0 1 0 133042978 584835072 141433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 142782 141433 139 317 0 142461 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 571128

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24745
/proc/meminfo: memFree=1028536/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=572400 CPUtime=1721.75
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142626 0 0 0 172089 86 0 0 25 0 1 0 133042978 586137600 141748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 143100 141748 170 317 0 142779 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 572400

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24747
/proc/meminfo: memFree=1027888/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=572832 CPUtime=1781.73
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142725 0 0 0 178087 86 0 0 25 0 1 0 133042978 586579968 141847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 143208 141847 170 317 0 142887 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 572832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24747
/proc/meminfo: memFree=1027896/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=572964 CPUtime=1800.03
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142753 0 0 0 179916 87 0 0 25 0 1 0 133042978 586715136 141875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 143241 141875 170 317 0 142920 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 572964

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 24748
/proc/meminfo: memFree=1323440/2055920 swapFree=4168624/4192956
[pid=24744] ppid=24742 vsize=0 CPUtime=1800.14
/proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194308 142769 0 0 0 179922 92 0 0 25 0 1 0 133042978 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24744/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.18
CPU user time (s): 1799.22
CPU system time (s): 0.959854
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 572964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 0.959854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142769
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= 9
involuntary context switches= 2523

runsolver used 2.05669 second user time and 4.51431 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Tue Apr 17 23:07:33 UTC 2007

IDJOB= 357005
IDBENCH= 1767
IDSOLVER= 172
FILE ID= node22/357005-1176851248

PBS_JOBID= 4590179

Free space on /tmp= 66417 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum3.opb
COMMAND LINE= oree /tmp/evaluation/357005-1176851248/instance-357005-1176851248.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-357005-1176851248 -o ROOT/results/node22/solver-357005-1176851248 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357005-1176851248/instance-357005-1176851248.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  7834f8d111acea7ee9f1805313462ca3

RANDOM SEED= 815551787

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.265
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.265
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:       1591768 kB
Buffers:         37136 kB
Cached:         337480 kB
SwapCached:       2308 kB
Active:         177224 kB
Inactive:       220160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1591768 kB
SwapTotal:     4192956 kB
SwapFree:      4168624 kB
Dirty:          117068 kB
Writeback:           0 kB
Mapped:          30552 kB
Slab:            52396 kB
Committed_AS:  1716492 kB
PageTables:       1676 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= 66417 MiB

End job on node22 on Tue Apr 17 23:37:36 UTC 2007