Trace number 350908

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
PBS4 2007-03-23No Cert. 1800.02 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-sp97ar.opb
MD5SUM6d57e08ccbe566a3b3419be58eb11fb4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1584
Best CPU time to get the best result obtained on this benchmark1800.81
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1581
Optimality of the best value was proved NO
Number of variables14101
Total number of constraints1739
Number of constraints which are clauses181
Number of constraints which are cardinality constraints (but not clauses)1140
Number of constraints which are nor clauses,nor cardinality constraints418
Minimum length of a constraint2
Maximum length of a constraint2463
Number of terms in the objective function 14101
Biggest coefficient in the objective function 158
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 531286
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 158
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 531286
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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/350908-1176567024/instance-350908-1176567024.opb ......
4.59/4.63	c done parsing opb.
4.59/4.63	o 78379
6.09/6.14	o 78378
7.59/7.65	o 78373
9.08/9.16	o 78372
10.58/10.67	o 78367
12.09/12.17	o 78355
13.58/13.68	o 78354
15.18/15.20	o 78353
16.69/16.72	o 78348
18.19/18.24	o 78344
19.69/19.77	o 78340
21.18/21.29	o 78339
22.78/22.81	o 78333
24.28/24.33	o 78326
25.78/25.84	o 78325
27.28/27.35	o 78324
28.79/28.86	o 78320
30.28/30.36	o 78319
31.79/31.87	o 78318
33.28/33.38	o 78314
34.78/34.89	o 78309
36.38/36.41	o 78308
37.88/37.93	o 78307
39.38/39.45	o 78306
40.88/40.97	o 78305
42.38/42.50	o 78303
43.98/44.02	o 78300
45.48/45.53	o 78299
46.97/47.04	o 78295
48.48/48.54	o 78292
49.98/50.04	o 78291
51.48/51.55	o 78290
52.97/53.06	o 78286
54.47/54.57	o 78282
55.98/56.09	o 78281
57.57/57.61	o 78280
59.07/59.13	o 78276
60.58/60.65	o 78275
62.08/62.17	o 78271
63.57/63.69	o 78270
65.17/65.20	o 78266
66.67/66.71	o 78264
68.18/68.22	o 78263
69.67/69.72	o 78260
71.17/71.23	o 78259
72.67/72.73	o 78255
74.17/74.24	o 78254
75.67/75.76	o 78252
77.17/77.28	o 78251
78.77/78.80	o 78248
80.27/80.32	o 78246
81.76/81.83	o 78245
83.26/83.35	o 78244
84.76/84.87	o 78243
86.26/86.38	o 78242
87.76/87.88	o 78240
89.27/89.39	o 78238
90.77/90.90	o 78236
92.37/92.40	o 78235
93.86/93.91	o 78233
95.36/95.42	o 78232
96.86/96.94	o 78230
98.37/98.46	o 78229
99.87/99.97	o 78228
101.37/101.49	o 78225
102.97/103.01	o 78224
104.47/104.53	o 78223
105.96/106.04	o 78222
107.46/107.54	o 78221
108.96/109.05	o 78220
110.46/110.55	o 78218
111.96/112.05	o 78217
113.46/113.56	o 78216
114.96/115.06	o 78214
116.46/116.58	o 78213
118.06/118.10	o 78211
119.55/119.61	o 78209
121.06/121.13	o 78207
122.56/122.65	o 78205
124.06/124.17	o 78204
125.56/125.67	o 78203
127.06/127.18	o 78202
128.56/128.68	o 78200
130.05/130.18	o 78199
131.55/131.69	o 78198
133.05/133.19	o 78197
134.56/134.69	o 78196
136.16/136.21	o 78194
137.66/137.72	o 78193
139.15/139.24	o 78192
140.66/140.75	o 78191
142.15/142.27	o 78190
143.65/143.78	o 78188
145.15/145.29	o 78186
146.65/146.79	o 78184
148.15/148.29	o 78182
149.65/149.79	o 78181
151.15/151.29	o 78179
152.64/152.79	o 78178
154.15/154.29	o 78177
155.75/155.80	o 78176
157.25/157.31	o 78174
158.75/158.82	o 78172
160.25/160.34	o 78171
161.74/161.85	o 78170
163.24/163.37	o 78169
164.75/164.88	o 78168
166.25/166.38	o 78167
167.75/167.88	o 78166
169.25/169.38	o 78165
170.74/170.87	o 78164
172.25/172.38	o 78163
173.75/173.88	o 78162
175.25/175.39	o 78161
176.84/176.90	o 78159
178.34/178.42	o 78158
179.84/179.93	o 78157
181.35/181.44	o 78156
182.84/182.96	o 78155
184.34/184.47	o 78154
185.84/185.97	o 78153
187.34/187.47	o 78152
188.84/188.97	o 78151
190.34/190.48	o 78016
191.84/191.99	o 77910
193.34/193.49	o 77909
194.94/195.00	o 77897
196.44/196.52	o 77732
197.94/198.04	o 77731
199.44/199.55	o 77730
200.94/201.07	o 77729
202.44/202.58	o 77728
204.04/204.10	o 77727
205.44/205.60	o 77726
207.03/207.10	o 77724
208.54/208.60	o 77722
210.04/210.10	o 77721
211.54/211.60	o 77719
212.93/213.09	o 77718
214.44/214.60	o 77717
216.03/216.11	o 77716
217.53/217.61	o 77715
219.03/219.12	o 77714
220.53/220.64	o 77712
222.04/222.14	o 77711
223.54/223.65	o 77709
225.03/225.17	o 77708
226.53/226.66	o 77707
228.03/228.16	o 77706
229.53/229.66	o 77705
231.03/231.16	o 77703
232.53/232.65	o 77701
234.03/234.15	o 77699
235.53/235.66	o 77698
237.02/237.17	o 77697
238.54/238.69	o 77696
240.13/240.20	o 77695
241.63/241.72	o 77693
243.12/243.22	o 77691
244.62/244.72	o 77689
246.12/246.22	o 77687
247.63/247.72	o 77684
249.13/249.22	o 77682
250.63/250.72	o 77681
252.12/252.23	o 74753
253.62/253.75	o 74701
255.12/255.28	o 74698
256.72/256.81	o 74697
258.23/258.34	o 74518
259.72/259.88	o 74516
261.32/261.41	o 74514
262.82/262.94	o 74385
264.32/264.46	o 74384
265.82/265.98	o 74309
267.62/267.79	o 74308
269.22/269.33	o 66310
270.72/270.88	o 65492
272.32/272.42	o 65491
273.82/273.96	o 65490
275.42/275.51	o 65489
276.92/277.05	o 65488
278.52/278.61	o 65372
280.01/280.16	o 65371
281.62/281.70	o 65369
283.11/283.24	o 65368
284.61/284.78	o 65366
286.21/286.33	o 65365
287.71/287.85	o 65364
289.22/289.38	o 65363
290.81/290.92	o 65362
292.31/292.45	o 65361
293.81/293.98	o 65359
295.41/295.52	o 65358
296.92/297.05	o 65357
298.51/298.61	o 65208
300.01/300.15	o 65207
301.61/301.70	o 65206
303.11/303.25	o 65204
304.70/304.81	o 65203
306.20/306.34	o 65202
307.70/307.87	o 65200
309.21/309.39	o 65199
310.81/310.94	o 65197
312.31/312.47	o 65196
313.90/314.02	o 63930
315.40/315.55	o 63929
316.90/317.08	o 63928
318.50/318.61	o 63927
320.00/320.15	o 63926
321.50/321.68	o 63925
323.10/323.22	o 63924
324.60/324.75	o 63923
326.10/326.28	o 63922
327.70/327.80	o 63921
329.20/329.32	o 63920
330.69/330.84	o 63919
332.19/332.36	o 63918
333.70/333.88	o 63917
335.30/335.40	o 63916
338.10/338.29	o 63915
339.70/339.89	o 56904
341.29/341.48	o 56902
342.90/343.10	o 55794
344.49/344.68	o 55793
346.09/346.25	o 55792
347.69/347.82	o 55791
349.29/349.42	o 55678
350.89/351.01	o 55677
352.39/352.58	o 55676
354.00/354.16	o 55675
355.59/355.74	o 55673
357.19/357.31	o 55672
358.79/358.90	o 55671
360.29/360.49	o 55669
361.89/362.07	o 55668
363.49/363.66	o 55666
365.09/365.25	o 55665
366.68/366.82	o 55664
368.19/368.39	o 55663
369.78/369.99	o 55657
371.38/371.56	o 55656
372.99/373.12	o 55654
374.59/374.70	o 55653
377.48/377.69	o 55652
379.08/379.29	o 55651
380.78/380.90	o 55649
382.38/382.50	o 55648
383.98/384.10	o 55647
385.58/385.70	o 55645
387.18/387.31	o 55459
388.78/388.90	o 55458
390.29/390.50	o 55457
391.88/392.09	o 55456
393.48/393.69	o 55455
395.08/395.27	o 55453
396.68/396.88	o 55451
398.27/398.48	o 55450
399.88/400.09	o 55448
401.58/401.71	o 55447
403.17/403.33	o 55417
404.78/404.93	o 55415
406.38/406.54	o 55413
407.98/408.13	o 55411
409.57/409.72	o 55410
411.18/411.31	o 55409
412.68/412.89	o 55408
414.27/414.48	o 55406
415.87/416.09	o 55404
417.58/417.70	o 55403
419.17/419.31	o 55402
420.78/420.91	o 55401
422.37/422.51	o 55399
423.97/424.12	o 55398
425.57/425.72	o 55397
427.17/427.31	o 55396
428.66/428.90	o 55395
430.27/430.49	o 55394
431.87/432.07	o 55392
433.46/433.65	o 55391
435.06/435.25	o 55389
438.17/438.38	o 55388
439.87/440.01	o 55072
441.46/441.66	o 53808
443.06/443.29	o 53807
444.77/444.92	o 53805
446.37/446.53	o 53803
447.96/448.14	o 53801
449.56/449.74	o 53800
451.17/451.35	o 53798
452.76/452.97	o 53797
454.36/454.58	o 53796
456.06/456.21	o 53795
457.66/457.84	o 53794
459.26/459.47	o 53793
460.96/461.10	o 53792
462.56/462.73	o 53791
464.16/464.36	o 53790
465.76/465.97	o 53789
467.36/467.58	o 53787
469.05/469.20	o 53786
470.66/470.82	o 53784
472.26/472.43	o 53783
473.86/474.03	o 53781
475.46/475.65	o 53780
477.06/477.28	o 53779
478.75/478.90	o 53778
480.35/480.54	o 53777
481.96/482.16	o 53776
483.55/483.78	o 53775
485.15/485.39	o 53774
486.86/487.00	o 53773
488.45/488.61	o 53772
490.05/490.23	o 52807
491.65/491.85	o 52806
493.25/493.46	o 52805
494.85/495.07	o 52803
496.45/496.69	o 52802
498.05/498.30	o 52800
501.25/501.49	o 52799
502.95/503.14	o 50099
504.55/504.80	o 50098
506.15/506.40	o 50096
507.75/507.99	o 50095
509.35/509.59	o 50094
510.95/511.18	o 50093
512.54/512.78	o 50092
514.14/514.38	o 50091
515.75/515.99	o 50090
517.35/517.59	o 50089
519.04/519.20	o 50087
520.65/520.80	o 50086
522.15/522.40	o 50085
523.85/524.02	o 50084
525.44/525.62	o 50083
527.04/527.21	o 50082
528.64/528.80	o 50080
530.13/530.39	o 50079
531.74/531.98	o 50077
533.35/533.58	o 50075
534.94/535.18	o 50074
538.14/538.39	o 50073
539.74/540.00	o 50071
541.43/541.62	o 50070
543.03/543.23	o 50069
544.63/544.84	o 50068
546.24/546.44	o 50066
547.83/548.05	o 50065
549.43/549.65	o 50064
551.04/551.25	o 50062
552.64/552.86	o 50061
554.24/554.46	o 50059
555.83/556.08	o 50057
557.43/557.69	o 50055
559.13/559.31	o 50054
560.73/560.93	o 50053
562.33/562.55	o 50051
563.93/564.17	o 50049
565.53/565.77	o 50047
567.12/567.37	o 50046
568.72/568.98	o 50045
570.33/570.59	o 50043
571.93/572.18	o 50041
573.53/573.77	o 50040
575.13/575.38	o 50038
576.72/576.98	o 50036
578.32/578.59	o 50035
580.02/580.21	o 50033
581.63/581.82	o 50031
583.22/583.42	o 50030
584.82/585.02	o 50029
586.42/586.62	o 50028
588.03/588.22	o 50027
589.62/589.82	o 50026
591.22/591.42	o 50025
592.82/593.00	o 50024
594.42/594.60	o 50023
596.02/596.21	o 50022
597.62/597.83	o 50021
599.22/599.44	o 50020
600.81/601.06	o 50018
602.42/602.67	o 50017
604.02/604.27	o 50015
605.62/605.87	o 50014
607.22/607.46	o 50013
608.81/609.06	o 50011
610.41/610.66	o 50010
612.02/612.25	o 50009
613.62/613.84	o 50008
615.21/615.44	o 50007
616.82/617.04	o 50005
618.41/618.65	o 50004
620.02/620.27	o 50003
621.62/621.87	o 50001
623.22/623.48	o 50000
624.82/625.09	o 49999
626.41/626.69	o 49998
628.01/628.28	o 49997
629.61/629.88	o 49996
631.21/631.47	o 49995
632.80/633.06	o 49994
634.41/634.67	o 49992
636.01/636.28	o 49990
637.61/637.90	o 49989
639.31/639.51	o 49988
640.90/641.12	o 49987
642.51/642.72	o 49986
644.11/644.34	o 49985
645.70/645.93	o 49984
647.30/647.52	o 49983
648.90/649.11	o 49982
650.51/650.71	o 49981
652.11/652.32	o 49980
653.70/653.92	o 49978
655.31/655.53	o 49976
656.90/657.14	o 49974
658.50/658.75	o 49973
660.10/660.36	o 49971
661.70/661.96	o 49969
663.30/663.57	o 49968
664.90/665.17	o 49966
666.50/666.76	o 49965
668.10/668.35	o 49964
669.70/669.96	o 49963
671.30/671.56	o 49962
672.90/673.16	o 49961
674.49/674.76	o 49960
676.10/676.37	o 49958
677.70/677.98	o 49957
679.30/679.59	o 49955
681.00/681.20	o 49954
682.59/682.81	o 49953
684.19/684.42	o 49952
685.79/686.02	o 49951
687.39/687.61	o 49949
688.99/689.20	o 49947
690.60/690.80	o 49946
692.10/692.39	o 49945
693.69/693.99	o 49943
695.39/695.60	o 49942
696.99/697.21	o 49940
698.59/698.82	o 49939
700.19/700.43	o 49938
701.78/702.03	o 49937
703.38/703.64	o 49936
704.99/705.24	o 49935
706.59/706.84	o 49934
708.19/708.43	o 49933
709.78/710.04	o 49932
711.39/711.63	o 49931
713.08/713.31	o 49929
714.58/714.90	o 49927
716.28/716.51	o 49926
717.89/718.11	o 49925
719.49/719.73	o 49924
721.09/721.34	o 49923
722.69/722.95	o 49922
724.29/724.57	o 49921
725.88/726.16	o 49920
727.48/727.75	o 49919
729.08/729.35	o 49918
730.68/730.95	o 49916
732.29/732.53	o 49915
733.88/734.13	o 49913
735.48/735.75	o 49912
737.08/737.36	o 49910
738.68/738.97	o 49909
740.28/740.58	o 49908
741.88/742.18	o 49907
743.47/743.80	o 49905
745.08/745.39	o 49904
746.68/746.99	o 49903
748.28/748.58	o 49902
749.88/750.17	o 49901
751.47/751.77	o 49900
753.08/753.36	o 49899
754.68/754.95	o 49897
756.28/756.56	o 49895
757.87/758.16	o 49893
759.47/759.77	o 49892
761.07/761.38	o 49890
762.67/762.99	o 49888
764.37/764.61	o 49886
765.97/766.21	o 49884
767.47/767.80	o 49882
769.07/769.40	o 49881
770.67/770.99	o 49880
772.27/772.58	o 49878
773.87/774.17	o 49877
775.47/775.78	o 49876
777.06/777.38	o 49874
778.66/779.00	o 49873
780.36/780.61	o 49871
781.97/782.21	o 49870
783.56/783.82	o 49869
785.17/785.42	o 49867
786.76/787.02	o 49866
788.36/788.62	o 49864
789.97/790.22	o 49863
791.57/791.81	o 49862
793.17/793.41	o 49861
794.76/795.01	o 49860
796.36/796.63	o 49859
797.96/798.23	o 49858
799.56/799.84	o 49857
801.16/801.45	o 49856
802.76/803.06	o 49854
804.36/804.67	o 49853
805.96/806.26	o 49852
807.56/807.86	o 49851
809.16/809.45	o 49850
810.76/811.04	o 49848
812.35/812.62	o 49847
813.95/814.22	o 49846
815.55/815.83	o 49844
817.16/817.43	o 49842
818.76/819.05	o 49841
820.36/820.66	o 49839
821.95/822.26	o 49838
823.56/823.88	o 49837
825.15/825.49	o 49835
826.75/827.08	o 49833
828.35/828.67	o 49831
829.95/830.27	o 49830
831.55/831.87	o 49829
833.16/833.47	o 49827
834.75/835.07	o 49826
836.35/836.67	o 49825
837.95/838.29	o 49824
839.65/839.90	o 49822
841.25/841.52	o 49821
842.85/843.13	o 49820
844.45/844.75	o 49818
846.05/846.35	o 49817
847.65/847.95	o 49816
849.25/849.54	o 49814
850.84/851.12	o 49813
852.44/852.72	o 49812
854.04/854.31	o 49811
855.64/855.92	o 49810
857.24/857.54	o 49809
858.85/859.15	o 49808
862.05/862.34	o 49806
863.64/863.96	o 49805
865.24/865.57	o 49804
866.85/867.18	o 49803
868.44/868.78	o 49802
870.04/870.39	o 49800
871.75/872.00	o 49799
873.34/873.61	o 49798
874.94/875.22	o 49797
876.54/876.84	o 49796
878.14/878.46	o 49795
879.74/880.09	o 49793
881.44/881.71	o 49792
883.04/883.33	o 49790
884.64/884.95	o 49789
886.24/886.55	o 49788
887.83/888.16	o 49787
889.44/889.77	o 49785
891.04/891.38	o 49784
892.63/892.99	o 49783
894.34/894.60	o 49782
895.94/896.22	o 49780
897.54/897.85	o 49779
899.14/899.47	o 49777
900.74/901.08	o 49776
902.33/902.69	o 49775
904.03/904.30	o 49773
905.63/905.90	o 49771
907.13/907.49	o 49770
908.74/909.09	o 49768
910.33/910.68	o 49767
911.93/912.27	o 49766
913.53/913.86	o 49765
915.13/915.47	o 49764
916.73/917.07	o 49762
918.33/918.68	o 49761
919.93/920.29	o 49760
921.63/921.90	o 49758
923.23/923.51	o 49756
924.83/925.12	o 49754
926.43/926.72	o 49752
928.03/928.32	o 49750
929.63/929.91	o 49748
931.23/931.50	o 49747
932.83/933.10	o 49745
934.43/934.70	o 49743
936.02/936.31	o 49742
937.62/937.92	o 49741
939.22/939.53	o 49740
940.83/941.15	o 49738
942.43/942.77	o 49737
944.03/944.38	o 49736
945.63/945.99	o 49735
947.22/947.59	o 49734
948.82/949.19	o 49733
950.42/950.79	o 49731
952.02/952.39	o 49730
953.62/953.99	o 49728
955.22/955.59	o 49726
956.92/957.21	o 49724
958.51/958.82	o 49723
960.11/960.44	o 49721
961.71/962.07	o 49720
963.33/963.68	o 49719
964.92/965.29	o 49718
966.52/966.88	o 49717
968.12/968.48	o 49716
969.71/970.08	o 49715
971.32/971.67	o 49713
972.92/973.26	o 49712
974.52/974.85	o 49711
976.12/976.45	o 49710
977.72/978.06	o 49709
979.32/979.67	o 49707
980.92/981.28	o 49705
982.51/982.89	o 49704
984.22/984.50	o 49702
985.81/986.10	o 49700
987.31/987.69	o 49699
988.91/989.28	o 49697
990.51/990.87	o 49695
992.11/992.47	o 49694
993.71/994.06	o 49693
995.31/995.66	o 49692
996.90/997.28	o 49691
998.51/998.89	o 49690
1000.21/1000.50	o 49688
1001.81/1002.11	o 49686
1003.41/1003.72	o 49685
1005.01/1005.32	o 49684
1006.61/1006.91	o 49683
1008.21/1008.50	o 49681
1009.81/1010.10	o 49680
1011.30/1011.69	o 49679
1012.91/1013.29	o 49677
1014.51/1014.88	o 49676
1016.11/1016.50	o 49675
1017.80/1018.10	o 49673
1019.40/1019.71	o 49672
1021.00/1021.31	o 49670
1022.61/1022.92	o 49669
1024.20/1024.52	o 49667
1025.80/1026.12	o 49665
1027.40/1027.72	o 49664
1029.00/1029.31	o 49663
1030.60/1030.91	o 49662
1032.20/1032.51	o 49660
1033.80/1034.10	o 49659
1035.40/1035.71	o 49658
1037.00/1037.32	o 49657
1038.60/1038.93	o 49655
1040.20/1040.54	o 49654
1041.79/1042.15	o 49653
1043.40/1043.76	o 49652
1045.00/1045.36	o 49650
1046.60/1046.95	o 49648
1048.19/1048.55	o 49647
1049.79/1050.14	o 49646
1051.39/1051.74	o 49645
1053.00/1053.33	o 49644
1054.60/1054.93	o 49642
1056.19/1056.54	o 49640
1057.80/1058.15	o 49638
1059.39/1059.76	o 49637
1060.99/1061.37	o 49636
1062.60/1062.98	o 49635
1064.19/1064.59	o 49634
1065.79/1066.19	o 49633
1067.39/1067.78	o 49632
1068.99/1069.37	o 49631
1070.59/1070.96	o 49630
1072.19/1072.55	o 49628
1073.79/1074.15	o 49627
1075.39/1075.76	o 49625
1076.99/1077.36	o 49624
1078.59/1078.97	o 49622
1080.18/1080.58	o 49621
1081.78/1082.20	o 49620
1083.49/1083.80	o 49619
1085.09/1085.40	o 49617
1086.68/1087.00	o 49616
1088.18/1088.59	o 49614
1089.78/1090.19	o 49613
1091.39/1091.78	o 49611
1092.99/1093.38	o 49610
1094.58/1094.98	o 49609
1096.18/1096.59	o 49608
1097.78/1098.19	o 49607
1099.49/1099.81	o 49606
1101.08/1101.42	o 49605
1102.68/1103.03	o 49604
1104.28/1104.63	o 49603
1105.88/1106.23	o 49601
1107.48/1107.81	o 49600
1109.08/1109.40	o 49599
1110.58/1111.00	o 49598
1112.18/1112.58	o 49597
1113.78/1114.18	o 49596
1115.38/1115.79	o 49594
1117.08/1117.40	o 49593
1118.68/1119.02	o 49592
1120.27/1120.62	o 49591
1121.87/1122.23	o 49589
1123.47/1123.84	o 49588
1125.08/1125.45	o 49587
1126.67/1127.04	o 49586
1128.28/1128.64	o 49585
1129.87/1130.24	o 49584
1131.48/1131.83	o 49583
1133.07/1133.42	o 49582
1134.67/1135.02	o 49581
1136.27/1136.63	o 49580
1137.87/1138.25	o 49579
1139.47/1139.86	o 49578
1141.07/1141.47	o 49577
1142.67/1143.08	o 49576
1144.27/1144.69	o 49575
1145.87/1146.29	o 49574
1147.47/1147.87	o 49573
1149.08/1149.47	o 49572
1150.67/1151.06	o 49571
1152.27/1152.65	o 49570
1153.87/1154.25	o 49569
1155.47/1155.85	o 49568
1157.07/1157.46	o 49567
1158.67/1159.07	o 49566
1160.27/1160.69	o 49565
1161.97/1162.30	o 49564
1163.57/1163.90	o 49563
1165.17/1165.50	o 49562
1166.67/1167.09	o 49560
1168.26/1168.69	o 49559
1169.87/1170.29	o 49557
1171.47/1171.87	o 49556
1173.06/1173.47	o 49555
1174.66/1175.07	o 49554
1176.26/1176.68	o 49552
1177.87/1178.29	o 49551
1179.56/1179.91	o 49549
1181.16/1181.52	o 49548
1182.76/1183.12	o 49547
1184.37/1184.73	o 49546
1185.96/1186.33	o 49545
1187.57/1187.94	o 49544
1189.16/1189.53	o 49543
1190.76/1191.12	o 49541
1192.36/1192.71	o 49540
1193.96/1194.31	o 49539
1195.56/1195.92	o 49538
1197.15/1197.53	o 49537
1198.76/1199.14	o 49536
1200.36/1200.75	o 49535
1201.96/1202.35	o 49534
1203.56/1203.96	o 49533
1205.16/1205.55	o 49532
1206.75/1207.15	o 49531
1208.36/1208.74	o 49530
1209.96/1210.33	o 49528
1211.55/1211.92	o 49527
1213.15/1213.51	o 49526
1214.75/1215.11	o 49524
1216.35/1216.71	o 49523
1217.95/1218.32	o 49522
1219.55/1219.93	o 49521
1221.15/1221.54	o 49520
1222.76/1223.15	o 49519
1224.35/1224.77	o 49517
1225.95/1226.37	o 49515
1227.55/1227.97	o 49514
1229.15/1229.57	o 49513
1230.75/1231.17	o 49512
1232.35/1232.77	o 49511
1233.95/1234.36	o 49510
1235.55/1235.97	o 49509
1237.15/1237.58	o 49507
1238.74/1239.18	o 49506
1240.35/1240.79	o 49505
1242.05/1242.40	o 49504
1243.65/1244.01	o 49503
1245.24/1245.61	o 49502
1246.84/1247.21	o 49501
1248.45/1248.81	o 49500
1250.05/1250.41	o 49499
1251.64/1252.01	o 49498
1253.24/1253.61	o 49497
1254.84/1255.21	o 49495
1256.44/1256.82	o 49493
1258.04/1258.44	o 49492
1259.64/1260.05	o 49491
1261.25/1261.66	o 49490
1262.84/1263.26	o 49489
1264.44/1264.87	o 49488
1267.64/1268.03	o 49487
1269.24/1269.62	o 49486
1270.84/1271.24	o 49485
1272.44/1272.84	o 49484
1274.04/1274.45	o 49483
1275.64/1276.07	o 49482
1277.34/1277.70	o 49481
1278.94/1279.32	o 49480
1280.53/1280.94	o 49479
1282.14/1282.57	o 49478
1283.74/1284.19	o 49477
1285.44/1285.81	o 49476
1287.03/1287.42	o 49474
1288.63/1289.03	o 49473
1290.23/1290.64	o 49472
1291.83/1292.25	o 49471
1293.43/1293.86	o 49470
1295.03/1295.45	o 49469
1296.63/1297.06	o 49468
1298.23/1298.68	o 49466
1299.83/1300.29	o 49465
1301.53/1301.90	o 49464
1303.14/1303.51	o 49463
1304.73/1305.12	o 49462
1306.33/1306.72	o 49461
1307.93/1308.32	o 49459
1309.53/1309.91	o 49458
1311.13/1311.51	o 49457
1312.72/1313.11	o 49455
1314.33/1314.72	o 49454
1315.93/1316.33	o 49453
1317.53/1317.94	o 49452
1319.13/1319.55	o 49451
1320.73/1321.16	o 49449
1322.32/1322.76	o 49447
1323.92/1324.37	o 49445
1325.53/1325.98	o 49444
1327.13/1327.58	o 49443
1328.72/1329.17	o 49442
1330.32/1330.77	o 49440
1331.92/1332.37	o 49439
1333.52/1333.96	o 49438
1335.12/1335.56	o 49436
1336.72/1337.17	o 49434
1338.33/1338.78	o 49432
1339.92/1340.39	o 49431
1341.53/1341.99	o 49430
1343.22/1343.61	o 49429
1344.82/1345.21	o 49427
1346.42/1346.80	o 49425
1348.02/1348.41	o 49424
1349.62/1350.01	o 49422
1351.22/1351.61	o 49421
1352.82/1353.21	o 49420
1354.42/1354.81	o 49419
1356.02/1356.42	o 49418
1357.61/1358.03	o 49417
1359.22/1359.65	o 49415
1360.82/1361.25	o 49413
1362.42/1362.87	o 49411
1364.02/1364.50	o 49410
1365.72/1366.10	o 49409
1367.21/1367.69	o 49407
1368.81/1369.28	o 49406
1370.41/1370.86	o 49405
1372.01/1372.46	o 49403
1373.61/1374.06	o 49402
1375.21/1375.66	o 49400
1376.81/1377.27	o 49398
1378.41/1378.87	o 49397
1380.01/1380.49	o 49396
1381.71/1382.10	o 49395
1383.31/1383.71	o 49393
1384.91/1385.31	o 49392
1386.51/1386.91	o 49390
1388.11/1388.50	o 49388
1389.71/1390.10	o 49386
1391.31/1391.71	o 49385
1392.80/1393.30	o 49383
1394.41/1394.89	o 49381
1396.10/1396.50	o 49380
1397.70/1398.12	o 49379
1399.31/1399.73	o 49378
1400.91/1401.34	o 49377
1402.51/1402.95	o 49376
1404.10/1404.56	o 49374
1405.70/1406.15	o 49373
1407.30/1407.75	o 49372
1408.90/1409.35	o 49370
1410.50/1410.94	o 49369
1412.10/1412.54	o 49368
1413.70/1414.14	o 49367
1415.30/1415.74	o 49366
1416.90/1417.35	o 49364
1418.50/1418.96	o 49363
1420.10/1420.57	o 49361
1421.70/1422.19	o 49360
1423.40/1423.80	o 49359
1424.99/1425.41	o 49357
1426.60/1427.00	o 49356
1428.19/1428.60	o 49355
1429.79/1430.20	o 49354
1431.30/1431.79	o 49353
1432.90/1433.40	o 49352
1434.50/1435.00	o 49351
1436.20/1436.61	o 49349
1437.79/1438.22	o 49348
1439.39/1439.84	o 49347
1441.00/1441.45	o 49346
1442.60/1443.06	o 49345
1444.20/1444.67	o 49344
1445.80/1446.27	o 49343
1447.39/1447.88	o 49342
1448.99/1449.48	o 49340
1450.59/1451.08	o 49339
1452.19/1452.67	o 49338
1453.80/1454.27	o 49337
1455.39/1455.87	o 49336
1456.99/1457.47	o 49334
1458.59/1459.09	o 49333
1460.19/1460.70	o 49332
1461.89/1462.30	o 49330
1463.48/1463.91	o 49328
1465.08/1465.52	o 49327
1466.68/1467.11	o 49325
1468.29/1468.71	o 49324
1469.89/1470.31	o 49323
1471.49/1471.91	o 49321
1473.09/1473.52	o 49320
1474.69/1475.12	o 49319
1476.28/1476.73	o 49317
1477.89/1478.35	o 49316
1479.48/1479.96	o 49315
1481.09/1481.57	o 49313
1482.68/1483.19	o 49312
1484.38/1484.80	o 49311
1485.98/1486.40	o 49310
1487.58/1488.00	o 49308
1489.08/1489.59	o 49307
1490.68/1491.19	o 49306
1492.28/1492.79	o 49305
1493.98/1494.40	o 49304
1495.58/1496.00	o 49303
1497.18/1497.61	o 49301
1498.79/1499.22	o 49300
1500.38/1500.84	o 49298
1501.98/1502.45	o 49297
1503.58/1504.06	o 49296
1505.17/1505.68	o 49295
1506.77/1507.28	o 49294
1508.38/1508.87	o 49293
1509.98/1510.47	o 49292
1511.58/1512.06	o 49291
1513.18/1513.65	o 49289
1514.77/1515.25	o 49288
1516.38/1516.86	o 49287
1517.97/1518.48	o 49286
1519.57/1520.09	o 49284
1521.27/1521.71	o 49283
1522.88/1523.32	o 49282
1524.48/1524.94	o 49281
1526.07/1526.54	o 49280
1527.67/1528.14	o 49279
1529.27/1529.73	o 49278
1530.87/1531.34	o 49277
1532.47/1532.94	o 49276
1534.08/1534.54	o 49275
1535.67/1536.14	o 49274
1537.27/1537.75	o 49273
1538.86/1539.37	o 49272
1540.46/1540.98	o 49270
1542.07/1542.58	o 49269
1543.77/1544.20	o 49268
1545.36/1545.80	o 49267
1546.97/1547.41	o 49266
1548.57/1549.00	o 49265
1550.16/1550.60	o 49263
1551.67/1552.19	o 49262
1553.36/1553.80	o 49261
1554.86/1555.40	o 49260
1556.57/1557.01	o 49259
1558.17/1558.63	o 49258
1559.76/1560.25	o 49257
1561.36/1561.86	o 49256
1562.96/1563.47	o 49255
1564.56/1565.08	o 49254
1566.17/1566.69	o 49253
1567.76/1568.29	o 49252
1569.36/1569.89	o 49251
1570.96/1571.48	o 49250
1572.56/1573.08	o 49249
1574.16/1574.68	o 49248
1575.76/1576.30	o 49247
1577.46/1577.91	o 49246
1579.06/1579.53	o 49245
1580.66/1581.15	o 49244
1582.26/1582.76	o 49243
1583.85/1584.37	o 49242
1585.45/1585.98	o 49241
1587.06/1587.58	o 49240
1588.66/1589.18	o 49238
1590.26/1590.78	o 49237
1591.85/1592.38	o 49235
1593.46/1593.98	o 49234
1595.06/1595.58	o 49233
1596.66/1597.19	o 49232
1598.35/1598.81	o 49231
1599.96/1600.42	o 49230
1601.55/1602.03	o 49228
1603.16/1603.64	o 49226
1604.75/1605.25	o 49225
1606.35/1606.85	o 49223
1607.95/1608.45	o 49222
1609.55/1610.05	o 49221
1611.15/1611.64	o 49219
1612.75/1613.24	o 49218
1614.35/1614.84	o 49217
1615.95/1616.45	o 49216
1617.55/1618.07	o 49215
1619.15/1619.69	o 49214
1620.85/1621.31	o 49212
1622.45/1622.93	o 49211
1624.05/1624.55	o 49210
1625.65/1626.15	o 49208
1627.25/1627.75	o 49207
1628.84/1629.35	o 49206
1630.44/1630.95	o 49204
1632.04/1632.55	o 49203
1633.65/1634.15	o 49202
1635.25/1635.76	o 49200
1636.85/1637.38	o 49199
1638.45/1638.99	o 49197
1640.14/1640.61	o 49196
1641.74/1642.22	o 49195
1643.34/1643.84	o 49193
1644.94/1645.44	o 49192
1646.54/1647.04	o 49191
1648.14/1648.64	o 49190
1649.74/1650.24	o 49189
1651.34/1651.84	o 49188
1652.94/1653.44	o 49187
1654.54/1655.04	o 49185
1656.14/1656.66	o 49184
1657.74/1658.27	o 49183
1659.34/1659.89	o 49182
1661.04/1661.50	o 49180
1662.64/1663.11	o 49179
1664.24/1664.72	o 49177
1665.84/1666.32	o 49176
1667.44/1667.92	o 49175
1669.03/1669.52	o 49173
1670.63/1671.11	o 49172
1672.23/1672.71	o 49171
1673.84/1674.30	o 49169
1675.43/1675.91	o 49168
1677.04/1677.52	o 49167
1678.63/1679.13	o 49166
1680.23/1680.74	o 49165
1681.83/1682.36	o 49164
1683.43/1683.97	o 49163
1685.03/1685.59	o 49162
1686.63/1687.19	o 49161
1688.33/1688.80	o 49160
1689.93/1690.40	o 49158
1691.43/1691.99	o 49157
1693.03/1693.59	o 49156
1694.64/1695.19	o 49155
1696.33/1696.81	o 49154
1697.93/1698.43	o 49153
1699.53/1700.05	o 49152
1701.13/1701.66	o 49151
1702.72/1703.27	o 49149
1704.32/1704.88	o 49147
1705.93/1706.48	o 49146
1707.53/1708.08	o 49145
1709.12/1709.69	o 49144
1710.72/1711.29	o 49143
1712.32/1712.89	o 49141
1713.93/1714.48	o 49139
1715.53/1716.09	o 49138
1717.22/1717.71	o 49137
1718.82/1719.32	o 49136
1720.42/1720.94	o 49135
1722.03/1722.57	o 49133
1723.62/1724.19	o 49132
1725.22/1725.79	o 49131
1726.92/1727.40	o 49130
1728.52/1729.00	o 49128
1730.12/1730.61	o 49126
1731.72/1732.21	o 49124
1733.32/1733.81	o 49123
1734.92/1735.42	o 49122
1736.52/1737.03	o 49121
1738.11/1738.65	o 49120
1739.72/1740.26	o 49119
1741.32/1741.87	o 49117
1742.92/1743.50	o 49115
1744.62/1745.11	o 49113
1746.22/1746.71	o 49112
1747.81/1748.31	o 49111
1749.41/1749.91	o 49109
1751.01/1751.51	o 49108
1752.61/1753.11	o 49107
1754.21/1754.71	o 49106
1755.81/1756.32	o 49105
1757.42/1757.93	o 49103
1759.01/1759.55	o 49102
1760.62/1761.16	o 49101
1762.21/1762.79	o 49100
1763.92/1764.40	o 49099
1765.51/1766.00	o 49098
1767.11/1767.60	o 49097
1768.71/1769.20	o 49096
1770.30/1770.80	o 49095
1771.91/1772.40	o 49094
1773.51/1774.00	o 49093
1775.11/1775.60	o 49092
1776.70/1777.21	o 49091
1778.31/1778.82	o 49090
1779.91/1780.43	o 49089
1781.51/1782.04	o 49087
1783.11/1783.65	o 49086
1784.71/1785.26	o 49084
1786.31/1786.85	o 49082
1787.90/1788.47	o 49081
1789.50/1790.06	o 49079
1791.11/1791.66	o 49078
1792.70/1793.26	o 49077
1794.30/1794.86	o 49076
1795.90/1796.47	o 49074
1797.50/1798.09	o 49073
1799.20/1799.70	o 49072
1800.01/1800.50	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/350908-1176567024/instance-350908-1176567024.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node34/watcher-350908-1176567024 -o ROOT/results/node34/solver-350908-1176567024 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350908-1176567024/PBS4 /tmp/evaluation/350908-1176567024/instance-350908-1176567024.opb 

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.92 1.05 1.37 3/77 9768
/proc/meminfo: memFree=1400144/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=2780 CPUtime=0
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 486 0 0 0 0 0 0 0 18 0 1 0 104617859 2846720 468 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0
/proc/9768/statm: 695 470 81 219 0 472 0

