Trace number 3738716

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB07: PB-clasp 2007-04-10SAT (TO)46789 1802.11 1807.03

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randc7f8e5.cudf.paranoid.opb
MD5SUM6a41ff06797480ccf0516b3ef32f0a0b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9465
Best CPU time to get the best result obtained on this benchmark0.288955
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5599
Total number of constraints25155
Number of constraints which are clauses24873
Number of constraints which are cardinality constraints (but not clauses)282
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2082
Biggest coefficient in the objective function 1533
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 846214
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1533
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 846214
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 

1.47/1.53	o 182054
2.26/2.33	o 180565
2.33/2.95	o 180520
3.66/3.74	o 179031
4.25/4.36	o 178986
4.34/5.16	o 177497
5.66/5.77	o 177452
6.46/6.57	o 175963
6.55/7.18	o 175918
7.83/7.98	o 174429
7.95/8.59	o 174384
9.25/9.39	o 172896
9.93/10.02	o 172851
9.98/10.82	o 171362
11.32/11.43	o 171317
12.13/12.23	o 169828
12.19/12.84	o 169783
13.55/13.62	o 168292
14.14/14.23	o 168251
14.18/15.02	o 166763
15.53/15.64	o 166717
16.53/16.66	o 166697
16.61/17.43	o 165224
17.92/18.06	o 165183
18.92/19.04	o 163695
19.59/19.71	o 163649
20.67/20.86	o 162161
20.74/21.48	o 162115
22.56/22.75	o 160625
23.16/23.36	o 160582
24.65/24.82	o 160581
25.75/25.90	o 160570
26.63/26.85	o 159092
27.24/27.46	o 159048
28.43/28.68	o 159047
29.53/29.76	o 159046
31.05/31.21	o 157557
31.63/31.82	o 157514
33.13/33.32	o 157513
34.24/34.40	o 157449
34.85/35.01	o 155980
35.83/36.03	o 155969
37.32/37.57	o 154492
37.41/38.18	o 154446
39.91/40.16	o 154412
41.25/41.55	o 152947
42.05/42.32	o 152935
43.25/43.50	o 152909
44.74/45.06	o 152908
46.36/46.70	o 152907
47.83/48.25	o 152906
49.33/49.79	o 152896
50.45/50.84	o 151423
50.52/51.45	o 151378
52.15/52.57	o 151376
53.36/53.78	o 151364
55.15/55.56	o 151363
57.07/57.40	o 149889
57.67/58.01	o 149844
59.05/59.46	o 149843
60.15/60.54	o 149842
61.34/61.76	o 149839
62.38/62.83	o 149785
63.50/63.91	o 149769
64.57/65.07	o 148327
64.68/65.68	o 148310
66.98/67.44	o 148309
68.09/68.51	o 148300
69.69/70.10	o 148297
71.88/72.31	o 148296
73.76/74.22	o 148295
75.68/76.11	o 148294
76.85/77.38	o 148279
78.67/79.12	o 146821
78.70/79.89	o 146800
80.76/81.21	o 146799
82.15/82.64	o 146798
83.43/83.95	o 146797
84.74/85.27	o 146796
86.03/86.59	o 146795
87.34/87.81	o 146780
88.94/89.41	o 146779
90.64/91.20	o 146737
93.63/94.15	o 146736
95.41/95.95	o 145269
95.49/96.56	o 145243
97.42/97.98	o 145217
99.71/100.24	o 145207
101.39/101.94	o 145174
102.69/103.25	o 143747
103.31/103.86	o 143709
104.30/104.89	o 143706
105.95/106.55	o 143705
107.02/107.66	o 143704
109.12/109.71	o 143703
111.07/111.74	o 143702
112.95/113.69	o 143701
114.54/115.28	o 143695
116.44/117.13	o 143694
118.32/119.05	o 143693
120.11/120.83	o 143692
121.70/122.48	o 143676
124.24/125.00	o 143542
124.84/125.62	o 142175
125.84/126.61	o 142173
127.32/128.12	o 142161
129.04/129.82	o 142157
131.23/132.00	o 142156
133.21/134.08	o 142139
134.81/135.60	o 142138
137.60/138.41	o 142037
138.19/139.02	o 140641
139.18/140.02	o 140639
140.37/141.27	o 140582
141.47/142.35	o 140568
142.27/143.19	o 139153
142.98/143.80	o 139109
143.96/144.81	o 139105
145.14/146.08	o 139096
146.93/147.89	o 139048
148.76/149.64	o 139023
149.67/150.50	o 137633
150.45/151.38	o 137555
152.45/153.34	o 137550
154.74/155.66	o 137549
156.65/157.51	o 137540
158.70/159.63	o 137471
159.52/160.41	o 136072
160.82/161.72	o 136071
161.91/162.80	o 136069
162.98/163.95	o 135982
164.79/165.72	o 134547
165.38/166.33	o 134506
166.38/167.32	o 134503
167.98/168.97	o 134494
169.97/170.93	o 134493
172.07/173.05	o 134475
173.78/174.76	o 134474
175.71/176.61	o 134473
177.58/178.54	o 134472
179.07/180.09	o 134471
180.78/181.70	o 134470
181.55/182.56	o 133006
181.64/183.34	o 132995
183.76/184.74	o 132903
185.23/186.23	o 131483
185.28/186.85	o 131440
187.02/188.08	o 131376
189.41/190.42	o 129946
189.45/191.03	o 129906
191.13/192.10	o 129905
192.52/193.56	o 129891
194.43/195.40	o 129860
196.62/197.66	o 129859
198.91/199.92	o 129858
201.61/202.62	o 129807
203.02/204.01	o 128389
203.63/204.62	o 128372
203.65/205.60	o 128367
204.62/206.58	o 128316
208.01/209.01	o 126879
208.60/209.61	o 126840
209.80/210.84	o 126837
210.99/212.06	o 126757
213.29/214.31	o 126719
214.68/215.76	o 125345
214.77/216.37	o 125306
216.27/217.36	o 125301
217.38/218.44	o 125278
219.97/221.09	o 125241
221.86/222.96	o 123814
222.46/223.57	o 123772
223.46/224.55	o 123768
224.95/226.05	o 123745
226.76/227.87	o 123716
228.56/229.69	o 123704
231.56/232.65	o 122275
232.16/233.26	o 122239
233.26/234.33	o 122224
235.15/236.23	o 122210
237.45/238.59	o 122209
239.64/240.76	o 122194
242.26/243.30	o 122087
243.55/244.69	o 120744
244.22/245.34	o 120707
245.33/246.41	o 120699
246.69/247.87	o 120694
248.60/249.77	o 120666
250.39/251.58	o 120657
252.91/254.08	o 120558
253.91/255.00	o 119213
254.51/255.61	o 119173
255.69/256.82	o 119106
258.70/259.85	o 119105
260.60/261.74	o 119104
263.62/264.71	o 118991
264.55/265.72	o 117674
265.15/266.32	o 117640
266.53/267.77	o 117639
267.72/268.95	o 117621
268.71/269.97	o 117620
271.24/272.41	o 117576
273.19/274.44	o 117575
275.81/277.08	o 117484
277.21/278.42	o 116145
277.24/279.03	o 116106
279.50/280.76	o 116105
280.64/281.91	o 116065
282.32/283.65	o 116064
283.62/284.98	o 116060
285.59/286.91	o 116035
287.90/289.21	o 115891
287.91/290.18	o 114614
289.38/290.78	o 114572
290.46/291.85	o 114563
292.01/293.44	o 114562
293.61/295.08	o 114561
296.07/297.55	o 114464
298.44/299.95	o 113073
299.05/300.58	o 113038
300.95/302.41	o 113005
302.53/304.08	o 113003
304.26/305.71	o 112961
307.82/309.33	o 112917
311.64/313.11	o 111530
312.22/313.79	o 111504
313.46/315.09	o 111503
315.38/316.96	o 111494
316.88/318.46	o 111461
319.09/320.61	o 111460
320.86/322.43	o 111459
322.17/323.70	o 111441
324.23/325.89	o 111408
328.36/329.92	o 111310
330.03/331.64	o 109974
330.63/332.28	o 109964
331.82/333.45	o 109957
332.99/334.64	o 109956
334.27/335.98	o 109933
335.67/337.37	o 109931
337.38/339.02	o 109911
338.57/340.24	o 109898
341.08/342.70	o 109873
342.45/344.15	o 109869
345.26/346.95	o 109866
347.97/349.60	o 109860
350.16/351.84	o 108477
350.76/352.47	o 108409
352.37/354.02	o 108403
354.77/356.46	o 108402
356.26/357.98	o 108393
358.08/359.71	o 108365
360.45/362.12	o 108326
363.15/364.84	o 108270
367.15/368.84	o 108254
369.86/371.50	o 108251
372.16/373.81	o 108250
374.80/376.55	o 106934
374.86/377.19	o 106895
377.08/378.88	o 106882
379.08/380.83	o 106860
380.49/382.28	o 106842
382.18/383.97	o 106827
384.27/386.05	o 106730
388.18/389.94	o 106729
389.18/390.91	o 105412
389.75/391.53	o 105354
391.58/393.31	o 105353
393.07/394.82	o 105352
394.66/396.43	o 105320
397.15/398.94	o 105311
399.64/401.49	o 105305
399.76/402.38	o 105297
403.04/404.88	o 105234
407.23/409.02	o 105172
411.53/413.30	o 105171
412.81/414.70	o 103866
412.86/415.32	o 103836
414.44/416.39	o 103827
415.63/417.59	o 103826
416.84/418.77	o 103806
419.46/421.35	o 103707
422.34/424.29	o 103698
424.73/426.65	o 102369
425.33/427.26	o 102302
426.43/428.34	o 102301
427.76/429.61	o 102250
430.03/431.92	o 102246
431.82/433.79	o 102245
434.22/436.17	o 102187
437.03/438.94	o 102155
439.42/441.31	o 100838
439.44/442.03	o 100810
440.90/442.84	o 100809
441.70/443.64	o 100808
442.70/444.63	o 100807
443.68/445.62	o 100806
444.71/446.61	o 100805
444.72/447.59	o 100804
445.72/448.64	o 100803
447.63/449.63	o 100802
448.74/450.70	o 100786
449.71/451.77	o 100774
451.02/453.07	o 100743
453.01/455.06	o 100742
454.70/456.73	o 100718
456.21/458.28	o 100697
459.61/461.68	o 100696
462.61/464.64	o 100684
466.11/468.13	o 100670
468.01/470.01	o 100625
471.59/473.67	o 99295
472.40/474.43	o 99278
473.26/475.34	o 99277
473.31/476.18	o 99276
474.93/477.03	o 99275
475.74/477.88	o 99274
476.85/478.90	o 99273
477.83/479.93	o 99272
478.83/480.96	o 99271
479.84/481.99	o 99270
480.95/483.01	o 99269
481.95/484.04	o 99268
483.05/485.11	o 99267
484.03/486.18	o 99266
485.14/487.26	o 99247
486.34/488.49	o 99246
487.62/489.74	o 99237
489.03/491.10	o 99204
490.83/492.96	o 99193
493.12/495.22	o 99192
494.53/496.69	o 99160
497.07/499.26	o 99114
499.05/501.29	o 99078
502.78/504.95	o 99069
506.42/508.63	o 99067
509.10/511.31	o 99004
511.61/513.95	o 97721
512.88/515.26	o 97720
514.08/516.47	o 97719
515.29/517.68	o 97718
516.39/518.79	o 97702
517.38/519.73	o 97634
518.68/521.09	o 97620
521.28/523.69	o 97560
524.28/526.65	o 97517
526.77/529.16	o 97490
529.79/532.12	o 97464
532.39/534.70	o 96205
533.10/535.41	o 96117
534.68/537.06	o 96112
536.88/539.27	o 96106
538.78/541.12	o 96084
540.39/542.78	o 96058
544.49/546.88	o 95987
547.29/549.62	o 95972
550.20/552.51	o 95940
555.08/557.42	o 94635
555.97/558.32	o 94575
558.27/560.63	o 94476
561.58/563.95	o 94457
564.37/566.77	o 94449
567.06/569.49	o 94360
567.97/570.31	o 93140
568.86/571.29	o 93139
569.85/572.27	o 93138
570.85/573.26	o 93137
571.85/574.24	o 93136
572.87/575.22	o 93135
573.86/576.20	o 93134
574.84/577.28	o 93126
575.95/578.31	o 93125
576.85/579.20	o 93111
578.26/580.60	o 93075
580.13/582.57	o 92990
583.02/585.49	o 92989
586.72/589.14	o 92977
591.82/594.28	o 92913
595.01/597.46	o 92871
597.83/600.21	o 91600
598.80/601.28	o 91599
599.81/602.27	o 91598
600.82/603.23	o 91575
602.00/604.44	o 91574
603.73/606.11	o 91529
605.40/607.86	o 91508
608.20/610.69	o 91437
609.99/612.47	o 91430
612.82/615.20	o 91429
616.00/618.45	o 91427
618.99/621.42	o 91390
621.51/623.90	o 91380
626.98/629.49	o 91379
630.37/632.84	o 91288
632.47/634.96	o 90065
633.66/636.12	o 90064
634.66/637.15	o 90035
635.93/638.46	o 89966
638.04/640.53	o 89927
640.13/642.65	o 89917
642.34/644.82	o 89904
644.84/647.39	o 89873
648.54/651.04	o 89850
652.33/654.82	o 89796
656.93/659.47	o 89763
660.62/663.14	o 88488
662.40/664.96	o 88455
663.90/666.43	o 88412
666.89/669.44	o 88381
670.31/672.84	o 88367
673.01/675.56	o 88355
675.13/677.60	o 88322
680.30/682.81	o 88321
682.81/685.34	o 88291
687.60/690.17	o 88282
690.89/693.48	o 88206
692.42/694.91	o 86966
694.19/696.73	o 86965
695.70/698.25	o 86922
697.39/699.99	o 86897
699.33/701.99	o 86875
702.12/704.80	o 86818
706.30/708.98	o 86817
709.50/712.17	o 86774
712.71/715.31	o 86765
715.59/718.26	o 86741
720.88/723.58	o 86740
724.83/727.54	o 86652
730.23/732.98	o 86651
732.34/735.05	o 85466
733.24/735.98	o 85436
734.63/737.32	o 85376
736.53/739.26	o 85331
738.74/741.40	o 85328
742.51/745.29	o 85184
748.42/751.17	o 83882
750.45/753.11	o 83881
752.82/755.56	o 83720
755.70/758.48	o 83687
760.05/762.85	o 83670
763.95/766.75	o 83669
766.63/769.44	o 83648
771.04/773.80	o 83560
774.22/777.08	o 82402
775.33/778.10	o 82401
776.32/779.12	o 82400
777.34/780.23	o 82399
778.44/781.33	o 82398
779.43/782.35	o 82384
780.42/783.39	o 82288
782.66/785.65	o 82274
786.75/789.73	o 82207
791.03/794.02	o 82206
793.79/796.83	o 82186
796.68/799.73	o 82162
799.68/802.75	o 82123
803.87/806.90	o 82013
805.75/808.86	o 80865
806.55/809.63	o 80840
807.95/811.01	o 80787
809.45/812.51	o 80771
811.34/814.42	o 80770
813.53/816.67	o 80748
815.23/818.35	o 80612
819.82/822.98	o 80568
825.12/828.28	o 79355
825.22/829.05	o 79310
827.21/830.33	o 79309
828.33/831.51	o 79273
830.02/833.10	o 79272
831.60/834.76	o 79254
833.00/836.19	o 79253
834.70/837.86	o 79250
836.51/839.61	o 79199
838.61/841.79	o 79178
841.86/845.07	o 79119
844.54/847.78	o 79090
850.63/853.86	o 79038
855.33/858.57	o 78948
861.92/865.14	o 78927
864.61/867.90	o 77785
864.74/868.68	o 77777
866.61/869.85	o 77766
867.72/870.91	o 77735
869.40/872.68	o 77734
871.32/874.50	o 77717
873.70/876.95	o 77638
876.20/879.44	o 77624
878.42/881.60	o 77591
881.52/884.79	o 77586
884.23/887.41	o 77505
890.20/893.48	o 77504
895.50/898.73	o 77502
901.13/904.30	o 77501
907.21/910.42	o 77493
914.31/917.58	o 77492
920.59/923.85	o 77411
923.40/926.65	o 76247
924.59/927.85	o 76246
925.90/929.15	o 76245
927.10/930.35	o 76244
928.30/931.55	o 76243
929.32/932.57	o 76231
930.71/933.93	o 76211
932.22/935.40	o 76158
934.69/937.99	o 76107
936.71/939.98	o 76052
940.01/943.20	o 75994
943.71/946.90	o 75982
947.01/950.20	o 75981
949.61/952.86	o 75974
954.69/957.91	o 75973
958.91/962.14	o 75939
963.10/966.32	o 75923
967.80/971.06	o 75900
973.29/976.52	o 74640
975.48/978.78	o 74576
977.45/980.78	o 74538
979.87/983.24	o 74504
983.18/986.60	o 74456
986.56/989.98	o 74441
989.08/992.40	o 74436
995.75/999.13	o 74333
998.94/1002.35	o 73137
1000.29/1003.73	o 73136
1001.78/1005.26	o 73127
1003.47/1006.94	o 73126
1004.88/1008.38	o 73118
1006.28/1009.76	o 73067
1007.78/1011.29	o 73057
1010.99/1014.42	o 72966
1016.48/1019.99	o 72965
1019.78/1023.20	o 72939
1023.47/1026.96	o 72890
1030.37/1033.85	o 72839
1036.47/1039.92	o 72838
1041.72/1045.25	o 72829
1045.79/1049.38	o 71606
1047.69/1051.29	o 71596
1049.38/1052.94	o 71584
1051.71/1055.20	o 71583
1053.69/1057.26	o 71517
1056.38/1059.93	o 71508
1059.18/1062.72	o 71495
1062.87/1066.44	o 71494
1066.38/1069.92	o 71332
1071.28/1074.82	o 71297
1076.76/1080.34	o 71278
1081.58/1085.12	o 70045
1083.77/1087.37	o 69948
1087.63/1091.25	o 69928
1090.92/1094.53	o 69887
1095.32/1098.99	o 69886
1098.29/1101.93	o 69798
1102.50/1106.13	o 69778
1109.71/1113.33	o 69774
1115.49/1119.13	o 69713
1120.72/1124.32	o 69712
1123.71/1127.39	o 68548
1126.01/1129.70	o 68547
1127.72/1131.48	o 68494
1129.14/1132.81	o 68489
1131.53/1135.28	o 68464
1133.23/1136.90	o 68423
1136.22/1139.94	o 68422
1140.42/1144.18	o 68421
1142.82/1146.59	o 68380
1147.63/1151.35	o 68379
1152.12/1155.81	o 68315
1156.32/1160.06	o 68308
1160.99/1164.75	o 68307
1167.45/1171.24	o 68258
1172.55/1176.39	o 68218
1178.55/1182.40	o 68217
1183.35/1187.16	o 68208
1187.85/1191.64	o 67016
1189.16/1192.98	o 66918
1190.66/1194.49	o 66871
1193.74/1197.57	o 66865
1197.84/1201.63	o 66788
1204.84/1208.66	o 66787
1211.92/1215.76	o 66764
1218.63/1222.47	o 66763
1224.11/1227.94	o 66751
1228.01/1231.86	o 66709
1233.30/1237.17	o 66649
1239.49/1243.32	o 66643
1245.59/1249.47	o 66628
1249.69/1253.58	o 65514
1250.44/1254.33	o 65502
1251.53/1255.40	o 65501
1252.52/1256.47	o 65476
1254.51/1258.47	o 65475
1256.11/1260.04	o 65474
1257.52/1261.44	o 65466
1258.81/1262.74	o 65390
1260.82/1264.74	o 65364
1263.23/1267.19	o 65328
1266.03/1269.99	o 65284
1270.04/1273.91	o 65230
1274.33/1278.29	o 65191
1278.52/1282.47	o 65115
1283.61/1287.58	o 65114
1287.50/1291.49	o 63984
1288.80/1292.77	o 63983
1290.21/1294.19	o 63982
1291.50/1295.47	o 63916
1292.80/1296.79	o 63915
1294.20/1298.12	o 63908
1297.27/1301.27	o 63820
1300.01/1304.03	o 63807
1303.82/1307.83	o 63761
1307.00/1311.04	o 63736
1311.79/1315.85	o 63665
1318.40/1322.43	o 63660
1324.69/1328.72	o 63639
1330.58/1334.69	o 63603
1336.28/1340.34	o 63582
1340.78/1344.86	o 62439
1342.44/1346.56	o 62438
1343.55/1347.62	o 62375
1344.94/1349.03	o 62372
1347.34/1351.49	o 62316
1349.16/1353.37	o 62277
1353.07/1357.26	o 62206
1357.45/1361.63	o 62172
1363.17/1367.34	o 62160
1367.25/1371.49	o 62141
1374.54/1378.73	o 62140
1379.45/1383.70	o 62108
1384.15/1388.36	o 62102
1390.85/1395.03	o 62101
1393.16/1397.31	o 60926
1394.35/1398.50	o 60787
1396.23/1400.41	o 60699
1398.22/1402.49	o 60682
1404.10/1408.34	o 60536
1409.90/1414.18	o 59343
1411.90/1416.16	o 59313
1415.10/1419.34	o 59173
1420.30/1424.54	o 59172
1422.88/1427.15	o 59077
1427.99/1432.27	o 59064
1435.37/1439.62	o 59063
1440.57/1444.83	o 59036
1447.37/1451.64	o 59035
1453.85/1458.12	o 58957
1460.15/1464.46	o 57786
1462.04/1466.38	o 57739
1463.83/1468.13	o 57647
1465.95/1470.24	o 57612
1469.84/1474.18	o 57573
1472.93/1477.26	o 57538
1475.93/1480.20	o 57480
1479.82/1484.19	o 56346
1480.72/1485.05	o 56345
1480.79/1485.92	o 56344
1482.40/1486.78	o 56343
1483.51/1487.82	o 56342
1484.51/1488.87	o 56341
1485.62/1489.91	o 56340
1486.62/1490.95	o 56339
1487.62/1491.98	o 56338
1488.70/1493.02	o 56337
1489.80/1494.13	o 56336
1490.99/1495.39	o 56234
1493.52/1497.80	o 56233
1496.20/1500.54	o 56198
1498.22/1502.50	o 56125
1501.34/1505.70	o 56106
1503.64/1508.01	o 56060
1506.37/1510.82	o 56028
1510.46/1514.92	o 55956
1516.77/1521.27	o 55955
1523.26/1527.76	o 55947
1529.16/1533.60	o 55943
1535.47/1539.97	o 55889
1538.76/1543.24	o 54746
1538.82/1544.16	o 54743
1541.18/1545.61	o 54698
1543.76/1548.22	o 54669
1547.25/1551.78	o 54668
1549.22/1553.72	o 54667
1552.60/1557.10	o 54592
1556.00/1560.56	o 54520
1560.17/1564.73	o 54421
1564.49/1569.00	o 54397
1571.01/1575.60	o 54309
1576.10/1580.79	o 53184
1578.50/1583.14	o 52949
1585.20/1589.84	o 52948
1592.39/1597.07	o 52922
1601.09/1605.76	o 52846
1607.48/1612.19	o 52833
1612.98/1617.68	o 52817
1616.40/1621.00	o 51713
1617.78/1622.48	o 51620
1619.88/1624.59	o 51439
1624.48/1629.15	o 51380
1631.77/1636.41	o 51379
1636.75/1641.43	o 51345
1641.86/1646.60	o 51329
1648.65/1653.33	o 51328
1654.14/1658.87	o 51327
1660.32/1665.02	o 50154
1661.52/1666.26	o 50136
1663.72/1668.47	o 50135
1665.71/1670.43	o 50129
1666.83/1671.50	o 50054
1670.40/1675.20	o 50021
1673.91/1678.64	o 49939
1678.00/1682.70	o 49938
1682.28/1687.06	o 49855
1687.28/1692.01	o 49836
1694.57/1699.35	o 49823
1699.08/1703.81	o 49789
1705.06/1709.82	o 49740
1713.76/1718.50	o 49739
1719.75/1724.53	o 48666
1721.05/1725.88	o 48626
1723.44/1728.27	o 48571
1726.06/1730.80	o 48550
1728.72/1733.55	o 48514
1731.59/1736.48	o 48401
1738.00/1742.84	o 48327
1743.48/1748.32	o 48319
1749.40/1754.20	o 48318
1756.07/1760.99	o 48306
1760.18/1765.06	o 48305
1766.29/1771.10	o 48280
1772.47/1777.34	o 48222
1776.07/1780.97	o 47096
1777.56/1782.43	o 47010
1779.95/1784.85	o 46941
1783.45/1788.38	o 46861
1789.15/1794.05	o 46834
1793.89/1798.83	o 46789
1797.85/1802.81	sh: line 1: 19759 Done                    cat HOME/temp/instance-3738716-1338758862.opb.op
1797.85/1802.81	     19760 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3738716-1338758862.opb.clasp
1800.06/1805.01	sh: line 1: 19794 Done                    cat HOME/temp/instance-3738716-1338758862.opb.op
1800.06/1805.01	     19795 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3738716-1338758862.opb.clasp
1800.06/1805.02	c Somebody sent me a SIGTERM
1800.06/1805.02	s SATISFIABLE
1800.06/1805.02	v x1 x4 x5 x10 x14 x24 x30 x33 x35 x36 x39 x52 x77 x82 x86 x89 x91 x92 x93 x99 x104 x108 x110 x122 x127 x133 x135 x137 x138 x141 x143 x146 x151 x152 x153 x155 x157 x159 x163 x165 x166 x168 x177 x178 x187 x189 x198 x210 x228 x230 x232 x235 x240 x244 x247 x256 x260 x264 x267 x268 x270 x273 x274 x279 x282 x285 x288 x289 x291 x293 x294 x297 x302 x312 x317 x324 x325 x338 x342 x344 x346 x349 x354 x360 x361 x363 x368 x371 x372 x376 x387 x388 x391 x393 x394 x399 x403 x404 x405 x406 x407 x414 x417 x418 x419 x420 x421 x424 x428 x434 x440 x441 x443 x444 x450 x451 x457 x461 x469 x470 x472 x473 x476 x478 x481 x484 x485 x486 x490 x492 x494 x498 x502 x504 x507 x509 x511 x513 x515 x518 x520 x523 x535 x538 x539 x544 x546 x547 x549 x552 x553 x555 x558 x559 x567 x569 x570 x576 x584 x585 x590 x597 x603 x608 x614 x619 x622 x624 x627 x629 x631 x633 x635 x637 x640 x641 x643 x645 x648 x652 x653 x654 x656 x657 x663 x665 x666 x670 x680 x682 x692 x697 x701 x704 x705 x710 x714 x715 x719 x720 x721 x724 x726 x727 x730 x732 x735 x737 x739 x740 x742 x743 x744 x747 x751 x752 x754 x761 x764 x766 x768 x771 x773 x776 x778 x779 x780 x784 x786 x788 x793 x794 x797 x799 x804 x808 x811 x812 x814 x815 x825 x826 x829 x830 x831 x833 x835 x837 x842 x845 x847 x849 x851 x861 x866 x869 x870 x872 x874 x876 x878 x879 x880 x882 x886 x890 x891 x894 x896 x902 x904 x905 x907 x910 x911 x912 x918 x922 x924 x925 x927 x928 x930 x931 x935 x941 x942 x945 x948 x963 x967 x971 x972 x976 x981 x991 x993 x995 x998 x999 x1002 x1004 x1007 x1019 x1022 x1031 x1032 x1036 x1038 x1039 x1042 x1043 x1044 x1045 x1046 x1047 x1048 x1049 x1052 x1057 x1060 x1061 x1066 x1071 x1073 x1074 x1082 x1090 x1098 x1102 x1103 x1105 x1107 x1109 x1111 x1112 x1113 x1114 x1119 x1120 x1122 x1125 x1126 x1129 x1132 x1133 x1135 x1137 x1138 x1141 x1149 x1150 x1159 x1160 x1161 x1166 x1169 x1171 x1174 x1176 x1181 x1186 x1201 x1205 x1206 x1214 x1216 x1218 x1221 x1222 x1226 x1235 x1241 x1243 x1245 x1247 x1260 x1261 x1263 x1267 x1271 x1273 x1274 x1276 x1277 x1278 x1279 x1282 x1285 x1286 x1287 x1290 x1292 x1294 x1296 x1298 x1301 x1302 x1305 x1307 x1309 x1311 x1313 x1316 x1318 x1319 x1324 x1326 x1330 x1335 x1338 x1339 x1340 x1342 x1348 x1349 x1352 x1361 x1363 x1367 x1371 x1372 x1375 x1379 x1385 x1386 x1390 x1393 x1395 x1396 x1400 x1404 x1410 x1425 x1427 x1431 x1432 x1434 x1435 x1438 x1446 x1449 x1451 x1457 x1461 x1465 x1466 x1470 x1477 x1479 x1484 x1486 x1487 x1494 x1498 x1499 x1500 x1501 x1508 x1513 x1515 x1517 x1531 x1536 x1538 x1539 x1543 x1548 x1551 x1552 x1554 x1561 x1562 x1563 x1564 x1568 x1572 x1576 x1581 x1583 x1586 x1587 x1590 x1591 x1592 x1593 x1594 x1601 x1602 x1612 x1619 x1621 x1628 x1629 x1633 x1634 x1635 x1636 x1637 x1638 x1640 x1642 x1646 x1647 x1649 x1653 x1655 x1662 x1663 x1667 x1669 x1670 x1671 x1677 x1679 x1681 x1682 x1686 x1689 x1690 x1693 x1694 x1696 x1698 x1701 x1703 x1704 x1707 x1711 x1713 x1717 x1722 x1723 x1726 x1728 x1730 x1732 x1734 x1735 x1736 x1738 x1740 x1745 x1747 x1755 x1759 x1760 x1761 x1764 x1766 x1774 x1776 x1781 x1783 x1785 x1789 x1790 x1795 x1796 x1798 x1801 x1802 x1804 x1806 x1808 x1813 x1815 x1816 x1817 x1818 x1819 x1821 x1823 x1828 x1829 x1832 x1835 x1838 x1839 x1840 x1841 x1844 x1845 x1846 x1849 x1850 x1851 x1852 x1860 x1861 x1862 x1864 x1868 x1870 x1873 x1886 x1888 x1889 x1890 x1892 x1894 x1899 x1901 x1904 x1905 x1907 x1909 x1914 x1915 x1917 x1924 x1925 x1930 x1932 x1933 x1936 x1938 x1940 x1942 x1944 x1946 x1949 x1950 x1951 x1954 x1957 x1958 x1962 x1964 x1966 x1972 x1974 x1976 x1981 x1994 x1996 x1997 x2001 x2002 x2007 x2010 x2011 x2012 x2015 x2018 x2019 x2022 x2023 x2025 x2029 x2030 x2031 x2033 x2035 x2037 x2038 x2039 x2041 x2043 x2044 x2047 x2049 x2050 x2052 x2053 x2055 x2057 x2064 x2065 x2067 x2070 x2073 x2075 x2076 x2077 x2080 x2083 x2086 x2088 x2090 x2092 x2096 x2098 x2099 x2106 x2110 x2113 x2120 x2122 x2124 x2125 x2128 x2129 x2130 x2133 x2135 x2140 x2141 x2150 x2156 x2159 x2161 x2164 x2168 x2171 x2176 x2180 x2182 x2184 x2191 x2192 x2193 x2194 x2195 x2197 x2199 x2201 x2203 x2204 x2208 x2209 x2215 x2216 x2220 x2222 x2223 x2224 x2226 x2227 x2230 x2231 x2232 x2236 x2237 x2239 x2240 x2243 x2244 x2245 x2247 x2250 x2254 x2259 x2260 x2261 x2262 x2263 x2267 x2274 x2278 x2279 x2280 x2283 x2285 x2289 x2292 x2295 x2298 x2299 x2301 x2303 x2304 x2306 x2307 x2311 x2315 x2318 x2321 x2327 x2329 x2331 x2333 x2334 x2337 x2342 x2346 x2347 x2351 x2355 x2357 x2358 x2359 x2360 x2361 x2366 x2367 x2373 x2374 x2383 x2385 x2387 x2388 x2390 x2392 x2395 x2396 x2397 x2398 x2399 x2402 x2403 x2406 x2408 x2411 x2412 x2413 x2414 x2416 x2417 x2428 x2434 x2437 x2441 x2443 x2445 x2448 x2451 x2452 x2454 x2455 x2460 x2461 x2462 x2463 x2465 x2467 x2469 x2470 x2472 x2474 x2477 x2479 x2481 x2485 x2486 x2487 x2490 x2493 x2495 x2497 x2500 x2502 x2503 x2505 x2507 x2509 x2512 x2514 x2516 x2518 x2520 x2531 x2532 x2533 x2535 x2539 x2545 x2550 x2552 x2562 x2563 x2566 x2568 x2569 x2574 x2575 x2577 x2579 x2580 x2585 x2587 x2595 x2597 x2600 x2603 x2606 x2608 x2609 x2614 x2619 x2620 x2624 x2626 x2627 x2630 x2632 x2642 x2644 x2645 x2649 x2651 x2655 x2656 x2657 x2660 x2663 x2665 x2666 x2669 x2673 x2685 x2689 x2693 x2701 x2702 x2704 x2707 x2708 x2711 x2712 x2713 x2714 x2716 x2718 x2721 x2725 x2728 x2729 x2732 x2734 x2736 x2737 x2740 x2742 x2744 x2750 x2753 x2755 x2761 x2765 x2766 x2767 x2773 x2775 x2778 x2779 x2788 x2791 x2796 x2799 x2803 x2805 x2808 x2809 x2812 x2816 x2817 x2821 x2826 x2827 x2829 x2831 x2833 x2835 x2836 x2842 x2847 x2849 x2851 x2852 x2856 x2858 x2860 x2865 x2867 x2868 x2871 x2873 x2877 x2883 x2890 x2894 x2895 x2898 x2902 x2907 x2908 x2909 x2910 x2911 x2912 x2922 x2926 x2927 x2929 x2931 x2939 x2944 x2946 x2949 x2951 x2952 x2955 x2957 x2960 x2962 x2963 x2964 x2965 x2967 x3519 x3526 x3527 x3528 x3529 x3530 x3555 x3603 x3637 x3638 x3639 x3650 x3659 x3680 x3681 x3685 x3688 x3705 x3706 x3776 x3819 x3868 x3894 x3896 x3984 x4019 x4027 x4028 x4038 x4039 x4070 x4071 x4074 x4077 x4078 x4079 x4085 x4087 x4088 x4089 x4090 x4091 x4092 x4093 x4094 x4095 x4102 x4103 x4105 x4106 x4118 x4121 x4123 x4136 x4146 x4151 x4158 x4160 x4161 x4166 x4173 x4179 x4182 x4186 x4187 x4192 x4193 x4203 x4209 x4210 x4211 x4212 x4213 x4214 x4227 x4228 x4230 x4231 x4232 x4233 x4236 x4238 x4241 x4244 x4245 x4246 x4248 x4249 x4252 x4264 x4271 x4272 x4276 x4280 x4283 x4292 x4293 x4295 x4297 x4313 x4314 x4336 x4349 x4350 x4354 x4360 x4372 x4393 x4399 x4402 x4403 x4411 x4416 x4425 x4431 x4433 x4434 x4437 x4442 x4445 x4446 x4450 x4452 x4453 x4454 x4455 x4459 x4460 x4461 x4463 x4465 x4467 x4468 x4471 x4480 x4481 x4484 x4485 x4486 x4487 x4488 x4490 x4494 x4503 x4505 x4506 x4507 x4508 x4509 x4515 x4516 x4517 x4520 x4521 x4522 x4525 x4535 x4536 x4537 x4538 x4543 x4544 x4545 x4546 x4547 x4548 x4549 x4550 x4551 x4552 x4553 x4554 x4555 x4559 x4560 x4561 x4562 x4563 x4567 x4569 x4574 x4575 x4577 x4578 x4583 x4587 x4590 x4591 x4592 x4593 x4595 x4596 x4599 x4600 x4601 x4603 x4604 x4605 x4606 x4607 x4610 x4614 x4616 x4617 x4618 x4619 x4620 x4623 x4624 x4625 x4629 x4631 x4632 x4633 x4636 x4637 x4638 x4639 x4640 x4641 x4642 x4643 x4644 x4645 x4646 x4651 x4652 x4653 x4654 x4656 x4657 x4661 x4662 x4663 x4664 x4665 x4666 x4670 x4671 x4673 x4677 x4678 x4685 x4686 x4688 x4689 x4692 x4693 x4694 x4695 x4696 x4697 x4698 x4699 x4700 x4701 x4702 x4703 x4704 x4705 x4706 x4710 x4711 x4712 x4713 x4714 x4716 x4717 x4718 x4719 x4720 x4721 x4723 x4726 x4730 x4731 x4734 x4736 x4739 x4744 x4745 x4746 x4747 x4748 x4749 x4750 x4752 x4754 x4755 x4756 x4757 x4758 x4759 x4761 x4762 x4764 x4765 x4769 x4771 x4772 x4773 x4774 x4776 x4777 x4778 x4779 x4780 x4781 x4782 x4783 x4785 x4787 x4788 x4789 x4790 x4791 x4793 x4795 x4796 x4797 x4800 x4803 x4806 x4810 x4811 x4812 x4813 x4814 x4815 x4816 x4817 x4818 x4819 x4821 x4822 x4826 x4828 x4829 x4835 x4836 x4837 x4840 x4841 x4843 x4845 x4846 x4848 x4850 x4852 x4854 x4855 x4859 x4860 x4865 x4873 x4876 x4877 x4878 x4880 x4881 x4882 x4884 x4887 x4888 x4889 x4890 x4892 x4893 x4894 x4895 x4896 x4897 x4898 x4899 x4900 x4901 x4902 x4905 x4906 x4907 x4909 x4911 x4912 x4916 x4917 x4919 x4920 x4921 x4922 x4924 x4925 x4926 x4930 x4931 x4932 x4933 x4934 x4935 x4936 x4937 x4938 x4939 x4941 x4945 x4946 x4947 x4948 x4949 x4950 x4951 x4952 x4953 x4954 x4955 x4958 x4959 x4960 x4961 x4962 x4963 x4964 x4965 x4966 x4967 x4969 x4970 x4973 x4974 x4975 x4976 x4977 x4978 x4979 x4981 x4982 x4983 x4985 x4986 x4987 x4988 x4989 x4990 x4991 x4992 x4993 x4994 x4995 x4996 x4997 x4998 x4999 x5001 x5002 x5003 x5004 x5005 x5006 x5007 x5008 x5009 x5010 x5011 x5012 x5013 x5014 x5015 x5016 x5017 x5018 x5019 x5025 x5026 x5027 x5028 x5029 x5030 x5035 x5036 x5038 x5045 x5046 x5048 x5050 x5051 x5052 x5053 x5054 x5055 x5056 x5057 x5058 x5059 x5061 x5065 x5068 x5069 x5070 x5071 x5072 x5073 x5076 x5078 x5079 x5080 x5081 x5082 x5083 x5085 x5086 x5087 x5088 x5089 x5090 x5091 x5092 x5093 x5094 x5095 x5096 x5097 x5099 x5101 x5102 x5103 x5106 x5107 x5108 x5109 x5110 x5116 x5117 x5118 x5119 x5122 x5123 x5124 x5125 x5126 x5127 x5129 x5130 x5131 x5132 x5133 x5134 x5135 x5137 x5139 x5141 x5142 x5143 x5144 x5145 x5146 x5147 x5148 x5149 x5150 x5151 x5152 x5153 x5154 x5155 x5156 x5157 x5158 x5159 x5160 x5161 x5162 x5163 x5164 x5166 x5167 x5168 x5169 x5170 x5171 x5172 x5173 x5174 x5175 x5183 x5184 x5185 x5186 x5187 x5188 x5189 x5190 x5191 x5192 x5193 x5194 x5195 x5196 x5197 x5198 x5199 x5200 x5203 x5205 x5206 x5207 x5208 x5209 x5211 x5212 x5213 x5217 x5218 x5220 x5222 x5224 x5225 x5226 x5228 x5229 x5230 x5231 x5232 x5234 x5235 x5236 x5237 x5240 x5241 x5242 x5243 x5245 x5246 x5247 x5248 x5249 x5250 x5251 x5252 x5253 x5254 x5255 x5257 x5258 x5260 x5261 x5264 x5266 x5269 x5271 x5272 x5275 x5277 x5278 x5279 x5280 x5282 x5283 x5284 x5285 x5286 x5289 x5296 x5297 x5298 x5313 x5316 x5317 x5318 x5319 x5320 x5326 x5331 x5332 x5333 x5334 x5335 x5336 x5337 x5339 x5340 x5341 x5349 x5363 x5367 x5368 x5373 x5374 x5375 x5376 x5377 x5378 x5379 x5380 x5381 x5382 x5384 x5385 x5386 x5387 x5388 x5390 x5391 x5392 x5393 x5394 x5397 x5398 x5400 x5401 x5402 x5404 x5405 x5407 x5408 x5409 x5410 x5411 x5413 x5414 x5415 x5416 x5417 x5418 x5420 x5421 x5422 x5423 x5424 x5425 x5426 x5428 x5430 x5432 x5433 x5438 x5439 x5440 x5441 x5443 x5444 x5445 x5446 x5447 x5448 x5450 x5453 x5455 x5456 x5457 x5459 x5461 x5462 x5463 x5464 x5465 x5467 x5469 x5471 x5472 x5474 x5475 x5479 x5481 x5482 x5483 x5484 x5485 x5486 x5487 x5488 x5489 x5490 x5491 x5492 x5494 x5495 x5496 x5497 x5498 x5502 x5503 x5508 x5509 x5510 x5514 x5515 x5516 x5521 x5523 x5524 x5526 x5527 x5529 x5530 x5531 x5532 x5541 x5542 x5543 x5544 x5545 x5546 x5547 x5548 x5549 x5550 x5552 x5558 x5559 x5560 x5561 x5562 x5563 x5564 x5565 x5566 x5567 x5569 x5576 x5579 x5580 x5581 x5587 x5588 x5593 x5594 x5595 x5596 x5598 x5599 
1800.06/1805.02	pb2clasp1: no process killed
1800.06/1805.02	clasp-1.0: no process killed
1802.05/1807.02	sh: line 1: 19812 Done                    cat HOME/temp/instance-3738716-1338758862.opb.op
1802.05/1807.02	     19813 Killed                  | clasp-1.0 --trans=no > HOME/temp/instance-3738716-1338758862.opb.clasp

