Trace number 3753814

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topDown (fixed)OPTIMUM 801.067 803.325

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh208_wcsp.wbo
MD5SUMbf55ab5b50211f096e62edcb64c4bf57
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark79
Best CPU time to get the best result obtained on this benchmark0.012997
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints900
Number of soft constraints800
Number of constraints which are clauses800
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
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.00/0.01	c run usual solver
0.00/0.04	o 4673
0.00/0.04	c fallback to adder encoding
3.19/3.25	o 4665
3.19/3.25	c fallback to adder encoding
6.04/6.12	o 4662
6.04/6.12	c fallback to adder encoding
11.26/11.38	o 4653
11.26/11.38	c fallback to adder encoding
13.36/13.48	o 4640
13.36/13.48	c fallback to adder encoding
18.88/18.97	o 4634
18.88/18.97	c fallback to adder encoding
22.16/22.24	o 4633
22.16/22.24	c fallback to adder encoding
26.17/26.25	o 4632
26.17/26.25	c fallback to adder encoding
29.36/29.44	o 4624
29.36/29.44	c fallback to adder encoding
33.87/33.94	o 4621
33.87/33.94	c fallback to adder encoding
37.04/37.11	o 4615
37.04/37.11	c fallback to adder encoding
38.98/39.06	o 4614
38.98/39.06	c fallback to adder encoding
44.26/44.31	o 4610
44.26/44.31	c fallback to adder encoding
48.55/48.67	o 4609
48.55/48.67	c fallback to adder encoding
52.21/52.31	o 4608
52.21/52.31	c fallback to adder encoding
55.71/55.81	o 4603
55.71/55.81	c fallback to adder encoding
58.19/58.35	o 4590
58.19/58.35	c fallback to adder encoding
61.37/61.53	o 4571
61.37/61.53	c fallback to adder encoding
64.84/65.09	o 4565
64.84/65.09	c fallback to adder encoding
69.03/69.22	o 4563
69.03/69.22	c fallback to adder encoding
72.60/72.82	o 4551
72.60/72.82	c fallback to adder encoding
80.12/80.39	o 4550
80.12/80.39	c fallback to adder encoding
82.24/82.40	o 4515
82.24/82.40	c fallback to adder encoding
85.59/85.89	o 4508
85.59/85.89	c fallback to adder encoding
88.64/88.94	o 4492
88.64/88.94	c fallback to adder encoding
91.53/91.83	o 4483
91.53/91.83	c fallback to adder encoding
94.74/95.04	o 4480
94.74/95.04	c fallback to adder encoding
100.34/100.67	o 4475
100.34/100.67	c fallback to adder encoding
104.02/104.33	o 4307
104.02/104.33	c fallback to adder encoding
108.70/109.01	o 4306
108.70/109.01	c fallback to adder encoding
112.01/112.31	o 4305
112.01/112.31	c fallback to adder encoding
115.04/115.37	o 4291
115.04/115.37	c fallback to adder encoding
120.54/120.87	o 4288
120.54/120.87	c fallback to adder encoding
129.35/129.70	o 4286
129.35/129.70	c fallback to adder encoding
133.34/133.66	o 4266
133.34/133.66	c fallback to adder encoding
137.82/138.12	o 4262
137.82/138.12	c fallback to adder encoding
141.54/141.88	o 4245
141.54/141.88	c fallback to adder encoding
148.83/149.14	o 4241
148.83/149.14	c fallback to adder encoding
154.39/154.70	o 4238
154.39/154.70	c fallback to adder encoding
158.24/158.56	o 4237
158.24/158.56	c fallback to adder encoding
164.83/165.18	o 4236
164.83/165.18	c fallback to adder encoding
171.70/172.02	o 4231
171.70/172.02	c fallback to adder encoding
174.52/174.82	o 4225
174.52/174.82	c fallback to adder encoding
178.33/178.64	o 4218
178.33/178.64	c fallback to adder encoding
180.02/180.33	o 4213
180.02/180.33	c fallback to adder encoding
184.92/185.26	o 4212
184.92/185.26	c fallback to adder encoding
187.71/188.08	o 4150
187.71/188.08	c fallback to adder encoding
195.93/196.26	o 4148
195.93/196.26	c fallback to adder encoding
199.20/199.53	o 4147
199.20/199.53	c fallback to adder encoding
202.71/203.08	o 4125
202.71/203.08	c fallback to adder encoding
205.41/205.75	o 4124
205.41/205.75	c fallback to adder encoding
209.72/210.04	o 4114
209.72/210.04	c fallback to adder encoding
213.68/214.02	o 4113
213.68/214.02	c fallback to adder encoding
216.81/217.18	o 4112
216.81/217.18	c fallback to adder encoding
220.71/221.02	o 4111
220.71/221.02	c fallback to adder encoding
223.09/223.47	o 4104
223.09/223.47	c fallback to adder encoding
227.20/227.60	o 4101
227.20/227.60	c fallback to adder encoding
232.57/232.91	o 3961
232.57/232.91	c fallback to adder encoding
235.27/235.62	o 3960
235.27/235.62	c fallback to adder encoding
237.71/238.06	o 3940
237.71/238.06	c fallback to adder encoding
240.91/241.24	o 3904
240.91/241.24	c fallback to adder encoding
242.91/243.25	o 3902
242.91/243.25	c fallback to adder encoding
247.41/247.75	o 3899
247.41/247.75	c fallback to adder encoding
251.49/251.96	o 3894
251.49/251.96	c fallback to adder encoding
253.80/254.20	o 3885
253.80/254.20	c fallback to adder encoding
255.37/255.83	o 3878
255.37/255.83	c fallback to adder encoding
257.35/257.81	o 3859
257.35/257.81	c fallback to adder encoding
259.46/259.92	o 3858
259.46/259.92	c fallback to adder encoding
264.59/265.02	o 3857
264.59/265.02	c fallback to adder encoding
267.49/267.90	o 3856
267.49/267.90	c fallback to adder encoding
271.86/272.32	o 3843
271.86/272.32	c fallback to adder encoding
275.65/276.11	o 3842
275.65/276.11	c fallback to adder encoding
279.16/279.63	o 3771
279.16/279.63	c fallback to adder encoding
283.98/284.44	o 3749
283.98/284.44	c fallback to adder encoding
285.38/285.88	o 3744
285.38/285.88	c fallback to adder encoding
288.47/288.97	o 3735
288.47/288.97	c fallback to adder encoding
289.94/290.41	o 3714
289.94/290.41	c fallback to adder encoding
292.18/292.64	o 3609
292.18/292.64	c fallback to adder encoding
294.41/294.92	o 3608
294.41/294.92	c fallback to adder encoding
297.44/297.95	o 3605
297.44/297.95	c fallback to adder encoding
298.81/299.31	o 3604
298.81/299.31	c fallback to adder encoding
301.39/301.91	o 3593
301.39/301.91	c fallback to adder encoding
303.72/304.21	o 3587
303.72/304.21	c fallback to adder encoding
308.83/309.39	o 3586
308.83/309.39	c fallback to adder encoding
310.60/311.11	o 3581
310.60/311.11	c fallback to adder encoding
312.44/312.95	o 3577
312.44/312.95	c fallback to adder encoding
315.64/316.17	o 3562
315.64/316.17	c fallback to adder encoding
318.23/318.75	o 3536
318.23/318.75	c fallback to adder encoding
320.81/321.32	o 3530
320.81/321.32	c fallback to adder encoding
322.74/323.20	o 3512
322.74/323.20	c fallback to adder encoding
325.21/325.73	o 3439
325.21/325.73	c fallback to adder encoding
330.93/331.48	o 3431
330.93/331.48	c fallback to adder encoding
334.04/334.50	o 3430
334.04/334.50	c fallback to adder encoding
339.92/340.48	o 3428
339.92/340.48	c fallback to adder encoding
344.51/345.03	o 3427
344.51/345.03	c fallback to adder encoding
346.61/347.17	o 3422
346.61/347.17	c fallback to adder encoding
348.20/348.74	o 3420
348.20/348.74	c fallback to adder encoding
350.39/350.92	o 3415
350.39/350.92	c fallback to adder encoding
352.17/352.70	o 3237
352.17/352.70	c fallback to adder encoding
353.31/353.85	o 3061
353.31/353.85	c fallback to adder encoding
356.49/357.01	o 3022
356.49/357.01	c fallback to adder encoding
359.78/360.31	o 3017
359.78/360.31	c fallback to adder encoding
374.28/374.82	o 3016
374.28/374.82	c fallback to adder encoding
378.51/379.04	o 3011
378.51/379.04	c fallback to adder encoding
382.40/382.97	o 2975
382.40/382.97	c fallback to adder encoding
390.82/391.37	o 2970
390.82/391.37	c fallback to adder encoding
396.39/396.98	o 2964
396.39/396.98	c fallback to adder encoding
400.30/400.80	o 2845
400.30/400.80	c fallback to adder encoding
402.30/402.86	o 2834
402.30/402.86	c fallback to adder encoding
405.79/406.34	o 2825
405.79/406.34	c fallback to adder encoding
408.30/408.85	o 2820
408.30/408.85	c fallback to adder encoding
410.01/410.55	o 2819
410.01/410.55	c fallback to adder encoding
414.89/415.43	o 2818
414.89/415.43	c fallback to adder encoding
424.43/425.02	o 2817
424.43/425.02	c fallback to adder encoding
432.56/433.17	o 2816
432.56/433.17	c fallback to adder encoding
433.43/434.05	o 2814
433.43/434.05	c fallback to adder encoding
442.17/442.81	o 2807
442.17/442.81	c fallback to adder encoding
444.13/444.70	o 2775
444.13/444.70	c fallback to adder encoding
445.92/446.59	o 2767
445.92/446.59	c fallback to adder encoding
450.02/450.68	o 2766
450.02/450.68	c fallback to adder encoding
451.92/452.58	o 2752
451.92/452.58	c fallback to adder encoding
453.92/454.59	o 2730
453.92/454.59	c fallback to adder encoding
456.28/456.90	o 2719
456.28/456.90	c fallback to adder encoding
459.42/460.09	o 2668
459.42/460.09	c fallback to adder encoding
463.41/464.08	o 2587
463.41/464.08	c fallback to adder encoding
466.61/467.25	o 2586
466.61/467.25	c fallback to adder encoding
471.09/471.72	o 2576
471.09/471.72	c fallback to adder encoding
475.42/476.00	o 2573
475.42/476.00	c fallback to adder encoding
480.80/481.43	o 2540
480.80/481.43	c fallback to adder encoding
488.82/489.44	o 2531
488.82/489.44	c fallback to adder encoding
491.61/492.25	o 2515
491.61/492.25	c fallback to adder encoding
494.57/495.21	o 2513
494.57/495.21	c fallback to adder encoding
497.59/498.31	o 2098
497.59/498.31	c fallback to adder encoding
500.56/501.34	o 2089
500.56/501.34	c fallback to adder encoding
502.75/503.57	o 2088
502.75/503.57	c fallback to adder encoding
506.80/507.63	o 2087
506.80/507.63	c fallback to adder encoding
509.40/510.29	o 2080
509.40/510.29	c fallback to adder encoding
512.60/513.47	o 2079
512.60/513.47	c fallback to adder encoding
515.09/515.93	o 2055
515.09/515.93	c fallback to adder encoding
519.02/519.84	o 2054
519.02/519.84	c fallback to adder encoding
521.31/522.19	o 2049
521.31/522.19	c fallback to adder encoding
527.21/528.08	o 2048
527.21/528.08	c fallback to adder encoding
530.60/531.44	o 2044
530.60/531.44	c fallback to adder encoding
533.02/533.85	o 2043
533.02/533.85	c fallback to adder encoding
535.38/536.21	o 2033
535.38/536.21	c fallback to adder encoding
537.70/538.56	o 2024
537.70/538.56	c fallback to adder encoding
539.50/540.38	o 2002
539.50/540.38	c fallback to adder encoding
541.81/542.65	o 1980
541.81/542.65	c fallback to adder encoding
545.21/546.04	o 1943
545.21/546.04	c fallback to adder encoding
545.91/546.77	o 1941
545.91/546.77	c fallback to adder encoding
549.70/550.59	o 1919
549.70/550.59	c fallback to adder encoding
552.40/553.25	o 1905
552.40/553.25	c fallback to adder encoding
554.79/555.67	o 1898
554.79/555.67	c fallback to adder encoding
558.28/559.19	o 1895
558.28/559.19	c fallback to adder encoding
562.78/563.67	o 1894
562.78/563.67	c fallback to adder encoding
565.39/566.24	o 1888
565.39/566.24	c fallback to adder encoding
567.82/568.74	o 1868
567.82/568.74	c fallback to adder encoding
569.32/570.28	o 1867
569.32/570.28	c fallback to adder encoding
572.03/573.00	o 1866
572.03/573.00	c fallback to adder encoding
574.92/575.89	o 1859
574.92/575.89	c fallback to adder encoding
580.32/581.23	o 1843
580.32/581.23	c fallback to adder encoding
582.34/583.26	o 1823
582.34/583.26	c fallback to adder encoding
583.89/584.80	o 1815
583.89/584.80	c fallback to adder encoding
586.55/587.40	o 1808
586.55/587.40	c fallback to adder encoding
588.50/589.43	o 1799
588.50/589.43	c fallback to adder encoding
592.73/593.69	o 1791
592.73/593.69	c fallback to adder encoding
594.68/595.63	o 1790
594.68/595.63	c fallback to adder encoding
596.18/597.19	o 1783
596.18/597.19	c fallback to adder encoding
597.90/598.96	o 1777
597.90/598.96	c fallback to adder encoding
598.89/600.01	o 1758
598.89/600.01	c fallback to adder encoding
601.11/602.23	o 1738
601.11/602.23	c fallback to adder encoding
603.45/604.78	o 1720
603.45/604.78	c fallback to adder encoding
604.06/605.43	o 1712
604.06/605.43	c fallback to adder encoding
605.16/606.52	o 1711
605.16/606.52	c fallback to adder encoding
608.26/609.76	o 1710
608.26/609.76	c fallback to adder encoding
612.00/613.58	o 1709
612.00/613.58	c fallback to adder encoding
615.28/616.85	o 1700
615.28/616.85	c fallback to adder encoding
618.28/619.86	o 1682
618.28/619.86	c fallback to adder encoding
619.67/621.25	o 1677
619.67/621.25	c fallback to adder encoding
623.58/625.18	o 1675
623.58/625.18	c fallback to adder encoding
625.39/626.95	o 1653
625.39/626.95	c fallback to adder encoding
627.48/629.08	o 1649
627.48/629.08	c fallback to adder encoding
629.38/630.93	o 1644
629.38/630.93	c fallback to adder encoding
631.17/632.79	o 1640
631.17/632.79	c fallback to adder encoding
633.78/635.30	o 1639
633.78/635.30	c fallback to adder encoding
636.68/638.29	o 1607
636.68/638.29	c fallback to adder encoding
638.17/639.72	o 1600
638.17/639.72	c fallback to adder encoding
641.46/643.06	o 1599
641.46/643.06	c fallback to adder encoding
643.48/645.04	o 1590
643.48/645.04	c fallback to adder encoding
645.78/647.39	o 1588
645.78/647.39	c fallback to adder encoding
646.88/648.47	o 1567
646.88/648.47	c fallback to adder encoding
649.58/651.16	o 1564
649.58/651.16	c fallback to adder encoding
650.97/652.55	o 1558
650.97/652.55	c fallback to adder encoding
655.81/657.40	o 1557
655.81/657.40	c fallback to adder encoding
657.78/659.41	o 1555
657.78/659.41	c fallback to adder encoding
660.11/661.76	o 1552
660.11/661.76	c fallback to adder encoding
663.71/665.39	o 1549
663.71/665.39	c fallback to adder encoding
666.80/668.48	o 1546
666.80/668.48	c fallback to adder encoding
670.19/671.82	o 1540
670.19/671.82	c fallback to adder encoding
671.28/672.91	o 1535
671.28/672.91	c fallback to adder encoding
674.11/675.78	o 1506
674.11/675.78	c fallback to adder encoding
680.12/681.70	o 1505
680.12/681.70	c fallback to adder encoding
684.22/685.85	o 1480
684.22/685.85	c fallback to adder encoding
686.71/688.37	o 1455
686.71/688.37	c fallback to adder encoding
688.32/689.99	o 1441
688.32/689.99	c fallback to adder encoding
690.11/691.76	o 1440
690.11/691.76	c fallback to adder encoding
691.36/693.07	o 1413
691.36/693.07	c fallback to adder encoding
694.87/696.58	o 1402
694.87/696.58	c fallback to adder encoding
696.46/698.18	o 1375
696.46/698.18	c fallback to adder encoding
698.47/700.16	o 1367
698.47/700.16	c fallback to adder encoding
701.37/703.06	o 1344
701.37/703.06	c fallback to adder encoding
704.67/706.37	o 1334
704.67/706.37	c fallback to adder encoding
707.26/708.93	o 1333
707.26/708.93	c fallback to adder encoding
713.96/715.69	o 1331
713.96/715.69	c fallback to adder encoding
716.27/717.97	o 1329
716.27/717.97	c fallback to adder encoding
718.19/719.99	o 1326
718.19/719.99	c fallback to adder encoding
720.01/721.82	o 1322
720.01/721.82	c fallback to adder encoding
722.72/724.52	o 1311
722.72/724.52	c fallback to adder encoding
724.62/726.49	o 1307
724.62/726.49	c fallback to adder encoding
726.81/728.62	o 991
726.81/728.62	c fallback to adder encoding
728.14/729.99	o 981
728.14/729.99	c fallback to adder encoding
730.03/731.88	o 963
730.03/731.88	c fallback to adder encoding
731.94/733.74	o 961
731.94/733.74	c fallback to adder encoding
733.33/735.19	o 960
733.33/735.19	c fallback to adder encoding
735.01/736.90	o 896
735.01/736.90	c fallback to adder encoding
737.73/739.57	o 895
737.73/739.57	c fallback to adder encoding
738.92/740.79	o 866
738.92/740.79	c fallback to adder encoding
740.79/742.73	o 858
740.79/742.73	c fallback to adder encoding
742.55/744.55	o 842
742.55/744.55	c fallback to adder encoding
744.15/746.15	o 841
744.15/746.15	c fallback to adder encoding
746.65/748.66	o 832
746.65/748.66	c fallback to adder encoding
747.64/749.62	o 831
747.64/749.62	c fallback to adder encoding
750.05/752.08	o 824
750.05/752.08	c fallback to adder encoding
750.95/752.94	o 766
750.95/752.94	c fallback to adder encoding
751.84/753.84	o 763
751.84/753.84	c fallback to adder encoding
752.72/754.71	o 741
752.72/754.71	c fallback to adder encoding
753.55/755.53	o 737
753.55/755.53	c fallback to adder encoding
755.05/757.06	o 734
755.05/757.06	c fallback to adder encoding
755.90/757.93	o 732
755.90/757.93	c fallback to adder encoding
757.02/759.09	o 730
757.02/759.09	c fallback to adder encoding
757.17/759.85	o 726
757.17/759.85	c fallback to adder encoding
759.30/761.37	o 719
759.30/761.37	c fallback to adder encoding
759.46/762.14	o 718
759.46/762.14	c fallback to adder encoding
760.22/763.07	o 714
760.22/763.07	c fallback to adder encoding
762.80/764.81	o 713
762.80/764.81	c fallback to adder encoding
763.69/765.70	o 708
763.69/765.70	c fallback to adder encoding
764.49/766.52	o 689
764.49/766.52	c fallback to adder encoding
766.01/768.11	o 688
766.01/768.11	c fallback to adder encoding
766.73/768.85	o 680
766.73/768.85	c fallback to adder encoding
768.70/770.80	o 673
768.70/770.80	c fallback to adder encoding
769.79/771.91	o 668
769.79/771.91	c fallback to adder encoding
771.50/773.66	o 666
771.50/773.66	c fallback to adder encoding
772.34/774.59	o 659
772.34/774.59	c fallback to adder encoding
772.51/775.37	o 658
772.51/775.37	c fallback to adder encoding
773.29/776.19	o 657
773.29/776.19	c fallback to adder encoding
775.65/777.88	o 651
775.65/777.88	c fallback to adder encoding
776.56/778.79	o 650
776.56/778.79	c fallback to adder encoding
778.55/780.74	o 649
778.55/780.74	c fallback to adder encoding
779.56/781.73	o 645
779.56/781.73	c fallback to adder encoding
780.65/782.81	o 630
780.65/782.81	c fallback to adder encoding
781.76/783.93	o 592
781.76/783.93	c fallback to adder encoding
782.51/784.71	o 573
782.51/784.71	c fallback to adder encoding
783.13/785.36	o 571
783.13/785.36	c fallback to adder encoding
783.24/786.14	o 570
783.24/786.14	c fallback to adder encoding
784.41/786.69	o 569
784.41/786.69	c fallback to adder encoding
784.58/787.24	o 568
784.58/787.24	c fallback to adder encoding
785.11/787.50	o 563
785.11/787.50	c fallback to adder encoding
785.37/788.38	o 562
785.37/788.38	c fallback to adder encoding
786.82/789.04	o 553
786.82/789.04	c fallback to adder encoding
786.89/789.59	o 516
786.89/789.59	c fallback to adder encoding
788.08/790.39	o 515
788.08/790.39	c fallback to adder encoding
788.79/791.05	o 504
788.79/791.05	c fallback to adder encoding
788.90/791.36	o 497
788.90/791.36	c fallback to adder encoding
789.78/792.03	o 490
789.78/792.03	c fallback to adder encoding
789.87/792.95	o 489
789.87/792.95	c fallback to adder encoding
790.79/793.58	o 486
790.79/793.58	c fallback to adder encoding
791.42/793.93	o 471
791.42/793.93	c fallback to adder encoding
792.39/794.64	o 464
792.39/794.64	c fallback to adder encoding
792.44/794.96	o 451
792.44/794.96	c fallback to adder encoding
792.77/795.16	o 437
792.77/795.16	c fallback to adder encoding
792.96/795.56	o 429
792.96/795.56	c fallback to adder encoding
793.37/796.18	o 428
793.37/796.18	c fallback to adder encoding
794.16/796.45	o 422
794.16/796.45	c fallback to adder encoding
794.26/796.68	o 421
794.26/796.68	c fallback to adder encoding
794.49/796.96	o 420
794.49/796.96	c fallback to adder encoding
795.16/797.44	o 418
795.16/797.44	c fallback to adder encoding
795.25/798.07	o 417
795.25/798.07	c fallback to adder encoding
795.87/798.43	o 416
795.87/798.43	c fallback to adder encoding
796.46/798.75	o 410
796.46/798.75	c fallback to adder encoding
796.96/799.22	o 400
796.96/799.22	c fallback to adder encoding
797.35/799.70	o 399
797.35/799.70	c fallback to adder encoding
797.45/799.94	o 379
797.45/799.94	c fallback to adder encoding
797.70/800.19	o 374
797.70/800.19	c fallback to adder encoding
797.94/800.48	o 372
797.94/800.48	c fallback to adder encoding
798.23/800.68	o 272
798.23/800.68	c fallback to adder encoding
798.42/800.83	o 270
798.42/800.83	c fallback to adder encoding
798.56/800.99	o 267
798.56/800.99	c fallback to adder encoding
798.72/801.17	o 265
798.72/801.17	c fallback to adder encoding
799.11/801.41	o 233
799.11/801.41	c fallback to adder encoding
799.11/801.48	o 225
799.11/801.48	c fallback to adder encoding
799.21/801.59	o 224
799.21/801.59	c fallback to adder encoding
799.31/801.65	o 218
799.31/801.65	c fallback to adder encoding
799.39/801.75	o 216
799.39/801.75	c fallback to adder encoding
799.53/801.84	o 215
799.53/801.84	c fallback to adder encoding
799.58/801.92	o 214
799.58/801.92	c fallback to adder encoding
799.71/802.01	o 213
799.71/802.01	c fallback to adder encoding
799.75/802.11	o 198
799.95/802.31	o 187
800.07/802.48	o 182
800.30/802.65	o 181
800.46/802.82	o 171
800.62/802.96	o 163
800.77/803.10	o 116
800.77/803.17	o 109
800.91/803.24	o 104
801.02/803.30	o 79
801.02/803.32	c display solution
801.02/803.32	s OPTIMUM FOUND
801.02/803.32	v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 -x21 x22 x23 -x24 x25 -x26 x27 -x28 -x29 x30 -x31 x32 x33 -x34 -x35 x36 x37 -x38 x39 -x40 x41 -x42 -x43 x44 x45 -x46 x47 -x48 -x49 x50 x51 -x52 x53 -x54 -x55 x56 -x57 x58 x59 -x60 x61 -x62 -x63 x64 -x65 x66 x67 -x68 -x69 x70 -x71 x72 -x73 x74 -x75 x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 -x85 x86 x87 -x88 -x89 x90 -x91 x92 -x93 x94 x95 -x96 x97 -x98 -x99 x100 x101 -x102 -x103 x104 -x105 x106 x107 -x108 -x109 x110 x111 -x112 -x113 x114 x115 -x116 -x117 x118 x119 -x120 -x121 x122 -x123 x124 x125 -x126 -x127 x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 -x145 x146 -x147 x148 x149 -x150 -x151 x152 x153 -x154 -x155 x156 -x157 x158 -x159 x160 x161 -x162 x163 -x164 -x165 x166 -x167 x168 x169 -x170 x171 -x172 -x173 x174 -x175 x176 x177 -x178 x179 -x180 -x181 x182 x183 -x184 -x185 x186 -x187 x188 -x189 x190 x191 -x192 x193 -x194 x195 -x196 -x197 x198 x199 -x200 

