Trace number 3725078

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
toysat 2012-06-01? (TO) 1800.11 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
MD5SUMff9be653d1d3ea3b1a82846016e94df6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
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 

0.09/0.13	c 2012-06-02T12:35:11+0200
0.09/0.13	c arch = x86_64
0.09/0.13	c os = linux
0.09/0.13	c compiler = ghc 7.4
0.09/0.13	c packages:
0.09/0.13	c   OptDir-0.0.1
0.09/0.13	c   array-0.4.0.0
0.09/0.13	c   base-4.5.0.0
0.09/0.13	c   bytestring-0.9.2.1
0.09/0.13	c   containers-0.4.2.1
0.09/0.13	c   deepseq-1.3.0.0
0.09/0.13	c   mtl-2.1.1
0.09/0.13	c   old_locale-1.0.0.4
0.09/0.13	c   parse_dimacs-1.2
0.09/0.13	c   parsec-3.1.2
0.09/0.13	c   queue-0.1.2
0.09/0.13	c   stm-2.3
0.09/0.13	c   time-1.4
0.09/0.13	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725078-1338633311.opb"]
0.09/0.13	c #vars 540
0.09/0.13	c #constraints 4476
0.09/0.13	c Solving starts ...
0.09/0.17	c solving time = 0.031s
0.09/0.17	c #decision = 548
0.09/0.17	c #conflict = 144
0.09/0.17	c #restart = 1
0.09/0.17	o 76
0.09/0.17	c Solving starts ...
0.09/0.17	c solving time = 0.003s
0.09/0.17	c #decision = 594
0.09/0.17	c #conflict = 145
0.09/0.17	c #restart = 1
0.09/0.17	o 74
0.09/0.17	c Solving starts ...
0.09/0.18	c solving time = 0.008s
0.09/0.18	c #decision = 645
0.09/0.18	c #conflict = 149
0.09/0.18	c #restart = 1
0.09/0.18	o 72
0.09/0.18	c Solving starts ...
0.09/0.18	c solving time = 0.004s
0.09/0.18	c #decision = 674
0.09/0.18	c #conflict = 151
0.09/0.18	c #restart = 1
0.09/0.18	o 70
0.09/0.18	c Solving starts ...
2.89/2.99	c learnt constraints deletion: 3313 -> 1658
5.19/5.20	c learnt constraints deletion: 3980 -> 1990
7.19/7.22	c learnt constraints deletion: 3925 -> 1965
9.39/9.43	c learnt constraints deletion: 4325 -> 2164
11.78/11.87	c learnt constraints deletion: 4691 -> 2346
14.20/14.20	c learnt constraints deletion: 4667 -> 2336
16.69/16.79	c learnt constraints deletion: 4726 -> 2365
19.58/19.63	c learnt constraints deletion: 5120 -> 2562
22.19/22.24	c learnt constraints deletion: 5175 -> 2594
25.09/25.13	c learnt constraints deletion: 5221 -> 2619
27.98/28.05	c learnt constraints deletion: 5735 -> 2871
30.69/30.71	c learnt constraints deletion: 5662 -> 2838
33.48/33.57	c learnt constraints deletion: 5635 -> 2821
36.38/36.42	c learnt constraints deletion: 5637 -> 2822
39.68/39.73	c learnt constraints deletion: 6243 -> 3122
42.98/43.09	c learnt constraints deletion: 6213 -> 3108
46.27/46.30	c learnt constraints deletion: 6148 -> 3077
49.57/49.63	c learnt constraints deletion: 6092 -> 3050
53.08/53.16	c learnt constraints deletion: 6210 -> 3109
56.47/56.58	c learnt constraints deletion: 6145 -> 3078
60.58/60.68	c learnt constraints deletion: 6753 -> 3377
63.88/63.92	c learnt constraints deletion: 6835 -> 3420
67.48/67.52	c learnt constraints deletion: 6820 -> 3412
71.07/71.10	c learnt constraints deletion: 6768 -> 3388
74.87/74.91	c learnt constraints deletion: 6797 -> 3406
78.68/78.78	c learnt constraints deletion: 6810 -> 3412
82.17/82.22	c learnt constraints deletion: 6735 -> 3370
85.68/85.72	c learnt constraints deletion: 6720 -> 3368
89.47/89.55	c learnt constraints deletion: 6847 -> 3429
93.77/93.89	c learnt constraints deletion: 7475 -> 3741
97.88/97.93	c learnt constraints deletion: 7412 -> 3720
102.07/102.10	c learnt constraints deletion: 7396 -> 3712
106.27/106.34	c learnt constraints deletion: 7458 -> 3744
110.57/110.63	c learnt constraints deletion: 7484 -> 3756
114.57/114.67	c learnt constraints deletion: 7454 -> 3745
118.47/118.57	c learnt constraints deletion: 7405 -> 3721
122.87/122.98	c learnt constraints deletion: 7548 -> 3792
127.06/127.14	c learnt constraints deletion: 7411 -> 3726
131.16/131.29	c learnt constraints deletion: 7461 -> 3746
135.77/135.81	c learnt constraints deletion: 7446 -> 3745
140.56/140.68	c learnt constraints deletion: 8013 -> 4007
144.86/144.93	c learnt constraints deletion: 8125 -> 4068
149.16/149.29	c learnt constraints deletion: 8139 -> 4081
153.76/153.88	c learnt constraints deletion: 8157 -> 4091
158.66/158.77	c learnt constraints deletion: 8139 -> 4079
163.46/163.50	c learnt constraints deletion: 8187 -> 4104
168.36/168.46	c learnt constraints deletion: 8167 -> 4093
173.16/173.29	c learnt constraints deletion: 8154 -> 4087
177.86/177.91	c learnt constraints deletion: 8161 -> 4091
182.16/182.27	c learnt constraints deletion: 8172 -> 4104
186.75/186.87	c learnt constraints deletion: 8192 -> 4114
191.55/191.64	c learnt constraints deletion: 8193 -> 4107
196.55/196.68	c learnt constraints deletion: 8144 -> 4085
201.65/201.76	c learnt constraints deletion: 8149 -> 4085
206.55/206.63	c learnt constraints deletion: 8185 -> 4104
211.65/211.72	c learnt constraints deletion: 8180 -> 4104
217.05/217.10	c learnt constraints deletion: 8839 -> 4420
219.25/219.33	c learnt constraints deletion: 8996 -> 4498
221.65/221.70	c learnt constraints deletion: 8923 -> 4462
225.75/225.85	c learnt constraints deletion: 8917 -> 4464
231.04/231.18	c learnt constraints deletion: 9057 -> 4537
235.95/236.02	c learnt constraints deletion: 9067 -> 4538
240.85/240.93	c learnt constraints deletion: 8929 -> 4469
246.05/246.19	c learnt constraints deletion: 8927 -> 4472
251.35/251.48	c learnt constraints deletion: 8950 -> 4480
256.55/256.63	c learnt constraints deletion: 9081 -> 4553
261.75/261.84	c learnt constraints deletion: 8927 -> 4469
266.94/267.06	c learnt constraints deletion: 8894 -> 4455
272.35/272.42	c learnt constraints deletion: 9000 -> 4507
277.74/277.88	c learnt constraints deletion: 9016 -> 4515
282.74/282.86	c learnt constraints deletion: 8843 -> 4426
288.05/288.17	c learnt constraints deletion: 9031 -> 4525
293.33/293.41	c learnt constraints deletion: 8884 -> 4445
298.54/298.69	c learnt constraints deletion: 8944 -> 4478
303.74/303.87	c learnt constraints deletion: 8911 -> 4461
308.95/309.04	c learnt constraints deletion: 9020 -> 4513
314.14/314.20	c learnt constraints deletion: 9037 -> 4526
318.94/319.08	c learnt constraints deletion: 9004 -> 4505
325.03/325.19	c learnt constraints deletion: 9847 -> 4926
330.53/330.60	c learnt constraints deletion: 9836 -> 4919
335.93/336.08	c learnt constraints deletion: 9757 -> 4883
342.23/342.39	c learnt constraints deletion: 9764 -> 4884
348.03/348.10	c learnt constraints deletion: 9849 -> 4930
353.82/353.92	c learnt constraints deletion: 9876 -> 4946
359.83/359.90	c learnt constraints deletion: 9842 -> 4923
365.73/365.89	c learnt constraints deletion: 9870 -> 4939
372.02/372.15	c learnt constraints deletion: 9886 -> 4962
378.02/378.13	c learnt constraints deletion: 9930 -> 4969
383.93/384.00	c learnt constraints deletion: 9829 -> 4922
389.62/389.70	c learnt constraints deletion: 9916 -> 4964
395.52/395.65	c learnt constraints deletion: 9892 -> 4952
401.22/401.35	c learnt constraints deletion: 9887 -> 4953
407.03/407.18	c learnt constraints deletion: 9847 -> 4933
413.12/413.29	c learnt constraints deletion: 9860 -> 4937
418.82/418.96	c learnt constraints deletion: 9856 -> 4936
424.52/424.69	c learnt constraints deletion: 9821 -> 4921
430.21/430.39	c learnt constraints deletion: 9849 -> 4933
436.32/436.49	c learnt constraints deletion: 9900 -> 4963
442.42/442.57	c learnt constraints deletion: 9815 -> 4921
448.62/448.76	c learnt constraints deletion: 9915 -> 4972
454.42/454.59	c learnt constraints deletion: 9837 -> 4927
460.62/460.74	c learnt constraints deletion: 9834 -> 4929
466.51/466.69	c learnt constraints deletion: 9868 -> 4941
469.62/469.77	c solving time = 469.514s
469.62/469.77	c #decision = 514402
469.62/469.77	c #conflict = 417814
469.62/469.77	c #restart = 19
469.62/469.77	o 66
469.62/469.77	c Solving starts ...
469.71/469.82	c learnt constraints deletion: 7592 -> 3796
469.71/469.83	c learnt constraints deletion: 3796 -> 1898
469.71/469.83	c learnt constraints deletion: 1898 -> 949
471.21/471.38	c learnt constraints deletion: 2958 -> 1483
472.31/472.49	c learnt constraints deletion: 3492 -> 1746
473.31/473.46	c learnt constraints deletion: 3843 -> 1922
474.41/474.58	c learnt constraints deletion: 4197 -> 2099
475.51/475.61	c learnt constraints deletion: 4203 -> 2104
476.71/476.89	c learnt constraints deletion: 4627 -> 2314
478.01/478.10	c learnt constraints deletion: 4630 -> 2315
479.52/479.68	c learnt constraints deletion: 5063 -> 2532
480.91/481.02	c learnt constraints deletion: 5072 -> 2537
482.21/482.31	c learnt constraints deletion: 5074 -> 2538
483.71/483.85	c learnt constraints deletion: 5565 -> 2784
485.21/485.38	c learnt constraints deletion: 5543 -> 2773
487.01/487.10	c learnt constraints deletion: 5557 -> 2779
488.51/488.68	c learnt constraints deletion: 5561 -> 2781
490.31/490.48	c learnt constraints deletion: 5579 -> 2791
492.51/492.62	c learnt constraints deletion: 6095 -> 3048
494.51/494.61	c learnt constraints deletion: 6113 -> 3060
496.41/496.51	c learnt constraints deletion: 6116 -> 3060
498.51/498.61	c learnt constraints deletion: 6112 -> 3056
500.51/500.69	c learnt constraints deletion: 6103 -> 3054
502.61/502.72	c learnt constraints deletion: 6099 -> 3053
504.81/504.92	c learnt constraints deletion: 6680 -> 3340
506.81/506.91	c learnt constraints deletion: 6682 -> 3341
509.00/509.10	c learnt constraints deletion: 6690 -> 3346
511.01/511.16	c learnt constraints deletion: 6716 -> 3358
512.70/512.85	c learnt constraints deletion: 6709 -> 3356
514.71/514.84	c learnt constraints deletion: 6686 -> 3345
516.71/516.89	c learnt constraints deletion: 6703 -> 3355
518.80/518.96	c learnt constraints deletion: 6706 -> 3354
520.41/520.51	c learnt constraints deletion: 6704 -> 3354
522.51/522.66	c learnt constraints deletion: 7353 -> 3678
524.40/524.57	c learnt constraints deletion: 7367 -> 3687
526.61/526.73	c learnt constraints deletion: 7369 -> 3687
528.91/529.10	c learnt constraints deletion: 7355 -> 3683
531.00/531.15	c learnt constraints deletion: 7373 -> 3688
532.90/533.04	c learnt constraints deletion: 7376 -> 3689
535.01/535.16	c learnt constraints deletion: 7375 -> 3690
537.10/537.21	c learnt constraints deletion: 7353 -> 3679
539.20/539.35	c learnt constraints deletion: 7375 -> 3693
541.11/541.22	c learnt constraints deletion: 7361 -> 3684
543.00/543.15	c learnt constraints deletion: 7357 -> 3680
545.30/545.50	c learnt constraints deletion: 8082 -> 4043
547.50/547.70	c learnt constraints deletion: 8096 -> 4049
549.81/549.92	c learnt constraints deletion: 8082 -> 4042
552.00/552.18	c learnt constraints deletion: 8085 -> 4045
554.21/554.35	c learnt constraints deletion: 8068 -> 4034
556.60/556.74	c learnt constraints deletion: 8090 -> 4046
558.89/559.03	c learnt constraints deletion: 8077 -> 4042
561.10/561.24	c learnt constraints deletion: 8102 -> 4054
563.50/563.65	c learnt constraints deletion: 8111 -> 4057
565.79/565.96	c learnt constraints deletion: 8090 -> 4046
568.09/568.21	c learnt constraints deletion: 8104 -> 4053
570.29/570.43	c learnt constraints deletion: 8109 -> 4059
572.69/572.81	c learnt constraints deletion: 8109 -> 4058
575.10/575.22	c learnt constraints deletion: 8095 -> 4052
577.30/577.47	c learnt constraints deletion: 8116 -> 4065
579.60/579.76	c learnt constraints deletion: 8106 -> 4055
582.40/582.53	c learnt constraints deletion: 8889 -> 4448
585.09/585.25	c learnt constraints deletion: 8878 -> 4441
587.89/588.05	c learnt constraints deletion: 8898 -> 4449
590.60/590.79	c learnt constraints deletion: 8862 -> 4433
592.89/593.07	c learnt constraints deletion: 8876 -> 4439
595.29/595.40	c learnt constraints deletion: 8868 -> 4436
597.49/597.65	c learnt constraints deletion: 8875 -> 4439
600.09/600.26	c learnt constraints deletion: 8873 -> 4439
602.29/602.41	c learnt constraints deletion: 8867 -> 4439
604.59/604.76	c learnt constraints deletion: 8879 -> 4443
607.00/607.13	c learnt constraints deletion: 8898 -> 4449
609.49/609.64	c learnt constraints deletion: 8883 -> 4444
611.99/612.17	c learnt constraints deletion: 8898 -> 4451
614.59/614.75	c learnt constraints deletion: 8907 -> 4458
617.19/617.36	c learnt constraints deletion: 8906 -> 4458
619.79/619.92	c learnt constraints deletion: 8906 -> 4456
622.29/622.45	c learnt constraints deletion: 8883 -> 4447
624.48/624.68	c learnt constraints deletion: 8881 -> 4442
626.89/627.08	c learnt constraints deletion: 8882 -> 4443
629.28/629.46	c learnt constraints deletion: 8881 -> 4444
631.99/632.11	c learnt constraints deletion: 8895 -> 4454
634.38/634.53	c learnt constraints deletion: 8875 -> 4442
637.48/637.69	c learnt constraints deletion: 9763 -> 4888
640.38/640.59	c learnt constraints deletion: 9746 -> 4876
643.48/643.64	c learnt constraints deletion: 9766 -> 4883
646.69/646.84	c learnt constraints deletion: 9763 -> 4884
649.18/649.31	c learnt constraints deletion: 9797 -> 4901
651.88/652.03	c learnt constraints deletion: 9760 -> 4883
654.68/654.89	c learnt constraints deletion: 9773 -> 4891
657.69/657.89	c learnt constraints deletion: 9774 -> 4888
660.78/660.93	c learnt constraints deletion: 9755 -> 4880
663.58/663.72	c learnt constraints deletion: 9760 -> 4882
666.68/666.86	c learnt constraints deletion: 9753 -> 4878
669.69/669.81	c learnt constraints deletion: 9770 -> 4887
672.48/672.68	c learnt constraints deletion: 9769 -> 4888
675.29/675.48	c learnt constraints deletion: 9786 -> 4897
678.18/678.32	c learnt constraints deletion: 9762 -> 4883
680.98/681.10	c learnt constraints deletion: 9776 -> 4890
683.98/684.16	c learnt constraints deletion: 9751 -> 4879
686.88/687.01	c learnt constraints deletion: 9775 -> 4890
689.87/690.02	c learnt constraints deletion: 9750 -> 4878
692.58/692.75	c learnt constraints deletion: 9773 -> 4891
695.38/695.55	c learnt constraints deletion: 9749 -> 4880
698.28/698.41	c learnt constraints deletion: 9781 -> 4896
701.28/701.49	c learnt constraints deletion: 9782 -> 4895
704.28/704.43	c learnt constraints deletion: 9750 -> 4879
707.48/707.65	c learnt constraints deletion: 9774 -> 4887
710.38/710.51	c learnt constraints deletion: 9759 -> 4881
713.37/713.52	c learnt constraints deletion: 9783 -> 4894
716.08/716.27	c learnt constraints deletion: 9777 -> 4894
719.07/719.23	c learnt constraints deletion: 9765 -> 4886
722.37/722.52	c learnt constraints deletion: 9760 -> 4882
725.67/725.90	c learnt constraints deletion: 10721 -> 5363
728.77/728.93	c learnt constraints deletion: 10723 -> 5362
731.76/731.92	c learnt constraints deletion: 10733 -> 5368
734.76/734.95	c learnt constraints deletion: 10734 -> 5369
737.76/737.91	c learnt constraints deletion: 10710 -> 5357
740.86/741.10	c learnt constraints deletion: 10731 -> 5366
744.16/744.30	c learnt constraints deletion: 10744 -> 5374
747.77/747.97	c learnt constraints deletion: 10722 -> 5362
751.27/751.40	c learnt constraints deletion: 10735 -> 5370
754.47/754.63	c learnt constraints deletion: 10723 -> 5364
757.67/757.81	c learnt constraints deletion: 10733 -> 5371
760.46/760.67	c learnt constraints deletion: 10739 -> 5374
763.87/764.01	c learnt constraints deletion: 10739 -> 5375
767.46/767.64	c learnt constraints deletion: 10734 -> 5371
770.97/771.15	c learnt constraints deletion: 10724 -> 5367
774.66/774.83	c learnt constraints deletion: 10721 -> 5367
778.06/778.20	c learnt constraints deletion: 10726 -> 5363
780.96/781.15	c learnt constraints deletion: 10733 -> 5368
784.36/784.51	c learnt constraints deletion: 10732 -> 5368
787.66/787.84	c learnt constraints deletion: 10722 -> 5363
790.46/790.62	c learnt constraints deletion: 10739 -> 5371
793.56/793.75	c learnt constraints deletion: 10728 -> 5366
797.05/797.27	c learnt constraints deletion: 10721 -> 5364
800.25/800.49	c learnt constraints deletion: 10748 -> 5379
803.66/803.80	c learnt constraints deletion: 10729 -> 5371
806.76/806.92	c learnt constraints deletion: 10729 -> 5367
810.16/810.31	c learnt constraints deletion: 10734 -> 5370
813.25/813.48	c learnt constraints deletion: 10708 -> 5357
816.65/816.89	c learnt constraints deletion: 10737 -> 5373
819.85/820.07	c learnt constraints deletion: 10740 -> 5374
823.25/823.46	c learnt constraints deletion: 10725 -> 5369
826.35/826.59	c learnt constraints deletion: 10720 -> 5361
829.56/829.73	c learnt constraints deletion: 10730 -> 5367
832.56/832.71	c learnt constraints deletion: 10732 -> 5369
835.76/835.99	c learnt constraints deletion: 10726 -> 5367
839.16/839.39	c learnt constraints deletion: 10737 -> 5374
842.36/842.51	c learnt constraints deletion: 10714 -> 5361
845.85/846.06	c learnt constraints deletion: 10727 -> 5366
849.06/849.27	c learnt constraints deletion: 10737 -> 5372
852.15/852.36	c learnt constraints deletion: 10740 -> 5374
855.56/855.74	c learnt constraints deletion: 10708 -> 5357
859.75/859.99	c learnt constraints deletion: 11784 -> 5895
863.55/863.76	c learnt constraints deletion: 11802 -> 5902
867.14/867.30	c learnt constraints deletion: 11784 -> 5894
870.34/870.50	c learnt constraints deletion: 11783 -> 5893
873.64/873.87	c learnt constraints deletion: 11775 -> 5890
877.14/877.34	c learnt constraints deletion: 11798 -> 5902
881.14/881.38	c learnt constraints deletion: 11797 -> 5901
884.74/884.94	c learnt constraints deletion: 11785 -> 5896
888.55/888.74	c learnt constraints deletion: 11772 -> 5890
891.85/892.05	c learnt constraints deletion: 11792 -> 5900
895.15/895.34	c learnt constraints deletion: 11784 -> 5897
898.45/898.67	c learnt constraints deletion: 11767 -> 5884
902.14/902.34	c learnt constraints deletion: 11778 -> 5890
905.94/906.12	c learnt constraints deletion: 11778 -> 5891
909.34/909.55	c learnt constraints deletion: 11758 -> 5881
912.94/913.10	c learnt constraints deletion: 11796 -> 5899
916.34/916.59	c learnt constraints deletion: 11780 -> 5892
919.94/920.16	c learnt constraints deletion: 11795 -> 5901
923.74/923.91	c learnt constraints deletion: 11800 -> 5904
927.43/927.64	c learnt constraints deletion: 11782 -> 5895
932.03/932.24	c learnt constraints deletion: 11786 -> 5896
936.13/936.31	c learnt constraints deletion: 11772 -> 5888
940.44/940.60	c learnt constraints deletion: 11788 -> 5898
944.03/944.20	c learnt constraints deletion: 11783 -> 5892
947.43/947.65	c learnt constraints deletion: 11782 -> 5893
950.93/951.11	c learnt constraints deletion: 11766 -> 5885
955.03/955.24	c learnt constraints deletion: 11801 -> 5902
958.53/958.76	c learnt constraints deletion: 11772 -> 5887
962.34/962.56	c learnt constraints deletion: 11796 -> 5900
965.54/965.78	c learnt constraints deletion: 11776 -> 5892
969.13/969.34	c learnt constraints deletion: 11799 -> 5903
972.93/973.15	c learnt constraints deletion: 11792 -> 5900
976.43/976.67	c learnt constraints deletion: 11770 -> 5888
980.23/980.41	c learnt constraints deletion: 11791 -> 5900
983.82/984.00	c learnt constraints deletion: 11793 -> 5901
987.42/987.62	c learnt constraints deletion: 11781 -> 5896
990.94/991.19	c learnt constraints deletion: 11789 -> 5898
994.63/994.83	c learnt constraints deletion: 11780 -> 5894
998.12/998.33	c learnt constraints deletion: 11788 -> 5898
1001.84/1002.05	c learnt constraints deletion: 11766 -> 5889
1005.32/1005.53	c learnt constraints deletion: 11792 -> 5901
1009.03/1009.29	c learnt constraints deletion: 11797 -> 5905
1012.33/1012.53	c learnt constraints deletion: 11792 -> 5902
1015.73/1015.92	c learnt constraints deletion: 11796 -> 5899
1019.32/1019.51	c learnt constraints deletion: 11791 -> 5898
1022.73/1022.94	c learnt constraints deletion: 11790 -> 5897
1026.03/1026.25	c learnt constraints deletion: 11770 -> 5889
1029.43/1029.69	c learnt constraints deletion: 11761 -> 5884
1033.02/1033.21	c learnt constraints deletion: 11776 -> 5893
1036.22/1036.47	c learnt constraints deletion: 11786 -> 5895
1039.82/1040.02	c learnt constraints deletion: 11773 -> 5888
1043.42/1043.60	c learnt constraints deletion: 11796 -> 5900
1047.41/1047.69	c learnt constraints deletion: 11792 -> 5899
1051.02/1051.25	c learnt constraints deletion: 11780 -> 5892
1054.91/1055.15	c learnt constraints deletion: 11775 -> 5892
1058.92/1059.10	c learnt constraints deletion: 11789 -> 5897
1063.12/1063.32	c learnt constraints deletion: 12942 -> 6475
1067.71/1067.90	c learnt constraints deletion: 12957 -> 6479
1071.81/1072.07	c learnt constraints deletion: 12943 -> 6473
1075.81/1076.07	c learnt constraints deletion: 12926 -> 6464
1079.91/1080.17	c learnt constraints deletion: 12934 -> 6467
1083.81/1084.05	c learnt constraints deletion: 12915 -> 6459
1088.11/1088.32	c learnt constraints deletion: 12926 -> 6464
1092.41/1092.69	c learnt constraints deletion: 12932 -> 6469
1096.61/1096.81	c learnt constraints deletion: 12944 -> 6472
1100.10/1100.34	c learnt constraints deletion: 12960 -> 6483
1103.81/1104.08	c learnt constraints deletion: 12942 -> 6474
1108.01/1108.22	c learnt constraints deletion: 12951 -> 6477
1112.20/1112.42	c learnt constraints deletion: 12944 -> 6474
1116.31/1116.57	c learnt constraints deletion: 12960 -> 6483
1120.71/1120.98	c learnt constraints deletion: 12959 -> 6484
1125.40/1125.66	c learnt constraints deletion: 12953 -> 6478
1129.61/1129.87	c learnt constraints deletion: 12929 -> 6467
1134.00/1134.29	c learnt constraints deletion: 12942 -> 6473
1138.70/1138.92	c learnt constraints deletion: 12951 -> 6479
1143.30/1143.52	c learnt constraints deletion: 12951 -> 6479
1147.70/1147.97	c learnt constraints deletion: 12927 -> 6468
1151.90/1152.11	c learnt constraints deletion: 12935 -> 6474
1156.20/1156.50	c learnt constraints deletion: 12937 -> 6474
1160.59/1160.85	c learnt constraints deletion: 12911 -> 6461
1165.50/1165.78	c learnt constraints deletion: 12959 -> 6481
1170.40/1170.63	c learnt constraints deletion: 12955 -> 6480
1174.90/1175.10	c learnt constraints deletion: 12927 -> 6466
1180.00/1180.24	c learnt constraints deletion: 12956 -> 6481
1184.50/1184.74	c learnt constraints deletion: 12931 -> 6469
1189.19/1189.48	c learnt constraints deletion: 12952 -> 6481
1193.10/1193.39	c learnt constraints deletion: 12935 -> 6469
1197.40/1197.66	c learnt constraints deletion: 12951 -> 6478
1201.79/1202.06	c learnt constraints deletion: 12947 -> 6476
1205.79/1206.07	c learnt constraints deletion: 12934 -> 6470
1210.29/1210.57	c learnt constraints deletion: 12939 -> 6472
1214.89/1215.16	c learnt constraints deletion: 12921 -> 6464
1219.29/1219.58	c learnt constraints deletion: 12947 -> 6477
1224.58/1224.86	c learnt constraints deletion: 12941 -> 6474
1228.49/1228.75	c learnt constraints deletion: 12920 -> 6464
1232.68/1232.97	c learnt constraints deletion: 12958 -> 6483
1238.39/1238.60	c learnt constraints deletion: 12933 -> 6472
1243.39/1243.65	c learnt constraints deletion: 12932 -> 6470
1247.58/1247.84	c learnt constraints deletion: 12920 -> 6466
1251.79/1252.07	c learnt constraints deletion: 12932 -> 6473
1256.88/1257.12	c learnt constraints deletion: 12938 -> 6478
1261.19/1261.47	c learnt constraints deletion: 12949 -> 6478
1265.58/1265.89	c learnt constraints deletion: 12963 -> 6486
1269.77/1270.07	c learnt constraints deletion: 12940 -> 6473
1273.98/1274.25	c learnt constraints deletion: 12954 -> 6480
1278.27/1278.53	c learnt constraints deletion: 12963 -> 6487
1282.39/1282.68	c learnt constraints deletion: 12954 -> 6481
1287.98/1288.23	c learnt constraints deletion: 12928 -> 6467
1292.37/1292.69	c learnt constraints deletion: 12938 -> 6473
1296.68/1296.94	c learnt constraints deletion: 12927 -> 6469
1301.47/1301.71	c learnt constraints deletion: 12937 -> 6474
1306.27/1306.55	c learnt constraints deletion: 12938 -> 6474
1311.47/1311.74	c learnt constraints deletion: 12961 -> 6488
1315.47/1315.76	c learnt constraints deletion: 12932 -> 6476
1319.68/1319.95	c learnt constraints deletion: 12940 -> 6475
1324.67/1324.94	c learnt constraints deletion: 12942 -> 6477
1329.68/1329.93	c learnt constraints deletion: 12954 -> 6485
1334.17/1334.40	c learnt constraints deletion: 12942 -> 6471
1337.77/1338.05	c learnt constraints deletion: 12951 -> 6477
1341.86/1342.17	c learnt constraints deletion: 12959 -> 6483
1345.87/1346.19	c learnt constraints deletion: 12948 -> 6478
1349.96/1350.27	c learnt constraints deletion: 12953 -> 6478
1353.87/1354.12	c learnt constraints deletion: 12942 -> 6473
1357.97/1358.25	c learnt constraints deletion: 12943 -> 6474
1361.77/1362.09	c learnt constraints deletion: 12949 -> 6479
1365.67/1365.90	c learnt constraints deletion: 12961 -> 6482
1369.96/1370.22	c learnt constraints deletion: 12961 -> 6483
1374.17/1374.43	c learnt constraints deletion: 12959 -> 6482
1378.86/1379.17	c learnt constraints deletion: 12937 -> 6473
1383.35/1383.60	c learnt constraints deletion: 12953 -> 6478
1387.06/1387.39	c learnt constraints deletion: 12944 -> 6474
1391.26/1391.50	c learnt constraints deletion: 12947 -> 6476
1395.96/1396.21	c learnt constraints deletion: 12940 -> 6472
1401.56/1401.83	c learnt constraints deletion: 14219 -> 7113
1406.76/1407.04	c learnt constraints deletion: 14229 -> 7115
1411.96/1412.21	c learnt constraints deletion: 14392 -> 7196
1420.36/1420.63	c learnt constraints deletion: 14351 -> 7178
1429.45/1429.76	c learnt constraints deletion: 14287 -> 7151
1439.45/1439.79	c learnt constraints deletion: 14294 -> 7158
1448.95/1449.21	c learnt constraints deletion: 14285 -> 7148
1458.15/1458.41	c learnt constraints deletion: 14309 -> 7156
1467.45/1467.78	c learnt constraints deletion: 14355 -> 7189
1476.54/1476.87	c learnt constraints deletion: 14371 -> 7190
1486.34/1486.66	c learnt constraints deletion: 14337 -> 7184
1496.44/1496.77	c learnt constraints deletion: 14304 -> 7163
1506.34/1506.69	c learnt constraints deletion: 14296 -> 7154
1516.04/1516.39	c learnt constraints deletion: 14361 -> 7190
1525.63/1525.96	c learnt constraints deletion: 14260 -> 7137
1536.03/1536.39	c learnt constraints deletion: 14228 -> 7123
1545.73/1546.05	c learnt constraints deletion: 14280 -> 7150
1555.63/1555.99	c learnt constraints deletion: 14318 -> 7170
1565.83/1566.18	c learnt constraints deletion: 14240 -> 7135
1575.83/1576.15	c learnt constraints deletion: 14265 -> 7145
1586.33/1586.65	c learnt constraints deletion: 14295 -> 7160
1596.62/1596.92	c learnt constraints deletion: 14302 -> 7163
1606.32/1606.67	c learnt constraints deletion: 14239 -> 7132
1616.22/1616.58	c learnt constraints deletion: 14266 -> 7145
1625.72/1626.05	c learnt constraints deletion: 14272 -> 7150
1635.22/1635.57	c learnt constraints deletion: 14364 -> 7198
1645.02/1645.36	c learnt constraints deletion: 14280 -> 7153
1655.22/1655.59	c learnt constraints deletion: 14305 -> 7157
1664.61/1664.99	c learnt constraints deletion: 14331 -> 7174
1674.32/1674.62	c learnt constraints deletion: 14321 -> 7167
1683.72/1684.06	c learnt constraints deletion: 14327 -> 7171
1693.41/1693.78	c learnt constraints deletion: 14336 -> 7182
1703.01/1703.36	c learnt constraints deletion: 14307 -> 7164
1712.80/1713.14	c learnt constraints deletion: 14353 -> 7183
1722.21/1722.59	c learnt constraints deletion: 14279 -> 7144
1732.21/1732.51	c learnt constraints deletion: 14306 -> 7159
1742.01/1742.35	c learnt constraints deletion: 14322 -> 7165
1751.60/1751.94	c learnt constraints deletion: 14271 -> 7139
1761.50/1761.86	c learnt constraints deletion: 14266 -> 7137
1771.50/1771.80	c learnt constraints deletion: 14247 -> 7128
1780.89/1781.25	c learnt constraints deletion: 14347 -> 7177
1790.09/1790.47	c learnt constraints deletion: 14246 -> 7126
1799.09/1799.46	c learnt constraints deletion: 14226 -> 7119

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-3725078-1338633311/watcher-3725078-1338633311 -o /tmp/evaluation-result-3725078-1338633311/solver-3725078-1338633311 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725078-1338633311.opb 

