Trace number 3705785

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 NameAnswerCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.09 1800.41

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
MD5SUM55203b98fb707e386dea9ef4475d45f9
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.041993
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2100
Total number of constraints130
Number of constraints which are clauses70
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint35
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c 2012-05-27T11:08:57+0200
0.00/0.02	c arch = x86_64
0.00/0.02	c os = linux
0.00/0.02	c compiler = ghc 7.4
0.00/0.02	c packages:
0.00/0.02	c   OptDir-0.0.1
0.00/0.02	c   array-0.4.0.0
0.00/0.02	c   base-4.5.0.0
0.00/0.02	c   bytestring-0.9.2.1
0.00/0.02	c   containers-0.4.2.1
0.00/0.02	c   deepseq-1.3.0.0
0.00/0.02	c   mtl-2.1.1
0.00/0.02	c   old_locale-1.0.0.4
0.00/0.02	c   parse_dimacs-1.2
0.00/0.02	c   parsec-3.1.2
0.00/0.02	c   queue-0.1.2
0.00/0.02	c   stm-2.3
0.00/0.02	c   time-1.4
0.00/0.02	c command line = ["--pb","HOME/instance-3705785-1338109736.opb"]
0.00/0.02	c #vars 2100
0.00/0.02	c #constraints 130
0.00/0.02	c Solving starts ...
0.49/0.53	c learnt constraints deletion: 1315 -> 658
0.89/0.96	c learnt constraints deletion: 1418 -> 709
1.70/1.72	c learnt constraints deletion: 1850 -> 925
2.49/2.53	c learnt constraints deletion: 2446 -> 1230
3.19/3.27	c learnt constraints deletion: 2604 -> 1311
4.09/4.12	c learnt constraints deletion: 2600 -> 1311
4.99/5.05	c learnt constraints deletion: 2752 -> 1384
6.08/6.18	c learnt constraints deletion: 2771 -> 1392
7.19/7.21	c learnt constraints deletion: 2515 -> 1258
7.89/7.94	c learnt constraints deletion: 2925 -> 1464
8.90/8.93	c learnt constraints deletion: 2939 -> 1475
10.19/10.23	c learnt constraints deletion: 2886 -> 1469
11.19/11.25	c learnt constraints deletion: 2698 -> 1349
12.28/12.31	c learnt constraints deletion: 3122 -> 1573
13.49/13.50	c learnt constraints deletion: 3133 -> 1579
14.68/14.76	c learnt constraints deletion: 3136 -> 1580
15.88/15.98	c learnt constraints deletion: 3121 -> 1574
17.09/17.20	c learnt constraints deletion: 3131 -> 1580
18.28/18.33	c learnt constraints deletion: 3351 -> 1684
19.48/19.59	c learnt constraints deletion: 3338 -> 1680
21.09/21.15	c learnt constraints deletion: 3334 -> 1678
22.38/22.48	c learnt constraints deletion: 3346 -> 1685
23.79/23.84	c learnt constraints deletion: 3351 -> 1688
25.18/25.28	c learnt constraints deletion: 3332 -> 1678
26.68/26.75	c learnt constraints deletion: 3330 -> 1679
28.28/28.32	c learnt constraints deletion: 3321 -> 1671
29.38/29.48	c learnt constraints deletion: 3593 -> 1809
30.18/30.25	c learnt constraints deletion: 2945 -> 1476
31.38/31.47	c learnt constraints deletion: 3589 -> 1807
32.58/32.66	c learnt constraints deletion: 3577 -> 1804
33.87/33.99	c learnt constraints deletion: 3554 -> 1793
35.48/35.50	c learnt constraints deletion: 3571 -> 1805
36.88/36.97	c learnt constraints deletion: 3566 -> 1801
38.38/38.49	c learnt constraints deletion: 3570 -> 1803
39.87/39.90	c learnt constraints deletion: 3551 -> 1790
41.28/41.38	c learnt constraints deletion: 3567 -> 1799
42.78/42.90	c learnt constraints deletion: 3569 -> 1801
44.18/44.21	c learnt constraints deletion: 4052 -> 2030
45.48/45.51	c learnt constraints deletion: 3958 -> 1985
47.08/47.12	c learnt constraints deletion: 3974 -> 1993
48.49/48.58	c learnt constraints deletion: 3972 -> 1992
49.97/50.02	c learnt constraints deletion: 3969 -> 1992
51.38/51.46	c learnt constraints deletion: 3954 -> 1984
52.78/52.89	c learnt constraints deletion: 3951 -> 1982
54.37/54.44	c learnt constraints deletion: 3963 -> 1989
56.18/56.24	c learnt constraints deletion: 3956 -> 1986
57.98/58.00	c learnt constraints deletion: 3956 -> 1985
59.88/59.93	c learnt constraints deletion: 3940 -> 1978
61.68/61.72	c learnt constraints deletion: 3963 -> 1990
63.47/63.58	c learnt constraints deletion: 3960 -> 1986
65.07/65.19	c learnt constraints deletion: 3942 -> 1979
66.88/66.97	c learnt constraints deletion: 3993 -> 1997
68.48/68.56	c learnt constraints deletion: 4273 -> 2141
70.38/70.49	c learnt constraints deletion: 4237 -> 2126
72.68/72.74	c learnt constraints deletion: 4244 -> 2128
74.77/74.82	c learnt constraints deletion: 4246 -> 2129
76.87/76.92	c learnt constraints deletion: 4248 -> 2130
78.98/79.01	c learnt constraints deletion: 4222 -> 2118
81.17/81.21	c learnt constraints deletion: 4214 -> 2113
83.17/83.28	c learnt constraints deletion: 4208 -> 2111
85.27/85.32	c learnt constraints deletion: 4192 -> 2104
87.36/87.42	c learnt constraints deletion: 4217 -> 2116
89.46/89.52	c learnt constraints deletion: 4214 -> 2114
91.56/91.61	c learnt constraints deletion: 4205 -> 2111
93.76/93.84	c learnt constraints deletion: 4230 -> 2122
95.77/95.82	c learnt constraints deletion: 4215 -> 2115
97.97/98.05	c learnt constraints deletion: 4221 -> 2119
100.06/100.15	c learnt constraints deletion: 4205 -> 2112
102.06/102.17	c learnt constraints deletion: 4220 -> 2117
104.26/104.31	c learnt constraints deletion: 4235 -> 2126
106.37/106.45	c learnt constraints deletion: 4197 -> 2105
108.27/108.39	c learnt constraints deletion: 4231 -> 2123
109.97/110.03	c learnt constraints deletion: 3822 -> 1911
113.66/113.76	c learnt constraints deletion: 5299 -> 2655
117.16/117.28	c learnt constraints deletion: 5283 -> 2653
121.36/121.49	c learnt constraints deletion: 5287 -> 2656
125.06/125.12	c learnt constraints deletion: 5302 -> 2661
128.96/129.08	c learnt constraints deletion: 5275 -> 2648
132.06/132.11	c learnt constraints deletion: 5264 -> 2642
135.26/135.38	c learnt constraints deletion: 5287 -> 2655
138.76/138.85	c learnt constraints deletion: 5289 -> 2657
142.76/142.86	c learnt constraints deletion: 5281 -> 2655
146.96/147.01	c learnt constraints deletion: 5283 -> 2655
150.76/150.84	c learnt constraints deletion: 5320 -> 2671
154.85/154.91	c learnt constraints deletion: 5298 -> 2660
158.75/158.88	c learnt constraints deletion: 5272 -> 2651
163.65/163.72	c learnt constraints deletion: 5295 -> 2660
167.94/168.03	c learnt constraints deletion: 5279 -> 2651
172.54/172.70	c learnt constraints deletion: 5273 -> 2650
178.34/178.45	c learnt constraints deletion: 5305 -> 2666
182.64/182.70	c learnt constraints deletion: 5284 -> 2655
187.54/187.60	c learnt constraints deletion: 5284 -> 2654
191.14/191.22	c learnt constraints deletion: 5317 -> 2671
196.03/196.18	c learnt constraints deletion: 5278 -> 2651
200.24/200.36	c learnt constraints deletion: 5293 -> 2659
204.14/204.27	c learnt constraints deletion: 5280 -> 2651
208.64/208.74	c learnt constraints deletion: 5247 -> 2636
211.83/211.92	c learnt constraints deletion: 4638 -> 2319
213.54/213.63	c learnt constraints deletion: 4771 -> 2389
215.64/215.76	c learnt constraints deletion: 4763 -> 2391
217.94/218.06	c learnt constraints deletion: 4767 -> 2391
220.04/220.20	c learnt constraints deletion: 4768 -> 2391
222.33/222.45	c learnt constraints deletion: 4774 -> 2395
224.63/224.78	c learnt constraints deletion: 4770 -> 2392
226.83/226.97	c learnt constraints deletion: 4755 -> 2385
229.13/229.24	c learnt constraints deletion: 4765 -> 2390
231.33/231.47	c learnt constraints deletion: 4765 -> 2390
233.64/233.79	c learnt constraints deletion: 4786 -> 2401
235.93/236.04	c learnt constraints deletion: 4778 -> 2397
238.03/238.17	c learnt constraints deletion: 4768 -> 2392
240.33/240.41	c learnt constraints deletion: 4761 -> 2389
242.73/242.82	c learnt constraints deletion: 4775 -> 2396
244.83/244.92	c learnt constraints deletion: 4758 -> 2387
247.13/247.26	c learnt constraints deletion: 4768 -> 2393
249.43/249.57	c learnt constraints deletion: 4770 -> 2394
251.63/251.71	c learnt constraints deletion: 4759 -> 2387
253.83/253.95	c learnt constraints deletion: 4772 -> 2394
256.03/256.15	c learnt constraints deletion: 4769 -> 2393
258.32/258.40	c learnt constraints deletion: 4772 -> 2394
260.63/260.71	c learnt constraints deletion: 4771 -> 2395
263.02/263.15	c learnt constraints deletion: 4769 -> 2394
265.32/265.42	c learnt constraints deletion: 4775 -> 2399
267.73/267.86	c learnt constraints deletion: 4762 -> 2389
270.03/270.18	c learnt constraints deletion: 4777 -> 2397
272.62/272.75	c learnt constraints deletion: 4769 -> 2394
274.93/275.08	c learnt constraints deletion: 4760 -> 2388
277.23/277.34	c learnt constraints deletion: 4764 -> 2390
279.72/279.80	c learnt constraints deletion: 4752 -> 2386
282.12/282.27	c learnt constraints deletion: 4771 -> 2395
284.52/284.69	c learnt constraints deletion: 4765 -> 2390
286.93/287.04	c learnt constraints deletion: 4762 -> 2391
289.83/289.90	c learnt constraints deletion: 4769 -> 2394
292.72/292.80	c learnt constraints deletion: 4766 -> 2392
295.42/295.50	c learnt constraints deletion: 4776 -> 2399
297.92/298.09	c learnt constraints deletion: 4772 -> 2395
300.72/300.85	c learnt constraints deletion: 4771 -> 2395
303.42/303.57	c learnt constraints deletion: 4773 -> 2397
306.22/306.30	c learnt constraints deletion: 4781 -> 2398
309.22/309.38	c learnt constraints deletion: 5147 -> 2582
311.52/311.70	c learnt constraints deletion: 5335 -> 2673
313.92/314.09	c learnt constraints deletion: 5311 -> 2664
316.21/316.39	c learnt constraints deletion: 5307 -> 2662
319.22/319.33	c learnt constraints deletion: 5313 -> 2669
322.11/322.28	c learnt constraints deletion: 5316 -> 2666
324.92/325.08	c learnt constraints deletion: 5316 -> 2666
327.42/327.58	c learnt constraints deletion: 5333 -> 2675
329.82/329.99	c learnt constraints deletion: 5343 -> 2681
332.52/332.63	c learnt constraints deletion: 5333 -> 2676
335.02/335.12	c learnt constraints deletion: 5337 -> 2678
337.41/337.57	c learnt constraints deletion: 5325 -> 2673
339.92/340.04	c learnt constraints deletion: 5348 -> 2683
342.51/342.67	c learnt constraints deletion: 5336 -> 2679
345.42/345.57	c learnt constraints deletion: 5312 -> 2663
347.91/348.02	c learnt constraints deletion: 5303 -> 2660
350.41/350.58	c learnt constraints deletion: 5324 -> 2670
353.12/353.26	c learnt constraints deletion: 5345 -> 2681
355.71/355.85	c learnt constraints deletion: 5321 -> 2669
358.41/358.56	c learnt constraints deletion: 5354 -> 2685
361.61/361.72	c learnt constraints deletion: 5311 -> 2664
365.31/365.44	c learnt constraints deletion: 5324 -> 2670
369.41/369.50	c learnt constraints deletion: 5320 -> 2668
373.41/373.58	c learnt constraints deletion: 5302 -> 2659
377.60/377.75	c learnt constraints deletion: 5298 -> 2657
381.51/381.69	c learnt constraints deletion: 5318 -> 2668
385.91/386.04	c learnt constraints deletion: 5305 -> 2661
389.91/390.05	c learnt constraints deletion: 5319 -> 2669
394.30/394.49	c learnt constraints deletion: 5327 -> 2673
398.70/398.80	c learnt constraints deletion: 5324 -> 2671
403.01/403.17	c learnt constraints deletion: 5325 -> 2672
406.90/407.09	c learnt constraints deletion: 5340 -> 2679
411.70/411.85	c learnt constraints deletion: 5302 -> 2661
415.81/415.95	c learnt constraints deletion: 5312 -> 2665
420.11/420.25	c learnt constraints deletion: 5308 -> 2665
424.40/424.52	c learnt constraints deletion: 5319 -> 2669
428.50/428.68	c learnt constraints deletion: 5340 -> 2680
432.70/432.87	c learnt constraints deletion: 5340 -> 2678
436.50/436.63	c learnt constraints deletion: 5340 -> 2680
440.70/440.87	c learnt constraints deletion: 5323 -> 2675
444.90/445.08	c learnt constraints deletion: 5331 -> 2679
449.20/449.32	c learnt constraints deletion: 5322 -> 2671
453.29/453.48	c learnt constraints deletion: 5289 -> 2654
457.80/457.97	c learnt constraints deletion: 5321 -> 2671
462.00/462.16	c learnt constraints deletion: 5313 -> 2666
466.19/466.32	c learnt constraints deletion: 5336 -> 2676
470.09/470.28	c learnt constraints deletion: 5324 -> 2672
474.89/475.07	c learnt constraints deletion: 5341 -> 2682
478.80/478.92	c learnt constraints deletion: 5334 -> 2676
483.79/483.98	c learnt constraints deletion: 5303 -> 2664
488.79/488.94	c learnt constraints deletion: 5250 -> 2632
491.29/491.42	c learnt constraints deletion: 5248 -> 2632
494.10/494.29	c learnt constraints deletion: 5250 -> 2634
496.69/496.87	c learnt constraints deletion: 5221 -> 2620
499.29/499.42	c learnt constraints deletion: 5209 -> 2614
501.79/501.97	c learnt constraints deletion: 5244 -> 2631
504.99/505.10	c learnt constraints deletion: 5670 -> 2844
507.19/507.36	c learnt constraints deletion: 5765 -> 2887
510.29/510.45	c learnt constraints deletion: 5792 -> 2906
513.49/513.63	c learnt constraints deletion: 5771 -> 2895
516.49/516.60	c learnt constraints deletion: 5730 -> 2873
519.39/519.53	c learnt constraints deletion: 5721 -> 2871
523.09/523.21	c learnt constraints deletion: 5709 -> 2868
526.69/526.80	c learnt constraints deletion: 5719 -> 2869
529.98/530.15	c learnt constraints deletion: 5731 -> 2875
533.19/533.34	c learnt constraints deletion: 5700 -> 2859
536.28/536.48	c learnt constraints deletion: 5725 -> 2874
539.68/539.81	c learnt constraints deletion: 5726 -> 2876
543.29/543.48	c learnt constraints deletion: 5720 -> 2875
546.89/547.07	c learnt constraints deletion: 5713 -> 2869
550.88/551.04	c learnt constraints deletion: 5713 -> 2868
554.68/554.86	c learnt constraints deletion: 5736 -> 2879
558.09/558.27	c learnt constraints deletion: 5711 -> 2868
561.38/561.56	c learnt constraints deletion: 5735 -> 2878
564.58/564.72	c learnt constraints deletion: 5717 -> 2869
567.58/567.76	c learnt constraints deletion: 5699 -> 2861
571.18/571.37	c learnt constraints deletion: 5724 -> 2874
574.58/574.79	c learnt constraints deletion: 5697 -> 2859
577.68/577.86	c learnt constraints deletion: 5721 -> 2874
581.48/581.63	c learnt constraints deletion: 5724 -> 2874
584.87/585.03	c learnt constraints deletion: 5727 -> 2875
588.18/588.31	c learnt constraints deletion: 5713 -> 2867
591.47/591.64	c learnt constraints deletion: 5707 -> 2866
595.37/595.52	c learnt constraints deletion: 5702 -> 2862
599.17/599.37	c learnt constraints deletion: 5687 -> 2856
602.47/602.62	c learnt constraints deletion: 5726 -> 2874
606.47/606.60	c learnt constraints deletion: 5710 -> 2871
610.67/610.83	c learnt constraints deletion: 5712 -> 2870
614.97/615.10	c learnt constraints deletion: 5711 -> 2868
618.77/618.99	c learnt constraints deletion: 5721 -> 2872
622.57/622.71	c learnt constraints deletion: 5689 -> 2855
626.36/626.57	c learnt constraints deletion: 5706 -> 2863
629.47/629.69	c learnt constraints deletion: 5732 -> 2877
633.26/633.47	c learnt constraints deletion: 5714 -> 2869
636.37/636.52	c learnt constraints deletion: 5704 -> 2860
639.16/639.38	c learnt constraints deletion: 5723 -> 2871
642.17/642.39	c learnt constraints deletion: 5715 -> 2868
645.37/645.55	c learnt constraints deletion: 5712 -> 2865
648.56/648.77	c learnt constraints deletion: 5728 -> 2873
651.76/651.94	c learnt constraints deletion: 5711 -> 2865
655.16/655.33	c learnt constraints deletion: 5719 -> 2869
658.66/658.80	c learnt constraints deletion: 5709 -> 2867
661.96/662.18	c learnt constraints deletion: 5724 -> 2874
666.17/666.35	c learnt constraints deletion: 5711 -> 2868
669.46/669.61	c learnt constraints deletion: 5718 -> 2870
673.36/673.54	c learnt constraints deletion: 5723 -> 2875
677.06/677.26	c learnt constraints deletion: 5731 -> 2875
680.76/680.92	c learnt constraints deletion: 5703 -> 2864
684.66/684.87	c learnt constraints deletion: 5728 -> 2873
687.76/687.96	c learnt constraints deletion: 5717 -> 2869
690.77/690.96	c learnt constraints deletion: 5691 -> 2856
693.96/694.20	c learnt constraints deletion: 5700 -> 2860
697.36/697.58	c learnt constraints deletion: 5723 -> 2871
700.56/700.79	c learnt constraints deletion: 5705 -> 2863
703.55/703.79	c learnt constraints deletion: 5724 -> 2872
706.76/706.98	c learnt constraints deletion: 5723 -> 2872
710.16/710.30	c learnt constraints deletion: 5746 -> 2882
713.06/713.20	c learnt constraints deletion: 5719 -> 2871
716.35/716.54	c learnt constraints deletion: 5717 -> 2874
719.75/719.93	c learnt constraints deletion: 5691 -> 2858
723.35/723.51	c learnt constraints deletion: 5704 -> 2862
726.45/726.63	c learnt constraints deletion: 5724 -> 2874
729.65/729.82	c learnt constraints deletion: 5707 -> 2864
732.85/733.03	c learnt constraints deletion: 5717 -> 2869
735.86/736.03	c learnt constraints deletion: 5703 -> 2861
738.85/739.09	c learnt constraints deletion: 5709 -> 2865
742.24/742.41	c learnt constraints deletion: 5713 -> 2867
745.55/745.74	c learnt constraints deletion: 5712 -> 2867
748.65/748.85	c learnt constraints deletion: 5717 -> 2869
751.74/751.93	c learnt constraints deletion: 5719 -> 2871
755.05/755.20	c learnt constraints deletion: 5703 -> 2864
758.45/758.61	c learnt constraints deletion: 5723 -> 2872
761.75/761.91	c learnt constraints deletion: 5714 -> 2872
765.65/765.85	c learnt constraints deletion: 6199 -> 3111
769.24/769.45	c learnt constraints deletion: 6160 -> 3080
772.65/772.80	c learnt constraints deletion: 6929 -> 3471
776.74/776.95	c learnt constraints deletion: 6929 -> 3473
781.44/781.67	c learnt constraints deletion: 6910 -> 3462
786.14/786.32	c learnt constraints deletion: 6908 -> 3461
790.35/790.51	c learnt constraints deletion: 6935 -> 3475
794.44/794.65	c learnt constraints deletion: 6897 -> 3456
798.94/799.19	c learnt constraints deletion: 6940 -> 3477
803.64/803.82	c learnt constraints deletion: 6901 -> 3458
807.94/808.17	c learnt constraints deletion: 6895 -> 3455
812.64/812.81	c learnt constraints deletion: 6896 -> 3455
816.63/816.86	c learnt constraints deletion: 6905 -> 3461
821.23/821.48	c learnt constraints deletion: 6918 -> 3466
825.24/825.49	c learnt constraints deletion: 6881 -> 3448
829.64/829.86	c learnt constraints deletion: 6858 -> 3437
834.44/834.64	c learnt constraints deletion: 6911 -> 3464
839.34/839.50	c learnt constraints deletion: 6908 -> 3462
845.23/845.42	c learnt constraints deletion: 6867 -> 3444
853.93/854.13	c learnt constraints deletion: 6901 -> 3461
864.72/864.99	c learnt constraints deletion: 6877 -> 3448
877.12/877.33	c learnt constraints deletion: 6888 -> 3453
885.92/886.16	c learnt constraints deletion: 6893 -> 3457
893.13/893.38	c learnt constraints deletion: 6900 -> 3460
897.61/897.88	c learnt constraints deletion: 6866 -> 3441
901.92/902.17	c learnt constraints deletion: 6902 -> 3460
906.72/906.95	c learnt constraints deletion: 6888 -> 3453
911.52/911.70	c learnt constraints deletion: 6894 -> 3457
916.62/916.84	c learnt constraints deletion: 6897 -> 3461
921.81/922.07	c learnt constraints deletion: 6910 -> 3466
926.41/926.62	c learnt constraints deletion: 6896 -> 3458
930.91/931.13	c learnt constraints deletion: 6878 -> 3449
935.71/935.91	c learnt constraints deletion: 6902 -> 3462
940.81/941.06	c learnt constraints deletion: 6883 -> 3454
945.40/945.69	c learnt constraints deletion: 6911 -> 3467
950.01/950.29	c learnt constraints deletion: 6881 -> 3448
954.01/954.25	c learnt constraints deletion: 6886 -> 3452
958.21/958.44	c learnt constraints deletion: 6886 -> 3452
962.71/962.94	c learnt constraints deletion: 6905 -> 3462
966.90/967.13	c learnt constraints deletion: 6880 -> 3449
971.91/972.14	c learnt constraints deletion: 6913 -> 3467
976.20/976.42	c learnt constraints deletion: 6916 -> 3468
980.30/980.51	c learnt constraints deletion: 6877 -> 3446
983.81/984.05	c learnt constraints deletion: 6880 -> 3448
987.61/987.86	c learnt constraints deletion: 6868 -> 3443
992.00/992.22	c learnt constraints deletion: 6866 -> 3442
996.60/996.83	c learnt constraints deletion: 6862 -> 3439
1001.20/1001.43	c learnt constraints deletion: 6844 -> 3430
1005.20/1005.49	c learnt constraints deletion: 6895 -> 3457
1009.49/1009.72	c learnt constraints deletion: 6851 -> 3434
1014.20/1014.49	c learnt constraints deletion: 6842 -> 3430
1019.29/1019.57	c learnt constraints deletion: 6888 -> 3453
1024.10/1024.35	c learnt constraints deletion: 6882 -> 3451
1028.69/1028.94	c learnt constraints deletion: 6871 -> 3445
1033.99/1034.28	c learnt constraints deletion: 6878 -> 3448
1038.99/1039.28	c learnt constraints deletion: 6902 -> 3461
1043.09/1043.35	c learnt constraints deletion: 6888 -> 3453
1048.30/1048.58	c learnt constraints deletion: 6905 -> 3465
1053.79/1054.07	c learnt constraints deletion: 6870 -> 3445
1059.29/1059.56	c learnt constraints deletion: 6880 -> 3450
1064.89/1065.11	c learnt constraints deletion: 6868 -> 3443
1070.29/1070.56	c learnt constraints deletion: 6899 -> 3459
1075.69/1075.99	c learnt constraints deletion: 6893 -> 3456
1080.89/1081.10	c learnt constraints deletion: 6839 -> 3430
1085.89/1086.18	c learnt constraints deletion: 6884 -> 3454
1090.99/1091.24	c learnt constraints deletion: 6894 -> 3457
1096.28/1096.53	c learnt constraints deletion: 6902 -> 3462
1101.89/1102.18	c learnt constraints deletion: 6900 -> 3459
1107.08/1107.30	c learnt constraints deletion: 6900 -> 3460
1112.08/1112.32	c learnt constraints deletion: 6897 -> 3461
1117.58/1117.80	c learnt constraints deletion: 6902 -> 3461
1122.78/1123.05	c learnt constraints deletion: 6895 -> 3457
1127.08/1127.33	c learnt constraints deletion: 6865 -> 3443
1131.68/1131.99	c learnt constraints deletion: 6903 -> 3462
1136.38/1136.68	c learnt constraints deletion: 6888 -> 3454
1141.48/1141.71	c learnt constraints deletion: 6915 -> 3468
1146.18/1146.49	c learnt constraints deletion: 6875 -> 3448
1151.28/1151.55	c learnt constraints deletion: 6865 -> 3444
1156.38/1156.66	c learnt constraints deletion: 6865 -> 3441
1160.97/1161.27	c learnt constraints deletion: 6925 -> 3473
1166.17/1166.40	c learnt constraints deletion: 6893 -> 3456
1171.07/1171.34	c learnt constraints deletion: 6894 -> 3457
1176.07/1176.38	c learnt constraints deletion: 6878 -> 3449
1181.57/1181.80	c learnt constraints deletion: 6880 -> 3450
1189.07/1189.34	c learnt constraints deletion: 6878 -> 3450
1197.67/1197.97	c learnt constraints deletion: 6895 -> 3462
1205.97/1206.26	c learnt constraints deletion: 6899 -> 3460
1215.06/1215.30	c learnt constraints deletion: 6888 -> 3452
1221.27/1221.51	c learnt constraints deletion: 6870 -> 3444
1226.07/1226.32	c learnt constraints deletion: 6914 -> 3467
1230.47/1230.73	c learnt constraints deletion: 6906 -> 3464
1235.66/1235.99	c learnt constraints deletion: 6901 -> 3466
1241.46/1241.76	c learnt constraints deletion: 6900 -> 3463
1247.07/1247.35	c learnt constraints deletion: 6876 -> 3448
1251.96/1252.20	c learnt constraints deletion: 6880 -> 3450
1256.96/1257.21	c learnt constraints deletion: 6933 -> 3477
1262.36/1262.65	c learnt constraints deletion: 7394 -> 3706
1267.26/1267.55	c learnt constraints deletion: 7397 -> 3709
1270.86/1271.11	c learnt constraints deletion: 6249 -> 3125
1274.36/1274.69	c learnt constraints deletion: 7009 -> 3509
1278.15/1278.40	c learnt constraints deletion: 6939 -> 3477
1282.26/1282.51	c learnt constraints deletion: 6919 -> 3468
1286.46/1286.70	c learnt constraints deletion: 6924 -> 3469
1290.16/1290.49	c learnt constraints deletion: 6895 -> 3455
1294.15/1294.43	c learnt constraints deletion: 6883 -> 3450
1298.25/1298.56	c learnt constraints deletion: 6899 -> 3459
1302.26/1302.51	c learnt constraints deletion: 6859 -> 3438
1306.15/1306.45	c learnt constraints deletion: 6854 -> 3434
1309.75/1310.10	c learnt constraints deletion: 6865 -> 3442
1314.15/1314.44	c learnt constraints deletion: 6865 -> 3441
1318.84/1319.12	c learnt constraints deletion: 6867 -> 3442
1323.05/1323.38	c learnt constraints deletion: 6853 -> 3435
1327.55/1327.81	c learnt constraints deletion: 6842 -> 3429
1331.44/1331.79	c learnt constraints deletion: 6832 -> 3423
1335.54/1335.85	c learnt constraints deletion: 6864 -> 3440
1339.65/1339.99	c learnt constraints deletion: 6851 -> 3435
1344.05/1344.33	c learnt constraints deletion: 6866 -> 3441
1348.04/1348.35	c learnt constraints deletion: 6860 -> 3439
1352.65/1352.93	c learnt constraints deletion: 6849 -> 3435
1356.74/1357.01	c learnt constraints deletion: 6831 -> 3425
1360.94/1361.25	c learnt constraints deletion: 6846 -> 3432
1365.74/1366.01	c learnt constraints deletion: 6840 -> 3429
1369.84/1370.17	c learnt constraints deletion: 6850 -> 3433
1373.94/1374.28	c learnt constraints deletion: 6861 -> 3440
1378.34/1378.63	c learnt constraints deletion: 6824 -> 3423
1382.84/1383.17	c learnt constraints deletion: 6866 -> 3444
1388.04/1388.38	c learnt constraints deletion: 6854 -> 3437
1393.64/1393.91	c learnt constraints deletion: 6850 -> 3434
1398.64/1398.99	c learnt constraints deletion: 6855 -> 3437
1403.74/1404.02	c learnt constraints deletion: 6814 -> 3416
1408.43/1408.78	c learnt constraints deletion: 6865 -> 3448
1414.24/1414.52	c learnt constraints deletion: 6848 -> 3435
1418.64/1418.93	c learnt constraints deletion: 6850 -> 3436
1423.93/1424.22	c learnt constraints deletion: 6849 -> 3434
1430.23/1430.57	c learnt constraints deletion: 6861 -> 3442
1437.33/1437.64	c learnt constraints deletion: 6853 -> 3438
1442.03/1442.38	c learnt constraints deletion: 6854 -> 3437
1446.23/1446.56	c learnt constraints deletion: 6865 -> 3444
1450.83/1451.19	c learnt constraints deletion: 6861 -> 3441
1455.83/1456.13	c learnt constraints deletion: 6861 -> 3441
1460.42/1460.79	c learnt constraints deletion: 6844 -> 3432
1464.32/1464.67	c learnt constraints deletion: 6833 -> 3428
1468.62/1468.94	c learnt constraints deletion: 6861 -> 3443
1473.22/1473.51	c learnt constraints deletion: 6855 -> 3439
1477.82/1478.12	c learnt constraints deletion: 6845 -> 3434
1482.82/1483.12	c learnt constraints deletion: 6846 -> 3434
1487.72/1488.06	c learnt constraints deletion: 6860 -> 3441
1492.32/1492.65	c learnt constraints deletion: 6861 -> 3443
1497.22/1497.51	c learnt constraints deletion: 6851 -> 3438
1502.22/1502.54	c learnt constraints deletion: 6833 -> 3428
1506.12/1506.46	c learnt constraints deletion: 6869 -> 3448
1510.72/1511.07	c learnt constraints deletion: 6849 -> 3436
1515.22/1515.51	c learnt constraints deletion: 6853 -> 3439
1519.51/1519.88	c learnt constraints deletion: 6866 -> 3446
1524.12/1524.42	c learnt constraints deletion: 6853 -> 3439
1528.51/1528.85	c learnt constraints deletion: 6854 -> 3439
1533.31/1533.66	c learnt constraints deletion: 6855 -> 3439
1538.31/1538.60	c learnt constraints deletion: 6861 -> 3443
1542.72/1543.04	c learnt constraints deletion: 6854 -> 3438
1547.31/1547.70	c learnt constraints deletion: 6848 -> 3437
1551.91/1552.26	c learnt constraints deletion: 6848 -> 3435
1556.31/1556.63	c learnt constraints deletion: 6840 -> 3434
1561.51/1561.84	c learnt constraints deletion: 6842 -> 3434
1565.71/1566.07	c learnt constraints deletion: 6851 -> 3439
1570.91/1571.27	c learnt constraints deletion: 6840 -> 3431
1575.81/1576.17	c learnt constraints deletion: 6850 -> 3437
1580.00/1580.33	c learnt constraints deletion: 6823 -> 3424
1584.81/1585.16	c learnt constraints deletion: 6850 -> 3437
1589.81/1590.15	c learnt constraints deletion: 6857 -> 3443
1595.21/1595.50	c learnt constraints deletion: 6859 -> 3444
1600.50/1600.81	c learnt constraints deletion: 6851 -> 3437
1605.50/1605.84	c learnt constraints deletion: 6834 -> 3429
1609.70/1610.06	c learnt constraints deletion: 6850 -> 3437
1614.90/1615.29	c learnt constraints deletion: 6837 -> 3431
1619.70/1620.02	c learnt constraints deletion: 6831 -> 3428
1625.20/1625.55	c learnt constraints deletion: 6856 -> 3439
1630.50/1630.85	c learnt constraints deletion: 6879 -> 3450
1635.00/1635.34	c learnt constraints deletion: 6842 -> 3433
1640.60/1641.00	c learnt constraints deletion: 6850 -> 3440
1645.79/1646.12	c learnt constraints deletion: 6844 -> 3437
1651.70/1652.08	c learnt constraints deletion: 6859 -> 3443
1656.19/1656.60	c learnt constraints deletion: 6866 -> 3444
1661.20/1661.51	c learnt constraints deletion: 6872 -> 3447
1665.70/1666.06	c learnt constraints deletion: 6872 -> 3449
1670.79/1671.14	c learnt constraints deletion: 6851 -> 3441
1675.49/1675.83	c learnt constraints deletion: 6869 -> 3451
1679.89/1680.22	c learnt constraints deletion: 6859 -> 3445
1684.49/1684.83	c learnt constraints deletion: 6868 -> 3448
1688.99/1689.34	c learnt constraints deletion: 6864 -> 3447
1693.80/1694.17	c learnt constraints deletion: 6857 -> 3443
1699.38/1699.79	c learnt constraints deletion: 6870 -> 3447
1703.99/1704.31	c learnt constraints deletion: 6864 -> 3445
1708.79/1709.12	c learnt constraints deletion: 6865 -> 3445
1713.39/1713.72	c learnt constraints deletion: 6868 -> 3450
1717.89/1718.29	c learnt constraints deletion: 6868 -> 3448
1723.09/1723.46	c learnt constraints deletion: 6862 -> 3443
1727.49/1727.84	c learnt constraints deletion: 6861 -> 3444
1731.68/1732.08	c learnt constraints deletion: 6869 -> 3448
1736.28/1736.60	c learnt constraints deletion: 6851 -> 3438
1740.99/1741.40	c learnt constraints deletion: 6860 -> 3443
1745.49/1745.85	c learnt constraints deletion: 6845 -> 3433
1749.98/1750.33	c learnt constraints deletion: 6849 -> 3436
1754.28/1754.65	c learnt constraints deletion: 6858 -> 3440
1758.68/1759.02	c learnt constraints deletion: 6844 -> 3433
1763.08/1763.44	c learnt constraints deletion: 6850 -> 3436
1768.08/1768.46	c learnt constraints deletion: 6854 -> 3438
1772.77/1773.19	c learnt constraints deletion: 6861 -> 3442
1777.88/1778.22	c learnt constraints deletion: 6858 -> 3440
1782.89/1783.26	c learnt constraints deletion: 6849 -> 3437
1787.58/1787.92	c learnt constraints deletion: 6865 -> 3444
1792.18/1792.55	c learnt constraints deletion: 6842 -> 3432
1796.67/1797.00	c learnt constraints deletion: 6832 -> 3429