Verifier Data 

OK	46789

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3738716-1338758862/watcher-3738716-1338758862 -o /tmp/evaluation-result-3738716-1338758862/solver-3738716-1338758862 -C 1800 -W 1900 -M 15500 pbclasp instance-3738716-1338758862.opb HOME/temp 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.03 2.03 2.07 3/178 4988
/proc/meminfo: memFree=28948820/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=25884 CPUtime=0 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) R 4986 4988 13986 0 -1 4202496 634 0 0 0 0 0 0 0 20 0 1 0 342010595 26505216 564 33554432000 4194304 4198148 140734590768896 140734049933416 239237349668 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/4988/statm: 6471 564 361 1 0 266 0

[startup+0.0216369 s]
/proc/loadavg: 2.03 2.03 2.07 3/178 4988
/proc/meminfo: memFree=28948820/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26016 CPUtime=0.01 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) R 4986 4988 13986 0 -1 4202496 666 0 0 0 1 0 0 0 20 0 1 0 342010595 26640384 596 33554432000 4194304 4198148 140734590768896 140734049933416 239237304212 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/4988/statm: 6504 596 361 1 0 299 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26016

[startup+0.10026 s]
/proc/loadavg: 2.03 2.03 2.07 3/178 4988
/proc/meminfo: memFree=28948820/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26292 CPUtime=0.03 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 761 0 0 0 3 0 0 0 20 0 1 0 342010595 26923008 672 33554432000 4194304 4198148 140734590768896 140734590767784 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4988/statm: 6573 672 368 1 0 368 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26292