running on 4 cores: 0,2,4,6

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.94 2.03 1.71 3/176 25998
/proc/meminfo: memFree=26816712/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=7248 CPUtime=0 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 842 0 0 0 0 0 0 0 20 0 1 0 329455478 7421952 762 33554432000 4194304 8989770 140733249704976 140736797080824 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 1812 762 429 1171 0 589 0

[startup+0.0452869 s]
/proc/loadavg: 1.94 2.03 1.71 3/176 25998
/proc/meminfo: memFree=26816712/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=9296 CPUtime=0.04 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 1603 0 0 0 4 0 0 0 20 0 1 0 329455478 9519104 1523 33554432000 4194304 8989770 140733249704976 140736797080824 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 2324 1524 431 1171 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9296

[startup+0.100288 s]
/proc/loadavg: 1.94 2.03 1.71 3/176 25998
/proc/meminfo: memFree=26816712/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=13392 CPUtime=0.09 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 2511 0 0 0 9 0 0 0 20 0 1 0 329455478 13713408 2431 33554432000 4194304 8989770 140733249704976 140736797080824 6800584 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 3348 2431 433 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392

[startup+0.300276 s]
/proc/loadavg: 1.94 2.03 1.71 3/176 25998
/proc/meminfo: memFree=26816712/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=15440 CPUtime=0.29 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 3184 0 0 0 29 0 0 0 20 0 1 0 329455478 15810560 3104 33554432000 4194304 8989770 140733249704976 140736797080824 4209332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 3860 3104 473 1171 0 2637 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15440