Verifier Data 

ERROR: no interpretation found !

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-3705785-1338109736/watcher-3705785-1338109736 -o /tmp/evaluation-result-3705785-1338109736/solver-3705785-1338109736 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3705785-1338109736.opb 

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: 1.92 1.98 1.90 3/176 393
/proc/meminfo: memFree=29016036/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 780 0 0 0 0 0 0 0 20 0 1 0 277099522 6356992 700 33554432000 4194304 8973514 140734656429392 140736326869272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 1552 700 416 1167 0 333 0

[startup+0.075237 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 393
/proc/meminfo: memFree=29016036/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=9280 CPUtime=0.07 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 1508 0 0 0 7 0 0 0 20 0 1 0 277099522 9502720 1428 33554432000 4194304 8973514 140734656429392 140734656428888 4481188 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 2320 1428 443 1167 0 1101 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9280

[startup+0.100223 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 393
/proc/meminfo: memFree=29016036/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=9280 CPUtime=0.09 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 1619 0 0 0 9 0 0 0 20 0 1 0 277099522 9502720 1539 33554432000 4194304 8973514 140734656429392 140734656428888 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 2320 1539 443 1167 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9280

[startup+0.300259 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 393
/proc/meminfo: memFree=29016036/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=11328 CPUtime=0.29 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 2108 0 0 0 29 0 0 0 20 0 1 0 277099522 11599872 2028 33554432000 4194304 8973514 140734656429392 140734656428888 4463512 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 2832 2028 443 1167 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11328

[startup+0.70029 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 393
/proc/meminfo: memFree=29016036/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=14400 CPUtime=0.69 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 2900 0 0 0 68 1 0 0 20 0 1 0 277099522 14745600 2820 33554432000 4194304 8973514 140734656429392 140734656411392 5389064 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 3600 2820 444 1167 0 2381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14400

[startup+1.50021 s]
/proc/loadavg: 1.92 1.98 1.90 3/177 394
/proc/meminfo: memFree=29004868/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=17472 CPUtime=1.49 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 3668 0 0 0 148 1 0 0 20 0 1 0 277099522 17891328 3588 33554432000 4194304 8973514 140734656429392 140734656411392 6576940 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 4368 3588 444 1167 0 3149 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17472

[startup+3.10026 s]
/proc/loadavg: 1.92 1.98 1.90 3/177 394
/proc/meminfo: memFree=29000644/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=22592 CPUtime=3.09 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 4948 0 0 0 307 2 0 0 20 0 1 0 277099522 23134208 4868 33554432000 4194304 8973514 140734656429392 140734656411392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 5648 4868 444 1167 0 4429 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22592

[startup+6.30028 s]
/proc/loadavg: 1.93 1.98 1.90 3/177 394
/proc/meminfo: memFree=28990432/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=31808 CPUtime=6.29 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 7254 0 0 0 624 5 0 0 20 0 1 0 277099522 32571392 7177 33554432000 4194304 8973514 140734656429392 140734656428656 4214375 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 7952 7177 444 1167 0 6733 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31808

[startup+12.7011 s]
/proc/loadavg: 1.93 1.98 1.90 3/177 394
/proc/meminfo: memFree=28982280/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=36928 CPUtime=12.68 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 8534 0 0 0 1261 7 0 0 20 0 1 0 277099522 37814272 8457 33554432000 4194304 8973514 140734656429392 140734656411392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 9232 8457 444 1167 0 8013 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36928

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.91 3/177 394
/proc/meminfo: memFree=28977368/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=42048 CPUtime=25.48 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 9819 0 0 0 2533 15 0 0 20 0 1 0 277099522 43057152 9737 33554432000 4194304 8973514 140734656429392 140734656411392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 10512 9737 444 1167 0 9293 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42048

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.91 3/177 394
/proc/meminfo: memFree=28971788/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=48192 CPUtime=51.08 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 11355 0 0 0 5080 28 0 0 20 0 1 0 277099522 49348608 11273 33554432000 4194304 8973514 140734656429392 140734656428888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 12048 11273 444 1167 0 10829 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48192

[startup+102.3 s]
/proc/loadavg: 2.04 2.00 1.91 3/178 397
/proc/meminfo: memFree=28960932/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=58432 CPUtime=102.27 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 15968 0 0 0 10172 55 0 0 20 0 1 0 277099522 59834368 13833 33554432000 4194304 8973514 140734656429392 140734656411392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 14608 13833 444 1167 0 13389 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 58432

[startup+162.3 s]
/proc/loadavg: 2.06 2.01 1.92 3/177 398
/proc/meminfo: memFree=28939428/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=79936 CPUtime=162.25 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 23147 0 0 0 16139 86 0 0 20 0 1 0 277099522 81854464 19209 33554432000 4194304 8973514 140734656429392 140734656411392 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 19984 19209 444 1167 0 18765 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 79936

[startup+222.307 s]
/proc/loadavg: 2.05 2.02 1.93 3/177 398
/proc/meminfo: memFree=28941100/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=78912 CPUtime=222.24 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 25711 0 0 0 22110 114 0 0 20 0 1 0 277099522 80805888 18953 33554432000 4194304 8973514 140734656429392 140734656427392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 19728 18953 444 1167 0 18509 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 78912

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/177 398
/proc/meminfo: memFree=28940076/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=79936 CPUtime=282.22 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 25970 0 0 0 28073 149 0 0 20 0 1 0 277099522 81854464 19209 33554432000 4194304 8973514 140734656429392 140734656411392 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 19984 19209 444 1167 0 18765 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 79936

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 398
/proc/meminfo: memFree=28924768/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=92224 CPUtime=342.21 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 29042 0 0 0 34044 177 0 0 20 0 1 0 277099522 94437376 22281 33554432000 4194304 8973514 140734656429392 140734656427328 4536656 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 23056 22281 444 1167 0 21837 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 92224

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 398
/proc/meminfo: memFree=28924292/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=91200 CPUtime=402.2 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 29042 0 0 0 40018 202 0 0 20 0 1 0 277099522 93388800 22025 33554432000 4194304 8973514 140734656429392 140734656411392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 22800 22025 444 1167 0 21581 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 91200

[startup+462.3 s]
/proc/loadavg: 1.97 1.99 1.92 3/176 439
/proc/meminfo: memFree=28878384/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=91200 CPUtime=462.19 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 29042 0 0 0 45994 225 0 0 20 0 1 0 277099522 93388800 22025 33554432000 4194304 8973514 140734656429392 140734656427392 4494489 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 22800 22025 444 1167 0 21581 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 91200

[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.92 3/177 440
/proc/meminfo: memFree=28871184/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=92224 CPUtime=522.19 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 30304 0 0 0 51964 255 0 0 20 0 1 0 277099522 94437376 22263 33554432000 4194304 8973514 140734656429392 140734656411392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 23056 22263 444 1167 0 21837 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 92224

[startup+582.3 s]
/proc/loadavg: 2.07 2.01 1.93 3/177 440
/proc/meminfo: memFree=28857332/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=95296 CPUtime=582.17 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 31346 0 0 0 57932 285 0 0 20 0 1 0 277099522 97583104 23049 33554432000 4194304 8973514 140734656429392 140734656427328 4424998 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 23824 23049 444 1167 0 22605 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 95296

[startup+642.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 444
/proc/meminfo: memFree=28814656/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=123968 CPUtime=882.12 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 40837 0 0 0 87792 420 0 0 20 0 1 0 277099522 126943232 30217 33554432000 4194304 8973514 140734656429392 140734656427584 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 30992 30217 444 1167 0 29773 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 123968

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 444
/proc/meminfo: memFree=28808328/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=128064 CPUtime=942.11 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 43141 0 0 0 93766 445 0 0 20 0 1 0 277099522 131137536 31241 33554432000 4194304 8973514 140734656429392 140734656427328 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 32016 31241 444 1167 0 30797 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 128064

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 444
/proc/meminfo: memFree=28810136/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=123968 CPUtime=1002.1 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 43141 0 0 0 99741 469 0 0 20 0 1 0 277099522 126943232 30217 33554432000 4194304 8973514 140734656429392 140734656428656 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 30992 30217 444 1167 0 29773 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 123968

[startup+1062.3 s]
/proc/loadavg: 2.15 2.03 1.94 3/176 444
/proc/meminfo: memFree=28795216/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=128064 CPUtime=1062.09 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 44168 0 0 0 105711 498 0 0 20 0 1 0 277099522 131137536 31241 33554432000 4194304 8973514 140734656429392 140734656427328 4459284 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 32016 31241 444 1167 0 30797 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 128064

[startup+1122.3 s]
/proc/loadavg: 2.05 2.02 1.94 3/178 447
/proc/meminfo: memFree=28794524/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=128064 CPUtime=1122.08 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 44168 0 0 0 111685 523 0 0 20 0 1 0 277099522 131137536 31241 33554432000 4194304 8973514 140734656429392 140734656427328 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 32016 31241 444 1167 0 30797 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 128064

[startup+1182.3 s]
/proc/loadavg: 2.07 2.03 1.94 3/177 447
/proc/meminfo: memFree=28794784/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=128064 CPUtime=1182.07 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 44168 0 0 0 117658 549 0 0 20 0 1 0 277099522 131137536 31241 33554432000 4194304 8973514 140734656429392 140734656427328 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 32016 31241 444 1167 0 30797 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 128064

[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 1.94 3/177 447
/proc/meminfo: memFree=28786476/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=136256 CPUtime=1242.06 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 46216 0 0 0 123633 573 0 0 20 0 1 0 277099522 139526144 33289 33554432000 4194304 8973514 140734656429392 140734656427584 6570441 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 34064 33289 444 1167 0 32845 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 136256

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/178 450
/proc/meminfo: memFree=28786996/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=132160 CPUtime=1302.05 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 47496 0 0 0 129604 601 0 0 20 0 1 0 277099522 135331840 32265 33554432000 4194304 8973514 140734656429392 140734656411392 4441393 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 33040 32265 444 1167 0 31821 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 132160

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 450
/proc/meminfo: memFree=28782792/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=136256 CPUtime=1362.04 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 48523 0 0 0 135575 629 0 0 20 0 1 0 277099522 139526144 33289 33554432000 4194304 8973514 140734656429392 140734656411392 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 34064 33289 444 1167 0 32845 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 136256

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 451
/proc/meminfo: memFree=28778636/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=140352 CPUtime=1422.03 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 49547 0 0 0 141549 654 0 0 20 0 1 0 277099522 143720448 34313 33554432000 4194304 8973514 140734656429392 140734656411392 6576196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 35088 34313 444 1167 0 33869 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 140352

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 451
/proc/meminfo: memFree=28775040/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=140352 CPUtime=1482.02 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 49547 0 0 0 147520 682 0 0 20 0 1 0 277099522 143720448 34313 33554432000 4194304 8973514 140734656429392 140734656411392 4424824 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 35088 34313 444 1167 0 33869 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 140352

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 451
/proc/meminfo: memFree=28775668/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=140352 CPUtime=1542.02 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 49547 0 0 0 153491 711 0 0 20 0 1 0 277099522 143720448 34313 33554432000 4194304 8973514 140734656429392 140734656411392 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 35088 34313 444 1167 0 33869 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 140352

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/177 451
/proc/meminfo: memFree=28775424/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=140352 CPUtime=1602 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 49547 0 0 0 159461 739 0 0 20 0 1 0 277099522 143720448 34313 33554432000 4194304 8973514 140734656429392 140734656411392 4424888 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 35088 34313 444 1167 0 33869 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 140352

[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/177 451
/proc/meminfo: memFree=28775432/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=140352 CPUtime=1661.99 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 49547 0 0 0 165431 768 0 0 20 0 1 0 277099522 143720448 34313 33554432000 4194304 8973514 140734656429392 140734656428888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 35088 34313 444 1167 0 33869 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 140352

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/177 452
/proc/meminfo: memFree=28775560/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=140352 CPUtime=1721.98 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 49547 0 0 0 171400 798 0 0 20 0 1 0 277099522 143720448 34313 33554432000 4194304 8973514 140734656429392 140734656411392 4424902 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 35088 34313 444 1167 0 33869 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 140352

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 452
/proc/meminfo: memFree=28775564/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=140352 CPUtime=1781.97 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 49547 0 0 0 177371 826 0 0 20 0 1 0 277099522 143720448 34313 33554432000 4194304 8973514 140734656429392 140734656411392 4427736 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 35088 34313 444 1167 0 33869 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 140352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 1.96 4/177 452
/proc/meminfo: memFree=28775452/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=140352 CPUtime=1800.08 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 49547 0 0 0 179174 834 0 0 20 0 1 0 277099522 143720448 34313 33554432000 4194304 8973514 140734656429392 140734656411392 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 35088 34313 444 1167 0 33869 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 140352

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

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

[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 1.96 4/177 452
/proc/meminfo: memFree=28775452/32873648 swapFree=6844/6844
[pid=393] ppid=391 vsize=140352 CPUtime=1800.08 cores=1,3,5,7
/proc/393/stat : 393 (toysat) R 391 393 32696 0 -1 4202496 49547 0 0 0 179174 834 0 0 20 0 1 0 277099522 143720448 34313 33554432000 4194304 8973514 140734656429392 140734656411392 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/393/statm: 35088 34313 444 1167 0 33869 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 140352

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1791.75
CPU system time (s): 8.34573
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 140352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.75
system time used= 8.34573
maximum resident set size= 137252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49547
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57
involuntary context switches= 1849

runsolver used 2.72059 second user time and 9.55355 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-27 11:08:57
IDJOB=3705785
IDBENCH=1413
IDSOLVER=2285
FILE ID=node124/3705785-1338109736
RUNJOBID= node124-1338107934-32713
PBS_JOBID= 14624469
Free space on /tmp= 71424 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705785-1338109736/watcher-3705785-1338109736 -o /tmp/evaluation-result-3705785-1338109736/solver-3705785-1338109736 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3705785-1338109736.opb

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

MD5SUM BENCH= 55203b98fb707e386dea9ef4475d45f9
RANDOM SEED=552237767

node124.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		: 2667.325
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	: 5334.65
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		: 2667.325
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	: 5385.03
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		: 2667.325
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	: 5385.04
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		: 2667.325
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	: 5357.53
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		: 2667.325
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	: 5385.03
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		: 2667.325
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	: 5385.04
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		: 2667.325
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	: 5385.03
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		: 2667.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29016044 kB
Buffers:          331580 kB
Cached:          2688552 kB
SwapCached:            0 kB
Active:           935628 kB
Inactive:        2116768 kB
Active(anon):      34664 kB
Inactive(anon):        0 kB
Active(file):     900964 kB
Inactive(file):  2116768 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7400 kB
Writeback:             0 kB
AnonPages:         40504 kB
Mapped:            16164 kB
Shmem:               200 kB
Slab:             668088 kB
SReclaimable:     112560 kB
SUnreclaim:       555528 kB
KernelStack:        1464 kB
PageTables:         4132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     143964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71420 MiB
End job on node124 at 2012-05-27 11:38:59