Trace number 3725526

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2012-06-01? (TO) 1800.09 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-1440225.opb
MD5SUMae858a83a4b73fde0d05a86f9f6907e8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark36
Best CPU time to get the best result obtained on this benchmark3.20351
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1285
Total number of constraints330
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)330
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint64
Number of terms in the objective function 1285
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1285
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1285
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.19/0.24	c 2012-06-02T15:14:32+0200
0.19/0.24	c arch = x86_64
0.19/0.24	c os = linux
0.19/0.24	c compiler = ghc 7.4
0.19/0.24	c packages:
0.19/0.24	c   OptDir-0.0.1
0.19/0.24	c   array-0.4.0.0
0.19/0.24	c   base-4.5.0.0
0.19/0.24	c   bytestring-0.9.2.1
0.19/0.24	c   containers-0.4.2.1
0.19/0.24	c   deepseq-1.3.0.0
0.19/0.24	c   mtl-2.1.1
0.19/0.24	c   old_locale-1.0.0.4
0.19/0.24	c   parse_dimacs-1.2
0.19/0.24	c   parsec-3.1.2
0.19/0.24	c   queue-0.1.2
0.19/0.24	c   stm-2.3
0.19/0.24	c   time-1.4
0.19/0.24	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725526-1338642872.opb"]
0.19/0.24	c #vars 1285
0.19/0.24	c #constraints 330
0.19/0.24	c Solving starts ...
1.49/1.58	c learnt constraints deletion: 1315 -> 658
2.59/2.62	c learnt constraints deletion: 1418 -> 709
4.09/4.10	c learnt constraints deletion: 1850 -> 925
4.89/4.94	c learnt constraints deletion: 1821 -> 919
5.88/5.90	c learnt constraints deletion: 1623 -> 816
6.79/6.84	c learnt constraints deletion: 1701 -> 851
8.39/8.46	c learnt constraints deletion: 2194 -> 1105
9.18/9.24	c learnt constraints deletion: 1557 -> 779
10.59/10.65	c learnt constraints deletion: 2154 -> 1084
11.48/11.50	c solving time = 11.251s
11.48/11.50	c #decision = 24491
11.48/11.50	c #conflict = 9537
11.48/11.50	c #restart = 9
11.48/11.50	o 36
11.48/11.50	c Solving starts ...
11.48/11.51	c learnt constraints deletion: 1740 -> 870
11.48/11.57	c learnt constraints deletion: 969 -> 485
11.89/11.92	c learnt constraints deletion: 857 -> 429
12.69/12.74	c learnt constraints deletion: 1272 -> 636
13.49/13.54	c learnt constraints deletion: 1396 -> 698
14.58/14.61	c learnt constraints deletion: 1645 -> 833
15.69/15.75	c learnt constraints deletion: 1730 -> 867
16.99/17.00	c learnt constraints deletion: 1798 -> 905
18.09/18.17	c learnt constraints deletion: 1929 -> 972
19.59/19.66	c learnt constraints deletion: 2078 -> 1053
20.29/20.32	c learnt constraints deletion: 1570 -> 785
21.90/21.94	c learnt constraints deletion: 2067 -> 1040
23.28/23.32	c learnt constraints deletion: 2094 -> 1050
24.48/24.52	c learnt constraints deletion: 1891 -> 955
26.29/26.31	c learnt constraints deletion: 2248 -> 1124
27.49/27.57	c learnt constraints deletion: 2131 -> 1067
29.69/29.79	c learnt constraints deletion: 2211 -> 1120
31.59/31.60	c learnt constraints deletion: 2160 -> 1080
32.78/32.83	c learnt constraints deletion: 1947 -> 974
34.58/34.63	c learnt constraints deletion: 2079 -> 1040
36.79/36.84	c learnt constraints deletion: 2557 -> 1286
38.99/39.09	c learnt constraints deletion: 2631 -> 1322
40.98/41.00	c learnt constraints deletion: 2643 -> 1337
41.98/42.01	c learnt constraints deletion: 1889 -> 945
44.38/44.41	c learnt constraints deletion: 2572 -> 1294
45.77/45.84	c learnt constraints deletion: 2273 -> 1139
47.48/47.57	c learnt constraints deletion: 2455 -> 1233
49.18/49.25	c learnt constraints deletion: 2591 -> 1296
50.98/51.03	c learnt constraints deletion: 2792 -> 1409
52.08/52.11	c learnt constraints deletion: 2359 -> 1180
54.77/54.86	c learnt constraints deletion: 2799 -> 1403
57.67/57.79	c learnt constraints deletion: 2803 -> 1403
60.17/60.28	c learnt constraints deletion: 2746 -> 1380
63.56/63.62	c learnt constraints deletion: 2770 -> 1392
67.56/67.68	c learnt constraints deletion: 2863 -> 1445
70.37/70.43	c learnt constraints deletion: 2764 -> 1389
72.66/72.76	c learnt constraints deletion: 2951 -> 1482
74.47/74.57	c learnt constraints deletion: 2895 -> 1455
76.76/76.85	c learnt constraints deletion: 2885 -> 1459
79.17/79.23	c learnt constraints deletion: 2938 -> 1474
80.96/81.00	c learnt constraints deletion: 2808 -> 1413
83.57/83.65	c learnt constraints deletion: 3010 -> 1514
85.67/85.78	c learnt constraints deletion: 2883 -> 1449
88.06/88.16	c learnt constraints deletion: 2997 -> 1512
90.56/90.68	c learnt constraints deletion: 2898 -> 1456
92.66/92.78	c learnt constraints deletion: 2862 -> 1441
95.16/95.25	c learnt constraints deletion: 3035 -> 1528
97.06/97.12	c learnt constraints deletion: 2814 -> 1423
99.16/99.29	c learnt constraints deletion: 2851 -> 1429
101.35/101.49	c learnt constraints deletion: 2796 -> 1398
106.56/106.61	c learnt constraints deletion: 3163 -> 1595
109.76/109.87	c learnt constraints deletion: 2997 -> 1507
112.76/112.86	c learnt constraints deletion: 3153 -> 1600
116.76/116.81	c learnt constraints deletion: 3248 -> 1635
118.77/118.87	c learnt constraints deletion: 2989 -> 1508
121.56/121.67	c learnt constraints deletion: 3067 -> 1550
124.56/124.66	c learnt constraints deletion: 2922 -> 1468
127.46/127.58	c learnt constraints deletion: 3093 -> 1572
130.36/130.45	c learnt constraints deletion: 3042 -> 1542
133.76/133.85	c learnt constraints deletion: 3162 -> 1597
136.15/136.26	c learnt constraints deletion: 3220 -> 1611
138.66/138.73	c learnt constraints deletion: 3106 -> 1554
141.45/141.58	c learnt constraints deletion: 3066 -> 1539
144.75/144.86	c learnt constraints deletion: 2980 -> 1491
147.15/147.28	c learnt constraints deletion: 3114 -> 1566
150.05/150.14	c learnt constraints deletion: 3205 -> 1608
153.65/153.79	c learnt constraints deletion: 3211 -> 1610
156.35/156.46	c learnt constraints deletion: 3285 -> 1659
158.35/158.43	c learnt constraints deletion: 2864 -> 1432
161.85/161.97	c learnt constraints deletion: 3528 -> 1767
164.45/164.58	c learnt constraints deletion: 3479 -> 1745
167.15/167.26	c learnt constraints deletion: 3442 -> 1747
170.95/171.03	c learnt constraints deletion: 3487 -> 1756
173.95/174.06	c learnt constraints deletion: 3273 -> 1654
176.75/176.84	c learnt constraints deletion: 3279 -> 1645
179.54/179.60	c learnt constraints deletion: 3320 -> 1666
182.84/182.92	c learnt constraints deletion: 3497 -> 1764
186.24/186.35	c learnt constraints deletion: 3534 -> 1788
190.44/190.56	c learnt constraints deletion: 3358 -> 1689
193.84/193.93	c learnt constraints deletion: 3390 -> 1715
197.34/197.41	c learnt constraints deletion: 3234 -> 1617
200.54/200.61	c learnt constraints deletion: 3476 -> 1748
203.34/203.46	c learnt constraints deletion: 3473 -> 1744
206.54/206.70	c learnt constraints deletion: 3296 -> 1656
209.95/210.09	c learnt constraints deletion: 3414 -> 1715
213.64/213.77	c learnt constraints deletion: 3436 -> 1727
216.34/216.44	c learnt constraints deletion: 3261 -> 1640
218.34/218.46	c learnt constraints deletion: 3265 -> 1640
220.84/220.95	c learnt constraints deletion: 3270 -> 1654
224.14/224.25	c learnt constraints deletion: 3406 -> 1708
226.34/226.44	c learnt constraints deletion: 3301 -> 1660
228.75/228.82	c learnt constraints deletion: 3333 -> 1676
230.64/230.79	c learnt constraints deletion: 3237 -> 1639
233.83/233.92	c learnt constraints deletion: 3393 -> 1711
236.44/236.53	c learnt constraints deletion: 3439 -> 1720
239.44/239.59	c learnt constraints deletion: 3686 -> 1843
242.03/242.19	c learnt constraints deletion: 3552 -> 1779
245.74/245.85	c learnt constraints deletion: 3760 -> 1889
249.14/249.29	c learnt constraints deletion: 3649 -> 1835
252.53/252.60	c learnt constraints deletion: 3695 -> 1851
254.84/254.95	c learnt constraints deletion: 3282 -> 1641
257.24/257.32	c learnt constraints deletion: 3507 -> 1761
259.64/259.77	c learnt constraints deletion: 3386 -> 1702
264.23/264.33	c learnt constraints deletion: 3607 -> 1832
268.93/269.08	c learnt constraints deletion: 3599 -> 1814
274.03/274.12	c learnt constraints deletion: 3784 -> 1909
276.43/276.56	c learnt constraints deletion: 3502 -> 1765
280.12/280.27	c learnt constraints deletion: 3873 -> 1971
282.64/282.72	c learnt constraints deletion: 3327 -> 1682
285.73/285.81	c learnt constraints deletion: 3690 -> 1873
289.33/289.42	c learnt constraints deletion: 3641 -> 1856
292.33/292.46	c learnt constraints deletion: 3856 -> 1951
294.53/294.63	c learnt constraints deletion: 3410 -> 1728
297.83/297.91	c learnt constraints deletion: 3441 -> 1745
301.33/301.45	c learnt constraints deletion: 3770 -> 1914
303.73/303.80	c learnt constraints deletion: 3549 -> 1803
306.92/307.06	c learnt constraints deletion: 3871 -> 1975
309.53/309.63	c learnt constraints deletion: 3540 -> 1804
313.92/314.00	c learnt constraints deletion: 3849 -> 1959
317.12/317.27	c learnt constraints deletion: 3390 -> 1724
320.03/320.11	c learnt constraints deletion: 3498 -> 1784
323.03/323.20	c learnt constraints deletion: 3722 -> 1900
325.53/325.67	c learnt constraints deletion: 3441 -> 1749
329.02/329.17	c learnt constraints deletion: 3660 -> 1858
332.92/333.10	c learnt constraints deletion: 3737 -> 1897
336.82/336.98	c learnt constraints deletion: 3641 -> 1849
339.83/339.99	c learnt constraints deletion: 3350 -> 1703
342.82/342.97	c learnt constraints deletion: 3577 -> 1830
346.52/346.63	c learnt constraints deletion: 3628 -> 1875
349.82/349.99	c learnt constraints deletion: 3754 -> 1910
353.12/353.22	c learnt constraints deletion: 3682 -> 1873
356.12/356.24	c learnt constraints deletion: 3525 -> 1763
359.22/359.33	c learnt constraints deletion: 3862 -> 1937
362.11/362.27	c learnt constraints deletion: 3943 -> 1979
364.81/364.94	c learnt constraints deletion: 3730 -> 1872
368.11/368.25	c learnt constraints deletion: 3989 -> 2008
371.51/371.67	c learnt constraints deletion: 3920 -> 1976
374.01/374.16	c learnt constraints deletion: 3661 -> 1854
377.61/377.76	c learnt constraints deletion: 3715 -> 1887
380.71/380.85	c learnt constraints deletion: 3974 -> 2021
383.81/383.94	c learnt constraints deletion: 3690 -> 1879
387.71/387.83	c learnt constraints deletion: 3916 -> 1999
391.01/391.13	c learnt constraints deletion: 3988 -> 2039
394.91/395.08	c learnt constraints deletion: 3938 -> 2021
398.61/398.73	c learnt constraints deletion: 3978 -> 2043
402.81/402.96	c learnt constraints deletion: 4004 -> 2065
405.81/405.91	c learnt constraints deletion: 3685 -> 1897
411.10/411.29	c learnt constraints deletion: 3697 -> 1906
416.72/416.88	c learnt constraints deletion: 4061 -> 2092
421.70/421.83	c learnt constraints deletion: 4082 -> 2099
425.70/425.84	c learnt constraints deletion: 3912 -> 2018
429.80/429.98	c learnt constraints deletion: 4022 -> 2077
433.71/433.89	c learnt constraints deletion: 4049 -> 2092
438.41/438.51	c learnt constraints deletion: 3822 -> 1976
443.70/443.82	c learnt constraints deletion: 3856 -> 2001
447.90/448.00	c learnt constraints deletion: 3848 -> 1999
452.30/452.45	c learnt constraints deletion: 3955 -> 2050
457.00/457.10	c learnt constraints deletion: 3964 -> 2055
461.50/461.67	c learnt constraints deletion: 3902 -> 2021
466.10/466.24	c learnt constraints deletion: 4170 -> 2159
469.80/469.91	c learnt constraints deletion: 4023 -> 2090
473.39/473.59	c learnt constraints deletion: 3873 -> 2015
477.39/477.57	c learnt constraints deletion: 3947 -> 2060
482.00/482.16	c learnt constraints deletion: 4123 -> 2146
485.70/485.84	c learnt constraints deletion: 3886 -> 2031
490.20/490.30	c learnt constraints deletion: 3931 -> 2048
494.80/495.00	c learnt constraints deletion: 4031 -> 2102
499.59/499.70	c learnt constraints deletion: 4079 -> 2125
504.20/504.34	c learnt constraints deletion: 3806 -> 1991
508.39/508.52	c learnt constraints deletion: 3864 -> 2022
513.09/513.26	c learnt constraints deletion: 3793 -> 1993
517.19/517.39	c learnt constraints deletion: 3850 -> 2021
522.59/522.73	c learnt constraints deletion: 4056 -> 2135
527.80/527.94	c learnt constraints deletion: 3997 -> 2118
532.29/532.48	c learnt constraints deletion: 3923 -> 2064
537.49/537.64	c learnt constraints deletion: 3986 -> 2095
541.59/541.78	c learnt constraints deletion: 3755 -> 1977
545.98/546.16	c learnt constraints deletion: 3807 -> 2010
551.09/551.23	c learnt constraints deletion: 4040 -> 2135
555.78/555.98	c learnt constraints deletion: 3877 -> 2042
561.39/561.58	c learnt constraints deletion: 4002 -> 2099
565.79/565.98	c learnt constraints deletion: 3906 -> 2051
570.69/570.86	c learnt constraints deletion: 3890 -> 2048
573.99/574.11	c learnt constraints deletion: 4242 -> 2121
577.18/577.30	c learnt constraints deletion: 4230 -> 2119
580.69/580.89	c learnt constraints deletion: 4327 -> 2170
583.68/583.83	c learnt constraints deletion: 3838 -> 1922
587.09/587.30	c learnt constraints deletion: 4216 -> 2114
590.48/590.69	c learnt constraints deletion: 4048 -> 2029
594.38/594.52	c learnt constraints deletion: 4322 -> 2169
598.48/598.66	c learnt constraints deletion: 4298 -> 2156
601.48/601.66	c learnt constraints deletion: 4184 -> 2101
604.79/604.97	c learnt constraints deletion: 4215 -> 2119
608.28/608.45	c learnt constraints deletion: 4073 -> 2054
611.58/611.76	c learnt constraints deletion: 4022 -> 2027
614.97/615.19	c learnt constraints deletion: 4025 -> 2030
619.28/619.44	c learnt constraints deletion: 4208 -> 2119
623.78/623.95	c learnt constraints deletion: 4289 -> 2163
627.48/627.63	c learnt constraints deletion: 4135 -> 2098
632.67/632.89	c learnt constraints deletion: 4335 -> 2181
636.47/636.65	c learnt constraints deletion: 4189 -> 2107
640.28/640.47	c learnt constraints deletion: 4030 -> 2029
644.47/644.65	c learnt constraints deletion: 4168 -> 2093
648.57/648.79	c learnt constraints deletion: 3890 -> 1946
652.57/652.72	c learnt constraints deletion: 4074 -> 2037
656.48/656.63	c learnt constraints deletion: 4211 -> 2112
660.57/660.78	c learnt constraints deletion: 4052 -> 2038
664.66/664.82	c learnt constraints deletion: 4099 -> 2062
670.26/670.45	c learnt constraints deletion: 4340 -> 2182
675.37/675.57	c learnt constraints deletion: 4096 -> 2063
680.47/680.68	c learnt constraints deletion: 4287 -> 2161
685.17/685.37	c learnt constraints deletion: 4205 -> 2108
688.37/688.60	c learnt constraints deletion: 4179 -> 2105
692.66/692.81	c learnt constraints deletion: 4028 -> 2027
696.56/696.77	c learnt constraints deletion: 4159 -> 2099
702.46/702.61	c learnt constraints deletion: 4162 -> 2103
709.37/709.59	c learnt constraints deletion: 4340 -> 2196
714.25/714.45	c learnt constraints deletion: 4318 -> 2178
717.66/717.84	c learnt constraints deletion: 4181 -> 2103
721.15/721.35	c learnt constraints deletion: 4069 -> 2049
726.36/726.53	c learnt constraints deletion: 4279 -> 2151
731.16/731.31	c learnt constraints deletion: 4177 -> 2101
734.96/735.18	c learnt constraints deletion: 4119 -> 2075
739.45/739.60	c learnt constraints deletion: 4272 -> 2153
744.25/744.46	c learnt constraints deletion: 4371 -> 2205
748.85/749.05	c learnt constraints deletion: 4194 -> 2110
753.46/753.68	c learnt constraints deletion: 4232 -> 2136
757.35/757.51	c learnt constraints deletion: 4222 -> 2128
762.55/762.79	c learnt constraints deletion: 4362 -> 2199
768.25/768.46	c learnt constraints deletion: 4281 -> 2166
773.45/773.64	c learnt constraints deletion: 4397 -> 2211
776.94/777.16	c learnt constraints deletion: 3995 -> 2008
781.15/781.37	c learnt constraints deletion: 4299 -> 2169
784.55/784.76	c learnt constraints deletion: 3955 -> 1995
788.75/788.98	c learnt constraints deletion: 4374 -> 2194
790.95/791.11	c learnt constraints deletion: 3761 -> 1881
794.64/794.86	c learnt constraints deletion: 4401 -> 2214
798.35/798.59	c learnt constraints deletion: 4147 -> 2096
802.34/802.50	c learnt constraints deletion: 4258 -> 2142
805.44/805.67	c learnt constraints deletion: 4040 -> 2035
809.24/809.47	c learnt constraints deletion: 4205 -> 2119
813.15/813.34	c learnt constraints deletion: 4187 -> 2119
817.54/817.76	c learnt constraints deletion: 4317 -> 2180
823.54/823.71	c learnt constraints deletion: 4193 -> 2122
828.54/828.73	c learnt constraints deletion: 4265 -> 2159
832.34/832.58	c learnt constraints deletion: 4031 -> 2037
836.63/836.81	c learnt constraints deletion: 4183 -> 2117
841.33/841.53	c learnt constraints deletion: 4228 -> 2138
844.83/845.05	c learnt constraints deletion: 4156 -> 2102
849.04/849.29	c learnt constraints deletion: 4297 -> 2173
853.03/853.22	c learnt constraints deletion: 4201 -> 2127
856.13/856.38	c learnt constraints deletion: 4055 -> 2055
861.43/861.60	c learnt constraints deletion: 4205 -> 2130
866.43/866.70	c learnt constraints deletion: 4718 -> 2394
871.13/871.38	c learnt constraints deletion: 4801 -> 2411
874.23/874.50	c learnt constraints deletion: 4593 -> 2297
877.83/878.01	c learnt constraints deletion: 4841 -> 2428
881.13/881.36	c learnt constraints deletion: 4776 -> 2394
884.63/884.80	c learnt constraints deletion: 4661 -> 2343
887.92/888.12	c learnt constraints deletion: 4547 -> 2292
892.22/892.48	c learnt constraints deletion: 4806 -> 2413
896.43/896.60	c learnt constraints deletion: 4666 -> 2339
899.82/900.03	c learnt constraints deletion: 4683 -> 2354
903.22/903.43	c learnt constraints deletion: 4558 -> 2287
906.13/906.31	c learnt constraints deletion: 4386 -> 2201
909.72/909.95	c learnt constraints deletion: 4462 -> 2243
913.23/913.48	c learnt constraints deletion: 4483 -> 2258
916.92/917.10	c learnt constraints deletion: 4548 -> 2296
920.53/920.78	c learnt constraints deletion: 4689 -> 2376
924.62/924.84	c learnt constraints deletion: 4675 -> 2370
928.42/928.64	c learnt constraints deletion: 4553 -> 2302
932.82/933.07	c learnt constraints deletion: 4738 -> 2383
936.72/936.95	c learnt constraints deletion: 4679 -> 2348
941.22/941.40	c learnt constraints deletion: 4718 -> 2371
945.01/945.24	c learnt constraints deletion: 4544 -> 2277
948.42/948.65	c learnt constraints deletion: 4541 -> 2285
952.81/953.06	c learnt constraints deletion: 4739 -> 2392
957.71/957.95	c learnt constraints deletion: 4725 -> 2380
961.22/961.49	c learnt constraints deletion: 4328 -> 2177
965.11/965.33	c learnt constraints deletion: 4563 -> 2302
970.11/970.35	c learnt constraints deletion: 4516 -> 2295
975.51/975.76	c learnt constraints deletion: 4509 -> 2255
979.91/980.13	c learnt constraints deletion: 4670 -> 2343
983.71/983.98	c learnt constraints deletion: 4534 -> 2268
988.21/988.43	c learnt constraints deletion: 4789 -> 2416
993.01/993.26	c learnt constraints deletion: 4573 -> 2292
997.31/997.54	c learnt constraints deletion: 4710 -> 2360
1001.20/1001.47	c learnt constraints deletion: 4383 -> 2200
1006.00/1006.30	c learnt constraints deletion: 4701 -> 2358
1009.91/1010.14	c learnt constraints deletion: 4531 -> 2275
1014.70/1014.97	c learnt constraints deletion: 4453 -> 2234
1020.50/1020.77	c learnt constraints deletion: 4617 -> 2317
1025.80/1026.03	c learnt constraints deletion: 4532 -> 2278
1032.70/1032.97	c learnt constraints deletion: 4732 -> 2367
1038.90/1039.13	c learnt constraints deletion: 4755 -> 2391
1043.50/1043.76	c learnt constraints deletion: 4691 -> 2355
1051.50/1051.73	c learnt constraints deletion: 4793 -> 2402
1058.00/1058.24	c learnt constraints deletion: 4782 -> 2398
1063.40/1063.61	c learnt constraints deletion: 4355 -> 2179
1068.69/1068.98	c learnt constraints deletion: 4569 -> 2289
1073.69/1073.91	c learnt constraints deletion: 4453 -> 2237
1080.00/1080.26	c learnt constraints deletion: 4683 -> 2350
1084.89/1085.13	c learnt constraints deletion: 4670 -> 2346
1089.09/1089.39	c learnt constraints deletion: 4633 -> 2327
1093.59/1093.88	c learnt constraints deletion: 4441 -> 2234
1098.89/1099.14	c learnt constraints deletion: 4507 -> 2270
1104.48/1104.72	c learnt constraints deletion: 4643 -> 2335
1108.79/1109.09	c learnt constraints deletion: 4410 -> 2211
1112.99/1113.26	c learnt constraints deletion: 4391 -> 2211
1118.58/1118.86	c learnt constraints deletion: 4456 -> 2236
1124.49/1124.75	c learnt constraints deletion: 4459 -> 2235
1128.39/1128.66	c learnt constraints deletion: 4526 -> 2265
1132.98/1133.23	c learnt constraints deletion: 4640 -> 2329
1137.98/1138.22	c learnt constraints deletion: 4655 -> 2341
1143.18/1143.49	c learnt constraints deletion: 4634 -> 2328
1149.58/1149.82	c learnt constraints deletion: 4751 -> 2386
1155.48/1155.78	c learnt constraints deletion: 4674 -> 2347
1161.47/1161.79	c learnt constraints deletion: 4683 -> 2360
1167.17/1167.41	c learnt constraints deletion: 4671 -> 2348
1172.47/1172.77	c learnt constraints deletion: 4682 -> 2355
1177.98/1178.27	c learnt constraints deletion: 4635 -> 2331
1183.87/1184.15	c learnt constraints deletion: 4578 -> 2295
1188.07/1188.38	c learnt constraints deletion: 4566 -> 2294
1193.18/1193.49	c learnt constraints deletion: 4495 -> 2257
1198.47/1198.79	c learnt constraints deletion: 4606 -> 2325
1203.77/1204.03	c learnt constraints deletion: 4791 -> 2411
1208.77/1209.07	c learnt constraints deletion: 4620 -> 2326
1213.97/1214.26	c learnt constraints deletion: 4502 -> 2267
1219.57/1219.89	c learnt constraints deletion: 4603 -> 2325
1225.27/1225.51	c learnt constraints deletion: 4715 -> 2370
1230.17/1230.46	c learnt constraints deletion: 4551 -> 2285
1235.27/1235.53	c learnt constraints deletion: 4555 -> 2290
1240.96/1241.21	c learnt constraints deletion: 4704 -> 2373
1245.46/1245.75	c learnt constraints deletion: 4582 -> 2302
1250.56/1250.81	c learnt constraints deletion: 4508 -> 2268
1257.07/1257.31	c learnt constraints deletion: 4659 -> 2345
1261.66/1261.93	c learnt constraints deletion: 4607 -> 2316
1267.16/1267.43	c learnt constraints deletion: 4589 -> 2309
1272.47/1272.78	c learnt constraints deletion: 4715 -> 2372
1277.56/1277.86	c learnt constraints deletion: 4703 -> 2368
1283.96/1284.20	c learnt constraints deletion: 4682 -> 2361
1288.66/1288.99	c learnt constraints deletion: 4527 -> 2287
1294.06/1294.36	c learnt constraints deletion: 4706 -> 2375
1299.96/1300.27	c learnt constraints deletion: 4768 -> 2407
1306.35/1306.67	c learnt constraints deletion: 4713 -> 2380
1312.26/1312.56	c learnt constraints deletion: 4477 -> 2265
1319.35/1319.62	c learnt constraints deletion: 4681 -> 2367
1324.45/1324.73	c learnt constraints deletion: 4562 -> 2315
1331.45/1331.74	c learnt constraints deletion: 4549 -> 2302
1339.85/1340.11	c learnt constraints deletion: 5002 -> 2517
1346.35/1346.61	c learnt constraints deletion: 4777 -> 2407
1351.45/1351.79	c learnt constraints deletion: 4549 -> 2275
1355.45/1355.72	c learnt constraints deletion: 5053 -> 2532
1361.35/1361.62	c learnt constraints deletion: 4890 -> 2454
1366.74/1367.00	c learnt constraints deletion: 5050 -> 2534
1371.15/1371.47	c learnt constraints deletion: 5121 -> 2571
1375.64/1375.98	c learnt constraints deletion: 5212 -> 2621
1379.64/1379.90	c learnt constraints deletion: 4869 -> 2456
1383.74/1384.09	c learnt constraints deletion: 5006 -> 2516
1387.34/1387.60	c learnt constraints deletion: 4942 -> 2490
1392.64/1392.91	c learnt constraints deletion: 5254 -> 2645
1397.14/1397.42	c learnt constraints deletion: 5024 -> 2544
1401.94/1402.26	c learnt constraints deletion: 4954 -> 2500
1406.34/1406.64	c learnt constraints deletion: 4831 -> 2437
1410.64/1410.91	c learnt constraints deletion: 5178 -> 2604
1414.93/1415.24	c learnt constraints deletion: 4868 -> 2447
1419.64/1420.00	c learnt constraints deletion: 5148 -> 2591
1423.64/1423.96	c learnt constraints deletion: 4969 -> 2505
1428.33/1428.66	c learnt constraints deletion: 5024 -> 2527
1433.14/1433.44	c learnt constraints deletion: 4926 -> 2479
1437.73/1438.07	c learnt constraints deletion: 5215 -> 2638
1442.43/1442.79	c learnt constraints deletion: 5089 -> 2562
1446.94/1447.26	c learnt constraints deletion: 4727 -> 2380
1451.33/1451.60	c learnt constraints deletion: 5151 -> 2591
1455.93/1456.23	c learnt constraints deletion: 5102 -> 2577
1461.93/1462.24	c learnt constraints deletion: 5162 -> 2601
1467.03/1467.31	c learnt constraints deletion: 5028 -> 2534
1471.73/1472.01	c learnt constraints deletion: 4761 -> 2403
1476.32/1476.69	c learnt constraints deletion: 4942 -> 2502
1480.83/1481.14	c learnt constraints deletion: 5116 -> 2588
1485.13/1485.42	c learnt constraints deletion: 5036 -> 2552
1490.23/1490.57	c learnt constraints deletion: 4964 -> 2520
1495.53/1495.87	c learnt constraints deletion: 4991 -> 2544
1500.22/1500.57	c learnt constraints deletion: 4796 -> 2435
1506.32/1506.69	c learnt constraints deletion: 5026 -> 2554
1511.33/1511.62	c learnt constraints deletion: 4831 -> 2448
1515.92/1516.24	c learnt constraints deletion: 5113 -> 2592
1522.22/1522.56	c learnt constraints deletion: 5106 -> 2582
1527.12/1527.43	c learnt constraints deletion: 5131 -> 2593
1531.93/1532.24	c learnt constraints deletion: 5177 -> 2607
1536.43/1536.78	c learnt constraints deletion: 5110 -> 2582
1540.62/1540.95	c learnt constraints deletion: 5058 -> 2551
1544.22/1544.54	c learnt constraints deletion: 4981 -> 2493
1548.31/1548.60	c learnt constraints deletion: 5074 -> 2545
1552.02/1552.39	c learnt constraints deletion: 4979 -> 2495
1555.81/1556.14	c learnt constraints deletion: 4981 -> 2498
1560.32/1560.66	c learnt constraints deletion: 5118 -> 2577
1564.61/1564.99	c learnt constraints deletion: 5146 -> 2585
1568.22/1568.54	c learnt constraints deletion: 4993 -> 2513
1572.01/1572.36	c learnt constraints deletion: 4821 -> 2432
1576.21/1576.53	c learnt constraints deletion: 5033 -> 2539
1579.81/1580.18	c learnt constraints deletion: 5021 -> 2513
1583.71/1584.06	c learnt constraints deletion: 5083 -> 2549
1588.41/1588.75	c learnt constraints deletion: 5089 -> 2551
1593.41/1593.78	c learnt constraints deletion: 5082 -> 2549
1597.61/1597.98	c learnt constraints deletion: 4904 -> 2464
1602.42/1602.77	c learnt constraints deletion: 4900 -> 2473
1607.00/1607.37	c learnt constraints deletion: 4931 -> 2477
1611.80/1612.17	c learnt constraints deletion: 5144 -> 2585
1616.61/1616.98	c learnt constraints deletion: 4822 -> 2425
1621.71/1622.07	c learnt constraints deletion: 4876 -> 2453
1627.10/1627.42	c learnt constraints deletion: 4798 -> 2407
1631.90/1632.27	c learnt constraints deletion: 4962 -> 2486
1636.30/1636.68	c learnt constraints deletion: 4937 -> 2480
1641.40/1641.75	c learnt constraints deletion: 4918 -> 2470
1647.00/1647.31	c learnt constraints deletion: 4945 -> 2491
1652.50/1652.80	c learnt constraints deletion: 4947 -> 2486
1657.50/1657.83	c learnt constraints deletion: 5001 -> 2512
1663.40/1663.71	c learnt constraints deletion: 4966 -> 2493
1669.90/1670.23	c learnt constraints deletion: 5012 -> 2516
1675.29/1675.69	c learnt constraints deletion: 5220 -> 2620
1679.50/1679.84	c learnt constraints deletion: 4970 -> 2489
1684.50/1684.82	c learnt constraints deletion: 4946 -> 2478
1689.49/1689.83	c learnt constraints deletion: 5080 -> 2551
1692.69/1693.09	c learnt constraints deletion: 4787 -> 2397
1698.50/1698.82	c learnt constraints deletion: 5142 -> 2596
1702.80/1703.11	c learnt constraints deletion: 4942 -> 2490
1708.00/1708.37	c learnt constraints deletion: 5080 -> 2565
1711.69/1712.03	c learnt constraints deletion: 4817 -> 2430
1717.08/1717.45	c learnt constraints deletion: 4904 -> 2472
1722.59/1722.94	c learnt constraints deletion: 4915 -> 2477
1727.49/1727.84	c learnt constraints deletion: 4868 -> 2456
1733.49/1733.87	c learnt constraints deletion: 4979 -> 2519
1739.29/1739.64	c learnt constraints deletion: 4845 -> 2434
1744.89/1745.21	c learnt constraints deletion: 4972 -> 2501
1749.88/1750.25	c learnt constraints deletion: 4908 -> 2469
1756.88/1757.21	c learnt constraints deletion: 5067 -> 2549
1763.48/1763.81	c learnt constraints deletion: 4557 -> 2291
1768.39/1768.76	c learnt constraints deletion: 4926 -> 2480
1772.79/1773.16	c learnt constraints deletion: 4786 -> 2415
1778.28/1778.63	c learnt constraints deletion: 4965 -> 2504
1782.78/1783.14	c learnt constraints deletion: 4990 -> 2516
1786.88/1787.29	c learnt constraints deletion: 5129 -> 2593
1791.68/1792.08	c learnt constraints deletion: 4733 -> 2381
1796.17/1796.54	c learnt constraints deletion: 4940 -> 2489

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.03 2.00 3/176 22176
/proc/meminfo: memFree=30121608/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 800 0 0 0 0 0 0 0 20 0 1 0 330415791 6373376 720 33554432000 4194304 8989770 140736560680528 140734448109352 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 1556 720 425 1171 0 333 0