[startup+0.300229 s]
/proc/loadavg: 2.03 2.03 2.07 3/178 4988
/proc/meminfo: memFree=28948820/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26292 CPUtime=0.03 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 761 0 0 0 3 0 0 0 20 0 1 0 342010595 26923008 672 33554432000 4194304 4198148 140734590768896 140734590767784 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4988/statm: 6573 672 368 1 0 368 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26292

[startup+0.700215 s]
/proc/loadavg: 2.03 2.03 2.07 3/178 4988
/proc/meminfo: memFree=28948820/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26292 CPUtime=0.03 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 761 0 0 0 3 0 0 0 20 0 1 0 342010595 26923008 672 33554432000 4194304 4198148 140734590768896 140734590767784 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4988/statm: 6573 672 368 1 0 368 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26292

[startup+1.50029 s]
/proc/loadavg: 2.03 2.03 2.07 3/182 4998
/proc/meminfo: memFree=28942224/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26424 CPUtime=0.92 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 938 2140 0 0 3 0 88 1 20 0 1 0 342010595 27058176 732 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4988/statm: 6606 732 387 1 0 401 0
[pid=4996] ppid=4988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4996/stat : 4996 (sh) S 4988 4988 13986 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 342010688 9367552 263 33554432000 4194304 5064252 140735290002512 140735290000768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4996/statm: 2287 263 223 213 0 72 0
[pid=4998] ppid=4996 vsize=15712 CPUtime=0.55 cores=1,3,5,7
/proc/4998/stat : 4998 (clasp-1.0) R 4996 4988 13986 0 -1 4202496 3674 0 0 0 55 0 0 0 20 0 1 0 342010688 16089088 3345 33554432000 134512640 134847168 4287253776 4287252544 134617488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4998/statm: 3928 3345 270 82 0 3169 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 51284