[startup+0.0949481 s]
/proc/loadavg: 0.92 1.05 1.37 3/77 9768
/proc/meminfo: memFree=1400144/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=4044 CPUtime=0.09
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 806 0 0 0 9 0 0 0 18 0 1 0 104617859 4141056 788 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588380 0 0 4096 0 0 0 0 17 1 0 0
/proc/9768/statm: 1011 788 87 219 0 788 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4044

[startup+0.101948 s]
/proc/loadavg: 0.92 1.05 1.37 3/77 9768
/proc/meminfo: memFree=1400144/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=4044 CPUtime=0.09
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 806 0 0 0 9 0 0 0 18 0 1 0 104617859 4141056 788 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588295 0 0 4096 0 0 0 0 17 1 0 0
/proc/9768/statm: 1011 788 87 219 0 788 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4044

[startup+0.301964 s]
/proc/loadavg: 0.92 1.05 1.37 3/77 9768
/proc/meminfo: memFree=1400144/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=4044 CPUtime=0.29
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 806 0 0 0 29 0 0 0 19 0 1 0 104617859 4141056 788 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588380 0 0 4096 0 0 0 0 17 1 0 0
/proc/9768/statm: 1011 788 87 219 0 788 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4044

[startup+0.701995 s]
/proc/loadavg: 0.92 1.05 1.37 3/77 9768
/proc/meminfo: memFree=1400144/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=4268 CPUtime=0.69
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 862 0 0 0 69 0 0 0 22 0 1 0 104617859 4370432 844 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588851 0 0 4096 0 0 0 0 17 1 0 0
/proc/9768/statm: 1067 844 87 219 0 844 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4268