[startup+0.700263 s]
/proc/loadavg: 1.94 2.03 1.71 3/176 25998
/proc/meminfo: memFree=26816712/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=16464 CPUtime=0.69 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 3440 0 0 0 68 1 0 0 20 0 1 0 329455478 16859136 3360 33554432000 4194304 8989770 140733249704976 140736797080824 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 4116 3360 473 1171 0 2893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16464

[startup+1.50029 s]
/proc/loadavg: 1.94 2.03 1.71 3/177 25999
/proc/meminfo: memFree=26804560/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=18512 CPUtime=1.49 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 3952 0 0 0 148 1 0 0 20 0 1 0 329455478 18956288 3872 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 4628 3872 473 1171 0 3405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18512

[startup+3.10028 s]
/proc/loadavg: 1.94 2.03 1.71 3/177 25999
/proc/meminfo: memFree=26801948/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=21584 CPUtime=3.09 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 4726 0 0 0 307 2 0 0 20 0 1 0 329455478 22102016 4646 33554432000 4194304 8989770 140733249704976 140733249704240 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 5396 4646 475 1171 0 4173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21584

[startup+6.30029 s]
/proc/loadavg: 1.94 2.03 1.71 3/177 25999
/proc/meminfo: memFree=26795748/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=25680 CPUtime=6.29 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 5750 0 0 0 626 3 0 0 20 0 1 0 329455478 26296320 5670 33554432000 4194304 8989770 140733249704976 140733249704240 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 6420 5670 475 1171 0 5197 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25680