[startup+3.10026 s]
/proc/loadavg: 2.03 2.03 2.07 3/181 5014
/proc/meminfo: memFree=28932196/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=2.94 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 1431 19080 0 0 10 0 278 6 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 26556

[startup+6.30012 s]
/proc/loadavg: 2.03 2.03 2.07 3/181 5078
/proc/meminfo: memFree=28932768/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=5.75 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 1995 41713 0 0 19 1 543 12 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 26556

[startup+12.7002 s]
/proc/loadavg: 2.02 2.03 2.07 4/179 5182
/proc/meminfo: memFree=28943976/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=12.19 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 3264 92638 0 0 40 2 1150 27 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 26556

[startup+25.5004 s]
/proc/loadavg: 2.02 2.03 2.07 3/181 5390
/proc/meminfo: memFree=28932288/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=24.69 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 5396 177509 0 0 73 4 2339 53 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
[pid=5388] ppid=4988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5388/stat : 5388 (sh) S 4988 4988 13986 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 342013078 9367552 264 33554432000 4194304 5064252 140734654506064 140734654504320 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5388/statm: 2287 264 223 213 0 72 0
[pid=5390] ppid=5388 vsize=15720 CPUtime=0.65 cores=1,3,5,7
/proc/5390/stat : 5390 (clasp-1.0) R 5388 4988 13986 0 -1 4202496 3701 0 0 0 65 0 0 0 20 0 1 0 342013078 16097280 3372 33554432000 134512640 134847168 4293392208 4293390976 134617488 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5390/statm: 3930 3372 270 82 0 3171 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 51424