[startup+1.50106 s]
/proc/loadavg: 0.92 1.05 1.37 2/78 9769
/proc/meminfo: memFree=1396872/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=5408 CPUtime=1.49
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 1772 0 0 0 149 0 0 0 25 0 1 0 104617859 5537792 1138 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588295 0 0 4096 0 0 0 0 17 1 0 0
/proc/9768/statm: 1352 1138 88 219 0 1129 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5408

[startup+3.10119 s]
/proc/loadavg: 0.92 1.05 1.37 2/78 9769
/proc/meminfo: memFree=1393928/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12048 CPUtime=3.09
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3528 0 0 0 308 1 0 0 25 0 1 0 104617859 12337152 2838 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135057389 0 0 4096 0 0 0 0 17 1 0 0
/proc/9768/statm: 3012 2838 88 219 0 2789 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12048

[startup+6.30244 s]
/proc/loadavg: 0.93 1.05 1.37 2/78 9769
/proc/meminfo: memFree=1388808/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12212 CPUtime=6.29
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3554 0 0 0 628 1 0 0 25 0 1 0 104617859 12505088 2864 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3053 2864 103 219 0 2830 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12212

[startup+12.7019 s]
/proc/loadavg: 0.93 1.04 1.36 2/78 9769
/proc/meminfo: memFree=1388816/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12212 CPUtime=12.68
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3554 0 0 0 1267 1 0 0 25 0 1 0 104617859 12505088 2864 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3053 2864 103 219 0 2830 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12212