[startup+12.7003 s]
/proc/loadavg: 1.95 2.03 1.71 3/177 25999
/proc/meminfo: memFree=26790292/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=30800 CPUtime=12.69 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 7033 0 0 0 1263 6 0 0 20 0 1 0 329455478 31539200 6950 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 7700 6950 475 1171 0 6477 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30800

[startup+25.5003 s]
/proc/loadavg: 1.96 2.03 1.72 3/177 25999
/proc/meminfo: memFree=26785508/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=35920 CPUtime=25.48 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 8316 0 0 0 2535 13 0 0 20 0 1 0 329455478 36782080 8230 33554432000 4194304 8989770 140733249704976 140733249704240 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 8980 8230 475 1171 0 7757 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35920

[startup+51.1003 s]
/proc/loadavg: 1.91 2.01 1.72 3/178 26039
/proc/meminfo: memFree=26794408/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=38992 CPUtime=51.08 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 9084 0 0 0 5085 23 0 0 20 0 1 0 329455478 39927808 8998 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 9748 8998 475 1171 0 8525 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38992

[startup+102.306 s]
/proc/loadavg: 2.01 2.02 1.74 3/178 26039
/proc/meminfo: memFree=26739224/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=46160 CPUtime=102.28 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 10876 0 0 0 10183 45 0 0 20 0 1 0 329455478 47267840 10790 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 11540 10790 475 1171 0 10317 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 46160

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 1.75 3/177 26040
/proc/meminfo: memFree=26706840/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=50256 CPUtime=162.26 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 11904 0 0 0 16152 74 0 0 20 0 1 0 329455478 51462144 11814 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 12564 11814 475 1171 0 11341 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 50256

