Trace number 41289

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
PBS 4.1L? (TO) 1800.66 1801.16

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 benchmark1686
Best CPU time to get the best result obtained on this benchmark1800.73
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

Solver Data (download as text)

0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node14/41289-1149263422/instance-41289-1149263422.opb ......
4.29	c done parsing opb.
4.29	o 78379
5.58	o 78378
6.95	o 78373
8.33	o 78372
9.70	o 78367
11.07	o 78355
12.44	o 78354
13.81	o 78353
15.18	o 78348
16.54	o 78344
17.90	o 78340
19.26	o 78339
20.62	o 78333
21.98	o 78326
23.34	o 78325
24.70	o 78324
26.07	o 78320
27.44	o 78319
28.81	o 78318
30.18	o 78314
31.55	o 78309
32.92	o 78308
34.29	o 78307
35.66	o 78306
37.02	o 78305
38.38	o 78303
39.74	o 78300
41.10	o 78299
42.46	o 78295
43.82	o 78292
45.18	o 78291
46.56	o 78290
47.93	o 78286
49.30	o 78282
50.67	o 78281
52.04	o 78280
53.41	o 78276
54.78	o 78275
56.14	o 78271
57.50	o 78270
58.86	o 78266
60.22	o 78264
61.58	o 78263
62.94	o 78260
64.30	o 78259
65.66	o 78255
67.03	o 78254
68.40	o 78252
69.77	o 78251
71.14	o 78248
72.51	o 78246
73.88	o 78245
75.25	o 78244
76.61	o 78243
77.97	o 78242
79.32	o 78240
80.68	o 78238
82.04	o 78236
83.40	o 78235
84.76	o 78233
86.13	o 78232
87.50	o 78230
88.87	o 78229
90.24	o 78228
91.60	o 78225
92.97	o 78224
94.34	o 78223
95.71	o 78222
97.06	o 78221
98.42	o 78220
99.78	o 78218
101.13	o 78217
102.49	o 78216
103.85	o 78214
105.21	o 78213
106.57	o 78211
107.94	o 78209
109.31	o 78207
110.68	o 78205
112.04	o 78204
113.41	o 78203
114.78	o 78202
116.14	o 78200
117.49	o 78199
118.85	o 78198
120.21	o 78197
121.56	o 78196
122.91	o 78194
124.27	o 78193
125.63	o 78192
126.99	o 78191
128.36	o 78190
129.73	o 78188
131.09	o 78186
132.46	o 78184
133.82	o 78182
135.18	o 78181
136.54	o 78179
137.89	o 78178
139.24	o 78177
140.60	o 78176
141.95	o 78174
143.31	o 78172
144.66	o 78171
146.02	o 78170
147.39	o 78169
148.75	o 78168
150.12	o 78167
151.48	o 78166
152.85	o 78165
154.21	o 78164
155.57	o 78163
156.93	o 78162
158.28	o 78161
159.64	o 78159
160.99	o 78158
162.34	o 78157
163.69	o 78156
165.05	o 78155
166.41	o 78154
167.78	o 78153
169.14	o 78152
170.51	o 78151
171.88	o 78016
173.25	o 77910
174.62	o 77909
175.98	o 77897
177.34	o 77732
178.69	o 77731
180.05	o 77730
181.40	o 77729
182.76	o 77728
184.12	o 77727
185.47	o 77726
186.84	o 77724
188.20	o 77722
189.57	o 77721
190.93	o 77719
192.29	o 77718
193.66	o 77717
195.03	o 77716
196.38	o 77715
197.73	o 77714
199.08	o 77712
200.44	o 77711
201.79	o 77709
203.15	o 77708
204.50	o 77707
205.85	o 77706
207.22	o 77705
208.58	o 77703
209.94	o 77701
211.31	o 77699
212.67	o 77698
214.04	o 77697
215.41	o 77696
216.76	o 77695
218.12	o 77693
219.46	o 77691
220.82	o 77689
222.17	o 77687
223.53	o 77684
224.88	o 77682
226.24	o 77681
227.62	o 74753
229.00	o 74701
230.38	o 74698
231.77	o 74697
233.14	o 74518
234.53	o 74516
235.90	o 74514
237.27	o 74385
238.64	o 74384
240.01	o 74309
241.64	o 74308
243.03	o 66310
244.42	o 65492
245.82	o 65491
247.22	o 65490
248.62	o 65489
250.02	o 65488
251.42	o 65372
252.82	o 65371
254.21	o 65369
255.60	o 65368
256.98	o 65366
258.37	o 65365
259.75	o 65364
261.13	o 65363
262.52	o 65362
263.90	o 65361
265.29	o 65359
266.68	o 65358
268.07	o 65357
269.48	o 65208
270.87	o 65207
272.27	o 65206
273.67	o 65204
275.08	o 65203
276.46	o 65202
277.84	o 65200
279.22	o 65199
280.61	o 65197
281.99	o 65196
283.39	o 63930
284.77	o 63929
286.14	o 63928
287.53	o 63927
288.91	o 63926
290.30	o 63925
291.68	o 63924
293.07	o 63923
294.47	o 63922
295.84	o 63921
297.22	o 63920
298.59	o 63919
299.97	o 63918
301.34	o 63917
302.71	o 63916
305.30	o 63915
306.75	o 56904
308.19	o 56902
309.64	o 55794
311.09	o 55793
312.52	o 55792
313.95	o 55791
315.40	o 55678
316.84	o 55677
318.27	o 55676
319.70	o 55675
321.11	o 55673
322.53	o 55672
323.95	o 55671
325.38	o 55669
326.81	o 55668
328.25	o 55666
329.69	o 55665
331.12	o 55664
332.56	o 55663
334.01	o 55657
335.44	o 55656
336.86	o 55654
338.29	o 55653
340.97	o 55652
342.40	o 55651
343.85	o 55649
345.29	o 55648
346.74	o 55647
348.20	o 55645
349.67	o 55459
351.12	o 55458
352.58	o 55457
354.04	o 55456
355.50	o 55455
356.93	o 55453
358.37	o 55451
359.81	o 55450
361.25	o 55448
362.70	o 55447
364.16	o 55417
365.61	o 55415
367.08	o 55413
368.54	o 55411
369.98	o 55410
371.43	o 55409
372.88	o 55408
374.34	o 55406
375.78	o 55404
377.23	o 55403
378.67	o 55402
380.11	o 55401
381.54	o 55399
382.99	o 55398
384.43	o 55397
385.88	o 55396
387.33	o 55395
388.79	o 55394
390.24	o 55392
391.69	o 55391
393.14	o 55389
395.97	o 55388
397.43	o 55072
398.91	o 53808
400.38	o 53807
401.84	o 53805
403.30	o 53803
404.75	o 53801
406.22	o 53800
407.69	o 53798
409.18	o 53797
410.66	o 53796
412.13	o 53795
413.61	o 53794
415.09	o 53793
416.55	o 53792
418.02	o 53791
419.48	o 53790
420.93	o 53789
422.39	o 53787
423.86	o 53786
425.33	o 53784
426.80	o 53783
428.26	o 53781
429.74	o 53780
431.21	o 53779
432.68	o 53778
434.16	o 53777
435.63	o 53776
437.08	o 53775
438.53	o 53774
440.00	o 53773
441.46	o 53772
442.93	o 52807
444.40	o 52806
445.86	o 52805
447.33	o 52803
448.80	o 52802
450.27	o 52800
453.15	o 52799
454.65	o 50099
456.14	o 50098
457.59	o 50096
459.04	o 50095
460.48	o 50094
461.93	o 50093
463.37	o 50092
464.82	o 50091
466.28	o 50090
467.74	o 50089
469.20	o 50087
470.65	o 50086
472.10	o 50085
473.56	o 50084
475.02	o 50083
476.47	o 50082
477.91	o 50080
479.35	o 50079
480.80	o 50077
482.24	o 50075
483.69	o 50074
486.58	o 50073
488.04	o 50071
489.51	o 50070
490.98	o 50069
492.44	o 50068
493.90	o 50066
495.37	o 50065
496.83	o 50064
498.28	o 50062
499.74	o 50061
501.19	o 50059
502.65	o 50057
504.10	o 50055
505.56	o 50054
507.03	o 50053
508.50	o 50051
509.97	o 50049
511.44	o 50047
512.91	o 50046
514.38	o 50045
515.85	o 50043
517.29	o 50041
518.74	o 50040
520.18	o 50038
521.63	o 50036
523.08	o 50035
524.53	o 50033
525.98	o 50031
527.43	o 50030
528.89	o 50029
530.36	o 50028
531.82	o 50027
533.28	o 50026
534.74	o 50025
536.19	o 50024
537.63	o 50023
539.08	o 50022
540.54	o 50021
541.98	o 50020
543.43	o 50018
544.88	o 50017
546.34	o 50015
547.79	o 50014
549.25	o 50013
550.72	o 50011
552.18	o 50010
553.64	o 50009
555.10	o 50008
556.54	o 50007
557.98	o 50005
559.43	o 50004
560.88	o 50003
562.32	o 50001
563.77	o 50000
565.22	o 49999
566.68	o 49998
568.14	o 49997
569.60	o 49996
571.05	o 49995
572.51	o 49994
573.97	o 49992
575.44	o 49990
576.89	o 49989
578.34	o 49988
579.78	o 49987
581.23	o 49986
582.68	o 49985
584.12	o 49984
585.57	o 49983
587.03	o 49982
588.50	o 49981
589.96	o 49980
591.43	o 49978
592.89	o 49976
594.34	o 49974
595.80	o 49973
597.25	o 49971
598.69	o 49969
600.13	o 49968
601.57	o 49966
603.01	o 49965
604.46	o 49964
605.92	o 49963
607.38	o 49962
608.85	o 49961
610.31	o 49960
611.77	o 49958
613.23	o 49957
614.69	o 49955
616.14	o 49954
617.59	o 49953
619.03	o 49952
620.48	o 49951
621.92	o 49949
623.38	o 49947
624.83	o 49946
626.28	o 49945
627.75	o 49943
629.21	o 49942
630.67	o 49940
632.13	o 49939
633.60	o 49938
635.05	o 49937
636.49	o 49936
637.94	o 49935
639.38	o 49934
640.82	o 49933
642.27	o 49932
643.72	o 49931
645.17	o 49929
646.63	o 49927
648.09	o 49926
649.57	o 49925
651.03	o 49924
652.50	o 49923
653.96	o 49922
655.40	o 49921
656.77	o 49920
658.15	o 49919
659.53	o 49918
660.94	o 49916
662.39	o 49915
663.84	o 49913
665.29	o 49912
666.76	o 49910
668.22	o 49909
669.69	o 49908
671.14	o 49907
672.60	o 49905
674.06	o 49904
675.52	o 49903
676.96	o 49902
678.40	o 49901
679.85	o 49900
681.29	o 49899
682.74	o 49897
684.18	o 49895
685.63	o 49893
687.09	o 49892
688.55	o 49890
690.01	o 49888
691.47	o 49886
692.94	o 49884
694.40	o 49882
695.85	o 49881
697.29	o 49880
698.74	o 49878
700.18	o 49877
701.63	o 49876
703.08	o 49874
704.52	o 49873
705.98	o 49871
707.44	o 49870
708.90	o 49869
710.36	o 49867
711.82	o 49866
713.28	o 49864
714.75	o 49863
716.19	o 49862
717.64	o 49861
719.09	o 49860
720.54	o 49859
721.99	o 49858
723.44	o 49857
724.88	o 49856
726.34	o 49854
727.80	o 49853
729.25	o 49852
730.71	o 49851
732.17	o 49850
733.63	o 49848
735.08	o 49847
736.53	o 49846
737.98	o 49844
739.43	o 49842
740.88	o 49841
742.33	o 49839
743.78	o 49838
745.23	o 49837
746.69	o 49835
748.15	o 49833
749.61	o 49831
751.07	o 49830
752.53	o 49829
754.00	o 49827
755.45	o 49826
756.89	o 49825
758.34	o 49824
759.79	o 49822
761.24	o 49821
762.69	o 49820
764.14	o 49818
765.60	o 49817
767.06	o 49816
768.52	o 49814
769.98	o 49813
771.43	o 49812
772.89	o 49811
774.35	o 49810
775.82	o 49809
777.26	o 49808
780.13	o 49806
781.59	o 49805
783.04	o 49804
784.51	o 49803
785.97	o 49802
787.44	o 49800
788.92	o 49799
790.39	o 49798
791.86	o 49797
793.33	o 49796
794.81	o 49795
796.27	o 49793
797.72	o 49792
799.18	o 49790
800.64	o 49789
802.10	o 49788
803.56	o 49787
805.02	o 49785
806.49	o 49784
807.96	o 49783
809.44	o 49782
810.91	o 49780
812.39	o 49779
813.85	o 49777
815.31	o 49776
816.75	o 49775
818.20	o 49773
819.65	o 49771
821.09	o 49770
822.54	o 49768
823.98	o 49767
825.43	o 49766
826.88	o 49765
828.34	o 49764
829.80	o 49762
831.25	o 49761
832.72	o 49760
834.18	o 49758
835.63	o 49756
837.08	o 49754
838.53	o 49752
839.98	o 49750
841.42	o 49748
842.86	o 49747
844.31	o 49745
845.77	o 49743
847.22	o 49742
848.68	o 49741
850.14	o 49740
851.61	o 49738
853.08	o 49737
854.54	o 49736
856.00	o 49735
857.45	o 49734
858.90	o 49733
860.35	o 49731
861.80	o 49730
863.25	o 49728
864.69	o 49726
866.15	o 49724
867.62	o 49723
869.08	o 49721
870.57	o 49720
872.03	o 49719
873.49	o 49718
874.95	o 49717
876.40	o 49716
877.84	o 49715
879.29	o 49713
880.73	o 49712
882.17	o 49711
883.60	o 49710
885.05	o 49709
886.51	o 49707
887.97	o 49705
889.42	o 49704
890.88	o 49702
892.34	o 49700
893.79	o 49699
895.25	o 49697
896.69	o 49695
898.14	o 49694
899.58	o 49693
901.03	o 49692
902.47	o 49691
903.92	o 49690
905.37	o 49688
906.82	o 49686
908.29	o 49685
909.74	o 49684
911.19	o 49683
912.65	o 49681
914.10	o 49680
915.56	o 49679
917.01	o 49677
918.45	o 49676
919.90	o 49675
921.34	o 49673
922.78	o 49672
924.22	o 49670
925.66	o 49669
927.12	o 49667
928.58	o 49665
930.04	o 49664
931.50	o 49663
932.95	o 49662
934.41	o 49660
935.87	o 49659
937.31	o 49658
938.76	o 49657
940.20	o 49655
941.65	o 49654
943.10	o 49653
944.54	o 49652
945.99	o 49650
947.44	o 49648
948.90	o 49647
950.36	o 49646
951.83	o 49645
953.29	o 49644
954.74	o 49642
956.19	o 49640
957.64	o 49638
959.08	o 49637
960.53	o 49636
961.97	o 49635
963.42	o 49634
964.87	o 49633
966.32	o 49632
967.78	o 49631
969.23	o 49630
970.69	o 49628
972.15	o 49627
973.61	o 49625
975.06	o 49624
976.51	o 49622
977.95	o 49621
979.40	o 49620
980.85	o 49619
982.28	o 49617
983.73	o 49616
985.18	o 49614
986.64	o 49613
988.09	o 49611
989.55	o 49610
991.01	o 49609
992.47	o 49608
993.93	o 49607
995.39	o 49606
996.84	o 49605
998.28	o 49604
999.72	o 49603
1001.16	o 49601
1002.60	o 49600
1004.04	o 49599
1005.49	o 49598
1006.94	o 49597
1008.40	o 49596
1009.87	o 49594
1011.33	o 49593
1012.79	o 49592
1014.25	o 49591
1015.70	o 49589
1017.15	o 49588
1018.59	o 49587
1020.04	o 49586
1021.49	o 49585
1022.93	o 49584
1024.37	o 49583
1025.82	o 49582
1027.28	o 49581
1028.74	o 49580
1030.21	o 49579
1031.67	o 49578
1033.13	o 49577
1034.59	o 49576
1036.04	o 49575
1037.49	o 49574
1038.93	o 49573
1040.37	o 49572
1041.81	o 49571
1043.26	o 49570
1044.70	o 49569
1046.16	o 49568
1047.62	o 49567
1049.07	o 49566
1050.54	o 49565
1052.00	o 49564
1053.45	o 49563
1054.90	o 49562
1056.35	o 49560
1057.80	o 49559
1059.24	o 49557
1060.69	o 49556
1062.13	o 49555
1063.58	o 49554
1065.03	o 49552
1066.48	o 49551
1067.94	o 49549
1069.40	o 49548
1070.86	o 49547
1072.32	o 49546
1073.78	o 49545
1075.25	o 49544
1076.70	o 49543
1078.14	o 49541
1079.58	o 49540
1081.03	o 49539
1082.47	o 49538
1083.92	o 49537
1085.37	o 49536
1086.82	o 49535
1088.28	o 49534
1089.73	o 49533
1091.18	o 49532
1092.64	o 49531
1094.09	o 49530
1095.54	o 49528
1096.98	o 49527
1098.42	o 49526
1099.86	o 49524
1101.30	o 49523
1102.75	o 49522
1104.19	o 49521
1105.64	o 49520
1107.10	o 49519
1108.57	o 49517
1110.03	o 49515
1111.50	o 49514
1112.96	o 49513
1114.42	o 49512
1115.88	o 49511
1117.33	o 49510
1118.77	o 49509
1120.22	o 49507
1121.66	o 49506
1123.10	o 49505
1124.55	o 49504
1126.00	o 49503
1127.46	o 49502
1128.92	o 49501
1130.38	o 49500
1131.85	o 49499
1133.31	o 49498
1134.78	o 49497
1136.23	o 49495
1137.68	o 49493
1139.12	o 49492
1140.57	o 49491
1142.02	o 49490
1143.47	o 49489
1144.91	o 49488
1147.79	o 49487
1149.25	o 49486
1150.73	o 49485
1152.20	o 49484
1153.67	o 49483
1155.15	o 49482
1156.61	o 49481
1158.07	o 49480
1159.53	o 49479
1160.99	o 49478
1162.45	o 49477
1163.92	o 49476
1165.38	o 49474
1166.85	o 49473
1168.32	o 49472
1169.80	o 49471
1171.27	o 49470
1172.73	o 49469
1174.18	o 49468
1175.65	o 49466
1177.10	o 49465
1178.55	o 49464
1179.99	o 49463
1181.44	o 49462
1182.89	o 49461
1184.33	o 49459
1185.78	o 49458
1187.25	o 49457
1188.72	o 49455
1190.18	o 49454
1191.64	o 49453
1193.10	o 49452
1194.56	o 49451
1196.01	o 49449
1197.46	o 49447
1198.91	o 49445
1200.36	o 49444
1201.80	o 49443
1203.25	o 49442
1204.69	o 49440
1206.15	o 49439
1207.60	o 49438
1209.06	o 49436
1210.52	o 49434
1211.98	o 49432
1213.44	o 49431
1214.90	o 49430
1216.36	o 49429
1217.80	o 49427
1219.24	o 49425
1220.69	o 49424
1222.14	o 49422
1223.59	o 49421
1225.04	o 49420
1226.50	o 49419
1227.96	o 49418
1229.42	o 49417
1230.89	o 49415
1232.34	o 49413
1233.81	o 49411
1235.28	o 49410
1236.73	o 49409
1238.17	o 49407
1239.61	o 49406
1241.06	o 49405
1242.51	o 49403
1243.95	o 49402
1245.40	o 49400
1246.85	o 49398
1248.31	o 49397
1249.78	o 49396
1251.24	o 49395
1252.70	o 49393
1254.16	o 49392
1255.62	o 49390
1257.06	o 49388
1258.51	o 49386
1259.97	o 49385
1261.41	o 49383
1262.86	o 49381
1264.30	o 49380
1265.75	o 49379
1267.21	o 49378
1268.68	o 49377
1270.14	o 49376
1271.60	o 49374
1273.05	o 49373
1274.51	o 49372
1275.97	o 49370
1277.42	o 49369
1278.87	o 49368
1280.31	o 49367
1281.76	o 49366
1283.21	o 49364
1284.65	o 49363
1286.10	o 49361
1287.57	o 49360
1289.03	o 49359
1290.49	o 49357
1291.95	o 49356
1293.41	o 49355
1294.87	o 49354
1296.33	o 49353
1297.78	o 49352
1299.22	o 49351
1300.67	o 49349
1302.12	o 49348
1303.57	o 49347
1305.02	o 49346
1306.48	o 49345
1307.94	o 49344
1309.40	o 49343
1310.87	o 49342
1312.33	o 49340
1313.79	o 49339
1315.25	o 49338
1316.70	o 49337
1318.15	o 49336
1319.59	o 49334
1321.04	o 49333
1322.48	o 49332
1323.93	o 49330
1325.38	o 49328
1326.84	o 49327
1328.30	o 49325
1329.76	o 49324
1331.22	o 49323
1332.69	o 49321
1334.16	o 49320
1335.62	o 49319
1337.06	o 49317
1338.51	o 49316
1339.97	o 49315
1341.41	o 49313
1342.86	o 49312
1344.32	o 49311
1345.77	o 49310
1347.23	o 49308
1348.69	o 49307
1350.16	o 49306
1351.62	o 49305
1353.09	o 49304
1354.55	o 49303
1356.00	o 49301
1357.45	o 49300
1358.89	o 49298
1360.34	o 49297
1361.79	o 49296
1363.24	o 49295
1364.69	o 49294
1366.14	o 49293
1367.61	o 49292
1369.07	o 49291
1370.52	o 49289
1371.98	o 49288
1373.44	o 49287
1374.91	o 49286
1376.37	o 49284
1377.82	o 49283
1379.27	o 49282
1380.72	o 49281
1382.17	o 49280
1383.61	o 49279
1385.06	o 49278
1386.52	o 49277
1387.99	o 49276
1389.45	o 49275
1390.90	o 49274
1392.36	o 49273
1393.82	o 49272
1395.28	o 49270
1396.73	o 49269
1398.18	o 49268
1399.62	o 49267
1401.08	o 49266
1402.52	o 49265
1403.97	o 49263
1405.42	o 49262
1406.89	o 49261
1408.35	o 49260
1409.81	o 49259
1411.27	o 49258
1412.74	o 49257
1414.20	o 49256
1415.66	o 49255
1417.12	o 49254
1418.57	o 49253
1420.02	o 49252
1421.47	o 49251
1422.92	o 49250
1424.37	o 49249
1425.82	o 49248
1427.29	o 49247
1428.76	o 49246
1430.22	o 49245
1431.68	o 49244
1433.15	o 49243
1434.61	o 49242
1436.07	o 49241
1437.51	o 49240
1438.97	o 49238
1440.42	o 49237
1441.87	o 49235
1443.32	o 49234
1444.76	o 49233
1446.22	o 49232
1447.68	o 49231
1449.15	o 49230
1450.61	o 49228
1452.07	o 49226
1453.53	o 49225
1454.99	o 49223
1456.45	o 49222
1457.91	o 49221
1459.35	o 49219
1460.80	o 49218
1462.25	o 49217
1463.70	o 49216
1465.15	o 49215
1466.62	o 49214
1468.08	o 49212
1469.55	o 49211
1471.02	o 49210
1472.48	o 49208
1473.95	o 49207
1475.41	o 49206
1476.86	o 49204
1478.31	o 49203
1479.76	o 49202
1481.21	o 49200
1482.66	o 49199
1484.11	o 49197
1485.56	o 49196
1487.03	o 49195
1488.49	o 49193
1489.95	o 49192
1491.41	o 49191
1492.87	o 49190
1494.33	o 49189
1495.80	o 49188
1497.25	o 49187
1498.70	o 49185
1500.14	o 49184
1501.60	o 49183
1503.04	o 49182
1504.49	o 49180
1505.94	o 49179
1507.40	o 49177
1508.86	o 49176
1510.33	o 49175
1511.79	o 49173
1513.24	o 49172
1514.70	o 49171
1516.15	o 49169
1517.60	o 49168
1519.05	o 49167
1520.50	o 49166
1521.94	o 49165
1523.39	o 49164
1524.85	o 49163
1526.31	o 49162
1527.77	o 49161
1529.24	o 49160
1530.71	o 49158
1532.16	o 49157
1533.63	o 49156
1535.09	o 49155
1536.55	o 49154
1538.00	o 49153
1539.46	o 49152
1540.91	o 49151
1542.35	o 49149
1543.80	o 49147
1545.25	o 49146
1546.71	o 49145
1548.18	o 49144
1549.64	o 49143
1551.10	o 49141
1552.57	o 49139
1554.03	o 49138
1555.49	o 49137
1556.94	o 49136
1558.40	o 49135
1559.85	o 49133
1561.31	o 49132
1562.76	o 49131
1564.21	o 49130
1565.67	o 49128
1567.13	o 49126
1568.60	o 49124
1570.06	o 49123
1571.53	o 49122
1572.99	o 49121
1574.46	o 49120
1575.93	o 49119
1577.38	o 49117
1578.84	o 49115
1580.28	o 49113
1581.74	o 49112
1583.18	o 49111
1584.64	o 49109
1586.10	o 49108
1587.56	o 49107
1589.02	o 49106
1590.49	o 49105
1591.95	o 49103
1593.41	o 49102
1594.88	o 49101
1596.34	o 49100
1597.79	o 49099
1599.24	o 49098
1600.68	o 49097
1602.13	o 49096
1603.59	o 49095
1605.04	o 49094
1606.50	o 49093
1607.95	o 49092
1609.41	o 49091
1610.87	o 49090
1612.33	o 49089
1613.79	o 49087
1615.25	o 49086
1616.70	o 49084
1618.14	o 49082
1619.61	o 49081
1621.06	o 49079
1622.51	o 49078
1623.95	o 49077
1625.40	o 49076
1626.86	o 49074
1628.32	o 49073
1629.79	o 49072
1631.26	o 49071
1632.72	o 49069
1634.18	o 49068
1635.64	o 49067
1637.09	o 49066
1638.55	o 49065
1639.98	o 49064
1641.43	o 49063
1642.88	o 49062
1644.33	o 49060
1645.78	o 49059
1647.24	o 49057
1648.70	o 49055
1650.17	o 49053
1651.64	o 49052
1653.10	o 49050
1654.56	o 49048
1656.03	o 49047
1657.48	o 49046
1658.93	o 49045
1660.37	o 49044
1661.82	o 49042
1663.27	o 49041
1664.72	o 49040
1666.17	o 49039
1667.64	o 49038
1669.11	o 49037
1670.56	o 49035
1672.02	o 49034
1673.48	o 49033
1674.94	o 49032
1676.40	o 49030
1677.85	o 49029
1679.30	o 49027
1680.75	o 49026
1682.20	o 49025
1683.66	o 49024
1685.12	o 49023
1686.58	o 49022
1688.05	o 49020
1689.51	o 49019
1690.97	o 49018
1692.44	o 49017
1693.90	o 49015
1695.37	o 49014
1696.82	o 49013
1698.27	o 49012
1699.71	o 49010
1701.16	o 49009
1702.60	o 49008
1704.05	o 49007
1705.51	o 49006
1706.97	o 49005
1708.44	o 49004
1709.91	o 49003
1711.37	o 49002
1712.83	o 49001
1714.30	o 49000
1715.76	o 48999
1717.22	o 48998
1718.68	o 48997
1720.14	o 48996
1721.59	o 48995
1723.04	o 48994
1724.48	o 48993
1725.94	o 48992
1727.40	o 48991
1728.87	o 48989
1730.33	o 48988
1731.80	o 48987
1733.27	o 48986
1734.73	o 48985
1736.19	o 48984
1737.65	o 48983
1739.10	o 48981
1740.55	o 48980
1742.00	o 48979
1743.45	o 48978
1744.90	o 48977
1746.37	o 48976
1747.82	o 48974
1749.28	o 48973
1750.75	o 48971
1752.21	o 48970
1753.67	o 48969
1755.14	o 48967
1756.59	o 48965
1758.05	o 48964
1759.50	o 48963
1760.96	o 48962
1762.41	o 48960
1763.86	o 48959
1765.30	o 48958
1766.76	o 48957
1768.23	o 48955
1769.70	o 48953
1771.16	o 48951
1772.63	o 48950
1774.09	o 48949
1775.56	o 48948
1777.01	o 48947
1778.47	o 48945
1779.92	o 48943
1781.37	o 48942
1782.82	o 48941
1784.27	o 48939
1785.72	o 48938
1787.19	o 48937
1788.66	o 48936
1790.12	o 48935
1791.59	o 48934
1793.05	o 48933
1794.52	o 48931
1795.97	o 48929
1797.42	o 48928
1798.88	o 48927
1800.33	o 48925

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node14/watcher-41289-1149263422 -o ROOT/results/node14/solver-41289-1149263422 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node14/41289-1149263422/instance-41289-1149263422.opb 476514000 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1344832/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=2724 CPUtime=0
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 225 0 0 0 0 0 0 0 19 0 1 0 192004894 2789376 209 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 681 211 90 232 0 446 0

