Trace number 3706705

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-05-17? (TO) 1800.1 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.14	c 2012-05-27T12:35:39+0200
0.09/0.14	c arch = x86_64
0.09/0.14	c os = linux
0.09/0.14	c compiler = ghc 7.4
0.09/0.14	c packages:
0.09/0.14	c   OptDir-0.0.1
0.09/0.14	c   array-0.4.0.0
0.09/0.14	c   base-4.5.0.0
0.09/0.14	c   bytestring-0.9.2.1
0.09/0.14	c   containers-0.4.2.1
0.09/0.14	c   deepseq-1.3.0.0
0.09/0.14	c   mtl-2.1.1
0.09/0.14	c   old_locale-1.0.0.4
0.09/0.14	c   parse_dimacs-1.2
0.09/0.14	c   parsec-3.1.2
0.09/0.14	c   queue-0.1.2
0.09/0.14	c   stm-2.3
0.09/0.14	c   time-1.4
0.09/0.14	c command line = ["--pb","HOME/instance-3706705-1338114939.opb"]
0.09/0.14	c #vars 540
0.09/0.14	c #constraints 4476
0.09/0.14	c Solving starts ...
0.09/0.17	c solving time = 0.032s
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.19	c solving time = 0.005s
0.09/0.19	c #decision = 674
0.09/0.19	c #conflict = 151
0.09/0.19	c #restart = 1
0.09/0.19	o 70
0.09/0.19	c Solving starts ...
2.89/2.99	c learnt constraints deletion: 3313 -> 1658
5.09/5.19	c learnt constraints deletion: 3980 -> 1990
7.18/7.21	c learnt constraints deletion: 3925 -> 1965
9.38/9.48	c learnt constraints deletion: 4325 -> 2164
11.99/12.01	c learnt constraints deletion: 4691 -> 2346
14.39/14.42	c learnt constraints deletion: 4667 -> 2336
16.98/17.09	c learnt constraints deletion: 4726 -> 2365
19.98/20.04	c learnt constraints deletion: 5120 -> 2562
22.68/22.79	c learnt constraints deletion: 5175 -> 2594
25.78/25.81	c learnt constraints deletion: 5221 -> 2619
28.78/28.86	c learnt constraints deletion: 5735 -> 2871
31.58/31.65	c learnt constraints deletion: 5662 -> 2838
34.57/34.65	c learnt constraints deletion: 5635 -> 2821
37.58/37.61	c learnt constraints deletion: 5637 -> 2822
40.98/41.09	c learnt constraints deletion: 6243 -> 3122
44.57/44.60	c learnt constraints deletion: 6213 -> 3108
47.88/47.97	c learnt constraints deletion: 6148 -> 3077
51.37/51.45	c learnt constraints deletion: 6092 -> 3050
55.08/55.12	c learnt constraints deletion: 6210 -> 3109
58.57/58.66	c learnt constraints deletion: 6145 -> 3078
62.86/62.90	c learnt constraints deletion: 6753 -> 3377
66.07/66.17	c learnt constraints deletion: 6835 -> 3420
69.67/69.80	c learnt constraints deletion: 6820 -> 3412
73.26/73.39	c learnt constraints deletion: 6768 -> 3388
77.07/77.15	c learnt constraints deletion: 6797 -> 3406
80.87/80.98	c learnt constraints deletion: 6810 -> 3412
84.26/84.38	c learnt constraints deletion: 6735 -> 3370
87.76/87.84	c learnt constraints deletion: 6720 -> 3368
91.57/91.62	c learnt constraints deletion: 6847 -> 3429
95.86/95.91	c learnt constraints deletion: 7475 -> 3741
99.76/99.89	c learnt constraints deletion: 7412 -> 3720
103.96/104.00	c learnt constraints deletion: 7396 -> 3712
108.06/108.19	c learnt constraints deletion: 7458 -> 3744
112.35/112.43	c learnt constraints deletion: 7484 -> 3756
116.35/116.40	c learnt constraints deletion: 7454 -> 3745
120.16/120.23	c learnt constraints deletion: 7405 -> 3721
124.46/124.59	c learnt constraints deletion: 7548 -> 3792
128.55/128.68	c learnt constraints deletion: 7411 -> 3726
132.75/132.80	c learnt constraints deletion: 7461 -> 3746
137.16/137.27	c learnt constraints deletion: 7446 -> 3745
142.05/142.12	c learnt constraints deletion: 8013 -> 4007
146.25/146.37	c learnt constraints deletion: 8125 -> 4068
150.66/150.74	c learnt constraints deletion: 8139 -> 4081
155.25/155.35	c learnt constraints deletion: 8157 -> 4091
160.15/160.25	c learnt constraints deletion: 8139 -> 4079
164.85/164.99	c learnt constraints deletion: 8187 -> 4104
169.84/169.97	c learnt constraints deletion: 8167 -> 4093
174.75/174.80	c learnt constraints deletion: 8154 -> 4087
179.35/179.42	c learnt constraints deletion: 8161 -> 4091
183.66/183.79	c learnt constraints deletion: 8172 -> 4104
188.35/188.41	c learnt constraints deletion: 8192 -> 4114
193.15/193.20	c learnt constraints deletion: 8193 -> 4107
198.15/198.24	c learnt constraints deletion: 8144 -> 4085
203.24/203.33	c learnt constraints deletion: 8149 -> 4085
208.04/208.16	c learnt constraints deletion: 8185 -> 4104
213.14/213.21	c learnt constraints deletion: 8180 -> 4104
218.44/218.56	c learnt constraints deletion: 8839 -> 4420
220.64/220.78	c learnt constraints deletion: 8996 -> 4498
223.04/223.12	c learnt constraints deletion: 8923 -> 4462
227.14/227.24	c learnt constraints deletion: 8917 -> 4464
232.34/232.49	c learnt constraints deletion: 9057 -> 4537
237.13/237.26	c learnt constraints deletion: 9067 -> 4538
242.04/242.11	c learnt constraints deletion: 8929 -> 4469
247.24/247.31	c learnt constraints deletion: 8927 -> 4472
252.53/252.60	c learnt constraints deletion: 8950 -> 4480
257.63/257.76	c learnt constraints deletion: 9081 -> 4553
262.94/263.00	c learnt constraints deletion: 8927 -> 4469
268.13/268.24	c learnt constraints deletion: 8894 -> 4455
273.53/273.63	c learnt constraints deletion: 9000 -> 4507
279.03/279.11	c learnt constraints deletion: 9016 -> 4515
284.03/284.11	c learnt constraints deletion: 8843 -> 4426
289.33/289.44	c learnt constraints deletion: 9031 -> 4525
294.63/294.70	c learnt constraints deletion: 8884 -> 4445
299.82/299.99	c learnt constraints deletion: 8944 -> 4478
305.02/305.19	c learnt constraints deletion: 8911 -> 4461
310.23/310.38	c learnt constraints deletion: 9020 -> 4513
315.43/315.55	c learnt constraints deletion: 9037 -> 4526
320.32/320.45	c learnt constraints deletion: 9004 -> 4505
326.42/326.55	c learnt constraints deletion: 9847 -> 4926
331.82/331.99	c learnt constraints deletion: 9836 -> 4919
337.32/337.46	c learnt constraints deletion: 9757 -> 4883
343.62/343.76	c learnt constraints deletion: 9764 -> 4884
349.32/349.45	c learnt constraints deletion: 9849 -> 4930
355.12/355.25	c learnt constraints deletion: 9876 -> 4946
361.11/361.20	c learnt constraints deletion: 9842 -> 4923
367.02/367.19	c learnt constraints deletion: 9870 -> 4939
373.32/373.44	c learnt constraints deletion: 9886 -> 4962
379.31/379.42	c learnt constraints deletion: 9930 -> 4969
385.21/385.32	c learnt constraints deletion: 9829 -> 4922
390.81/390.98	c learnt constraints deletion: 9916 -> 4964
396.81/396.93	c learnt constraints deletion: 9892 -> 4952
402.52/402.61	c learnt constraints deletion: 9887 -> 4953
408.31/408.41	c learnt constraints deletion: 9847 -> 4933
414.41/414.55	c learnt constraints deletion: 9860 -> 4937
420.11/420.25	c learnt constraints deletion: 9856 -> 4936
425.90/426.03	c learnt constraints deletion: 9821 -> 4921
431.60/431.77	c learnt constraints deletion: 9849 -> 4933
437.81/437.92	c learnt constraints deletion: 9900 -> 4963
443.90/444.04	c learnt constraints deletion: 9815 -> 4921
450.10/450.23	c learnt constraints deletion: 9915 -> 4972
455.90/456.07	c learnt constraints deletion: 9837 -> 4927
462.10/462.23	c learnt constraints deletion: 9834 -> 4929
468.10/468.22	c learnt constraints deletion: 9868 -> 4941
471.20/471.32	c solving time = 471.043s
471.20/471.32	c #decision = 514402
471.20/471.32	c #conflict = 417814
471.20/471.32	c #restart = 19
471.20/471.32	o 66
471.20/471.32	c Solving starts ...
471.20/471.36	c learnt constraints deletion: 7592 -> 3796
471.20/471.37	c learnt constraints deletion: 3796 -> 1898
471.20/471.37	c learnt constraints deletion: 1898 -> 949
472.80/472.93	c learnt constraints deletion: 2958 -> 1483
473.90/474.03	c learnt constraints deletion: 3492 -> 1746
474.89/475.00	c learnt constraints deletion: 3843 -> 1922
476.00/476.12	c learnt constraints deletion: 4197 -> 2099
477.00/477.13	c learnt constraints deletion: 4203 -> 2104
478.30/478.41	c learnt constraints deletion: 4627 -> 2314
479.50/479.61	c learnt constraints deletion: 4630 -> 2315
481.00/481.14	c learnt constraints deletion: 5063 -> 2532
482.29/482.49	c learnt constraints deletion: 5072 -> 2537
483.60/483.77	c learnt constraints deletion: 5074 -> 2538
485.10/485.29	c learnt constraints deletion: 5565 -> 2784
486.70/486.80	c learnt constraints deletion: 5543 -> 2773
488.40/488.51	c learnt constraints deletion: 5557 -> 2779
489.89/490.08	c learnt constraints deletion: 5561 -> 2781
491.70/491.88	c learnt constraints deletion: 5579 -> 2791
493.90/494.02	c learnt constraints deletion: 6095 -> 3048
495.89/496.01	c learnt constraints deletion: 6113 -> 3060
497.79/497.91	c learnt constraints deletion: 6116 -> 3060
499.79/499.99	c learnt constraints deletion: 6112 -> 3056
501.89/502.08	c learnt constraints deletion: 6103 -> 3054
503.99/504.11	c learnt constraints deletion: 6099 -> 3053
506.20/506.32	c learnt constraints deletion: 6680 -> 3340
508.10/508.30	c learnt constraints deletion: 6682 -> 3341
510.29/510.48	c learnt constraints deletion: 6690 -> 3346
512.39/512.53	c learnt constraints deletion: 6716 -> 3358
514.09/514.22	c learnt constraints deletion: 6709 -> 3356
516.09/516.21	c learnt constraints deletion: 6686 -> 3345
518.10/518.25	c learnt constraints deletion: 6703 -> 3355
520.09/520.29	c learnt constraints deletion: 6706 -> 3354
521.69/521.83	c learnt constraints deletion: 6704 -> 3354
523.78/523.97	c learnt constraints deletion: 7353 -> 3678
525.69/525.90	c learnt constraints deletion: 7367 -> 3687
527.89/528.04	c learnt constraints deletion: 7369 -> 3687
530.19/530.38	c learnt constraints deletion: 7355 -> 3683
532.30/532.42	c learnt constraints deletion: 7373 -> 3688
534.18/534.31	c learnt constraints deletion: 7376 -> 3689
536.28/536.42	c learnt constraints deletion: 7375 -> 3690
538.29/538.47	c learnt constraints deletion: 7353 -> 3679
540.39/540.59	c learnt constraints deletion: 7375 -> 3693
542.29/542.46	c learnt constraints deletion: 7361 -> 3684
544.18/544.38	c learnt constraints deletion: 7357 -> 3680
546.60/546.72	c learnt constraints deletion: 8082 -> 4043
548.79/548.91	c learnt constraints deletion: 8096 -> 4049
550.99/551.13	c learnt constraints deletion: 8082 -> 4042
553.19/553.39	c learnt constraints deletion: 8085 -> 4045
555.39/555.54	c learnt constraints deletion: 8068 -> 4034
557.78/557.91	c learnt constraints deletion: 8090 -> 4046
560.08/560.21	c learnt constraints deletion: 8077 -> 4042
562.28/562.44	c learnt constraints deletion: 8102 -> 4054
564.69/564.86	c learnt constraints deletion: 8111 -> 4057
566.98/567.19	c learnt constraints deletion: 8090 -> 4046
569.28/569.45	c learnt constraints deletion: 8104 -> 4053
571.48/571.69	c learnt constraints deletion: 8109 -> 4059
573.88/574.09	c learnt constraints deletion: 8109 -> 4058
576.39/576.52	c learnt constraints deletion: 8095 -> 4052
578.59/578.79	c learnt constraints deletion: 8116 -> 4065
580.88/581.08	c learnt constraints deletion: 8106 -> 4055
583.68/583.88	c learnt constraints deletion: 8889 -> 4448
586.48/586.63	c learnt constraints deletion: 8878 -> 4441
589.27/589.45	c learnt constraints deletion: 8898 -> 4449
592.08/592.22	c learnt constraints deletion: 8862 -> 4433
594.38/594.51	c learnt constraints deletion: 8876 -> 4439
596.68/596.87	c learnt constraints deletion: 8868 -> 4436
598.98/599.15	c learnt constraints deletion: 8875 -> 4439
601.58/601.77	c learnt constraints deletion: 8873 -> 4439
603.78/603.94	c learnt constraints deletion: 8867 -> 4439
606.18/606.31	c learnt constraints deletion: 8879 -> 4443
608.48/608.69	c learnt constraints deletion: 8898 -> 4449
611.07/611.20	c learnt constraints deletion: 8883 -> 4444
613.58/613.74	c learnt constraints deletion: 8898 -> 4451
616.17/616.31	c learnt constraints deletion: 8907 -> 4458
618.77/618.91	c learnt constraints deletion: 8906 -> 4458
621.27/621.46	c learnt constraints deletion: 8906 -> 4456
623.77/623.99	c learnt constraints deletion: 8883 -> 4447
626.07/626.22	c learnt constraints deletion: 8881 -> 4442
628.47/628.61	c learnt constraints deletion: 8882 -> 4443
630.77/630.99	c learnt constraints deletion: 8881 -> 4444
633.48/633.63	c learnt constraints deletion: 8895 -> 4454
635.87/636.06	c learnt constraints deletion: 8875 -> 4442
639.08/639.22	c learnt constraints deletion: 9763 -> 4888
641.97/642.12	c learnt constraints deletion: 9746 -> 4876
644.97/645.17	c learnt constraints deletion: 9766 -> 4883
648.17/648.36	c learnt constraints deletion: 9763 -> 4884
650.67/650.83	c learnt constraints deletion: 9797 -> 4901
653.37/653.55	c learnt constraints deletion: 9760 -> 4883
656.27/656.41	c learnt constraints deletion: 9773 -> 4891
659.27/659.40	c learnt constraints deletion: 9774 -> 4888
662.27/662.43	c learnt constraints deletion: 9755 -> 4880
665.06/665.21	c learnt constraints deletion: 9760 -> 4882
668.16/668.34	c learnt constraints deletion: 9753 -> 4878
671.06/671.28	c learnt constraints deletion: 9770 -> 4887
673.96/674.15	c learnt constraints deletion: 9769 -> 4888
676.77/676.95	c learnt constraints deletion: 9786 -> 4897
679.56/679.78	c learnt constraints deletion: 9762 -> 4883
682.36/682.56	c learnt constraints deletion: 9776 -> 4890
685.46/685.62	c learnt constraints deletion: 9751 -> 4879
688.27/688.47	c learnt constraints deletion: 9775 -> 4890
691.27/691.46	c learnt constraints deletion: 9750 -> 4878
693.97/694.19	c learnt constraints deletion: 9773 -> 4891
696.76/696.98	c learnt constraints deletion: 9749 -> 4880
699.66/699.84	c learnt constraints deletion: 9781 -> 4896
702.77/702.90	c learnt constraints deletion: 9782 -> 4895
705.66/705.85	c learnt constraints deletion: 9750 -> 4879
708.86/709.05	c learnt constraints deletion: 9774 -> 4887
711.76/711.91	c learnt constraints deletion: 9759 -> 4881
714.76/714.94	c learnt constraints deletion: 9783 -> 4894
717.46/717.67	c learnt constraints deletion: 9777 -> 4894
720.46/720.64	c learnt constraints deletion: 9765 -> 4886
723.76/723.94	c learnt constraints deletion: 9760 -> 4882
727.16/727.34	c learnt constraints deletion: 10721 -> 5363
730.15/730.38	c learnt constraints deletion: 10723 -> 5362
733.16/733.38	c learnt constraints deletion: 10733 -> 5368
736.25/736.43	c learnt constraints deletion: 10734 -> 5369
739.25/739.42	c learnt constraints deletion: 10710 -> 5357
742.46/742.64	c learnt constraints deletion: 10731 -> 5366
745.66/745.85	c learnt constraints deletion: 10744 -> 5374
749.35/749.53	c learnt constraints deletion: 10722 -> 5362
752.76/752.98	c learnt constraints deletion: 10735 -> 5370
756.05/756.22	c learnt constraints deletion: 10723 -> 5364
759.15/759.39	c learnt constraints deletion: 10733 -> 5371
762.05/762.25	c learnt constraints deletion: 10739 -> 5374
765.35/765.59	c learnt constraints deletion: 10739 -> 5375
769.05/769.21	c learnt constraints deletion: 10734 -> 5371
772.55/772.73	c learnt constraints deletion: 10724 -> 5367
776.25/776.40	c learnt constraints deletion: 10721 -> 5367
779.55/779.77	c learnt constraints deletion: 10726 -> 5363
782.54/782.72	c learnt constraints deletion: 10733 -> 5368
785.85/786.08	c learnt constraints deletion: 10732 -> 5368
789.24/789.40	c learnt constraints deletion: 10722 -> 5363
791.95/792.19	c learnt constraints deletion: 10739 -> 5371
795.16/795.30	c learnt constraints deletion: 10728 -> 5366
798.65/798.83	c learnt constraints deletion: 10721 -> 5364
801.85/802.05	c learnt constraints deletion: 10748 -> 5379
805.15/805.34	c learnt constraints deletion: 10729 -> 5371
808.25/808.46	c learnt constraints deletion: 10729 -> 5367
811.65/811.85	c learnt constraints deletion: 10734 -> 5370
814.84/815.03	c learnt constraints deletion: 10708 -> 5357
818.25/818.43	c learnt constraints deletion: 10737 -> 5373
821.45/821.60	c learnt constraints deletion: 10740 -> 5374
824.74/824.99	c learnt constraints deletion: 10725 -> 5369
827.95/828.10	c learnt constraints deletion: 10720 -> 5361
831.04/831.23	c learnt constraints deletion: 10730 -> 5367
834.04/834.20	c learnt constraints deletion: 10732 -> 5369
837.24/837.47	c learnt constraints deletion: 10726 -> 5367
840.64/840.86	c learnt constraints deletion: 10737 -> 5374
843.73/843.98	c learnt constraints deletion: 10714 -> 5361
847.34/847.53	c learnt constraints deletion: 10727 -> 5366
850.54/850.74	c learnt constraints deletion: 10737 -> 5372
853.64/853.83	c learnt constraints deletion: 10740 -> 5374
856.93/857.19	c learnt constraints deletion: 10708 -> 5357
861.24/861.44	c learnt constraints deletion: 11784 -> 5895
864.94/865.19	c learnt constraints deletion: 11802 -> 5902
868.54/868.75	c learnt constraints deletion: 11784 -> 5894
871.74/871.91	c learnt constraints deletion: 11783 -> 5893
875.03/875.29	c learnt constraints deletion: 11775 -> 5890
878.54/878.75	c learnt constraints deletion: 11798 -> 5902
882.53/882.77	c learnt constraints deletion: 11797 -> 5901
886.13/886.32	c learnt constraints deletion: 11785 -> 5896
889.93/890.12	c learnt constraints deletion: 11772 -> 5890
893.23/893.43	c learnt constraints deletion: 11792 -> 5900
896.53/896.72	c learnt constraints deletion: 11784 -> 5897
899.83/900.04	c learnt constraints deletion: 11767 -> 5884
903.53/903.71	c learnt constraints deletion: 11778 -> 5890
907.23/907.48	c learnt constraints deletion: 11778 -> 5891
910.73/910.92	c learnt constraints deletion: 11758 -> 5881
914.23/914.46	c learnt constraints deletion: 11796 -> 5899
917.73/917.95	c learnt constraints deletion: 11780 -> 5892
921.33/921.51	c learnt constraints deletion: 11795 -> 5901
925.03/925.26	c learnt constraints deletion: 11800 -> 5904
928.72/928.99	c learnt constraints deletion: 11782 -> 5895
933.33/933.55	c learnt constraints deletion: 11786 -> 5896
937.42/937.61	c learnt constraints deletion: 11772 -> 5888
941.73/941.90	c learnt constraints deletion: 11788 -> 5898
945.22/945.48	c learnt constraints deletion: 11783 -> 5892
948.72/948.92	c learnt constraints deletion: 11782 -> 5893
952.12/952.37	c learnt constraints deletion: 11766 -> 5885
956.32/956.50	c learnt constraints deletion: 11801 -> 5902
959.72/960.00	c learnt constraints deletion: 11772 -> 5887
963.53/963.78	c learnt constraints deletion: 11796 -> 5900
966.73/966.99	c learnt constraints deletion: 11776 -> 5892
970.32/970.53	c learnt constraints deletion: 11799 -> 5903
974.11/974.32	c learnt constraints deletion: 11792 -> 5900
977.62/977.83	c learnt constraints deletion: 11770 -> 5888
981.31/981.54	c learnt constraints deletion: 11791 -> 5900
984.91/985.12	c learnt constraints deletion: 11793 -> 5901
988.52/988.73	c learnt constraints deletion: 11781 -> 5896
992.02/992.29	c learnt constraints deletion: 11789 -> 5898
995.71/995.90	c learnt constraints deletion: 11780 -> 5894
999.11/999.39	c learnt constraints deletion: 11788 -> 5898
1002.91/1003.10	c learnt constraints deletion: 11766 -> 5889
1006.32/1006.57	c learnt constraints deletion: 11792 -> 5901
1010.11/1010.33	c learnt constraints deletion: 11797 -> 5905
1013.32/1013.58	c learnt constraints deletion: 11792 -> 5902
1016.72/1016.97	c learnt constraints deletion: 11796 -> 5899
1020.31/1020.55	c learnt constraints deletion: 11791 -> 5898
1023.71/1023.98	c learnt constraints deletion: 11790 -> 5897
1027.11/1027.31	c learnt constraints deletion: 11770 -> 5889
1030.51/1030.77	c learnt constraints deletion: 11761 -> 5884
1034.01/1034.29	c learnt constraints deletion: 11776 -> 5893
1037.31/1037.55	c learnt constraints deletion: 11786 -> 5895
1040.91/1041.11	c learnt constraints deletion: 11773 -> 5888
1044.41/1044.69	c learnt constraints deletion: 11796 -> 5900
1048.51/1048.77	c learnt constraints deletion: 11792 -> 5899
1052.10/1052.36	c learnt constraints deletion: 11780 -> 5892
1056.00/1056.25	c learnt constraints deletion: 11775 -> 5892
1059.90/1060.19	c learnt constraints deletion: 11789 -> 5897
1064.11/1064.40	c learnt constraints deletion: 12942 -> 6475
1068.70/1068.96	c learnt constraints deletion: 12957 -> 6479
1072.90/1073.11	c learnt constraints deletion: 12943 -> 6473
1076.90/1077.11	c learnt constraints deletion: 12926 -> 6464
1080.90/1081.18	c learnt constraints deletion: 12934 -> 6467
1084.80/1085.06	c learnt constraints deletion: 12915 -> 6459
1089.10/1089.33	c learnt constraints deletion: 12926 -> 6464
1093.40/1093.68	c learnt constraints deletion: 12932 -> 6469
1097.60/1097.81	c learnt constraints deletion: 12944 -> 6472
1101.09/1101.33	c learnt constraints deletion: 12960 -> 6483
1104.80/1105.06	c learnt constraints deletion: 12942 -> 6474
1108.89/1109.17	c learnt constraints deletion: 12951 -> 6477
1113.10/1113.35	c learnt constraints deletion: 12944 -> 6474
1117.19/1117.49	c learnt constraints deletion: 12960 -> 6483
1121.59/1121.87	c learnt constraints deletion: 12959 -> 6484
1126.30/1126.54	c learnt constraints deletion: 12953 -> 6478
1130.49/1130.73	c learnt constraints deletion: 12929 -> 6467
1134.89/1135.15	c learnt constraints deletion: 12942 -> 6473
1139.50/1139.76	c learnt constraints deletion: 12951 -> 6479
1144.09/1144.33	c learnt constraints deletion: 12951 -> 6479
1148.49/1148.77	c learnt constraints deletion: 12927 -> 6468
1152.59/1152.88	c learnt constraints deletion: 12935 -> 6474
1156.99/1157.24	c learnt constraints deletion: 12937 -> 6474
1161.29/1161.58	c learnt constraints deletion: 12911 -> 6461
1166.18/1166.49	c learnt constraints deletion: 12959 -> 6481
1171.09/1171.32	c learnt constraints deletion: 12955 -> 6480
1175.48/1175.78	c learnt constraints deletion: 12927 -> 6466
1180.69/1180.92	c learnt constraints deletion: 12956 -> 6481
1185.18/1185.40	c learnt constraints deletion: 12931 -> 6469
1189.88/1190.13	c learnt constraints deletion: 12952 -> 6481
1193.78/1194.02	c learnt constraints deletion: 12935 -> 6469
1197.98/1198.28	c learnt constraints deletion: 12951 -> 6478
1202.38/1202.65	c learnt constraints deletion: 12947 -> 6476
1206.38/1206.61	c learnt constraints deletion: 12934 -> 6470
1210.78/1211.06	c learnt constraints deletion: 12939 -> 6472
1215.39/1215.61	c learnt constraints deletion: 12921 -> 6464
1219.78/1220.01	c learnt constraints deletion: 12947 -> 6477
1225.07/1225.30	c learnt constraints deletion: 12941 -> 6474
1228.98/1229.20	c learnt constraints deletion: 12920 -> 6464
1233.17/1233.45	c learnt constraints deletion: 12958 -> 6483
1238.88/1239.10	c learnt constraints deletion: 12933 -> 6472
1243.88/1244.18	c learnt constraints deletion: 12932 -> 6470
1248.17/1248.40	c learnt constraints deletion: 12920 -> 6466
1252.37/1252.65	c learnt constraints deletion: 12932 -> 6473
1257.47/1257.74	c learnt constraints deletion: 12938 -> 6478
1261.77/1262.09	c learnt constraints deletion: 12949 -> 6478
1266.27/1266.54	c learnt constraints deletion: 12963 -> 6486
1270.47/1270.74	c learnt constraints deletion: 12940 -> 6473
1274.67/1274.95	c learnt constraints deletion: 12954 -> 6480
1278.97/1279.26	c learnt constraints deletion: 12963 -> 6487
1283.17/1283.44	c learnt constraints deletion: 12954 -> 6481
1288.77/1289.03	c learnt constraints deletion: 12928 -> 6467
1293.27/1293.52	c learnt constraints deletion: 12938 -> 6473
1297.57/1297.81	c learnt constraints deletion: 12927 -> 6469
1302.37/1302.63	c learnt constraints deletion: 12937 -> 6474
1307.27/1307.50	c learnt constraints deletion: 12938 -> 6474
1312.46/1312.76	c learnt constraints deletion: 12961 -> 6488
1316.57/1316.82	c learnt constraints deletion: 12932 -> 6476
1320.76/1321.02	c learnt constraints deletion: 12940 -> 6475
1325.76/1326.06	c learnt constraints deletion: 12942 -> 6477
1330.76/1331.08	c learnt constraints deletion: 12954 -> 6485
1335.27/1335.58	c learnt constraints deletion: 12942 -> 6471
1338.96/1339.26	c learnt constraints deletion: 12951 -> 6477
1343.06/1343.39	c learnt constraints deletion: 12959 -> 6483
1347.16/1347.42	c learnt constraints deletion: 12948 -> 6478
1351.16/1351.47	c learnt constraints deletion: 12953 -> 6478
1354.96/1355.28	c learnt constraints deletion: 12942 -> 6473
1359.05/1359.35	c learnt constraints deletion: 12943 -> 6474
1362.86/1363.12	c learnt constraints deletion: 12949 -> 6479
1366.55/1366.88	c learnt constraints deletion: 12961 -> 6482
1370.85/1371.14	c learnt constraints deletion: 12961 -> 6483
1374.95/1375.26	c learnt constraints deletion: 12959 -> 6482
1379.65/1379.91	c learnt constraints deletion: 12937 -> 6473
1383.95/1384.27	c learnt constraints deletion: 12953 -> 6478
1387.74/1388.02	c learnt constraints deletion: 12944 -> 6474
1391.84/1392.14	c learnt constraints deletion: 12947 -> 6476
1396.55/1396.86	c learnt constraints deletion: 12940 -> 6472
1402.15/1402.50	c learnt constraints deletion: 14219 -> 7113
1407.44/1407.73	c learnt constraints deletion: 14229 -> 7115
1412.64/1412.94	c learnt constraints deletion: 14392 -> 7196
1421.14/1421.43	c learnt constraints deletion: 14351 -> 7178
1430.34/1430.64	c learnt constraints deletion: 14287 -> 7151
1440.54/1440.81	c learnt constraints deletion: 14294 -> 7158
1450.04/1450.34	c learnt constraints deletion: 14285 -> 7148
1459.44/1459.70	c learnt constraints deletion: 14309 -> 7156
1468.93/1469.23	c learnt constraints deletion: 14355 -> 7189
1478.14/1478.46	c learnt constraints deletion: 14371 -> 7190
1488.04/1488.36	c learnt constraints deletion: 14337 -> 7184
1498.23/1498.56	c learnt constraints deletion: 14304 -> 7163
1508.23/1508.58	c learnt constraints deletion: 14296 -> 7154
1517.93/1518.22	c learnt constraints deletion: 14361 -> 7190
1527.22/1527.54	c learnt constraints deletion: 14260 -> 7137
1537.32/1537.61	c learnt constraints deletion: 14228 -> 7123
1546.62/1546.98	c learnt constraints deletion: 14280 -> 7150
1556.33/1556.61	c learnt constraints deletion: 14318 -> 7170
1566.22/1566.52	c learnt constraints deletion: 14240 -> 7135
1576.12/1576.42	c learnt constraints deletion: 14265 -> 7145
1586.52/1586.85	c learnt constraints deletion: 14295 -> 7160
1596.72/1597.07	c learnt constraints deletion: 14302 -> 7163
1606.42/1606.77	c learnt constraints deletion: 14239 -> 7132
1616.31/1616.64	c learnt constraints deletion: 14266 -> 7145
1625.71/1626.05	c learnt constraints deletion: 14272 -> 7150
1635.21/1635.53	c learnt constraints deletion: 14364 -> 7198
1644.91/1645.27	c learnt constraints deletion: 14280 -> 7153
1655.10/1655.44	c learnt constraints deletion: 14305 -> 7157
1664.40/1664.79	c learnt constraints deletion: 14331 -> 7174
1674.01/1674.38	c learnt constraints deletion: 14321 -> 7167
1683.41/1683.78	c learnt constraints deletion: 14327 -> 7171
1693.10/1693.43	c learnt constraints deletion: 14336 -> 7182
1702.61/1702.91	c learnt constraints deletion: 14307 -> 7164
1712.30/1712.63	c learnt constraints deletion: 14353 -> 7183
1721.69/1722.00	c learnt constraints deletion: 14279 -> 7144
1731.50/1731.87	c learnt constraints deletion: 14306 -> 7159
1741.29/1741.61	c learnt constraints deletion: 14322 -> 7165
1750.79/1751.18	c learnt constraints deletion: 14271 -> 7139
1760.79/1761.15	c learnt constraints deletion: 14266 -> 7137
1770.79/1771.15	c learnt constraints deletion: 14247 -> 7128
1780.19/1780.56	c learnt constraints deletion: 14347 -> 7177
1789.40/1789.72	c learnt constraints deletion: 14246 -> 7126
1798.29/1798.68	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-3706705-1338114939/watcher-3706705-1338114939 -o /tmp/evaluation-result-3706705-1338114939/solver-3706705-1338114939 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706705-1338114939.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: 2.03 2.02 2.00 3/176 16269
/proc/meminfo: memFree=27649864/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/16269/stat : 16269 (runsolver) D 16267 16269 12898 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 277619643 12095488 50 33554432000 4194304 5436572 140736536050480 140736536046776 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/16269/statm: 2953 50 31 304 0 2645 0