[startup+222.3 s]
/proc/loadavg: 2.10 2.04 1.77 3/177 26040
/proc/meminfo: memFree=26688328/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=50256 CPUtime=222.25 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 13696 0 0 0 22126 99 0 0 20 0 1 0 329455478 51462144 11814 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 12564 11814 475 1171 0 11341 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 50256

[startup+282.3 s]
/proc/loadavg: 2.03 2.03 1.78 3/177 26040
/proc/meminfo: memFree=26661044/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=46160 CPUtime=282.24 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 13952 0 0 0 28103 121 0 0 20 0 1 0 329455478 47267840 10790 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 11540 10790 475 1171 0 10317 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 46160

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 1.79 3/178 26043
/proc/meminfo: memFree=26620724/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=52304 CPUtime=342.23 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 15488 0 0 0 34080 143 0 0 20 0 1 0 329455478 53559296 12326 33554432000 4194304 8989770 140733249704976 140733249704472 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 13076 12326 475 1171 0 11853 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 52304

[startup+402.3 s]
/proc/loadavg: 2.08 2.03 1.81 3/177 26043
/proc/meminfo: memFree=26613604/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=55376 CPUtime=402.22 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 16256 0 0 0 40055 167 0 0 20 0 1 0 329455478 56705024 13094 33554432000 4194304 8989770 140733249704976 140733249704240 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 13844 13094 475 1171 0 12621 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 55376