[startup+25.502 s]
/proc/loadavg: 0.95 1.04 1.36 2/78 9769
/proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12212 CPUtime=25.48
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3555 0 0 0 2546 2 0 0 25 0 1 0 104617859 12505088 2865 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3053 2865 103 219 0 2830 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12212

[startup+51.102 s]
/proc/loadavg: 0.96 1.04 1.35 3/78 9769
/proc/meminfo: memFree=1389008/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12212 CPUtime=51.08
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3555 0 0 0 5103 5 0 0 25 0 1 0 104617859 12505088 2865 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3053 2865 103 219 0 2830 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12212

[startup+102.305 s]
/proc/loadavg: 0.98 1.03 1.33 2/78 9769
/proc/meminfo: memFree=1389008/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12212 CPUtime=102.27
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3555 0 0 0 10218 9 0 0 25 0 1 0 104617859 12505088 2865 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3053 2865 103 219 0 2830 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12212

[startup+162.302 s]
/proc/loadavg: 0.99 1.02 1.31 2/78 9769
/proc/meminfo: memFree=1389008/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12212 CPUtime=162.24
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3556 0 0 0 16212 12 0 0 25 0 1 0 104617859 12505088 2866 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548069 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3053 2866 103 219 0 2830 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 12212

[startup+222.302 s]
/proc/loadavg: 0.99 1.02 1.28 2/78 9769
/proc/meminfo: memFree=1389136/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12212 CPUtime=222.24
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3557 0 0 0 22205 19 0 0 25 0 1 0 104617859 12505088 2867 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548533 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3053 2867 103 219 0 2830 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 12212