[startup+0.0781641 s]
/proc/loadavg: 2.08 2.03 2.00 3/176 22176
/proc/meminfo: memFree=30121608/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=10320 CPUtime=0.07 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 1769 0 0 0 7 0 0 0 20 0 1 0 330415791 10567680 1689 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 2580 1689 442 1171 0 1357 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10320

[startup+0.100312 s]
/proc/loadavg: 2.08 2.03 2.00 3/176 22176
/proc/meminfo: memFree=30121608/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=11344 CPUtime=0.09 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 1891 0 0 0 9 0 0 0 20 0 1 0 330415791 11616256 1811 33554432000 4194304 8989770 140736560680528 140736560680024 5382928 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 2836 1811 443 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344

[startup+0.300284 s]
/proc/loadavg: 2.08 2.03 2.00 3/176 22176
/proc/meminfo: memFree=30121608/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=11344 CPUtime=0.29 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 2148 0 0 0 29 0 0 0 20 0 1 0 330415791 11616256 2068 33554432000 4194304 8989770 140736560680528 140736560680024 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 2836 2068 460 1171 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11344

[startup+0.700323 s]
/proc/loadavg: 2.08 2.03 2.00 3/176 22176
/proc/meminfo: memFree=30121608/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=13392 CPUtime=0.68 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 2412 0 0 0 68 0 0 0 20 0 1 0 330415791 13713408 2332 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 3348 2332 460 1171 0 2125 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13392