[startup+51.1003 s]
/proc/loadavg: 2.01 2.03 2.07 3/181 5710
/proc/meminfo: memFree=28932304/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=50.52 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 8531 302020 0 0 121 8 4833 90 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 26556

[startup+102.307 s]
/proc/loadavg: 1.97 2.02 2.06 3/181 6326
/proc/meminfo: memFree=28931336/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=101.46 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 13646 505691 0 0 199 12 9785 150 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
[pid=6324] ppid=4988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6324/stat : 6324 (sh) S 4988 4988 13986 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 342020790 9367552 263 33554432000 4194304 5064252 140734237540672 140734237538928 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6324/statm: 2287 263 223 213 0 72 0
[pid=6326] ppid=6324 vsize=15720 CPUtime=0.34 cores=1,3,5,7
/proc/6326/stat : 6326 (clasp-1.0) R 6324 4988 13986 0 -1 4202496 3702 0 0 0 34 0 0 0 20 0 1 0 342020790 16097280 3373 33554432000 134512640 134847168 4292713136 4292711904 134617536 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6326/statm: 3930 3373 272 82 0 3171 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 51424

[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.06 3/182 6993
/proc/meminfo: memFree=28930980/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=160.85 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 19304 732050 0 0 284 18 15570 213 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
Current children cumulated CPU time (s) 160.85
Current children cumulated vsize (KiB) 26556

[startup+222.3 s]
/proc/loadavg: 1.99 2.01 2.05 3/181 7681
/proc/meminfo: memFree=28930872/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=220.08 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 25070 964054 0 0 370 22 21337 279 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
[pid=7671] ppid=4988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7671/stat : 7671 (sh) S 4988 4988 13986 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 342032705 9367552 264 33554432000 4194304 5064252 140734541124576 140734541122832 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7671/statm: 2287 264 223 213 0 72 0
[pid=7673] ppid=7671 vsize=15720 CPUtime=1.18 cores=1,3,5,7
/proc/7673/stat : 7673 (clasp-1.0) R 7671 4988 13986 0 -1 4202496 3703 0 0 0 118 0 0 0 20 0 1 0 342032705 16097280 3374 33554432000 134512640 134847168 4293530192 4293528960 134617488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7673/statm: 3930 3374 272 82 0 3171 0
Current children cumulated CPU time (s) 221.26
Current children cumulated vsize (KiB) 51424

[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/181 8284
/proc/meminfo: memFree=28930980/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=280.66 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 30428 1179102 0 0 449 27 27243 347 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
Current children cumulated CPU time (s) 280.66
Current children cumulated vsize (KiB) 26556

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 8892
/proc/meminfo: memFree=28930972/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=338.63 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 35207 1371469 0 0 519 32 32907 405 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
[pid=8874] ppid=4988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8874/stat : 8874 (sh) S 4988 4988 13986 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 342044620 9367552 263 33554432000 4194304 5064252 140737463332464 140737463330720 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8874/statm: 2287 263 223 213 0 72 0
[pid=8876] ppid=8874 vsize=15720 CPUtime=2.04 cores=1,3,5,7
/proc/8876/stat : 8876 (clasp-1.0) R 8874 4988 13986 0 -1 4202496 3706 0 0 0 204 0 0 0 20 0 1 0 342044620 16097280 3377 33554432000 134512640 134847168 4291109168 4291107936 134617547 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8876/statm: 3930 3377 272 82 0 3171 0
Current children cumulated CPU time (s) 340.67
Current children cumulated vsize (KiB) 51424

[startup+402.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/180 9412
/proc/meminfo: memFree=28936868/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=399.76 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 39412 1541277 0 0 578 35 38910 453 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
Current children cumulated CPU time (s) 399.76

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

/proc/17120/stat : 17120 (sh) S 4988 4988 13986 0 -1 4202496 374 219 0 0 0 0 0 0 20 0 1 0 342152530 9367552 264 33554432000 4194304 5064252 140734357959920 140734357958176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17120/statm: 2287 264 223 213 0 72 0
[pid=17122] ppid=17120 vsize=15720 CPUtime=2.93 cores=1,3,5,7
/proc/17122/stat : 17122 (clasp-1.0) R 17120 4988 13986 0 -1 4202496 3704 0 0 0 293 0 0 0 20 0 1 0 342152530 16097280 3375 33554432000 134512640 134847168 4292209104 4292207872 134617536 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17122/statm: 3930 3375 272 82 0 3171 0
Current children cumulated CPU time (s) 1418.1
Current children cumulated vsize (KiB) 51424

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/182 17491
/proc/meminfo: memFree=28938248/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=1475.95 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 92862 3703544 0 0 1278 78 145138 1101 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
[pid=17480] ppid=4988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17480/stat : 17480 (sh) S 4988 4988 13986 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 342158616 9367552 264 33554432000 4194304 5064252 140734702841808 140734702840064 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17480/statm: 2287 264 223 213 0 72 0
[pid=17482] ppid=17480 vsize=15720 CPUtime=2.07 cores=1,3,5,7
/proc/17482/stat : 17482 (clasp-1.0) R 17480 4988 13986 0 -1 4202496 3702 0 0 0 207 0 0 0 20 0 1 0 342158616 16097280 3373 33554432000 134512640 134847168 4292539312 4292538080 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17482/statm: 3930 3373 270 82 0 3171 0
Current children cumulated CPU time (s) 1478.02
Current children cumulated vsize (KiB) 51424

[startup+1542.3 s]
/proc/loadavg: 1.94 1.96 1.98 3/182 18045
/proc/meminfo: memFree=28927388/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=1535.55 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 96079 3833735 0 0 1321 80 151016 1138 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
[pid=18027] ppid=4988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18027/stat : 18027 (sh) S 4988 4988 13986 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 342164593 9367552 263 33554432000 4194304 5064252 140736976399504 140736976397760 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18027/statm: 2287 263 223 213 0 72 0
[pid=18029] ppid=18027 vsize=15720 CPUtime=2.3 cores=1,3,5,7
/proc/18029/stat : 18029 (clasp-1.0) R 18027 4988 13986 0 -1 4202496 3705 0 0 0 230 0 0 0 20 0 1 0 342164593 16097280 3376 33554432000 134512640 134847168 4288462272 4288461040 134617542 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18029/statm: 3930 3376 272 82 0 3171 0
Current children cumulated CPU time (s) 1537.85
Current children cumulated vsize (KiB) 51424

[startup+1602.3 s]
/proc/loadavg: 1.86 1.93 1.97 3/181 18429
/proc/meminfo: memFree=28927692/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=1592.49 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 98160 3918651 0 0 1346 82 156658 1163 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
[pid=18395] ppid=4988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18395/stat : 18395 (sh) S 4988 4988 13986 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 342170303 9367552 264 33554432000 4194304 5064252 140733357910400 140733357908656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18395/statm: 2287 264 223 213 0 72 0
[pid=18397] ppid=18395 vsize=15868 CPUtime=5.2 cores=1,3,5,7
/proc/18397/stat : 18397 (clasp-1.0) R 18395 4988 13986 0 -1 4202496 3712 0 0 0 520 0 0 0 20 0 1 0 342170303 16248832 3382 33554432000 134512640 134847168 4292163744 4292162512 134617547 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18397/statm: 3967 3382 272 82 0 3208 0
Current children cumulated CPU time (s) 1597.69
Current children cumulated vsize (KiB) 51572

[startup+1662.3 s]
/proc/loadavg: 1.95 1.94 1.97 3/181 18853
/proc/meminfo: memFree=28927876/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=1654.22 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 99829 3986606 0 0 1363 83 162794 1182 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
[pid=18835] ppid=4988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18835/stat : 18835 (sh) S 4988 4988 13986 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 342176483 9367552 263 33554432000 4194304 5064252 140735624370928 140735624369184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18835/statm: 2287 263 223 213 0 72 0
[pid=18837] ppid=18835 vsize=15720 CPUtime=3.4 cores=1,3,5,7
/proc/18837/stat : 18837 (clasp-1.0) R 18835 4988 13986 0 -1 4202496 3706 0 0 0 340 0 0 0 20 0 1 0 342176483 16097280 3377 33554432000 134512640 134847168 4290334176 4290332944 134617542 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18837/statm: 3930 3377 272 82 0 3171 0
Current children cumulated CPU time (s) 1657.62
Current children cumulated vsize (KiB) 51424

[startup+1722.3 s]
/proc/loadavg: 1.98 1.95 1.97 3/181 19173
/proc/meminfo: memFree=28927156/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=1713.78 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 101779 4065861 0 0 1386 85 168704 1203 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
[pid=19171] ppid=4988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19171/stat : 19171 (sh) S 4988 4988 13986 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 342182446 9367552 264 33554432000 4194304 5064252 140734583723680 140734583721936 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19171/statm: 2287 264 223 213 0 72 0
[pid=19173] ppid=19171 vsize=15720 CPUtime=3.77 cores=1,3,5,7
/proc/19173/stat : 19173 (clasp-1.0) R 19171 4988 13986 0 -1 4202496 3708 0 0 0 377 0 0 0 20 0 1 0 342182446 16097280 3378 33554432000 134512640 134847168 4287289920 4287288656 134741030 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19173/statm: 3930 3378 272 82 0 3171 0
Current children cumulated CPU time (s) 1717.55
Current children cumulated vsize (KiB) 51424

[startup+1782.3 s]
/proc/loadavg: 1.99 1.95 1.97 3/180 19631
/proc/meminfo: memFree=28926816/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=1776.16 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 103729 4145139 0 0 1409 86 174894 1227 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
[pid=19621] ppid=4988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19621/stat : 19621 (sh) S 4988 4988 13986 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 342188693 9367552 264 33554432000 4194304 5064252 140733833951104 140733833949360 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19621/statm: 2287 264 223 213 0 72 0
[pid=19623] ppid=19621 vsize=15720 CPUtime=1.3 cores=1,3,5,7
/proc/19623/stat : 19623 (clasp-1.0) R 19621 4988 13986 0 -1 4202496 3702 0 0 0 130 0 0 0 20 0 1 0 342188693 16097280 3372 33554432000 134512640 134847168 4294610352 4294609120 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19623/statm: 3930 3372 270 82 0 3171 0
Current children cumulated CPU time (s) 1777.46
Current children cumulated vsize (KiB) 51424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805 s]
/proc/loadavg: 1.99 1.96 1.97 3/176 19802
/proc/meminfo: memFree=28944596/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=1797.89 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 104523 4179091 0 0 1418 86 177048 1237 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
[pid=19793] ppid=4988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19793/stat : 19793 (sh) S 4988 4988 13986 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 342190877 9367552 263 33554432000 4194304 5064252 140736790307232 140736790305488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19793/statm: 2287 263 223 213 0 72 0
[pid=19795] ppid=19793 vsize=15720 CPUtime=2.17 cores=1,3,5,7
/proc/19795/stat : 19795 (clasp-1.0) R 19793 4988 13986 0 -1 4202496 3701 0 0 0 217 0 0 0 20 0 1 0 342190877 16097280 3372 33554432000 134512640 134847168 4294424736 4294423504 134617539 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19795/statm: 3930 3372 270 82 0 3171 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 51424

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -4988

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

[startup+1806.21 s]
/proc/loadavg: 1.99 1.96 1.97 3/182 19865
/proc/meminfo: memFree=28941012/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=1800.1 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 104696 4185572 0 0 1418 86 177266 1240 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
[pid=19811] ppid=4988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19811/stat : 19811 (sh) S 4988 4988 13986 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 342191098 9367552 264 33554432000 4194304 5064252 140733518010672 140733518008928 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19811/statm: 2287 264 223 213 0 72 0
[pid=19813] ppid=19811 vsize=15720 CPUtime=1.16 cores=1,3,5,7
/proc/19813/stat : 19813 (clasp-1.0) R 19811 4988 13986 0 -1 4202496 3702 0 0 0 116 0 0 0 20 0 1 0 342191098 16097280 3372 33554432000 134512640 134847168 4294921520 4294920288 134617488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19813/statm: 3930 3372 270 82 0 3171 0
Current children cumulated CPU time (s) 1801.26
Current children cumulated vsize (KiB) 51424

[startup+1806.6 s]
/proc/loadavg: 1.99 1.96 1.97 3/182 19865
/proc/meminfo: memFree=28941012/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=1800.1 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 104696 4185572 0 0 1418 86 177266 1240 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
[pid=19811] ppid=4988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19811/stat : 19811 (sh) S 4988 4988 13986 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 342191098 9367552 264 33554432000 4194304 5064252 140733518010672 140733518008928 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19811/statm: 2287 264 223 213 0 72 0
[pid=19813] ppid=19811 vsize=15720 CPUtime=1.55 cores=1,3,5,7
/proc/19813/stat : 19813 (clasp-1.0) R 19811 4988 13986 0 -1 4202496 3702 0 0 0 155 0 0 0 20 0 1 0 342191098 16097280 3372 33554432000 134512640 134847168 4294921520 4294920288 134617488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19813/statm: 3930 3372 270 82 0 3171 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 51424

[startup+1807 s]
/proc/loadavg: 1.99 1.96 1.97 3/182 19865
/proc/meminfo: memFree=28941012/32873844 swapFree=7644/7644
[pid=4988] ppid=4986 vsize=26556 CPUtime=1800.1 cores=1,3,5,7
/proc/4988/stat : 4988 (pbclasp) S 4986 4988 13986 0 -1 4202496 104696 4185572 0 0 1418 86 177266 1240 20 0 1 0 342010595 27193344 767 33554432000 4194304 4198148 140734590768896 140734590767824 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4988/statm: 6639 767 387 1 0 434 0
[pid=19811] ppid=4988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19811/stat : 19811 (sh) S 4988 4988 13986 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 342191098 9367552 264 33554432000 4194304 5064252 140733518010672 140733518008928 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19811/statm: 2287 264 223 213 0 72 0
[pid=19813] ppid=19811 vsize=15720 CPUtime=1.95 cores=1,3,5,7
/proc/19813/stat : 19813 (clasp-1.0) R 19811 4988 13986 0 -1 4202496 3702 0 0 0 195 0 0 0 20 0 1 0 342191098 16097280 3372 33554432000 134512640 134847168 4294921520 4294920288 134617536 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19813/statm: 3930 3372 270 82 0 3171 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 51424

Child status: 0
Real time (s): 1807.03
CPU time (s): 1802.11
CPU user time (s): 1788.83
CPU system time (s): 13.285
CPU usage (%): 99.7281
Max. virtual memory (cumulated for all children) (KiB): 51572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.83
system time used= 13.285
maximum resident set size= 13744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4294850
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1389936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 170903
involuntary context switches= 11351

runsolver used 5.81511 second user time and 14.3828 second system time

The end

Launcher Data 

Begin job on node147 at 2012-06-03 23:27:42
IDJOB=3738716
IDBENCH=72113
IDSOLVER=2317
FILE ID=node147/3738716-1338758862
RUNJOBID= node147-1338757053-19566
PBS_JOBID= 14636764
Free space on /tmp= 70784 MiB

SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc7f8e5.cudf.paranoid.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3738716-1338758862/watcher-3738716-1338758862 -o /tmp/evaluation-result-3738716-1338758862/solver-3738716-1338758862 -C 1800 -W 1900 -M 15500  pbclasp instance-3738716-1338758862.opb HOME/temp

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 6a41ff06797480ccf0516b3ef32f0a0b
RANDOM SEED=1187873482

node147.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28949356 kB
Buffers:          463708 kB
Cached:          2575908 kB
SwapCached:         3380 kB
Active:          1502304 kB
Inactive:        1559364 kB
Active(anon):      17924 kB
Inactive(anon):     5908 kB
Active(file):    1484380 kB
Inactive(file):  1553456 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:              4492 kB
Writeback:             0 kB
AnonPages:         26860 kB
Mapped:            11548 kB
Shmem:                 0 kB
Slab:             724240 kB
SReclaimable:     164132 kB
SUnreclaim:       560108 kB
KernelStack:        1456 kB
PageTables:         4612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     142312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3738716-1338758862.opb

Free space on /tmp at the end= 70780 MiB
End job on node147 at 2012-06-03 23:57:49