[startup+282.301 s]
/proc/loadavg: 0.99 1.01 1.26 2/78 9769
/proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12388 CPUtime=282.22
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3597 0 0 0 28196 26 0 0 25 0 1 0 104617859 12685312 2907 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548033 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3097 2907 103 219 0 2874 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 12388

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.24 2/78 9769
/proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12388 CPUtime=342.2
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3622 0 0 0 34188 32 0 0 25 0 1 0 104617859 12685312 2932 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3097 2932 103 219 0 2874 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 12388

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.23 2/78 9769
/proc/meminfo: memFree=1388752/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12832 CPUtime=402.17
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3657 0 0 0 40176 41 0 0 25 0 1 0 104617859 13139968 2967 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548041 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3208 2967 104 219 0 2985 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 12832

[startup+462.302 s]
/proc/loadavg: 1.07 1.03 1.22 2/78 9769
/proc/meminfo: memFree=1388816/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12832 CPUtime=462.15
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3663 0 0 0 46165 50 0 0 25 0 1 0 104617859 13139968 2973 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3208 2973 104 219 0 2985 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 12832

[startup+522.301 s]
/proc/loadavg: 1.06 1.03 1.21 2/78 9769
/proc/meminfo: memFree=1388816/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12832 CPUtime=522.15
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3667 0 0 0 52156 59 0 0 25 0 1 0 104617859 13139968 2977 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548066 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3208 2977 104 219 0 2985 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 12832