[startup+1.50033 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 22177
/proc/meminfo: memFree=30112160/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=18512 CPUtime=1.49 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 3719 0 0 0 148 1 0 0 20 0 1 0 330415791 18956288 3639 33554432000 4194304 8989770 140736560680528 140736560680024 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 4628 3639 460 1171 0 3405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18512

[startup+3.10032 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 22177
/proc/meminfo: memFree=30107448/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=21584 CPUtime=3.09 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 4566 0 0 0 307 2 0 0 20 0 1 0 330415791 22102016 4486 33554432000 4194304 8989770 140736560680528 140736560679792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 5396 4486 462 1171 0 4173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21584

[startup+6.30033 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 22177
/proc/meminfo: memFree=30100736/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=24656 CPUtime=6.29 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 5478 0 0 0 624 5 0 0 20 0 1 0 330415791 25247744 5398 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 6164 5398 462 1171 0 4941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24656

[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 22177
/proc/meminfo: memFree=30100256/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=24656 CPUtime=12.69 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 5489 0 0 0 1261 8 0 0 20 0 1 0 330415791 25247744 5409 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 6164 5409 473 1171 0 4941 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24656

[startup+25.5003 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 22177
/proc/meminfo: memFree=30097496/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=25680 CPUtime=25.48 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 5745 0 0 0 2533 15 0 0 20 0 1 0 330415791 26296320 5665 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 6420 5665 473 1171 0 5197 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25680

[startup+51.1003 s]
/proc/loadavg: 2.23 2.07 2.01 3/177 22177
/proc/meminfo: memFree=30083160/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=33872 CPUtime=51.08 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 7798 0 0 0 5078 30 0 0 20 0 1 0 330415791 34684928 7718 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 8468 7718 473 1171 0 7245 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33872

[startup+102.307 s]
/proc/loadavg: 2.23 2.09 2.02 3/177 22177
/proc/meminfo: memFree=30073656/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=37968 CPUtime=102.26 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 9341 0 0 0 10167 59 0 0 20 0 1 0 330415791 38879232 8742 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 9492 8742 473 1171 0 8269 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 37968

[startup+162.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/177 22177
/proc/meminfo: memFree=30061180/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=44112 CPUtime=162.24 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 10879 0 0 0 16132 92 0 0 20 0 1 0 330415791 45170688 10278 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 11028 10278 473 1171 0 9805 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 44112

[startup+222.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/177 22178
/proc/meminfo: memFree=30055836/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=44112 CPUtime=222.24 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 11222 0 0 0 22100 124 0 0 20 0 1 0 330415791 45170688 10108 33554432000 4194304 8989770 140736560680528 140736560679792 6764481 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 11028 10108 473 1171 0 9805 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 44112

[startup+282.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/177 22178
/proc/meminfo: memFree=30043360/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=44112 CPUtime=282.23 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 13696 0 0 0 28067 156 0 0 20 0 1 0 330415791 45170688 10278 33554432000 4194304 8989770 140736560680528 140736560680024 7732696 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 11028 10278 473 1171 0 9805 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 44112

[startup+342.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/178 22181
/proc/meminfo: memFree=30039852/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=42064 CPUtime=342.22 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 13697 0 0 0 34033 189 0 0 20 0 1 0 330415791 43073536 9766 33554432000 4194304 8989770 140736560680528 140736560680024 4435160 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 10516 9766 473 1171 0 9293 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 42064

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 22181
/proc/meminfo: memFree=30036832/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=37968 CPUtime=402.21 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 14209 0 0 0 40003 218 0 0 20 0 1 0 330415791 38879232 8742 33554432000 4194304 8989770 140736560680528 140736560680024 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 9492 8742 473 1171 0 8269 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 37968

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 22181
/proc/meminfo: memFree=30029764/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=37968 CPUtime=462.2 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 14209 0 0 0 45970 250 0 0 20 0 1 0 330415791 38879232 8742 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 9492 8742 473 1171 0 8269 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 37968

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 22182
/proc/meminfo: memFree=30020516/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=37968 CPUtime=522.19 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 14209 0 0 0 51939 280 0 0 20 0 1 0 330415791 38879232 8742 33554432000 4194304 8989770 140736560680528 140736560679792 6764456 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 9492 8742 473 1171 0 8269 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 37968

[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 22182
/proc/meminfo: memFree=30010396/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=41040 CPUtime=582.19 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 16001 0 0 0 57905 314 0 0 20 0 1 0 330415791 42024960 9510 33554432000 4194304 8989770 140736560680528 140736560680024 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 10260 9510 473 1171 0 9037 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 41040

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22183
/proc/meminfo: memFree=29982524/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=45136 CPUtime=822.14 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 21383 0 0 0 81790 424 0 0 20 0 1 0 330415791 46219264 10534 33554432000 4194304 8989770 140736560680528 140736560678528 6858227 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 11284 10534 473 1171 0 10061 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 45136

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22183
/proc/meminfo: memFree=29975756/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=45136 CPUtime=882.12 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 23180 0 0 0 87762 450 0 0 20 0 1 0 330415791 46219264 10534 33554432000 4194304 8989770 140736560680528 140736560680024 4378696 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 11284 10534 473 1171 0 10061 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 45136

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22186
/proc/meminfo: memFree=29967852/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=44112 CPUtime=942.12 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 23692 0 0 0 93734 478 0 0 20 0 1 0 330415791 45170688 10278 33554432000 4194304 8989770 140736560680528 140736560680024 4355944 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 11028 10278 473 1171 0 9805 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 44112

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22186
/proc/meminfo: memFree=29953908/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=52304 CPUtime=1002.1 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 25745 0 0 0 99707 503 0 0 20 0 1 0 330415791 53559296 12326 33554432000 4194304 8989770 140736560680528 140736560679792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 13076 12326 473 1171 0 11853 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 52304

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22186
/proc/meminfo: memFree=29943872/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=56400 CPUtime=1062.09 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 26769 0 0 0 105681 528 0 0 20 0 1 0 330415791 57753600 13350 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 14100 13350 473 1171 0 12877 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 56400

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22187
/proc/meminfo: memFree=29941924/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=54352 CPUtime=1122.09 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 26772 0 0 0 111657 552 0 0 20 0 1 0 330415791 55656448 12838 33554432000 4194304 8989770 140736560680528 140736560679792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 13588 12838 473 1171 0 12365 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 54352

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22187
/proc/meminfo: memFree=29934608/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=54352 CPUtime=1182.07 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 26772 0 0 0 117629 578 0 0 20 0 1 0 330415791 55656448 12838 33554432000 4194304 8989770 140736560680528 140736560680024 4204286 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 13588 12838 473 1171 0 12365 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 54352

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22188
/proc/meminfo: memFree=29930868/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=55376 CPUtime=1242.06 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 27028 0 0 0 123602 604 0 0 20 0 1 0 330415791 56705024 13094 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 13844 13094 473 1171 0 12621 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 55376

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22188
/proc/meminfo: memFree=29923560/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=55376 CPUtime=1302.06 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 27028 0 0 0 129577 629 0 0 20 0 1 0 330415791 56705024 13094 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 13844 13094 473 1171 0 12621 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 55376

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22188
/proc/meminfo: memFree=29920088/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=50256 CPUtime=1362.04 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 27028 0 0 0 135551 653 0 0 20 0 1 0 330415791 51462144 11814 33554432000 4194304 8989770 140736560680528 140736560679792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 12564 11814 473 1171 0 11341 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 50256

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22189
/proc/meminfo: memFree=29919888/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=50256 CPUtime=1422.04 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 27028 0 0 0 141525 679 0 0 20 0 1 0 330415791 51462144 11814 33554432000 4194304 8989770 140736560680528 140736560679792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 12564 11814 473 1171 0 11341 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 50256

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22189
/proc/meminfo: memFree=29917904/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=46160 CPUtime=1482.02 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 27028 0 0 0 147498 704 0 0 20 0 1 0 330415791 47267840 10790 33554432000 4194304 8989770 140736560680528 140736560679792 4435004 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 11540 10790 473 1171 0 10317 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 46160

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22192
/proc/meminfo: memFree=29909332/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=47184 CPUtime=1542.01 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 27284 0 0 0 153475 726 0 0 20 0 1 0 330415791 48316416 11046 33554432000 4194304 8989770 140736560680528 140736560680024 4355260 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 11796 11046 473 1171 0 10573 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 47184

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 22192
/proc/meminfo: memFree=29896992/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=53328 CPUtime=1602.01 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 29077 0 0 0 159448 753 0 0 20 0 1 0 330415791 54607872 12582 33554432000 4194304 8989770 140736560680528 140736560679792 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 13332 12582 473 1171 0 12109 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 53328

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22192
/proc/meminfo: memFree=29895876/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=50256 CPUtime=1661.99 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 29333 0 0 0 165423 776 0 0 20 0 1 0 330415791 51462144 11814 33554432000 4194304 8989770 140736560680528 140736560680024 6764456 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 12564 11814 473 1171 0 11341 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 50256

[startup+1722.3 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 22232
/proc/meminfo: memFree=30058900/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=54352 CPUtime=1721.99 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 31128 0 0 0 171396 803 0 0 20 0 1 0 330415791 55656448 12838 33554432000 4194304 8989770 140736560680528 140736560680024 4209357 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 13588 12838 473 1171 0 12365 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 54352

[startup+1782.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 22232
/proc/meminfo: memFree=29970344/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=54352 CPUtime=1781.98 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 31128 0 0 0 177374 824 0 0 20 0 1 0 330415791 55656448 12838 33554432000 4194304 8989770 140736560680528 140736560680024 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 13588 12838 473 1171 0 12365 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 54352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 22232
/proc/meminfo: memFree=29949728/32873844 swapFree=7372/7372
[pid=22176] ppid=22174 vsize=54352 CPUtime=1800.08 cores=1,3,5,7
/proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 31128 0 0 0 179177 831 0 0 20 0 1 0 330415791 55656448 12838 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22176/statm: 13588 12838 473 1171 0 12365 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 54352

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

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.78
system time used= 8.31374
maximum resident set size= 54424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31128
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= 44
involuntary context switches= 1849

runsolver used 4.38133 second user time and 8.85265 second system time

The end

Launcher Data

Begin job on node109 at 2012-06-02 15:14:32
IDJOB=3725526
IDBENCH=89878
IDSOLVER=2308
FILE ID=node109/3725526-1338642872
RUNJOBID= node109-1338631506-21211
PBS_JOBID= 14636471
Free space on /tmp= 70704 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1440225.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725526-1338642872/watcher-3725526-1338642872 -o /tmp/evaluation-result-3725526-1338642872/solver-3725526-1338642872 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725526-1338642872.opb

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

MD5SUM BENCH= ae858a83a4b73fde0d05a86f9f6907e8
RANDOM SEED=27403112

node109.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.264
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.52
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.264
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.264
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.264
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.264
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.264
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.264
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.264
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30121972 kB
Buffers:          308596 kB
Cached:          1495556 kB
SwapCached:          944 kB
Active:           951908 kB
Inactive:         926720 kB
Active(anon):      68660 kB
Inactive(anon):     7796 kB
Active(file):     883248 kB
Inactive(file):   918924 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67105492 kB
Dirty:              7388 kB
Writeback:             0 kB
AnonPages:        116804 kB
Mapped:            11804 kB
Shmem:                 4 kB
Slab:             734660 kB
SReclaimable:     177120 kB
SUnreclaim:       557540 kB
KernelStack:        1480 kB
PageTables:         4368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     190008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70700 MiB
End job on node109 at 2012-06-02 15:44:35