[startup+10.0022 s]
/proc/loadavg: 0.93 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1333704/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=9.99
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3563 0 0 0 997 2 0 0 25 0 1 0 192004894 12554240 2867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134542458 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2867 107 232 0 2830 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 12260

[startup+20.0082 s]
/proc/loadavg: 0.94 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1333960/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=19.99
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 1997 2 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2868 107 232 0 2830 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 12260

[startup+30.0151 s]
/proc/loadavg: 0.95 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334024/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=30
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 2996 4 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2868 107 232 0 2830 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 12260

[startup+40.0201 s]
/proc/loadavg: 0.95 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=40
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 3995 5 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2868 107 232 0 2830 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 12260

[startup+50.026 s]
/proc/loadavg: 0.96 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=50
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 4995 5 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2868 107 232 0 2830 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 12260

[startup+60.032 s]
/proc/loadavg: 0.97 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334024/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=60.01
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 5995 6 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2868 107 232 0 2830 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 12260

[startup+70.0379 s]
/proc/loadavg: 0.97 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=70.01
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 6995 6 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2868 107 232 0 2830 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 12260

[startup+80.0439 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=80.01
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 7994 7 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2868 107 232 0 2830 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 12260

[startup+90.0498 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=90.02
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 8994 8 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2868 107 232 0 2830 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 12260

[startup+100.056 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=100.02
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 9993 9 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2868 107 232 0 2830 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 12260

[startup+110.062 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334152/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=110.02
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 10992 10 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2868 107 232 0 2830 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 12260

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=120.03
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 11992 11 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2868 107 232 0 2830 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 12260

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=130.03
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3565 0 0 0 12992 11 0 0 25 0 1 0 192004894 12554240 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2869 107 232 0 2830 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 12260

[startup+140.08 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=140.03
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3565 0 0 0 13991 12 0 0 25 0 1 0 192004894 12554240 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2869 107 232 0 2830 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 12260

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=150.03
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3565 0 0 0 14991 12 0 0 25 0 1 0 192004894 12554240 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2869 107 232 0 2830 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 12260

[startup+160.09 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=160.04
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3565 0 0 0 15991 13 0 0 25 0 1 0 192004894 12554240 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2869 107 232 0 2830 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 12260

[startup+170.096 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=170.04
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3565 0 0 0 16990 14 0 0 25 0 1 0 192004894 12554240 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2869 107 232 0 2830 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 12260

[startup+180.102 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=180.04
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3565 0 0 0 17990 14 0 0 25 0 1 0 192004894 12554240 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2869 107 232 0 2830 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 12260

[startup+190.108 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=190.05
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3565 0 0 0 18990 15 0 0 25 0 1 0 192004894 12554240 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2869 107 232 0 2830 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 12260

[startup+200.114 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=12260 CPUtime=200.05
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3566 0 0 0 19990 15 0 0 25 0 1 0 192004894 12554240 2870 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3065 2870 107 232 0 2830 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 12260

[startup+210.12 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24185
/proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956

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

/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 177959 196 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3109 108 232 0 3119 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 13416

[startup+1783.06 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1782.56
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178060 196 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3109 108 232 0 3119 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (Kb) 13416

[startup+1784.06 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1783.56
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178160 196 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3109 108 232 0 3119 0
Current children cumulated CPU time (s) 1783.56
Current children cumulated vsize (Kb) 13416

[startup+1785.07 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1784.56
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178260 196 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3109 108 232 0 3119 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (Kb) 13416

[startup+1786.07 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1785.56
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178360 196 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3109 108 232 0 3119 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (Kb) 13416

[startup+1787.08 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1786.58
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178461 197 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3109 108 232 0 3119 0
Current children cumulated CPU time (s) 1786.58
Current children cumulated vsize (Kb) 13416

[startup+1788.08 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1787.58
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178561 197 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3109 108 232 0 3119 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 13416

[startup+1789.09 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1788.59
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178662 197 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3109 108 232 0 3119 0
Current children cumulated CPU time (s) 1788.59
Current children cumulated vsize (Kb) 13416

[startup+1790.09 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1789.59
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178762 197 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3109 108 232 0 3119 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (Kb) 13416

[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1790.59
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178862 197 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3109 108 232 0 3119 0
Current children cumulated CPU time (s) 1790.59
Current children cumulated vsize (Kb) 13416

[startup+1792.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1791.6
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3807 0 0 0 178963 197 0 0 25 0 1 0 192004894 13737984 3111 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3111 108 232 0 3119 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (Kb) 13416

[startup+1793.11 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1792.6
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3809 0 0 0 179063 197 0 0 25 0 1 0 192004894 13737984 3113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3113 108 232 0 3119 0
Current children cumulated CPU time (s) 1792.6
Current children cumulated vsize (Kb) 13416

[startup+1794.11 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1793.6
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3809 0 0 0 179163 197 0 0 25 0 1 0 192004894 13737984 3113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3113 108 232 0 3119 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (Kb) 13416

[startup+1795.12 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1794.61
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3809 0 0 0 179264 197 0 0 25 0 1 0 192004894 13737984 3113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3113 108 232 0 3119 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (Kb) 13416

[startup+1796.12 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1795.62
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3809 0 0 0 179364 198 0 0 25 0 1 0 192004894 13737984 3113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3113 108 232 0 3119 0
Current children cumulated CPU time (s) 1795.62
Current children cumulated vsize (Kb) 13416

[startup+1797.13 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1796.62
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3809 0 0 0 179464 198 0 0 25 0 1 0 192004894 13737984 3113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3113 108 232 0 3119 0
Current children cumulated CPU time (s) 1796.62
Current children cumulated vsize (Kb) 13416

[startup+1798.13 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332808/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1797.63
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3811 0 0 0 179565 198 0 0 25 0 1 0 192004894 13737984 3115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3115 108 232 0 3119 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (Kb) 13416

[startup+1799.14 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332808/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1798.63
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3811 0 0 0 179665 198 0 0 25 0 1 0 192004894 13737984 3115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3115 108 232 0 3119 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (Kb) 13416

[startup+1800.14 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332808/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1799.64
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3811 0 0 0 179766 198 0 0 25 0 1 0 192004894 13737984 3115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3115 108 232 0 3119 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (Kb) 13416

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332808/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1800.64
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3811 0 0 0 179866 198 0 0 25 0 1 0 192004894 13737984 3115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3115 108 232 0 3119 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 13416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 24380
/proc/meminfo: memFree=1332808/2055920 swapFree=4181448/4192956
[pid=24185] ppid=24183 vsize=13416 CPUtime=1800.65
/proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3811 0 0 0 179867 198 0 0 25 0 1 0 192004894 13737984 3115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 3354 3115 108 232 0 3119 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 13416

Sending SIGTERM to -24185
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.16
CPU time (s): 1800.66
CPU user time (s): 1798.67
CPU system time (s): 1.9857
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (Kb): 13416
The end

Launcher Data (download as text)

Begin job on node14 on Fri Jun  2 15:50:22 UTC 2006


FILE ID= 41289-1149263422

PBS_JOBID= 298776

BENCH NAME= ROOT/tmp/node14/41289-1149263422/instance-41289-1149263422.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node14/41289-1149263422/instance-41289-1149263422.opb 476514000
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-41289-1149263422 -o ROOT/results/node14/solver-41289-1149263422 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node14/41289-1149263422/instance-41289-1149263422.opb 476514000

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  6d57e08ccbe566a3b3419be58eb11fb4

RANDOM SEED= 476514000


/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.241
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.241
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:       1345040 kB
Buffers:         31388 kB
Cached:         607484 kB
SwapCached:       3320 kB
Active:         266280 kB
Inactive:       381416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1345040 kB
SwapTotal:     4192956 kB
SwapFree:      4181448 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            49164 kB
Committed_AS:   278296 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node14 on Fri Jun  2 16:20:23 UTC 2006