[startup+462.3 s]
/proc/loadavg: 2.16 2.06 1.83 3/177 26044
/proc/meminfo: memFree=26602684/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=58448 CPUtime=462.21 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 17536 0 0 0 46030 191 0 0 20 0 1 0 329455478 59850752 13862 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 14612 13862 475 1171 0 13389 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 58448

[startup+522.3 s]
/proc/loadavg: 2.06 2.04 1.84 3/177 26044
/proc/meminfo: memFree=26626144/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=36944 CPUtime=522.21 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 19328 0 0 0 51991 230 0 0 20 0 1 0 329455478 37830656 8486 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 9236 8486 475 1171 0 8013 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 36944

[startup+582.3 s]
/proc/loadavg: 2.02 2.03 1.84 3/177 26044
/proc/meminfo: memFree=26623144/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=40016 CPUtime=582.2 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 20098 0 0 0 57952 268 0 0 20 0 1 0 329455478 40976384 9254 33554432000 4194304 8989770 140733249704976 140733249704240 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 10004 9254 475 1171 0 8781 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 40016

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/177 26045
/proc/meminfo: memFree=26607136/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=46160 CPUtime=822.15 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 22661 0 0 0 81810 405 0 0 20 0 1 0 329455478 47267840 10790 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 11540 10790 475 1171 0 10317 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 46160

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 26045
/proc/meminfo: memFree=26606948/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=46160 CPUtime=882.15 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 23173 0 0 0 87777 438 0 0 20 0 1 0 329455478 47267840 10790 33554432000 4194304 8989770 140733249704976 140733249704472 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 11540 10790 475 1171 0 10317 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 46160