[startup+582.301 s]
/proc/loadavg: 1.02 1.02 1.19 2/78 9769
/proc/meminfo: memFree=1388752/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12832 CPUtime=582.13
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3670 0 0 0 58147 66 0 0 25 0 1 0 104617859 13139968 2980 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548073 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3208 2980 104 219 0 2985 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 12832

[startup+642.302 s]
/proc/loadavg: 1.01 1.02 1.18 2/78 9769
/proc/meminfo: memFree=1388816/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12832 CPUtime=642.12
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3670 0 0 0 64140 72 0 0 25 0 1 0 104617859 13139968 2980 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3208 2980 104 219 0 2985 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 12832


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.13 2/78 9769
/proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12832 CPUtime=882.04
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3673 0 0 0 88106 98 0 0 25 0 1 0 104617859 13139968 2983 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548073 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3208 2983 104 219 0 2985 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 12832

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.12 2/78 9769
/proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12832 CPUtime=942.03
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3673 0 0 0 94097 106 0 0 25 0 1 0 104617859 13139968 2983 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3208 2983 104 219 0 2985 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 12832

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/78 9769
/proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12832 CPUtime=1002.01
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3673 0 0 0 100090 111 0 0 25 0 1 0 104617859 13139968 2983 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548465 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3208 2983 104 219 0 2985 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 12832

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/78 9769
/proc/meminfo: memFree=1389008/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12832 CPUtime=1062
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3673 0 0 0 106082 118 0 0 25 0 1 0 104617859 13139968 2983 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3208 2983 104 219 0 2985 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 12832

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/78 9769
/proc/meminfo: memFree=1389072/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12832 CPUtime=1121.97
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3673 0 0 0 112073 124 0 0 25 0 1 0 104617859 13139968 2983 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548516 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3208 2983 104 219 0 2985 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 12832

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/78 9769
/proc/meminfo: memFree=1389008/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12832 CPUtime=1181.96
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3673 0 0 0 118065 131 0 0 25 0 1 0 104617859 13139968 2983 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3208 2983 104 219 0 2985 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 12832

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/78 9769
/proc/meminfo: memFree=1389008/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12832 CPUtime=1241.95
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3679 0 0 0 124058 137 0 0 25 0 1 0 104617859 13139968 2989 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3208 2989 104 219 0 2985 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 12832

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/78 9769
/proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12964 CPUtime=1301.93
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3699 0 0 0 130048 145 0 0 25 0 1 0 104617859 13275136 3009 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548056 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3241 3009 104 219 0 3018 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 12964

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/78 9769
/proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=12964 CPUtime=1361.92
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3713 0 0 0 136039 153 0 0 25 0 1 0 104617859 13275136 3023 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3241 3023 104 219 0 3018 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 12964

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.06 2/78 9769
/proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=13096 CPUtime=1421.9
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3725 0 0 0 142032 158 0 0 25 0 1 0 104617859 13410304 3035 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3274 3035 104 219 0 3051 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 13096

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/78 9769
/proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=13096 CPUtime=1481.88
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3733 0 0 0 148025 163 0 0 25 0 1 0 104617859 13410304 3043 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3274 3043 104 219 0 3051 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 13096

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/78 9769
/proc/meminfo: memFree=1389008/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=13096 CPUtime=1541.87
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3737 0 0 0 154018 169 0 0 25 0 1 0 104617859 13410304 3047 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3274 3047 104 219 0 3051 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 13096

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/78 9771
/proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=13096 CPUtime=1601.85
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3745 0 0 0 160010 175 0 0 25 0 1 0 104617859 13410304 3055 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3274 3055 104 219 0 3051 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 13096

