Trace number 3707153

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.1 1800.41

General information on the benchmark

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.26	c 2012-05-27T22:27:43+0200
0.19/0.26	c arch = x86_64
0.19/0.26	c os = linux
0.19/0.26	c compiler = ghc 7.4
0.19/0.26	c packages:
0.19/0.26	c   OptDir-0.0.1
0.19/0.26	c   array-0.4.0.0
0.19/0.26	c   base-4.5.0.0
0.19/0.26	c   bytestring-0.9.2.1
0.19/0.26	c   containers-0.4.2.1
0.19/0.26	c   deepseq-1.3.0.0
0.19/0.26	c   mtl-2.1.1
0.19/0.26	c   old_locale-1.0.0.4
0.19/0.26	c   parse_dimacs-1.2
0.19/0.26	c   parsec-3.1.2
0.19/0.26	c   queue-0.1.2
0.19/0.26	c   stm-2.3
0.19/0.26	c   time-1.4
0.19/0.26	c command line = ["--pb","HOME/instance-3707153-1338150463.opb"]
0.19/0.26	c #vars 1285
0.19/0.26	c #constraints 330
0.19/0.26	c Solving starts ...
1.59/1.65	c learnt constraints deletion: 1315 -> 658
2.69/2.73	c learnt constraints deletion: 1418 -> 709
4.18/4.27	c learnt constraints deletion: 1850 -> 925
5.09/5.15	c learnt constraints deletion: 1821 -> 919
6.09/6.14	c learnt constraints deletion: 1623 -> 816
7.09/7.12	c learnt constraints deletion: 1701 -> 851
8.79/8.81	c learnt constraints deletion: 2194 -> 1105
9.59/9.61	c learnt constraints deletion: 1557 -> 779
10.99/11.08	c learnt constraints deletion: 2154 -> 1084
11.89/11.97	c solving time = 11.712s
11.89/11.97	c #decision = 24491
11.89/11.97	c #conflict = 9537
11.89/11.97	c #restart = 9
11.89/11.97	o 36
11.89/11.97	c Solving starts ...
11.89/11.98	c learnt constraints deletion: 1740 -> 870
11.99/12.05	c learnt constraints deletion: 969 -> 485
12.39/12.41	c learnt constraints deletion: 857 -> 429
13.19/13.26	c learnt constraints deletion: 1272 -> 636
13.99/14.07	c learnt constraints deletion: 1396 -> 698
15.08/15.12	c learnt constraints deletion: 1645 -> 833
16.19/16.25	c learnt constraints deletion: 1730 -> 867
17.39/17.48	c learnt constraints deletion: 1798 -> 905
18.58/18.63	c learnt constraints deletion: 1929 -> 972
19.98/20.09	c learnt constraints deletion: 2078 -> 1053
20.68/20.74	c learnt constraints deletion: 1570 -> 785
22.28/22.32	c learnt constraints deletion: 2067 -> 1040
23.58/23.67	c learnt constraints deletion: 2094 -> 1050
24.78/24.86	c learnt constraints deletion: 1891 -> 955
26.58/26.61	c learnt constraints deletion: 2248 -> 1124
27.78/27.85	c learnt constraints deletion: 2131 -> 1067
29.99/30.05	c learnt constraints deletion: 2211 -> 1120
31.78/31.83	c learnt constraints deletion: 2160 -> 1080
32.99/33.03	c learnt constraints deletion: 1947 -> 974
34.78/34.81	c learnt constraints deletion: 2079 -> 1040
36.88/36.97	c learnt constraints deletion: 2557 -> 1286
39.08/39.18	c learnt constraints deletion: 2631 -> 1322
40.98/41.05	c learnt constraints deletion: 2643 -> 1337
41.98/42.04	c learnt constraints deletion: 1889 -> 945
44.38/44.43	c learnt constraints deletion: 2572 -> 1294
45.78/45.88	c learnt constraints deletion: 2273 -> 1139
47.57/47.62	c learnt constraints deletion: 2455 -> 1233
49.28/49.33	c learnt constraints deletion: 2591 -> 1296
51.07/51.12	c learnt constraints deletion: 2792 -> 1409
52.18/52.20	c learnt constraints deletion: 2359 -> 1180
54.88/54.96	c learnt constraints deletion: 2799 -> 1403
57.88/57.95	c learnt constraints deletion: 2803 -> 1403
60.38/60.49	c learnt constraints deletion: 2746 -> 1380
63.79/63.89	c learnt constraints deletion: 2770 -> 1392
67.87/67.94	c learnt constraints deletion: 2863 -> 1445
70.57/70.64	c learnt constraints deletion: 2764 -> 1389
72.86/72.95	c learnt constraints deletion: 2951 -> 1482
74.66/74.73	c learnt constraints deletion: 2895 -> 1455
76.87/76.94	c learnt constraints deletion: 2885 -> 1459
79.17/79.29	c learnt constraints deletion: 2938 -> 1474
80.96/81.02	c learnt constraints deletion: 2808 -> 1413
83.57/83.60	c learnt constraints deletion: 3010 -> 1514
85.57/85.69	c learnt constraints deletion: 2883 -> 1449
87.97/88.02	c learnt constraints deletion: 2997 -> 1512
90.36/90.47	c learnt constraints deletion: 2898 -> 1456
92.46/92.53	c learnt constraints deletion: 2862 -> 1441
94.86/94.93	c learnt constraints deletion: 3035 -> 1528
96.66/96.77	c learnt constraints deletion: 2814 -> 1423
98.76/98.89	c learnt constraints deletion: 2851 -> 1429
100.96/101.07	c learnt constraints deletion: 2796 -> 1398
106.06/106.17	c learnt constraints deletion: 3163 -> 1595
109.26/109.37	c learnt constraints deletion: 2997 -> 1507
112.17/112.29	c learnt constraints deletion: 3153 -> 1600
116.06/116.15	c learnt constraints deletion: 3248 -> 1635
118.05/118.17	c learnt constraints deletion: 2989 -> 1508
120.86/120.91	c learnt constraints deletion: 3067 -> 1550
123.76/123.84	c learnt constraints deletion: 2922 -> 1468
126.56/126.69	c learnt constraints deletion: 3093 -> 1572
129.46/129.51	c learnt constraints deletion: 3042 -> 1542
132.75/132.83	c learnt constraints deletion: 3162 -> 1597
135.05/135.18	c learnt constraints deletion: 3220 -> 1611
137.46/137.58	c learnt constraints deletion: 3106 -> 1554
140.26/140.36	c learnt constraints deletion: 3066 -> 1539
143.45/143.59	c learnt constraints deletion: 2980 -> 1491
145.85/145.97	c learnt constraints deletion: 3114 -> 1566
148.65/148.76	c learnt constraints deletion: 3205 -> 1608
152.25/152.32	c learnt constraints deletion: 3211 -> 1610
154.85/154.92	c learnt constraints deletion: 3285 -> 1659
156.75/156.85	c learnt constraints deletion: 2864 -> 1432
160.25/160.33	c learnt constraints deletion: 3528 -> 1767
162.76/162.89	c learnt constraints deletion: 3479 -> 1745
165.45/165.51	c learnt constraints deletion: 3442 -> 1747
169.15/169.20	c learnt constraints deletion: 3487 -> 1756
172.05/172.17	c learnt constraints deletion: 3273 -> 1654
174.75/174.89	c learnt constraints deletion: 3279 -> 1645
177.45/177.59	c learnt constraints deletion: 3320 -> 1666
180.74/180.85	c learnt constraints deletion: 3497 -> 1764
184.14/184.22	c learnt constraints deletion: 3534 -> 1788
188.24/188.35	c learnt constraints deletion: 3358 -> 1689
191.55/191.65	c learnt constraints deletion: 3390 -> 1715
194.94/195.09	c learnt constraints deletion: 3234 -> 1617
198.14/198.23	c learnt constraints deletion: 3476 -> 1748
200.94/201.00	c learnt constraints deletion: 3473 -> 1744
204.04/204.19	c learnt constraints deletion: 3296 -> 1656
207.44/207.52	c learnt constraints deletion: 3414 -> 1715
211.04/211.12	c learnt constraints deletion: 3436 -> 1727
213.64/213.72	c learnt constraints deletion: 3261 -> 1640
215.65/215.71	c learnt constraints deletion: 3265 -> 1640
218.04/218.15	c learnt constraints deletion: 3270 -> 1654
221.24/221.39	c learnt constraints deletion: 3406 -> 1708
223.44/223.54	c learnt constraints deletion: 3301 -> 1660
225.74/225.87	c learnt constraints deletion: 3333 -> 1676
227.74/227.81	c learnt constraints deletion: 3237 -> 1639
230.74/230.88	c learnt constraints deletion: 3393 -> 1711
233.34/233.43	c learnt constraints deletion: 3439 -> 1720
236.33/236.42	c learnt constraints deletion: 3686 -> 1843
238.83/238.96	c learnt constraints deletion: 3552 -> 1779
242.33/242.48	c learnt constraints deletion: 3760 -> 1889
245.73/245.82	c learnt constraints deletion: 3649 -> 1835
248.94/249.08	c learnt constraints deletion: 3695 -> 1851
251.24/251.39	c learnt constraints deletion: 3282 -> 1641
253.63/253.72	c learnt constraints deletion: 3507 -> 1761
256.03/256.12	c learnt constraints deletion: 3386 -> 1702
260.43/260.58	c learnt constraints deletion: 3607 -> 1832
265.03/265.18	c learnt constraints deletion: 3599 -> 1814
269.93/270.07	c learnt constraints deletion: 3784 -> 1909
272.33/272.45	c learnt constraints deletion: 3502 -> 1765
275.93/276.09	c learnt constraints deletion: 3873 -> 1971
278.33/278.48	c learnt constraints deletion: 3327 -> 1682
281.43/281.52	c learnt constraints deletion: 3690 -> 1873
284.93/285.08	c learnt constraints deletion: 3641 -> 1856
287.92/288.05	c learnt constraints deletion: 3856 -> 1951
290.02/290.17	c learnt constraints deletion: 3410 -> 1728
293.23/293.39	c learnt constraints deletion: 3441 -> 1745
296.72/296.87	c learnt constraints deletion: 3770 -> 1914
299.03/299.15	c learnt constraints deletion: 3549 -> 1803
302.22/302.35	c learnt constraints deletion: 3871 -> 1975
304.73/304.88	c learnt constraints deletion: 3540 -> 1804
309.03/309.20	c learnt constraints deletion: 3849 -> 1959
312.33/312.42	c learnt constraints deletion: 3390 -> 1724
315.12/315.21	c learnt constraints deletion: 3498 -> 1784
318.13/318.22	c learnt constraints deletion: 3722 -> 1900
320.53/320.65	c learnt constraints deletion: 3441 -> 1749
323.93/324.09	c learnt constraints deletion: 3660 -> 1858
327.82/327.95	c learnt constraints deletion: 3737 -> 1897
331.62/331.77	c learnt constraints deletion: 3641 -> 1849
334.62/334.73	c learnt constraints deletion: 3350 -> 1703
337.52/337.65	c learnt constraints deletion: 3577 -> 1830
341.12/341.27	c learnt constraints deletion: 3628 -> 1875
344.42/344.58	c learnt constraints deletion: 3754 -> 1910
347.62/347.75	c learnt constraints deletion: 3682 -> 1873
350.62/350.73	c learnt constraints deletion: 3525 -> 1763
353.62/353.72	c learnt constraints deletion: 3862 -> 1937
356.43/356.59	c learnt constraints deletion: 3943 -> 1979
359.12/359.22	c learnt constraints deletion: 3730 -> 1872
362.31/362.48	c learnt constraints deletion: 3989 -> 2008
365.71/365.86	c learnt constraints deletion: 3920 -> 1976
368.21/368.31	c learnt constraints deletion: 3661 -> 1854
371.72/371.87	c learnt constraints deletion: 3715 -> 1887
374.82/374.91	c learnt constraints deletion: 3974 -> 2021
377.82/377.95	c learnt constraints deletion: 3690 -> 1879
381.62/381.78	c learnt constraints deletion: 3916 -> 1999
384.92/385.04	c learnt constraints deletion: 3988 -> 2039
388.81/388.95	c learnt constraints deletion: 3938 -> 2021
392.41/392.56	c learnt constraints deletion: 3978 -> 2043
396.61/396.73	c learnt constraints deletion: 4004 -> 2065
399.51/399.64	c learnt constraints deletion: 3685 -> 1897
404.81/404.99	c learnt constraints deletion: 3697 -> 1906
410.40/410.54	c learnt constraints deletion: 4061 -> 2092
415.31/415.45	c learnt constraints deletion: 4082 -> 2099
419.30/419.44	c learnt constraints deletion: 3912 -> 2018
423.41/423.55	c learnt constraints deletion: 4022 -> 2077
427.31/427.42	c learnt constraints deletion: 4049 -> 2092
431.80/431.99	c learnt constraints deletion: 3822 -> 1976
437.11/437.28	c learnt constraints deletion: 3856 -> 2001
441.31/441.42	c learnt constraints deletion: 3848 -> 1999
445.70/445.84	c learnt constraints deletion: 3955 -> 2050
450.30/450.42	c learnt constraints deletion: 3964 -> 2055
454.80/454.94	c learnt constraints deletion: 3902 -> 2021
459.30/459.45	c learnt constraints deletion: 4170 -> 2159
462.90/463.07	c learnt constraints deletion: 4023 -> 2090
466.60/466.72	c learnt constraints deletion: 3873 -> 2015
470.50/470.64	c learnt constraints deletion: 3947 -> 2060
475.00/475.19	c learnt constraints deletion: 4123 -> 2146
478.70/478.84	c learnt constraints deletion: 3886 -> 2031
483.10/483.24	c learnt constraints deletion: 3931 -> 2048
487.70/487.89	c learnt constraints deletion: 4031 -> 2102
492.39/492.55	c learnt constraints deletion: 4079 -> 2125
497.00/497.15	c learnt constraints deletion: 3806 -> 1991
501.09/501.28	c learnt constraints deletion: 3864 -> 2022
505.79/505.99	c learnt constraints deletion: 3793 -> 1993
509.89/510.07	c learnt constraints deletion: 3850 -> 2021
515.19/515.37	c learnt constraints deletion: 4056 -> 2135
520.39/520.54	c learnt constraints deletion: 3997 -> 2118
524.89/525.03	c learnt constraints deletion: 3923 -> 2064
529.98/530.15	c learnt constraints deletion: 3986 -> 2095
534.08/534.25	c learnt constraints deletion: 3755 -> 1977
538.39/538.58	c learnt constraints deletion: 3807 -> 2010
543.39/543.59	c learnt constraints deletion: 4040 -> 2135
548.19/548.30	c learnt constraints deletion: 3877 -> 2042
553.68/553.86	c learnt constraints deletion: 4002 -> 2099
558.08/558.22	c learnt constraints deletion: 3906 -> 2051
562.88/563.08	c learnt constraints deletion: 3890 -> 2048
566.08/566.27	c learnt constraints deletion: 4242 -> 2121
569.28/569.40	c learnt constraints deletion: 4230 -> 2119
572.78/572.92	c learnt constraints deletion: 4327 -> 2170
575.68/575.82	c learnt constraints deletion: 3838 -> 1922
579.08/579.21	c learnt constraints deletion: 4216 -> 2114
582.37/582.57	c learnt constraints deletion: 4048 -> 2029
586.19/586.34	c learnt constraints deletion: 4322 -> 2169
590.27/590.43	c learnt constraints deletion: 4298 -> 2156
593.17/593.38	c learnt constraints deletion: 4184 -> 2101
596.48/596.65	c learnt constraints deletion: 4215 -> 2119
599.87/600.08	c learnt constraints deletion: 4073 -> 2054
603.17/603.34	c learnt constraints deletion: 4022 -> 2027
606.48/606.70	c learnt constraints deletion: 4025 -> 2030
610.67/610.87	c learnt constraints deletion: 4208 -> 2119
615.17/615.30	c learnt constraints deletion: 4289 -> 2163
618.77/618.90	c learnt constraints deletion: 4135 -> 2098
623.87/624.07	c learnt constraints deletion: 4335 -> 2181
627.57/627.77	c learnt constraints deletion: 4189 -> 2107
631.37/631.52	c learnt constraints deletion: 4030 -> 2029
635.47/635.63	c learnt constraints deletion: 4168 -> 2093
639.57/639.72	c learnt constraints deletion: 3890 -> 1946
643.37/643.57	c learnt constraints deletion: 4074 -> 2037
647.27/647.43	c learnt constraints deletion: 4211 -> 2112
651.37/651.52	c learnt constraints deletion: 4052 -> 2038
655.36/655.50	c learnt constraints deletion: 4099 -> 2062
660.87/661.04	c learnt constraints deletion: 4340 -> 2182
665.86/666.09	c learnt constraints deletion: 4096 -> 2063
670.97/671.13	c learnt constraints deletion: 4287 -> 2161
675.56/675.76	c learnt constraints deletion: 4205 -> 2108
678.77/678.93	c learnt constraints deletion: 4179 -> 2105
682.87/683.08	c learnt constraints deletion: 4028 -> 2027
686.77/686.98	c learnt constraints deletion: 4159 -> 2099
692.56/692.76	c learnt constraints deletion: 4162 -> 2103
699.56/699.71	c learnt constraints deletion: 4340 -> 2196
704.36/704.55	c learnt constraints deletion: 4318 -> 2178
707.76/707.93	c learnt constraints deletion: 4181 -> 2103
711.26/711.41	c learnt constraints deletion: 4069 -> 2049
716.36/716.57	c learnt constraints deletion: 4279 -> 2151
721.06/721.27	c learnt constraints deletion: 4177 -> 2101
724.86/725.09	c learnt constraints deletion: 4119 -> 2075
729.26/729.48	c learnt constraints deletion: 4272 -> 2153
734.05/734.29	c learnt constraints deletion: 4371 -> 2205
738.66/738.84	c learnt constraints deletion: 4194 -> 2110
743.25/743.43	c learnt constraints deletion: 4232 -> 2136
747.05/747.22	c learnt constraints deletion: 4222 -> 2128
752.25/752.43	c learnt constraints deletion: 4362 -> 2199
757.86/758.02	c learnt constraints deletion: 4281 -> 2166
762.95/763.15	c learnt constraints deletion: 4397 -> 2211
766.44/766.63	c learnt constraints deletion: 3995 -> 2008
770.54/770.79	c learnt constraints deletion: 4299 -> 2169
773.95/774.14	c learnt constraints deletion: 3955 -> 1995
778.15/778.31	c learnt constraints deletion: 4374 -> 2194
780.25/780.41	c learnt constraints deletion: 3761 -> 1881
783.95/784.10	c learnt constraints deletion: 4401 -> 2214
787.55/787.78	c learnt constraints deletion: 4147 -> 2096
791.45/791.64	c learnt constraints deletion: 4258 -> 2142
794.54/794.77	c learnt constraints deletion: 4040 -> 2035
798.35/798.53	c learnt constraints deletion: 4205 -> 2119
802.14/802.35	c learnt constraints deletion: 4187 -> 2119
806.54/806.71	c learnt constraints deletion: 4317 -> 2180
812.44/812.65	c learnt constraints deletion: 4193 -> 2122
817.44/817.64	c learnt constraints deletion: 4265 -> 2159
821.24/821.46	c learnt constraints deletion: 4031 -> 2037
825.44/825.67	c learnt constraints deletion: 4183 -> 2117
830.14/830.36	c learnt constraints deletion: 4228 -> 2138
833.64/833.86	c learnt constraints deletion: 4156 -> 2102
837.83/838.08	c learnt constraints deletion: 4297 -> 2173
841.83/842.00	c learnt constraints deletion: 4201 -> 2127
844.93/845.15	c learnt constraints deletion: 4055 -> 2055
850.14/850.36	c learnt constraints deletion: 4205 -> 2130
855.23/855.47	c learnt constraints deletion: 4718 -> 2394
859.94/860.14	c learnt constraints deletion: 4801 -> 2411
863.03/863.26	c learnt constraints deletion: 4593 -> 2297
866.53/866.76	c learnt constraints deletion: 4841 -> 2428
869.94/870.11	c learnt constraints deletion: 4776 -> 2394
873.33/873.54	c learnt constraints deletion: 4661 -> 2343
876.64/876.86	c learnt constraints deletion: 4547 -> 2292
881.03/881.22	c learnt constraints deletion: 4806 -> 2413
885.13/885.33	c learnt constraints deletion: 4666 -> 2339
888.53/888.76	c learnt constraints deletion: 4683 -> 2354
891.93/892.14	c learnt constraints deletion: 4558 -> 2287
894.82/895.00	c learnt constraints deletion: 4386 -> 2201
898.43/898.62	c learnt constraints deletion: 4462 -> 2243
901.93/902.15	c learnt constraints deletion: 4483 -> 2258
905.52/905.76	c learnt constraints deletion: 4548 -> 2296
909.23/909.43	c learnt constraints deletion: 4689 -> 2376
913.22/913.47	c learnt constraints deletion: 4675 -> 2370
917.02/917.27	c learnt constraints deletion: 4553 -> 2302
921.42/921.68	c learnt constraints deletion: 4738 -> 2383
925.33/925.55	c learnt constraints deletion: 4679 -> 2348
929.83/930.00	c learnt constraints deletion: 4718 -> 2371
933.62/933.81	c learnt constraints deletion: 4544 -> 2277
937.02/937.21	c learnt constraints deletion: 4541 -> 2285
941.43/941.61	c learnt constraints deletion: 4739 -> 2392
946.22/946.49	c learnt constraints deletion: 4725 -> 2380
949.82/950.05	c learnt constraints deletion: 4328 -> 2177
953.62/953.86	c learnt constraints deletion: 4563 -> 2302
958.72/958.92	c learnt constraints deletion: 4516 -> 2295
964.12/964.33	c learnt constraints deletion: 4509 -> 2255
968.31/968.59	c learnt constraints deletion: 4670 -> 2343
972.12/972.39	c learnt constraints deletion: 4534 -> 2268
976.51/976.80	c learnt constraints deletion: 4789 -> 2416
981.41/981.60	c learnt constraints deletion: 4573 -> 2292
985.52/985.76	c learnt constraints deletion: 4710 -> 2360
989.41/989.66	c learnt constraints deletion: 4383 -> 2200
994.21/994.44	c learnt constraints deletion: 4701 -> 2358
998.01/998.26	c learnt constraints deletion: 4531 -> 2275
1002.81/1003.09	c learnt constraints deletion: 4453 -> 2234
1008.62/1008.84	c learnt constraints deletion: 4617 -> 2317
1013.81/1014.01	c learnt constraints deletion: 4532 -> 2278
1020.72/1020.95	c learnt constraints deletion: 4732 -> 2367
1026.80/1027.03	c learnt constraints deletion: 4755 -> 2391
1031.31/1031.58	c learnt constraints deletion: 4691 -> 2355
1039.10/1039.34	c learnt constraints deletion: 4793 -> 2402
1045.30/1045.53	c learnt constraints deletion: 4782 -> 2398
1050.61/1050.81	c learnt constraints deletion: 4355 -> 2179
1055.81/1056.06	c learnt constraints deletion: 4569 -> 2289
1060.70/1060.95	c learnt constraints deletion: 4453 -> 2237
1067.01/1067.26	c learnt constraints deletion: 4683 -> 2350
1071.79/1072.08	c learnt constraints deletion: 4670 -> 2346
1076.00/1076.26	c learnt constraints deletion: 4633 -> 2327
1080.50/1080.72	c learnt constraints deletion: 4441 -> 2234
1085.69/1085.94	c learnt constraints deletion: 4507 -> 2270
1091.19/1091.48	c learnt constraints deletion: 4643 -> 2335
1095.50/1095.75	c learnt constraints deletion: 4410 -> 2211
1099.60/1099.83	c learnt constraints deletion: 4391 -> 2211
1104.99/1105.28	c learnt constraints deletion: 4456 -> 2236
1110.80/1111.03	c learnt constraints deletion: 4459 -> 2235
1114.69/1114.93	c learnt constraints deletion: 4526 -> 2265
1119.29/1119.51	c learnt constraints deletion: 4640 -> 2329
1124.19/1124.48	c learnt constraints deletion: 4655 -> 2341
1129.50/1129.77	c learnt constraints deletion: 4634 -> 2328
1135.89/1136.10	c learnt constraints deletion: 4751 -> 2386
1141.79/1142.01	c learnt constraints deletion: 4674 -> 2347
1147.59/1147.89	c learnt constraints deletion: 4683 -> 2360
1153.18/1153.46	c learnt constraints deletion: 4671 -> 2348
1158.48/1158.78	c learnt constraints deletion: 4682 -> 2355
1163.89/1164.15	c learnt constraints deletion: 4635 -> 2331
1169.69/1169.93	c learnt constraints deletion: 4578 -> 2295
1173.78/1174.03	c learnt constraints deletion: 4566 -> 2294
1178.58/1178.89	c learnt constraints deletion: 4495 -> 2257
1183.78/1184.08	c learnt constraints deletion: 4606 -> 2325
1189.08/1189.30	c learnt constraints deletion: 4791 -> 2411
1193.98/1194.29	c learnt constraints deletion: 4620 -> 2326
1199.27/1199.50	c learnt constraints deletion: 4502 -> 2267
1204.88/1205.19	c learnt constraints deletion: 4603 -> 2325
1210.58/1210.86	c learnt constraints deletion: 4715 -> 2370
1215.39/1215.63	c learnt constraints deletion: 4551 -> 2285
1220.27/1220.53	c learnt constraints deletion: 4555 -> 2290
1225.88/1226.17	c learnt constraints deletion: 4704 -> 2373
1230.47/1230.72	c learnt constraints deletion: 4582 -> 2302
1235.48/1235.78	c learnt constraints deletion: 4508 -> 2268
1241.97/1242.20	c learnt constraints deletion: 4659 -> 2345
1246.57/1246.82	c learnt constraints deletion: 4607 -> 2316
1251.97/1252.23	c learnt constraints deletion: 4589 -> 2309
1257.27/1257.52	c learnt constraints deletion: 4715 -> 2372
1262.27/1262.53	c learnt constraints deletion: 4703 -> 2368
1268.67/1268.92	c learnt constraints deletion: 4682 -> 2361
1273.36/1273.63	c learnt constraints deletion: 4527 -> 2287
1278.77/1279.00	c learnt constraints deletion: 4706 -> 2375
1284.57/1284.84	c learnt constraints deletion: 4768 -> 2407
1290.76/1291.07	c learnt constraints deletion: 4713 -> 2380
1296.56/1296.82	c learnt constraints deletion: 4477 -> 2265
1303.66/1303.95	c learnt constraints deletion: 4681 -> 2367
1308.77/1309.10	c learnt constraints deletion: 4562 -> 2315
1315.86/1316.15	c learnt constraints deletion: 4549 -> 2302
1324.35/1324.60	c learnt constraints deletion: 5002 -> 2517
1330.65/1330.96	c learnt constraints deletion: 4777 -> 2407
1335.65/1335.99	c learnt constraints deletion: 4549 -> 2275
1339.56/1339.82	c learnt constraints deletion: 5053 -> 2532
1345.36/1345.66	c learnt constraints deletion: 4890 -> 2454
1350.66/1350.91	c learnt constraints deletion: 5050 -> 2534
1355.05/1355.31	c learnt constraints deletion: 5121 -> 2571
1359.46/1359.73	c learnt constraints deletion: 5212 -> 2621
1363.35/1363.60	c learnt constraints deletion: 4869 -> 2456
1367.44/1367.72	c learnt constraints deletion: 5006 -> 2516
1370.85/1371.17	c learnt constraints deletion: 4942 -> 2490
1376.04/1376.38	c learnt constraints deletion: 5254 -> 2645
1380.44/1380.78	c learnt constraints deletion: 5024 -> 2544
1385.24/1385.54	c learnt constraints deletion: 4954 -> 2500
1389.54/1389.83	c learnt constraints deletion: 4831 -> 2437
1393.74/1394.00	c learnt constraints deletion: 5178 -> 2604
1397.95/1398.25	c learnt constraints deletion: 4868 -> 2447
1402.64/1402.93	c learnt constraints deletion: 5148 -> 2591
1406.54/1406.81	c learnt constraints deletion: 4969 -> 2505
1411.05/1411.39	c learnt constraints deletion: 5024 -> 2527
1415.74/1416.05	c learnt constraints deletion: 4926 -> 2479
1420.24/1420.55	c learnt constraints deletion: 5215 -> 2638
1424.84/1425.14	c learnt constraints deletion: 5089 -> 2562
1429.24/1429.55	c learnt constraints deletion: 4727 -> 2380
1433.54/1433.82	c learnt constraints deletion: 5151 -> 2591
1438.04/1438.39	c learnt constraints deletion: 5102 -> 2577
1444.04/1444.36	c learnt constraints deletion: 5162 -> 2601
1449.03/1449.34	c learnt constraints deletion: 5028 -> 2534
1453.74/1454.01	c learnt constraints deletion: 4761 -> 2403
1458.34/1458.62	c learnt constraints deletion: 4942 -> 2502
1462.74/1463.01	c learnt constraints deletion: 5116 -> 2588
1466.93/1467.24	c learnt constraints deletion: 5036 -> 2552
1472.03/1472.34	c learnt constraints deletion: 4964 -> 2520
1477.23/1477.59	c learnt constraints deletion: 4991 -> 2544
1481.93/1482.22	c learnt constraints deletion: 4796 -> 2435
1487.93/1488.26	c learnt constraints deletion: 5026 -> 2554
1492.83/1493.12	c learnt constraints deletion: 4831 -> 2448
1497.43/1497.70	c learnt constraints deletion: 5113 -> 2592
1503.62/1503.96	c learnt constraints deletion: 5106 -> 2582
1508.43/1508.79	c learnt constraints deletion: 5131 -> 2593
1513.22/1513.56	c learnt constraints deletion: 5177 -> 2607
1517.73/1518.05	c learnt constraints deletion: 5110 -> 2582
1521.82/1522.15	c learnt constraints deletion: 5058 -> 2551
1525.32/1525.69	c learnt constraints deletion: 4981 -> 2493
1529.32/1529.69	c learnt constraints deletion: 5074 -> 2545
1533.02/1533.40	c learnt constraints deletion: 4979 -> 2495
1536.72/1537.09	c learnt constraints deletion: 4981 -> 2498
1541.22/1541.57	c learnt constraints deletion: 5118 -> 2577
1545.52/1545.84	c learnt constraints deletion: 5146 -> 2585
1549.02/1549.34	c learnt constraints deletion: 4993 -> 2513
1552.82/1553.11	c learnt constraints deletion: 4821 -> 2432
1556.92/1557.22	c learnt constraints deletion: 5033 -> 2539
1560.51/1560.81	c learnt constraints deletion: 5021 -> 2513
1564.31/1564.63	c learnt constraints deletion: 5083 -> 2549
1568.91/1569.22	c learnt constraints deletion: 5089 -> 2551
1573.82/1574.12	c learnt constraints deletion: 5082 -> 2549
1577.91/1578.20	c learnt constraints deletion: 4904 -> 2464
1582.41/1582.79	c learnt constraints deletion: 4900 -> 2473
1586.92/1587.27	c learnt constraints deletion: 4931 -> 2477
1591.61/1591.96	c learnt constraints deletion: 5144 -> 2585
1596.31/1596.68	c learnt constraints deletion: 4822 -> 2425
1601.32/1601.67	c learnt constraints deletion: 4876 -> 2453
1606.61/1606.95	c learnt constraints deletion: 4798 -> 2407
1611.41/1611.73	c learnt constraints deletion: 4962 -> 2486
1615.71/1616.09	c learnt constraints deletion: 4937 -> 2480
1620.71/1621.08	c learnt constraints deletion: 4918 -> 2470
1626.31/1626.60	c learnt constraints deletion: 4945 -> 2491
1631.71/1632.03	c learnt constraints deletion: 4947 -> 2486
1636.71/1637.02	c learnt constraints deletion: 5001 -> 2512
1642.51/1642.86	c learnt constraints deletion: 4966 -> 2493
1648.90/1649.23	c learnt constraints deletion: 5012 -> 2516
1654.20/1654.55	c learnt constraints deletion: 5220 -> 2620
1658.20/1658.57	c learnt constraints deletion: 4970 -> 2489
1663.01/1663.31	c learnt constraints deletion: 4946 -> 2478
1667.80/1668.11	c learnt constraints deletion: 5080 -> 2551
1671.00/1671.30	c learnt constraints deletion: 4787 -> 2397
1676.60/1676.96	c learnt constraints deletion: 5142 -> 2596
1680.80/1681.18	c learnt constraints deletion: 4942 -> 2490
1686.00/1686.35	c learnt constraints deletion: 5080 -> 2565
1689.60/1689.93	c learnt constraints deletion: 4817 -> 2430
1694.80/1695.15	c learnt constraints deletion: 4904 -> 2472
1699.99/1700.36	c learnt constraints deletion: 4915 -> 2477
1704.80/1705.14	c learnt constraints deletion: 4868 -> 2456
1710.70/1711.09	c learnt constraints deletion: 4979 -> 2519
1716.39/1716.79	c learnt constraints deletion: 4845 -> 2434
1721.79/1722.19	c learnt constraints deletion: 4972 -> 2501
1726.69/1727.08	c learnt constraints deletion: 4908 -> 2469
1733.49/1733.80	c learnt constraints deletion: 5067 -> 2549
1739.89/1740.23	c learnt constraints deletion: 4557 -> 2291
1744.68/1745.04	c learnt constraints deletion: 4926 -> 2480
1748.99/1749.34	c learnt constraints deletion: 4786 -> 2415
1754.38/1754.75	c learnt constraints deletion: 4965 -> 2504
1758.78/1759.18	c learnt constraints deletion: 4990 -> 2516
1762.88/1763.24	c learnt constraints deletion: 5129 -> 2593
1767.58/1767.97	c learnt constraints deletion: 4733 -> 2381
1771.98/1772.31	c learnt constraints deletion: 4940 -> 2489
1776.19/1776.57	c learnt constraints deletion: 4846 -> 2449
1781.38/1781.74	c learnt constraints deletion: 4989 -> 2533
1786.38/1786.77	c learnt constraints deletion: 5030 -> 2540
1790.59/1790.98	c learnt constraints deletion: 4872 -> 2453
1794.47/1794.90	c learnt constraints deletion: 4828 -> 2431
1798.08/1798.50	c learnt constraints deletion: 4771 -> 2409

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17164
/proc/meminfo: memFree=27422192/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 798 0 0 0 0 0 0 0 20 0 1 0 281173125 6356992 719 33554432000 4194304 8973514 140735540724624 140734497886520 5744600 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17164/statm: 1552 719 412 1167 0 333 0