[startup+942.3 s]
/proc/loadavg: 2.15 2.03 1.89 3/178 26048
/proc/meminfo: memFree=26606944/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=46160 CPUtime=942.14 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 25989 0 0 0 93743 471 0 0 20 0 1 0 329455478 47267840 10790 33554432000 4194304 8989770 140733249704976 140733249702912 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 11540 10790 475 1171 0 10317 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 46160

[startup+1002.3 s]
/proc/loadavg: 2.05 2.02 1.90 3/177 26048
/proc/meminfo: memFree=26603792/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=50256 CPUtime=1002.13 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 27525 0 0 0 99709 504 0 0 20 0 1 0 329455478 51462144 11814 33554432000 4194304 8989770 140733249704976 140733249704240 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 12564 11814 475 1171 0 11341 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 50256

[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 1.90 3/177 26049
/proc/meminfo: memFree=26605448/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=48208 CPUtime=1062.11 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 28809 0 0 0 105676 535 0 0 20 0 1 0 329455478 49364992 11302 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 12052 11302 475 1171 0 10829 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 48208

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 26049
/proc/meminfo: memFree=26602660/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=50256 CPUtime=1122.1 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 30345 0 0 0 111644 566 0 0 20 0 1 0 329455478 51462144 11814 33554432000 4194304 8989770 140733249704976 140733249704240 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 12564 11814 475 1171 0 11341 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 50256

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 26049
/proc/meminfo: memFree=26602848/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=50256 CPUtime=1182.1 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 31369 0 0 0 117612 598 0 0 20 0 1 0 329455478 51462144 11814 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 12564 11814 475 1171 0 11341 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 50256

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 26049
/proc/meminfo: memFree=26602900/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=50256 CPUtime=1242.09 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 34443 0 0 0 123577 632 0 0 20 0 1 0 329455478 51462144 11814 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 12564 11814 475 1171 0 11341 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 50256

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 26049
/proc/meminfo: memFree=26601972/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=50256 CPUtime=1302.08 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 36747 0 0 0 129543 665 0 0 20 0 1 0 329455478 51462144 11814 33554432000 4194304 8989770 140733249704976 140733249704240 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 12564 11814 475 1171 0 11341 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 50256

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 26050
/proc/meminfo: memFree=26602532/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=50256 CPUtime=1362.06 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 37771 0 0 0 135510 696 0 0 20 0 1 0 329455478 51462144 11814 33554432000 4194304 8989770 140733249704976 140733249704240 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 12564 11814 475 1171 0 11341 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 50256

[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 26050
/proc/meminfo: memFree=26592528/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=50256 CPUtime=1422.06 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 40593 0 0 0 141481 725 0 0 20 0 1 0 329455478 51462144 11814 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 12564 11814 475 1171 0 11341 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 50256

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 26050
/proc/meminfo: memFree=26581804/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=57424 CPUtime=1482.05 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 43665 0 0 0 147462 743 0 0 20 0 1 0 329455478 58802176 13606 33554432000 4194304 8989770 140733249704976 140733249704240 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 14356 13606 475 1171 0 13133 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 57424

[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 1.92 3/178 26053
/proc/meminfo: memFree=26580296/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=58448 CPUtime=1542.03 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 45713 0 0 0 153442 761 0 0 20 0 1 0 329455478 59850752 13862 33554432000 4194304 8989770 140733249704976 140733249704240 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 14612 13862 475 1171 0 13389 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 58448

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 26076
/proc/meminfo: memFree=26579840/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=58448 CPUtime=1602.02 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 45713 0 0 0 159418 784 0 0 20 0 1 0 329455478 59850752 13862 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 14612 13862 475 1171 0 13389 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 58448

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 26077
/proc/meminfo: memFree=26579972/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=58448 CPUtime=1662.02 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 45713 0 0 0 165398 804 0 0 20 0 1 0 329455478 59850752 13862 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 14612 13862 475 1171 0 13389 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 58448

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 26077
/proc/meminfo: memFree=26575012/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=62544 CPUtime=1722 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 47249 0 0 0 171376 824 0 0 20 0 1 0 329455478 64045056 14886 33554432000 4194304 8989770 140733249704976 140733249702976 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 15636 14886 475 1171 0 14413 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 62544

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 26077
/proc/meminfo: memFree=26582760/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=54352 CPUtime=1781.99 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 47508 0 0 0 177355 844 0 0 20 0 1 0 329455478 55656448 12838 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 13588 12838 475 1171 0 12365 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 54352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.05 2.01 1.93 3/177 26077
/proc/meminfo: memFree=26581024/32873844 swapFree=7628/7628
[pid=25998] ppid=25996 vsize=56400 CPUtime=1800.1 cores=0,2,4,6
/proc/25998/stat : 25998 (toysat) R 25996 25998 25747 0 -1 4202496 48020 0 0 0 179160 850 0 0 20 0 1 0 329455478 57753600 13350 33554432000 4194304 8989770 140733249704976 140733249704472 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/25998/statm: 14100 13350 475 1171 0 12877 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 56400

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1791.6
CPU system time (s): 8.50571
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 64592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.6
system time used= 8.50571
maximum resident set size= 61592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48020
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= 33
involuntary context switches= 1849

runsolver used 3.31949 second user time and 8.78466 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-02 12:35:11
IDJOB=3725078
IDBENCH=2007
IDSOLVER=2308
FILE ID=node145/3725078-1338633311
RUNJOBID= node145-1338631507-25763
PBS_JOBID= 14636435
Free space on /tmp= 70920 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725078-1338633311/watcher-3725078-1338633311 -o /tmp/evaluation-result-3725078-1338633311/solver-3725078-1338633311 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725078-1338633311.opb

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

MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6
RANDOM SEED=2072928562

node145.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.149
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.29
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.149
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		: 2667.149
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	: 5313.38
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.149
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		: 2667.149
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		: 2667.149
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		: 2667.149
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		: 2667.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26816984 kB
Buffers:          419676 kB
Cached:          4723092 kB
SwapCached:            0 kB
Active:          1639872 kB
Inactive:        3564976 kB
Active(anon):      53384 kB
Inactive(anon):    10928 kB
Active(file):    1586488 kB
Inactive(file):  3554048 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7400 kB
Writeback:             8 kB
AnonPages:         69200 kB
Mapped:            16004 kB
Shmem:               200 kB
Slab:             714196 kB
SReclaimable:     155824 kB
SUnreclaim:       558372 kB
KernelStack:        1448 kB
PageTables:         3740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     175596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70912 MiB
End job on node145 at 2012-06-02 13:05:14