[startup+0.096872 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 16269
/proc/meminfo: memFree=27649864/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=13376 CPUtime=0.08 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 2399 0 0 0 8 0 0 0 20 0 1 0 277619643 13697024 2320 33554432000 4194304 8973514 140737471902464 140736536046664 7841851 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 3344 2320 417 1167 0 2125 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13376

[startup+0.1003 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 16269
/proc/meminfo: memFree=27649864/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=13376 CPUtime=0.09 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 2412 0 0 0 9 0 0 0 20 0 1 0 277619643 13697024 2334 33554432000 4194304 8973514 140737471902464 140736536046664 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 3344 2339 417 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376

[startup+0.300226 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 16269
/proc/meminfo: memFree=27649864/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=16448 CPUtime=0.28 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 3422 0 0 0 28 0 0 0 20 0 1 0 277619643 16842752 3343 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 4112 3343 457 1167 0 2893 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 16448

[startup+0.700278 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 16269
/proc/meminfo: memFree=27649864/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=16448 CPUtime=0.69 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 3422 0 0 0 68 1 0 0 20 0 1 0 277619643 16842752 3343 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 4112 3343 457 1167 0 2893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16448

[startup+1.50024 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 16270
/proc/meminfo: memFree=27637484/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=18496 CPUtime=1.48 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 3934 0 0 0 147 1 0 0 20 0 1 0 277619643 18939904 3855 33554432000 4194304 8973514 140737471902464 140737471901960 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 4624 3855 457 1167 0 3405 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18496

[startup+3.10023 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 16270
/proc/meminfo: memFree=27630732/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=21568 CPUtime=3.08 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 4707 0 0 0 306 2 0 0 20 0 1 0 277619643 22085632 4628 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 5392 4628 458 1167 0 4173 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 21568

[startup+6.30017 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 16270
/proc/meminfo: memFree=27619580/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=24640 CPUtime=6.28 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 5475 0 0 0 625 3 0 0 20 0 1 0 277619643 25231360 5396 33554432000 4194304 8973514 140737471902464 140737471901728 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 6160 5396 458 1167 0 4941 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24640

[startup+12.7002 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 16270
/proc/meminfo: memFree=27602756/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=29760 CPUtime=12.68 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 6755 0 0 0 1262 6 0 0 20 0 1 0 277619643 30474240 6676 33554432000 4194304 8973514 140737471902464 140737471901728 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 7440 6676 458 1167 0 6221 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29760

[startup+25.5003 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 16270
/proc/meminfo: memFree=27575452/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=35904 CPUtime=25.48 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 8291 0 0 0 2536 12 0 0 20 0 1 0 277619643 36765696 8212 33554432000 4194304 8973514 140737471902464 140737471901728 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 8976 8212 458 1167 0 7757 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35904

[startup+51.1002 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 16270
/proc/meminfo: memFree=27565720/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=37952 CPUtime=51.08 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 8803 0 0 0 5085 23 0 0 20 0 1 0 277619643 38862848 8724 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 9488 8724 458 1167 0 8269 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 37952

[startup+102.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 16270
/proc/meminfo: memFree=27520980/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=46144 CPUtime=102.27 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 10861 0 0 0 10181 46 0 0 20 0 1 0 277619643 47251456 10777 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 11536 10777 458 1167 0 10317 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 46144

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 16270
/proc/meminfo: memFree=27488608/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=50240 CPUtime=162.25 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 11885 0 0 0 16154 71 0 0 20 0 1 0 277619643 51445760 11801 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 12560 11801 458 1167 0 11341 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 50240

[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 16271
/proc/meminfo: memFree=27478628/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=55360 CPUtime=222.25 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 13168 0 0 0 22123 102 0 0 20 0 1 0 277619643 56688640 13081 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 13840 13081 458 1167 0 12621 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 55360

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 16274
/proc/meminfo: memFree=27485016/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=46144 CPUtime=282.23 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 14192 0 0 0 28100 123 0 0 20 0 1 0 277619643 47251456 10777 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 11536 10777 458 1167 0 10317 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 46144

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16274
/proc/meminfo: memFree=27468184/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=52288 CPUtime=342.22 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 15731 0 0 0 34073 149 0 0 20 0 1 0 277619643 53542912 12313 33554432000 4194304 8973514 140737471902464 140737471901960 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 13072 12313 458 1167 0 11853 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 52288

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16274
/proc/meminfo: memFree=27465776/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=55360 CPUtime=402.2 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 16499 0 0 0 40046 174 0 0 20 0 1 0 277619643 56688640 13081 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 13840 13081 458 1167 0 12621 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 55360

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16274
/proc/meminfo: memFree=27460996/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=60480 CPUtime=462.2 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 17779 0 0 0 46018 202 0 0 20 0 1 0 277619643 61931520 14361 33554432000 4194304 8973514 140737471902464 140737471900416 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 15120 14361 458 1167 0 13901 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 60480

[startup+522.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 16275
/proc/meminfo: memFree=27480796/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=36928 CPUtime=522.19 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 19573 0 0 0 51985 234 0 0 20 0 1 0 277619643 37814272 8473 33554432000 4194304 8973514 140737471902464 140737471901728 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 9232 8473 458 1167 0 8013 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 36928

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16275
/proc/meminfo: memFree=27464304/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=40000 CPUtime=582.18 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 20341 0 0 0 57952 266 0 0 20 0 1 0 277619643 40960000 9241 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 10000 9241 458 1167 0 8781 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 40000

[startup+642.3 s]

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16279
/proc/meminfo: memFree=27454196/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=48192 CPUtime=882.14 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 23416 0 0 0 87791 423 0 0 20 0 1 0 277619643 49348608 11289 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 12048 11289 458 1167 0 10829 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 48192

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16279
/proc/meminfo: memFree=27455016/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=46144 CPUtime=942.12 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 26232 0 0 0 93760 452 0 0 20 0 1 0 277619643 47251456 10777 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 11536 10777 458 1167 0 10317 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 46144

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16279
/proc/meminfo: memFree=27442140/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=50240 CPUtime=1002.12 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 27768 0 0 0 99731 481 0 0 20 0 1 0 277619643 51445760 11801 33554432000 4194304 8973514 140737471902464 140737471900416 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 12560 11801 458 1167 0 11341 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 50240

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16279
/proc/meminfo: memFree=27444176/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=48192 CPUtime=1062.1 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 29310 0 0 0 105699 511 0 0 20 0 1 0 277619643 49348608 11289 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 12048 11289 458 1167 0 10829 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 48192

[startup+1122.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/176 16279
/proc/meminfo: memFree=27446304/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=50240 CPUtime=1122.09 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 30846 0 0 0 111671 538 0 0 20 0 1 0 277619643 51445760 11801 33554432000 4194304 8973514 140737471902464 140737471901960 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 12560 11801 458 1167 0 11341 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 50240

[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 16280
/proc/meminfo: memFree=27449772/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=50240 CPUtime=1182.09 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 31870 0 0 0 117645 564 0 0 20 0 1 0 277619643 51445760 11801 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 12560 11801 458 1167 0 11341 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 50240

[startup+1242.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 16280
/proc/meminfo: memFree=27433152/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=48192 CPUtime=1242.07 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 34943 0 0 0 123615 592 0 0 20 0 1 0 277619643 49348608 11289 33554432000 4194304 8973514 140737471902464 140737471901960 4209365 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 12048 11289 458 1167 0 10829 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 48192

[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 16280
/proc/meminfo: memFree=27432292/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=50240 CPUtime=1302.07 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 37759 0 0 0 129583 624 0 0 20 0 1 0 277619643 51445760 11801 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 12560 11801 458 1167 0 11341 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 50240

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 16280
/proc/meminfo: memFree=27429356/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=50240 CPUtime=1362.05 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 38787 0 0 0 135550 655 0 0 20 0 1 0 277619643 51445760 11801 33554432000 4194304 8973514 140737471902464 140737471901728 4209256 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 12560 11801 458 1167 0 11341 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 50240

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16280
/proc/meminfo: memFree=27445120/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=50240 CPUtime=1422.05 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 41603 0 0 0 141520 685 0 0 20 0 1 0 277619643 51445760 11801 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 12560 11801 458 1167 0 11341 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 50240

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 16284
/proc/meminfo: memFree=27426520/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=57408 CPUtime=1482.03 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 44675 0 0 0 147499 704 0 0 20 0 1 0 277619643 58785792 13593 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 14352 13593 458 1167 0 13133 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 57408

[startup+1542.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 16307
/proc/meminfo: memFree=27436428/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=58432 CPUtime=1542.03 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 46724 0 0 0 153476 727 0 0 20 0 1 0 277619643 59834368 13849 33554432000 4194304 8973514 140737471902464 140737471901960 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 14608 13849 458 1167 0 13389 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 58432

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16307
/proc/meminfo: memFree=27430520/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=58432 CPUtime=1602.01 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 46724 0 0 0 159455 746 0 0 20 0 1 0 277619643 59834368 13849 33554432000 4194304 8973514 140737471902464 140737471901960 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 14608 13849 458 1167 0 13389 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 58432

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16307
/proc/meminfo: memFree=27432376/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=58432 CPUtime=1662 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 46724 0 0 0 165434 766 0 0 20 0 1 0 277619643 59834368 13849 33554432000 4194304 8973514 140737471902464 140737471901960 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 14608 13849 458 1167 0 13389 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 58432

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16307
/proc/meminfo: memFree=27428228/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=62528 CPUtime=1722 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 48260 0 0 0 171412 788 0 0 20 0 1 0 277619643 64028672 14873 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 15632 14873 458 1167 0 14413 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 62528

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16308
/proc/meminfo: memFree=27438528/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=52288 CPUtime=1781.98 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 49284 0 0 0 177387 811 0 0 20 0 1 0 277619643 53542912 12313 33554432000 4194304 8973514 140737471902464 140737471901960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 13072 12313 458 1167 0 11853 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 52288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 16423
/proc/meminfo: memFree=27618144/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=56384 CPUtime=1800.09 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 50308 0 0 0 179191 818 0 0 20 0 1 0 277619643 57737216 13337 33554432000 4194304 8973514 140737471902464 140737471901728 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 14096 13337 458 1167 0 12877 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 56384

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: 1.92 1.98 1.99 3/176 16423
/proc/meminfo: memFree=27618144/32873660 swapFree=7120/7120
[pid=16269] ppid=16267 vsize=56384 CPUtime=1800.09 cores=0,2,4,6
/proc/16269/stat : 16269 (toysat) R 16267 16269 12898 0 -1 4202496 50308 0 0 0 179191 818 0 0 20 0 1 0 277619643 57737216 13337 33554432000 4194304 8973514 140737471902464 140737471901728 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16269/statm: 14096 13337 458 1167 0 12877 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 56384

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1791.91
CPU system time (s): 8.19075
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 64576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.91
system time used= 8.19075
maximum resident set size= 61540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50308
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= 36
involuntary context switches= 1852

runsolver used 3.65244 second user time and 8.76167 second system time

The end

Launcher Data 

Begin job on node117 at 2012-05-27 12:35:39
IDJOB=3706705
IDBENCH=2007
IDSOLVER=2285
FILE ID=node117/3706705-1338114939
RUNJOBID= node117-1338109282-14909
PBS_JOBID= 14624465
Free space on /tmp= 70080 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706705-1338114939/watcher-3706705-1338114939 -o /tmp/evaluation-result-3706705-1338114939/solver-3706705-1338114939 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706705-1338114939.opb

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

MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6
RANDOM SEED=1762046715

node117.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.148
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.148
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.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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.148
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.95
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.148
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.148
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.148
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.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        27649864 kB
Buffers:          312604 kB
Cached:          3982536 kB
SwapCached:            0 kB
Active:          2198552 kB
Inactive:        2152180 kB
Active(anon):      46548 kB
Inactive(anon):    11356 kB
Active(file):    2152004 kB
Inactive(file):  2140824 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             15620 kB
Writeback:             0 kB
AnonPages:         62256 kB
Mapped:            16136 kB
Shmem:               200 kB
Slab:             734756 kB
SReclaimable:     178868 kB
SUnreclaim:       555888 kB
KernelStack:        1456 kB
PageTables:         4100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     169708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70076 MiB
End job on node117 at 2012-05-27 13:05:41