[startup+0.056052 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17164
/proc/meminfo: memFree=27422192/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=9280 CPUtime=0.04 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 1442 0 0 0 4 0 0 0 20 0 1 0 281173125 9502720 1363 33554432000 4194304 8973514 140735540724624 140734497886520 4209336 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17164/statm: 2320 1363 417 1167 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9280

[startup+0.100225 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17164
/proc/meminfo: memFree=27422192/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=11328 CPUtime=0.09 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 1875 0 0 0 9 0 0 0 20 0 1 0 281173125 11599872 1796 33554432000 4194304 8973514 140735540724624 140734497886520 4447311 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17164/statm: 2832 1796 427 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328

[startup+0.300174 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17164
/proc/meminfo: memFree=27422192/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=11328 CPUtime=0.29 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 2118 0 0 0 29 0 0 0 20 0 1 0 281173125 11599872 2039 33554432000 4194304 8973514 140735540724624 140734497886520 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17164/statm: 2832 2041 444 1167 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11328

[startup+0.700196 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17164
/proc/meminfo: memFree=27422192/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=13376 CPUtime=0.69 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 2423 0 0 0 69 0 0 0 20 0 1 0 281173125 13697024 2344 33554432000 4194304 8973514 140735540724624 140735540724120 6565860 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17164/statm: 3344 2344 444 1167 0 2125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13376

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17165
/proc/meminfo: memFree=27412760/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=17472 CPUtime=1.49 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 3669 0 0 0 148 1 0 0 20 0 1 0 281173125 17891328 3590 33554432000 4194304 8973514 140735540724624 140735540723888 4213473 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17164/statm: 4368 3590 444 1167 0 3149 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17472

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17165
/proc/meminfo: memFree=27408148/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=21568 CPUtime=3.09 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 4694 0 0 0 307 2 0 0 20 0 1 0 281173125 22085632 4615 33554432000 4194304 8973514 140735540724624 140735540723888 4208863 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17164/statm: 5392 4615 445 1167 0 4173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21568

[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17165
/proc/meminfo: memFree=27402940/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=24640 CPUtime=6.29 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 5212 0 0 0 625 4 0 0 20 0 1 0 281173125 25231360 5133 33554432000 4194304 8973514 140735540724624 140735540724120 7678963 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17164/statm: 6160 5133 445 1167 0 4941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24640

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17165
/proc/meminfo: memFree=27401740/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=24640 CPUtime=12.69 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 5472 0 0 0 1261 8 0 0 20 0 1 0 281173125 25231360 5393 33554432000 4194304 8973514 140735540724624 140735540724120 4357076 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17164/statm: 6160 5393 455 1167 0 4941 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24640

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17165
/proc/meminfo: memFree=27401376/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=25664 CPUtime=25.48 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 5728 0 0 0 2535 13 0 0 20 0 1 0 281173125 26279936 5649 33554432000 4194304 8973514 140735540724624 140735540724120 4362818 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 6416 5649 455 1167 0 5197 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25664

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17165
/proc/meminfo: memFree=27393812/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=32832 CPUtime=51.07 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 7520 0 0 0 5083 24 0 0 20 0 1 0 281173125 33619968 7441 33554432000 4194304 8973514 140735540724624 140735540723888 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 8208 7441 455 1167 0 6989 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32832

[startup+102.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 17204
/proc/meminfo: memFree=25925140/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=37952 CPUtime=102.27 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 9071 0 0 0 10176 51 0 0 20 0 1 0 281173125 38862848 8726 33554432000 4194304 8973514 140735540724624 140735540723888 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 9488 8726 455 1167 0 8269 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37952

[startup+162.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 17207
/proc/meminfo: memFree=26444288/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=44096 CPUtime=162.25 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 10607 0 0 0 16143 82 0 0 20 0 1 0 281173125 45154304 10262 33554432000 4194304 8973514 140735540724624 140735540724120 4424580 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 11024 10262 455 1167 0 9805 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 44096

[startup+222.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 17208
/proc/meminfo: memFree=26445316/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=43072 CPUtime=222.25 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 10863 0 0 0 22117 108 0 0 20 0 1 0 281173125 44105728 10006 33554432000 4194304 8973514 140735540724624 140735540724120 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 10768 10006 455 1167 0 9549 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 43072

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 17208
/proc/meminfo: memFree=26448444/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=44096 CPUtime=282.23 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 12990 0 0 0 28089 134 0 0 20 0 1 0 281173125 45154304 10262 33554432000 4194304 8973514 140735540724624 140735540707720 4481181 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 11024 10262 455 1167 0 9805 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 44096

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 17208
/proc/meminfo: memFree=26450084/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=42048 CPUtime=342.22 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 12990 0 0 0 34060 162 0 0 20 0 1 0 281173125 43057152 9750 33554432000 4194304 8973514 140735540724624 140735540724120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 10512 9750 455 1167 0 9293 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 42048

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 17208
/proc/meminfo: memFree=26454272/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=37952 CPUtime=402.21 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 13502 0 0 0 40029 192 0 0 20 0 1 0 281173125 38862848 8726 33554432000 4194304 8973514 140735540724624 140735540724120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 9488 8726 455 1167 0 8269 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 37952

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 17208
/proc/meminfo: memFree=26454300/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=37952 CPUtime=462.2 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 13502 0 0 0 45997 223 0 0 20 0 1 0 281173125 38862848 8726 33554432000 4194304 8973514 140735540724624 140735540723728 4390282 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 9488 8726 455 1167 0 8269 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 37952

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 17209
/proc/meminfo: memFree=26454092/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=37952 CPUtime=522.19 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 13502 0 0 0 51967 252 0 0 20 0 1 0 281173125 38862848 8726 33554432000 4194304 8973514 140735540724624 140735540724120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 9488 8726 455 1167 0 8269 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 37952

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 17209
/proc/meminfo: memFree=26450416/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=43072 CPUtime=582.17 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 15584 0 0 0 57936 281 0 0 20 0 1 0 281173125 44105728 9784 33554432000 4194304 8973514 140735540724624 140735540724120 4459404 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 10768 9784 455 1167 0 9549 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 43072

[startup+642.3 s]

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

[startup+882.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 17213
/proc/meminfo: memFree=26452744/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=45120 CPUtime=882.13 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 21442 0 0 0 87806 407 0 0 20 0 1 0 281173125 46202880 10518 33554432000 4194304 8973514 140735540724624 140735540724120 4204266 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 11280 10518 455 1167 0 10061 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 45120

[startup+942.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 17213
/proc/meminfo: memFree=26453860/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=44096 CPUtime=942.12 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 21954 0 0 0 93780 432 0 0 20 0 1 0 281173125 45154304 10262 33554432000 4194304 8973514 140735540724624 140735540707720 4390102 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 11024 10262 455 1167 0 9805 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 44096

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 17213
/proc/meminfo: memFree=26445676/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=52288 CPUtime=1002.11 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 24002 0 0 0 99753 458 0 0 20 0 1 0 281173125 53542912 12310 33554432000 4194304 8973514 140735540724624 140735540723888 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 13072 12310 455 1167 0 11853 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 52288

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 17213
/proc/meminfo: memFree=26443444/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=54336 CPUtime=1062.11 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 24881 0 0 0 105726 485 0 0 20 0 1 0 281173125 55640064 12677 33554432000 4194304 8973514 140735540724624 140735540724120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 13584 12677 455 1167 0 12365 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 54336

[startup+1122.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 17214
/proc/meminfo: memFree=26443444/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=54336 CPUtime=1122.09 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 25026 0 0 0 111698 511 0 0 20 0 1 0 281173125 55640064 12822 33554432000 4194304 8973514 140735540724624 140735540724120 7937344 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 13584 12822 455 1167 0 12365 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 54336

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 17214
/proc/meminfo: memFree=26442208/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=55360 CPUtime=1182.08 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 25282 0 0 0 117670 538 0 0 20 0 1 0 281173125 56688640 13078 33554432000 4194304 8973514 140735540724624 140735540724120 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 13840 13078 455 1167 0 12621 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 55360

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 17214
/proc/meminfo: memFree=26441960/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=55360 CPUtime=1242.07 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 25282 0 0 0 123646 561 0 0 20 0 1 0 281173125 56688640 13078 33554432000 4194304 8973514 140735540724624 140735540707720 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 13840 13078 455 1167 0 12621 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 55360

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17214
/proc/meminfo: memFree=26441836/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=55360 CPUtime=1302.07 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 25282 0 0 0 129620 587 0 0 20 0 1 0 281173125 56688640 13078 33554432000 4194304 8973514 140735540724624 140735540724120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 13840 13078 455 1167 0 12621 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 55360

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17217
/proc/meminfo: memFree=26446176/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=50240 CPUtime=1362.04 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 25291 0 0 0 135595 609 0 0 20 0 1 0 281173125 51445760 11798 33554432000 4194304 8973514 140735540724624 140735540723888 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 12560 11798 455 1167 0 11341 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 50240

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17218
/proc/meminfo: memFree=26446432/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=50240 CPUtime=1422.04 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 25291 0 0 0 141569 635 0 0 20 0 1 0 281173125 51445760 11798 33554432000 4194304 8973514 140735540724624 140735540724120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 12560 11798 455 1167 0 11341 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 50240

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17218
/proc/meminfo: memFree=26450648/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=46144 CPUtime=1482.03 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 25291 0 0 0 147543 660 0 0 20 0 1 0 281173125 47251456 10774 33554432000 4194304 8973514 140735540724624 140735540707720 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 11536 10774 455 1167 0 10317 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 46144

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17218
/proc/meminfo: memFree=26454184/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=46144 CPUtime=1542.02 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 25547 0 0 0 153517 685 0 0 20 0 1 0 281173125 47251456 10774 33554432000 4194304 8973514 140735540724624 140735540707720 4424631 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 11536 10774 455 1167 0 10317 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 46144

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17218
/proc/meminfo: memFree=26447680/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=54336 CPUtime=1602.01 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 27389 0 0 0 159490 711 0 0 20 0 1 0 281173125 55640064 12616 33554432000 4194304 8973514 140735540724624 140735540707720 4424788 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 13584 12616 455 1167 0 12365 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 54336

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17218
/proc/meminfo: memFree=26448796/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=54336 CPUtime=1662 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 28447 0 0 0 165463 737 0 0 20 0 1 0 281173125 55640064 12650 33554432000 4194304 8973514 140735540724624 140735540724120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 13584 12650 455 1167 0 12365 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 54336

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 17219
/proc/meminfo: memFree=26446440/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=54336 CPUtime=1721.99 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 29387 0 0 0 171437 762 0 0 20 0 1 0 281173125 55640064 12822 33554432000 4194304 8973514 140735540724624 140735540707720 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 13584 12822 455 1167 0 12365 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 54336

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17219
/proc/meminfo: memFree=26446192/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=54336 CPUtime=1781.98 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 29387 0 0 0 177408 790 0 0 20 0 1 0 281173125 55640064 12822 33554432000 4194304 8973514 140735540724624 140735540707720 4459464 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 13584 12822 455 1167 0 12365 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 54336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 4/177 17219
/proc/meminfo: memFree=26446440/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=54336 CPUtime=1800.08 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 29387 0 0 0 179210 798 0 0 20 0 1 0 281173125 55640064 12822 33554432000 4194304 8973514 140735540724624 140735540724120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 13584 12822 455 1167 0 12365 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 54336

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

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

[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 4/177 17219
/proc/meminfo: memFree=26446440/32873648 swapFree=6848/6848
[pid=17164] ppid=17162 vsize=54336 CPUtime=1800.08 cores=0,2,4,6
/proc/17164/stat : 17164 (toysat) R 17162 17164 14927 0 -1 4202496 29387 0 0 0 179210 798 0 0 20 0 1 0 281173125 55640064 12822 33554432000 4194304 8973514 140735540724624 140735540724120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17164/statm: 13584 12822 455 1167 0 12365 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 54336

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1792.11
CPU system time (s): 7.99179
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 57408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.11
system time used= 7.99179
maximum resident set size= 54360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29387
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= 31
involuntary context switches= 2336

runsolver used 3.52146 second user time and 8.60469 second system time

The end

Launcher Data 

Begin job on node113 at 2012-05-27 22:27:43
IDJOB=3707153
IDBENCH=89878
IDSOLVER=2285
FILE ID=node113/3707153-1338150463
RUNJOBID= node113-1338122976-14943
PBS_JOBID= 14624493
Free space on /tmp= 71384 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1440225.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707153-1338150463/watcher-3707153-1338150463 -o /tmp/evaluation-result-3707153-1338150463/solver-3707153-1338150463 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3707153-1338150463.opb

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

MD5SUM BENCH= ae858a83a4b73fde0d05a86f9f6907e8
RANDOM SEED=38040106

node113.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.026
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.05
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.026
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.90
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.026
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	: 5438.54
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.026
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.026
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.026
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.026
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.92
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.026
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:       32873648 kB
MemFree:        27422720 kB
Buffers:          350284 kB
Cached:          4107520 kB
SwapCached:            0 kB
Active:          1239944 kB
Inactive:        3378420 kB
Active(anon):     163076 kB
Inactive(anon):        0 kB
Active(file):    1076868 kB
Inactive(file):  3378420 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7388 kB
Writeback:             0 kB
AnonPages:        167108 kB
Mapped:            16084 kB
Shmem:               200 kB
Slab:             694620 kB
SReclaimable:     139104 kB
SUnreclaim:       555516 kB
KernelStack:        1456 kB
PageTables:         3944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     274296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    124928 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= 71332 MiB
End job on node113 at 2012-05-27 22:57:45