Verifier Data

OK	79

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-3753814-1339201083/watcher-3753814-1339201083 -o /tmp/evaluation-result-3753814-1339201083/solver-3753814-1339201083 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753814-1339201083.wbo 1061552149 HOME HOME 

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.07 2.02 2.00 3/176 20592
/proc/meminfo: memFree=29740368/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0

[startup+0.0924089 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 20592
/proc/meminfo: memFree=29740368/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100201 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 20592
/proc/meminfo: memFree=29740368/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300213 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 20592
/proc/meminfo: memFree=29740368/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700189 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 20592
/proc/meminfo: memFree=29740368/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 20613
/proc/meminfo: memFree=29700232/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=0.15 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 3645 5386 0 0 11 2 1 1 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20593/statm: 4988 4523 179 443 0 4541 0
[pid=20605] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20605/stat : 20605 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386233827 9367552 267 33554432000 4194304 5064252 140735729517200 140735729516112 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20605/statm: 2287 267 226 213 0 72 0
[pid=20606] ppid=20605 vsize=26168 CPUtime=1.33 cores=0,2,4,6
/proc/20606/stat : 20606 (glucose) R 20605 20592 14131 0 -1 4202496 6259 0 0 0 132 1 0 0 20 0 1 0 386233827 26796032 5338 33554432000 4194304 5208918 140735302306048 140735302304008 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20606/statm: 6542 5338 105 248 0 6291 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 64416

[startup+3.10038 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 20614
/proc/meminfo: memFree=29697876/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=0.15 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 3645 5386 0 0 11 2 1 1 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20593/statm: 4988 4523 179 443 0 4541 0
[pid=20605] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20605/stat : 20605 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386233827 9367552 267 33554432000 4194304 5064252 140735729517200 140735729516112 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20605/statm: 2287 267 226 213 0 72 0
[pid=20606] ppid=20605 vsize=26840 CPUtime=2.92 cores=0,2,4,6
/proc/20606/stat : 20606 (glucose) R 20605 20592 14131 0 -1 4202496 6800 0 0 0 291 1 0 0 20 0 1 0 386233827 27484160 5870 33554432000 4194304 5208918 140735302306048 140735302303896 4232672 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20606/statm: 6710 5870 105 248 0 6459 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 65088

[startup+6.30032 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 20628
/proc/meminfo: memFree=29709404/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=6.21 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 8081 25120 0 0 32 4 577 8 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20593/statm: 4988 4523 179 443 0 4541 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 29100

[startup+12.7003 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 20649
/proc/meminfo: memFree=29698624/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=11.47 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 10299 35996 0 0 42 5 1087 13 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20593/statm: 4988 4523 179 443 0 4541 0
[pid=20648] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20648/stat : 20648 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386234960 9367552 267 33554432000 4194304 5064252 140736401528896 140736401527808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20648/statm: 2287 267 226 213 0 72 0
[pid=20649] ppid=20648 vsize=25748 CPUtime=1.19 cores=0,2,4,6
/proc/20649/stat : 20649 (glucose) R 20648 20592 14131 0 -1 4202496 6046 0 0 0 118 1 0 0 20 0 1 0 386234961 26365952 5140 33554432000 4194304 5208918 140737217319920 140737217317768 4465602 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20649/statm: 6437 5140 105 248 0 6186 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 63996

[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 20684
/proc/meminfo: memFree=29697008/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=22.33 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 16953 62740 0 0 73 8 2128 24 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20593/statm: 4988 4523 179 443 0 4541 0
[pid=20676] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20676/stat : 20676 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386236046 9367552 267 33554432000 4194304 5064252 140736083048176 140736083047088 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20676/statm: 2287 267 226 213 0 72 0
[pid=20677] ppid=20676 vsize=26308 CPUtime=3.13 cores=0,2,4,6
/proc/20677/stat : 20677 (glucose) R 20676 20592 14131 0 -1 4202496 6554 0 0 0 312 1 0 0 20 0 1 0 386236046 26939392 5628 33554432000 4194304 5208918 140737349050464 140737349048312 4211851 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20677/statm: 6577 5628 105 248 0 6326 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 64556

[startup+51.1003 s]
/proc/loadavg: 2.17 2.04 2.01 3/181 20768
/proc/meminfo: memFree=29697032/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=48.73 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 32479 132076 0 0 145 15 4662 51 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20593/statm: 4988 4523 179 443 0 4541 0
[pid=20760] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20760/stat : 20760 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386238689 9367552 267 33554432000 4194304 5064252 140736464624160 140736464623072 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20760/statm: 2287 267 226 213 0 72 0
[pid=20761] ppid=20760 vsize=26416 CPUtime=2.3 cores=0,2,4,6
/proc/20761/stat : 20761 (glucose) R 20760 20592 14131 0 -1 4202496 5893 0 0 0 230 0 0 0 20 0 1 0 386238689 27049984 5899 33554432000 4194304 5208918 140735806500240 140735806497992 4211534 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20761/statm: 6604 5899 105 248 0 6353 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 64664

[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 20943
/proc/meminfo: memFree=29697612/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=100.54 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 63531 269604 0 0 290 29 9631 104 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20593/statm: 4988 4523 179 443 0 4541 0
[pid=20942] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20942/stat : 20942 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386243889 9367552 267 33554432000 4194304 5064252 140735298621136 140735298620048 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20942/statm: 2287 267 226 213 0 72 0
[pid=20943] ppid=20942 vsize=25356 CPUtime=1.5 cores=0,2,4,6
/proc/20943/stat : 20943 (glucose) R 20942 20592 14131 0 -1 4202496 5925 0 0 0 149 1 0 0 20 0 1 0 386243890 25964544 5013 33554432000 4194304 5208918 140734386033008 140734386030856 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20943/statm: 6339 5013 104 248 0 6088 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 63604

[startup+162.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/182 21121
/proc/meminfo: memFree=29700524/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=158.42 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 90147 384264 0 0 414 42 15234 152 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20593/statm: 4988 4523 179 443 0 4541 0
[pid=21113] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21113/stat : 21113 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386249678 9367552 267 33554432000 4194304 5064252 140735157522832 140735157521744 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21113/statm: 2287 267 226 213 0 72 0
[pid=21114] ppid=21113 vsize=25888 CPUtime=3.61 cores=0,2,4,6
/proc/21114/stat : 21114 (glucose) R 21113 20592 14131 0 -1 4202496 6048 0 0 0 360 1 0 0 20 0 1 0 386249678 26509312 5471 33554432000 4194304 5208918 140734118103856 140734118102008 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21114/statm: 6472 5471 105 248 0 6221 0
Current children cumulated CPU time (s) 162.03

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

/proc/20593/statm: 4988 4524 179 443 0 4541 0
[pid=23083] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23083/stat : 23083 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386291944 9367552 267 33554432000 4194304 5064252 140737222059248 140737222058160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23083/statm: 2287 267 226 213 0 72 0
[pid=23084] ppid=23083 vsize=19728 CPUtime=0.96 cores=0,2,4,6
/proc/23084/stat : 23084 (glucose) R 23083 20592 14131 0 -1 4202496 5174 0 0 0 95 1 0 0 20 0 1 0 386291944 20201472 4572 33554432000 4194304 5208918 140734100906832 140734100904680 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23084/statm: 4932 4572 104 248 0 4681 0
Current children cumulated CPU time (s) 581.44
Current children cumulated vsize (KiB) 57976

[startup+642.3 s]
/proc/loadavg: 1.97 2.00 1.99 3/181 23337
/proc/meminfo: memFree=29694848/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=638.3 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 416147 1747847 0 0 1768 177 61190 695 20 0 1 0 386233811 20430848 4524 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/20593/statm: 4988 4524 179 443 0 4541 0
[pid=23329] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23329/stat : 23329 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386297792 9367552 267 33554432000 4194304 5064252 140734494250384 140734494249296 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23329/statm: 2287 267 226 213 0 72 0
[pid=23330] ppid=23329 vsize=22712 CPUtime=2.47 cores=0,2,4,6
/proc/23330/stat : 23330 (glucose) R 23329 20592 14131 0 -1 4202496 5391 0 0 0 246 1 0 0 20 0 1 0 386297793 23257088 4917 33554432000 4194304 5208918 140735151713776 140735151711928 4210976 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23330/statm: 5678 4917 104 248 0 5427 0
Current children cumulated CPU time (s) 640.77
Current children cumulated vsize (KiB) 60960

[startup+702.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/181 23561
/proc/meminfo: memFree=29694552/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=698.64 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 467138 1950915 0 0 1964 197 66925 778 20 0 1 0 386233811 20430848 4524 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/20593/statm: 4988 4524 179 443 0 4541 0
[pid=23560] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23560/stat : 23560 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386303836 9367552 266 33554432000 4194304 5064252 140736615353120 140736615352032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23560/statm: 2287 266 226 213 0 72 0
[pid=23561] ppid=23560 vsize=22432 CPUtime=2.03 cores=0,2,4,6
/proc/23561/stat : 23561 (glucose) R 23560 20592 14131 0 -1 4202496 5368 0 0 0 202 1 0 0 20 0 1 0 386303837 22970368 4769 33554432000 4194304 5208918 140736922664976 140736922662728 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23561/statm: 5608 4769 104 248 0 5357 0
Current children cumulated CPU time (s) 700.67
Current children cumulated vsize (KiB) 60680

[startup+762.306 s]
/proc/loadavg: 1.99 2.00 1.99 3/180 24257
/proc/meminfo: memFree=29295056/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=760.22 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 532893 2205417 0 0 2199 222 72729 872 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4530 179 443 0 4541 0
Current children cumulated CPU time (s) 760.22
Current children cumulated vsize (KiB) 29100

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

[startup+767.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 24287
/proc/meminfo: memFree=29278244/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=764.6 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 539705 2233005 0 0 2222 224 73131 883 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4530 179 443 0 4541 0
[pid=24286] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24286/stat : 24286 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386310469 9367552 266 33554432000 4194304 5064252 140734956646128 140734956645040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24286/statm: 2287 266 226 213 0 72 0
[pid=24287] ppid=24286 vsize=15576 CPUtime=1.31 cores=0,2,4,6
/proc/24287/stat : 24287 (glucose) R 24286 20592 14131 0 -1 4202496 3939 0 0 0 130 1 0 0 20 0 1 0 386310469 15949824 3375 33554432000 4194304 5208918 140734461304000 140734461301960 4205203 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24287/statm: 3894 3375 105 248 0 3643 0
Current children cumulated CPU time (s) 765.91
Current children cumulated vsize (KiB) 53824

[startup+780.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 24357
/proc/meminfo: memFree=29274792/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=776.71 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 556735 2301796 0 0 2275 230 74261 905 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4530 179 443 0 4541 0
[pid=24356] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24356/stat : 24356 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386311695 9367552 266 33554432000 4194304 5064252 140736580812352 140736580811264 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24356/statm: 2287 266 226 213 0 72 0
[pid=24357] ppid=24356 vsize=15280 CPUtime=1.84 cores=0,2,4,6
/proc/24357/stat : 24357 (glucose) R 24356 20592 14131 0 -1 4202496 3622 0 0 0 184 0 0 0 20 0 1 0 386311696 15646720 3356 33554432000 4194304 5208918 140736912511008 140736912508856 4232812 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24357/statm: 3820 3356 103 248 0 3569 0
Current children cumulated CPU time (s) 778.55
Current children cumulated vsize (KiB) 53528

[startup+793.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 24482
/proc/meminfo: memFree=29281232/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=790.79 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 587384 2412594 0 0 2354 239 75544 942 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4530 179 443 0 4541 0
[pid=24482] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386313110 9367552 267 33554432000 4194304 5064252 140734382539712 140734382538624 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 267 226 213 0 72 0
Current children cumulated CPU time (s) 790.79
Current children cumulated vsize (KiB) 38248

[startup+799.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 24588
/proc/meminfo: memFree=29272344/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=797.45 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 606058 2504410 0 0 2407 244 76125 969 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4530 179 443 0 4541 0
Current children cumulated CPU time (s) 797.45
Current children cumulated vsize (KiB) 29100

[startup+801.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 24621
/proc/meminfo: memFree=29280388/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=799.21 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 613996 2550774 0 0 2426 247 76266 982 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4530 179 443 0 4541 0
Current children cumulated CPU time (s) 799.21
Current children cumulated vsize (KiB) 29100

[startup+802.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 24679
/proc/meminfo: memFree=29274396/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=799.95 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 618456 2588187 0 0 2438 248 76318 991 20 0 1 0 386233811 20430848 4531 33554432000 4194304 6006132 140736849162272 140736849153152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4531 180 443 0 4541 0
Current children cumulated CPU time (s) 799.95
Current children cumulated vsize (KiB) 29100

[startup+803.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 24735
/proc/meminfo: memFree=29262660/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=800.77 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 623537 2625073 0 0 2450 250 76368 1009 20 0 1 0 386233811 20430848 4531 33554432000 4194304 6006132 140736849162272 140736849153152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4531 180 443 0 4541 0
Current children cumulated CPU time (s) 800.77
Current children cumulated vsize (KiB) 29100

[startup+803.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 24735
/proc/meminfo: memFree=29262660/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=801.02 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 624968 2640962 0 0 2453 250 76382 1017 20 0 1 0 386233811 20430848 4531 33554432000 4194304 6006132 140736849162272 140736849154240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4531 180 443 0 4541 0
Current children cumulated CPU time (s) 801.02
Current children cumulated vsize (KiB) 29100

Child status: 0
Real time (s): 803.325
CPU time (s): 801.067
CPU user time (s): 788.372
CPU system time (s): 12.6951
CPU usage (%): 99.719
Max. virtual memory (cumulated for all children) (KiB): 76708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 788.372
system time used= 12.6951
maximum resident set size= 34212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3271374
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3212912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16839
involuntary context switches= 4179

runsolver used 1.70174 second user time and 4.16437 second system time

The end

Launcher Data

Begin job on node121 at 2012-06-09 02:18:03
IDJOB=3753814
IDBENCH=79404
IDSOLVER=2337
FILE ID=node121/3753814-1339201083
RUNJOBID= node121-1339184277-15568
PBS_JOBID= 14643801
Free space on /tmp= 71216 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh208_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753814-1339201083/watcher-3753814-1339201083 -o /tmp/evaluation-result-3753814-1339201083/solver-3753814-1339201083 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3753814-1339201083.wbo 1061552149 HOME HOME

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

MD5SUM BENCH= bf55ab5b50211f096e62edcb64c4bf57
RANDOM SEED=1061552149

node121.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.042
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.08
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.042
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.042
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.92
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.042
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.042
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.042
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.042
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	: 5438.55
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.042
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:       32873624 kB
MemFree:        29740996 kB
Buffers:          952060 kB
Cached:          1175564 kB
SwapCached:          340 kB
Active:          2142580 kB
Inactive:          50560 kB
Active(anon):      44708 kB
Inactive(anon):     8880 kB
Active(file):    2097872 kB
Inactive(file):    41680 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67106508 kB
Dirty:             14548 kB
Writeback:             0 kB
AnonPages:        211196 kB
Mapped:            12720 kB
Shmem:                40 kB
Slab:             801976 kB
SReclaimable:     245760 kB
SUnreclaim:       556216 kB
KernelStack:        1496 kB
PageTables:         4360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     159800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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= 71116 MiB
End job on node121 at 2012-06-09 02:31:27