[startup+1662.3 s]
/proc/loadavg: 1.05 1.01 1.04 2/78 9771
/proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=13232 CPUtime=1661.84
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3757 0 0 0 166002 182 0 0 25 0 1 0 104617859 13549568 3067 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3308 3067 104 219 0 3085 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 13232

[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 1.03 2/78 9771
/proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=13232 CPUtime=1721.82
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3763 0 0 0 171994 188 0 0 25 0 1 0 104617859 13549568 3073 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548033 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3308 3073 104 219 0 3085 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 13232

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/78 9771
/proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=13232 CPUtime=1781.81
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3773 0 0 0 177986 195 0 0 25 0 1 0 104617859 13549568 3083 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548514 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3308 3083 104 219 0 3085 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 13232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.03 3/78 9771
/proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=13232 CPUtime=1800.01
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3773 0 0 0 179804 197 0 0 25 0 1 0 104617859 13549568 3083 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3308 3083 104 219 0 3085 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13232

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.03 3/78 9771
/proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956
[pid=9768] ppid=9766 vsize=13232 CPUtime=1800.01
/proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3773 0 0 0 179804 197 0 0 25 0 1 0 104617859 13549568 3083 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9768/statm: 3308 3083 104 219 0 3085 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13232

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1798.04
CPU system time (s): 1.9767
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 13232

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

runsolver used 2.27365 second user time and 4.11637 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Sat Apr 14 16:10:24 UTC 2007

IDJOB= 350908
IDBENCH= 1611
IDSOLVER= 157
FILE ID= node34/350908-1176567024

PBS_JOBID= 4556913

Free space on /tmp= 66561 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp97ar.opb
COMMAND LINE= /tmp/evaluation/350908-1176567024/PBS4 /tmp/evaluation/350908-1176567024/instance-350908-1176567024.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node34/convwatcher-350908-1176567024 -o ROOT/results/node34/conversion-350908-1176567024 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350908-1176567024/instance-350908-1176567024.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-350908-1176567024 -o ROOT/results/node34/solver-350908-1176567024 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/350908-1176567024/PBS4 /tmp/evaluation/350908-1176567024/instance-350908-1176567024.opb            

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  6d57e08ccbe566a3b3419be58eb11fb4

RANDOM SEED= 41092632

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node34.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.236
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.236
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:       1400616 kB
Buffers:         41248 kB
Cached:         284744 kB
SwapCached:          0 kB
Active:         365944 kB
Inactive:       165448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1400616 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4056 kB
Writeback:           0 kB
Mapped:         224280 kB
Slab:           109256 kB
Committed_AS:   384224 kB
PageTables:       1976 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= 66561 MiB

End job on node34 on Sat Apr 14 16:40:27 UTC 2007