Trace number 3725066

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.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-9symml.opb
MD5SUM866c660dea8282137b8c78839dd4c03f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4517
Best CPU time to get the best result obtained on this benchmark0.174972
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4517
Optimality of the best value was proved YES
Number of variables651
Total number of constraints1658
Number of constraints which are clauses1656
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42
Number of terms in the objective function 651
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 28138
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 28138
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.06/0.08	c 2012-06-02T12:35:16+0200
0.06/0.08	c arch = x86_64
0.06/0.08	c os = linux
0.06/0.08	c compiler = ghc 7.4
0.06/0.08	c packages:
0.06/0.08	c   OptDir-0.0.1
0.06/0.08	c   array-0.4.0.0
0.06/0.08	c   base-4.5.0.0
0.06/0.08	c   bytestring-0.9.2.1
0.06/0.08	c   containers-0.4.2.1
0.06/0.08	c   deepseq-1.3.0.0
0.06/0.08	c   mtl-2.1.1
0.06/0.08	c   old_locale-1.0.0.4
0.06/0.08	c   parse_dimacs-1.2
0.06/0.08	c   parsec-3.1.2
0.06/0.08	c   queue-0.1.2
0.06/0.08	c   stm-2.3
0.06/0.08	c   time-1.4
0.06/0.08	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725066-1338633316.opb"]
0.06/0.08	c #vars 651
0.06/0.08	c #constraints 1658
0.06/0.08	c Solving starts ...
0.06/0.08	c solving time = 0.001s
0.06/0.08	c #decision = 400
0.06/0.08	c #conflict = 0
0.06/0.08	c #restart = 0
0.06/0.08	o 6227
0.06/0.09	c Solving starts ...
0.06/0.09	c solving time = 0.007s
0.06/0.09	c #decision = 799
0.06/0.09	c #conflict = 3
0.06/0.09	c #restart = 0
0.06/0.09	o 6204
0.06/0.09	c Solving starts ...
0.09/0.11	c solving time = 0.013s
0.09/0.11	c #decision = 1212
0.09/0.11	c #conflict = 7
0.09/0.11	c #restart = 0
0.09/0.11	o 6181
0.09/0.11	c Solving starts ...
0.09/0.12	c solving time = 0.013s
0.09/0.12	c #decision = 1626
0.09/0.12	c #conflict = 9
0.09/0.12	c #restart = 0
0.09/0.12	o 6158
0.09/0.12	c Solving starts ...
0.09/0.17	c solving time = 0.051s
0.09/0.17	c #decision = 2076
0.09/0.17	c #conflict = 43
0.09/0.17	c #restart = 0
0.09/0.17	o 6135
0.09/0.17	c Solving starts ...
2.59/2.64	c learnt constraints deletion: 1268 -> 640
3.88/3.99	c learnt constraints deletion: 1372 -> 689
5.09/5.18	c learnt constraints deletion: 1501 -> 754
6.69/6.70	c learnt constraints deletion: 1647 -> 826
7.99/8.07	c learnt constraints deletion: 1631 -> 819
9.99/10.07	c learnt constraints deletion: 1789 -> 896
11.69/11.73	c learnt constraints deletion: 1801 -> 906
13.20/13.23	c learnt constraints deletion: 1781 -> 893
15.18/15.21	c learnt constraints deletion: 1942 -> 975
17.18/17.22	c learnt constraints deletion: 2002 -> 1008
18.78/18.83	c learnt constraints deletion: 1959 -> 986
20.38/20.42	c learnt constraints deletion: 1953 -> 982
22.48/22.54	c learnt constraints deletion: 2150 -> 1078
24.29/24.38	c learnt constraints deletion: 2136 -> 1069
26.18/26.23	c learnt constraints deletion: 2114 -> 1060
28.19/28.24	c learnt constraints deletion: 2148 -> 1078
30.08/30.15	c learnt constraints deletion: 2147 -> 1078
32.28/32.37	c learnt constraints deletion: 2345 -> 1178
34.38/34.43	c learnt constraints deletion: 2360 -> 1189
36.48/36.51	c learnt constraints deletion: 2318 -> 1161
38.38/38.42	c learnt constraints deletion: 2331 -> 1168
40.48/40.53	c learnt constraints deletion: 2348 -> 1179
42.38/42.47	c learnt constraints deletion: 2348 -> 1181
44.38/44.49	c learnt constraints deletion: 2339 -> 1175
46.78/46.88	c learnt constraints deletion: 2527 -> 1264
49.07/49.16	c learnt constraints deletion: 2523 -> 1263
51.18/51.25	c learnt constraints deletion: 2525 -> 1266
53.48/53.52	c learnt constraints deletion: 2531 -> 1267
56.27/56.34	c learnt constraints deletion: 2537 -> 1273
58.57/58.67	c learnt constraints deletion: 2528 -> 1269
60.97/61.03	c learnt constraints deletion: 2522 -> 1264
63.27/63.34	c learnt constraints deletion: 2522 -> 1264
65.67/65.77	c learnt constraints deletion: 2531 -> 1266
68.27/68.33	c learnt constraints deletion: 2540 -> 1273
71.27/71.31	c learnt constraints deletion: 2796 -> 1403
73.87/73.92	c learnt constraints deletion: 2778 -> 1392
76.57/76.61	c learnt constraints deletion: 2770 -> 1387
79.27/79.37	c learnt constraints deletion: 2775 -> 1391
81.97/82.00	c learnt constraints deletion: 2789 -> 1401
84.27/84.33	c learnt constraints deletion: 2760 -> 1380
86.96/87.07	c learnt constraints deletion: 2779 -> 1392
89.97/90.00	c learnt constraints deletion: 2752 -> 1377
92.66/92.70	c learnt constraints deletion: 2756 -> 1381
95.47/95.59	c learnt constraints deletion: 2790 -> 1400
98.17/98.23	c learnt constraints deletion: 2792 -> 1404
100.86/100.92	c learnt constraints deletion: 2756 -> 1378
103.36/103.41	c learnt constraints deletion: 2759 -> 1381
105.96/106.02	c learnt constraints deletion: 2759 -> 1383
108.96/109.01	c learnt constraints deletion: 3029 -> 1516
111.65/111.77	c learnt constraints deletion: 3026 -> 1513
114.85/114.92	c learnt constraints deletion: 3068 -> 1536
117.46/117.60	c learnt constraints deletion: 3033 -> 1522
120.35/120.40	c learnt constraints deletion: 3045 -> 1525
123.06/123.14	c learnt constraints deletion: 3059 -> 1532
125.75/125.85	c learnt constraints deletion: 3054 -> 1528
128.66/128.73	c learnt constraints deletion: 3054 -> 1532
131.55/131.62	c learnt constraints deletion: 3030 -> 1519
134.75/134.88	c learnt constraints deletion: 3034 -> 1522
137.74/137.87	c learnt constraints deletion: 3049 -> 1528
140.54/140.62	c learnt constraints deletion: 3067 -> 1538
143.14/143.20	c learnt constraints deletion: 3032 -> 1519
145.94/146.02	c learnt constraints deletion: 3043 -> 1526
148.94/149.01	c learnt constraints deletion: 3082 -> 1548
151.54/151.65	c learnt constraints deletion: 3017 -> 1509
154.34/154.40	c learnt constraints deletion: 3027 -> 1515
157.14/157.25	c learnt constraints deletion: 3030 -> 1517
160.14/160.27	c learnt constraints deletion: 3049 -> 1531
163.84/163.91	c learnt constraints deletion: 3323 -> 1663
166.94/167.06	c learnt constraints deletion: 3317 -> 1659
169.94/170.09	c learnt constraints deletion: 3297 -> 1649
173.33/173.40	c learnt constraints deletion: 3320 -> 1661
176.63/176.77	c learnt constraints deletion: 3304 -> 1652
179.63/179.71	c learnt constraints deletion: 3313 -> 1659
182.83/182.97	c learnt constraints deletion: 3326 -> 1668
185.73/185.87	c learnt constraints deletion: 3334 -> 1671
188.83/188.91	c learnt constraints deletion: 3313 -> 1659
191.92/192.08	c learnt constraints deletion: 3321 -> 1665
195.23/195.38	c learnt constraints deletion: 3317 -> 1659
198.02/198.19	c learnt constraints deletion: 3302 -> 1652
201.23/201.36	c learnt constraints deletion: 3338 -> 1671
204.22/204.39	c learnt constraints deletion: 3329 -> 1665
207.51/207.60	c learnt constraints deletion: 3318 -> 1660
210.71/210.80	c learnt constraints deletion: 3349 -> 1677
213.82/213.96	c learnt constraints deletion: 3353 -> 1682
216.92/217.05	c learnt constraints deletion: 3342 -> 1674
220.32/220.41	c learnt constraints deletion: 3336 -> 1672
223.41/223.50	c learnt constraints deletion: 3363 -> 1688
226.42/226.52	c learnt constraints deletion: 3330 -> 1668
229.51/229.63	c learnt constraints deletion: 3337 -> 1675
232.71/232.84	c learnt constraints deletion: 3342 -> 1674
235.82/235.96	c learnt constraints deletion: 3334 -> 1670
238.81/238.99	c learnt constraints deletion: 3327 -> 1670
242.11/242.28	c learnt constraints deletion: 3343 -> 1678
245.71/245.81	c learnt constraints deletion: 3639 -> 1823
249.21/249.37	c learnt constraints deletion: 3621 -> 1812
252.91/253.00	c learnt constraints deletion: 3627 -> 1814
256.60/256.70	c learnt constraints deletion: 3628 -> 1817
260.10/260.24	c learnt constraints deletion: 3635 -> 1822
263.30/263.44	c learnt constraints deletion: 3611 -> 1807
266.80/266.99	c learnt constraints deletion: 3620 -> 1811
270.30/270.50	c learnt constraints deletion: 3618 -> 1811
273.90/274.03	c learnt constraints deletion: 3631 -> 1818
277.30/277.44	c learnt constraints deletion: 3610 -> 1805
280.79/280.91	c learnt constraints deletion: 3619 -> 1812
284.20/284.37	c learnt constraints deletion: 3622 -> 1814
287.50/287.63	c learnt constraints deletion: 3620 -> 1813
290.80/290.96	c learnt constraints deletion: 3620 -> 1814
294.10/294.27	c learnt constraints deletion: 3618 -> 1812
297.59/297.70	c learnt constraints deletion: 3613 -> 1807
300.99/301.12	c learnt constraints deletion: 3632 -> 1817
304.29/304.48	c learnt constraints deletion: 3623 -> 1815
307.69/307.85	c learnt constraints deletion: 3621 -> 1813
310.99/311.18	c learnt constraints deletion: 3617 -> 1812
314.39/314.59	c learnt constraints deletion: 3625 -> 1816
317.59/317.78	c learnt constraints deletion: 3637 -> 1823
321.09/321.21	c learnt constraints deletion: 3621 -> 1813
324.48/324.64	c learnt constraints deletion: 3632 -> 1819
327.88/328.08	c learnt constraints deletion: 3618 -> 1811
331.38/331.53	c learnt constraints deletion: 3625 -> 1817
334.99/335.12	c learnt constraints deletion: 3613 -> 1809
338.48/338.69	c learnt constraints deletion: 3643 -> 1825
342.08/342.29	c learnt constraints deletion: 3649 -> 1831
345.48/345.68	c learnt constraints deletion: 3618 -> 1812
348.98/349.14	c learnt constraints deletion: 3644 -> 1827
352.48/352.67	c learnt constraints deletion: 3624 -> 1815
356.08/356.26	c learnt constraints deletion: 3631 -> 1822
359.68/359.82	c learnt constraints deletion: 3634 -> 1825
363.18/363.31	c learnt constraints deletion: 3619 -> 1812
366.37/366.51	c learnt constraints deletion: 3619 -> 1814
370.37/370.57	c learnt constraints deletion: 3968 -> 1988
373.88/374.09	c learnt constraints deletion: 3964 -> 1982
377.47/377.65	c learnt constraints deletion: 3971 -> 1988
381.27/381.46	c learnt constraints deletion: 3971 -> 1989
384.97/385.18	c learnt constraints deletion: 3973 -> 1993
388.56/388.75	c learnt constraints deletion: 3954 -> 1977
392.37/392.59	c learnt constraints deletion: 3981 -> 1992
396.17/396.34	c learnt constraints deletion: 3967 -> 1985
399.87/400.08	c learnt constraints deletion: 3981 -> 1993
403.36/403.55	c learnt constraints deletion: 3980 -> 1994
407.17/407.38	c learnt constraints deletion: 3980 -> 1993
411.07/411.21	c learnt constraints deletion: 3990 -> 2001
414.66/414.90	c learnt constraints deletion: 3975 -> 1988
418.46/418.66	c learnt constraints deletion: 3986 -> 1996
422.17/422.38	c learnt constraints deletion: 3972 -> 1989
426.06/426.25	c learnt constraints deletion: 3980 -> 1994
430.16/430.30	c learnt constraints deletion: 3974 -> 1988
433.56/433.74	c learnt constraints deletion: 3961 -> 1981
437.46/437.63	c learnt constraints deletion: 3973 -> 1989
441.36/441.54	c learnt constraints deletion: 3982 -> 1994
445.26/445.50	c learnt constraints deletion: 3957 -> 1980
449.15/449.35	c learnt constraints deletion: 3978 -> 1991
452.96/453.16	c learnt constraints deletion: 3998 -> 2005
456.85/457.01	c learnt constraints deletion: 3993 -> 2003
460.15/460.34	c learnt constraints deletion: 3992 -> 2004
464.06/464.29	c learnt constraints deletion: 3964 -> 1985
467.84/468.04	c learnt constraints deletion: 3981 -> 1995
471.65/471.84	c learnt constraints deletion: 3981 -> 1997
475.34/475.58	c learnt constraints deletion: 3964 -> 1985
479.14/479.34	c learnt constraints deletion: 3983 -> 1995
482.84/483.02	c learnt constraints deletion: 3969 -> 1988
486.34/486.55	c learnt constraints deletion: 3965 -> 1987
489.94/490.14	c learnt constraints deletion: 3965 -> 1987
493.65/493.81	c learnt constraints deletion: 3961 -> 1986
497.33/497.52	c learnt constraints deletion: 3967 -> 1989
501.04/501.24	c learnt constraints deletion: 3976 -> 1994
504.84/505.08	c learnt constraints deletion: 3967 -> 1984
508.63/508.82	c learnt constraints deletion: 3982 -> 1992
512.23/512.50	c learnt constraints deletion: 3965 -> 1985
515.93/516.18	c learnt constraints deletion: 3965 -> 1985
519.43/519.64	c learnt constraints deletion: 3959 -> 1981
523.03/523.27	c learnt constraints deletion: 3972 -> 1987
526.64/526.86	c learnt constraints deletion: 3970 -> 1987
530.04/530.26	c learnt constraints deletion: 3990 -> 1998
533.83/534.09	c learnt constraints deletion: 3984 -> 1995
537.53/537.70	c learnt constraints deletion: 3975 -> 1990
541.03/541.27	c learnt constraints deletion: 4007 -> 2008
544.53/544.77	c learnt constraints deletion: 3978 -> 1993
548.03/548.26	c learnt constraints deletion: 4011 -> 2012
551.52/551.71	c learnt constraints deletion: 3994 -> 2004
555.43/555.64	c learnt constraints deletion: 4342 -> 2173
559.62/559.84	c learnt constraints deletion: 4343 -> 2172
563.42/563.62	c learnt constraints deletion: 4351 -> 2178
567.11/567.38	c learnt constraints deletion: 4342 -> 2172
570.92/571.15	c learnt constraints deletion: 4354 -> 2180
574.62/574.86	c learnt constraints deletion: 4364 -> 2186
578.52/578.77	c learnt constraints deletion: 4349 -> 2179
582.51/582.78	c learnt constraints deletion: 4365 -> 2188
586.62/586.81	c learnt constraints deletion: 4360 -> 2187
590.72/590.94	c learnt constraints deletion: 4349 -> 2178
594.92/595.14	c learnt constraints deletion: 4368 -> 2189
599.02/599.23	c learnt constraints deletion: 4357 -> 2185
603.21/603.45	c learnt constraints deletion: 4342 -> 2171
607.31/607.57	c learnt constraints deletion: 4364 -> 2185
611.21/611.47	c learnt constraints deletion: 4349 -> 2177
615.11/615.30	c learnt constraints deletion: 4351 -> 2181
619.01/619.24	c learnt constraints deletion: 4339 -> 2171
623.11/623.33	c learnt constraints deletion: 4356 -> 2181
627.20/627.47	c learnt constraints deletion: 4346 -> 2175
630.90/631.10	c learnt constraints deletion: 4343 -> 2174
635.20/635.45	c learnt constraints deletion: 4350 -> 2179
639.20/639.41	c learnt constraints deletion: 4345 -> 2179
643.20/643.47	c learnt constraints deletion: 4350 -> 2181
647.70/647.91	c learnt constraints deletion: 4362 -> 2189
651.80/652.02	c learnt constraints deletion: 4352 -> 2183
655.99/656.27	c learnt constraints deletion: 4344 -> 2172
659.80/660.01	c learnt constraints deletion: 4356 -> 2179
663.79/664.02	c learnt constraints deletion: 4340 -> 2171
667.79/668.02	c learnt constraints deletion: 4348 -> 2176
671.99/672.27	c learnt constraints deletion: 4350 -> 2178
676.09/676.30	c learnt constraints deletion: 4365 -> 2185
679.99/680.20	c learnt constraints deletion: 4353 -> 2180
683.69/683.97	c learnt constraints deletion: 4366 -> 2188
687.49/687.76	c learnt constraints deletion: 4355 -> 2184
691.70/691.93	c learnt constraints deletion: 4371 -> 2192
695.79/696.09	c learnt constraints deletion: 4367 -> 2185
699.68/699.94	c learnt constraints deletion: 4349 -> 2179
703.58/703.90	c learnt constraints deletion: 4342 -> 2173
707.98/708.24	c learnt constraints deletion: 4381 -> 2196
711.98/712.26	c learnt constraints deletion: 4351 -> 2179
716.38/716.66	c learnt constraints deletion: 4348 -> 2177
720.48/720.76	c learnt constraints deletion: 4359 -> 2186
724.59/724.88	c learnt constraints deletion: 4355 -> 2182
728.98/729.22	c learnt constraints deletion: 4375 -> 2194
733.18/733.47	c learnt constraints deletion: 4341 -> 2172
737.07/737.33	c learnt constraints deletion: 4341 -> 2173
741.27/741.55	c learnt constraints deletion: 4346 -> 2177
745.37/745.66	c learnt constraints deletion: 4367 -> 2188
749.36/749.70	c learnt constraints deletion: 4356 -> 2183
753.67/753.98	c learnt constraints deletion: 4369 -> 2189
757.87/758.18	c learnt constraints deletion: 4360 -> 2186
762.16/762.43	c learnt constraints deletion: 4355 -> 2181
766.06/766.39	c learnt constraints deletion: 4339 -> 2170
770.36/770.60	c learnt constraints deletion: 4352 -> 2177
774.26/774.51	c learnt constraints deletion: 4353 -> 2178
777.96/778.27	c learnt constraints deletion: 4339 -> 2171
781.96/782.27	c learnt constraints deletion: 4351 -> 2180
785.86/786.10	c learnt constraints deletion: 4355 -> 2182
789.76/790.03	c learnt constraints deletion: 4369 -> 2191
793.86/794.18	c learnt constraints deletion: 4380 -> 2195
797.85/798.15	c learnt constraints deletion: 4362 -> 2187
801.95/802.24	c learnt constraints deletion: 4351 -> 2177
806.06/806.34	c learnt constraints deletion: 4340 -> 2172
809.95/810.29	c learnt constraints deletion: 4343 -> 2176
813.95/814.23	c learnt constraints deletion: 4347 -> 2177
817.94/818.29	c learnt constraints deletion: 4358 -> 2183
822.24/822.50	c learnt constraints deletion: 4366 -> 2188
827.14/827.40	c learnt constraints deletion: 4769 -> 2390
831.54/831.83	c learnt constraints deletion: 4760 -> 2380
835.84/836.15	c learnt constraints deletion: 4751 -> 2377
840.04/840.40	c learnt constraints deletion: 4759 -> 2380
844.45/844.75	c learnt constraints deletion: 4775 -> 2390
848.84/849.16	c learnt constraints deletion: 4774 -> 2389
853.24/853.52	c learnt constraints deletion: 4760 -> 2382
857.33/857.67	c learnt constraints deletion: 4763 -> 2385
861.64/861.92	c learnt constraints deletion: 4789 -> 2401
865.74/866.04	c learnt constraints deletion: 4759 -> 2380
870.23/870.52	c learnt constraints deletion: 4759 -> 2381
874.53/874.88	c learnt constraints deletion: 4784 -> 2394
879.23/879.51	c learnt constraints deletion: 4778 -> 2392
883.83/884.12	c learnt constraints deletion: 4762 -> 2382
888.12/888.47	c learnt constraints deletion: 4760 -> 2382
892.42/892.75	c learnt constraints deletion: 4762 -> 2384
896.72/897.04	c learnt constraints deletion: 4779 -> 2392
901.12/901.44	c learnt constraints deletion: 4780 -> 2393
905.52/905.82	c learnt constraints deletion: 4774 -> 2391
909.62/909.97	c learnt constraints deletion: 4791 -> 2399
913.92/914.25	c learnt constraints deletion: 4790 -> 2400
918.22/918.57	c learnt constraints deletion: 4800 -> 2405
922.32/922.66	c learnt constraints deletion: 4772 -> 2388
926.72/927.07	c learnt constraints deletion: 4780 -> 2394
930.91/931.21	c learnt constraints deletion: 4789 -> 2399
935.01/935.35	c learnt constraints deletion: 4768 -> 2390
939.21/939.54	c learnt constraints deletion: 4777 -> 2392
943.22/943.57	c learnt constraints deletion: 4793 -> 2402
947.42/947.74	c learnt constraints deletion: 4783 -> 2396
951.52/951.86	c learnt constraints deletion: 4781 -> 2398
955.51/955.86	c learnt constraints deletion: 4797 -> 2406
959.42/959.75	c learnt constraints deletion: 4786 -> 2399
963.41/963.78	c learnt constraints deletion: 4800 -> 2408
967.41/967.73	c learnt constraints deletion: 4779 -> 2396
971.61/971.90	c learnt constraints deletion: 4784 -> 2401
975.81/976.15	c learnt constraints deletion: 4764 -> 2386
980.01/980.37	c learnt constraints deletion: 4781 -> 2396
984.21/984.57	c learnt constraints deletion: 4761 -> 2385
988.61/988.91	c learnt constraints deletion: 4781 -> 2396
992.91/993.21	c learnt constraints deletion: 4790 -> 2399
997.01/997.38	c learnt constraints deletion: 4797 -> 2408
1001.40/1001.76	c learnt constraints deletion: 4784 -> 2398
1005.70/1006.01	c learnt constraints deletion: 4781 -> 2396
1009.61/1009.97	c learnt constraints deletion: 4779 -> 2397
1013.81/1014.12	c learnt constraints deletion: 4803 -> 2411
1017.81/1018.14	c learnt constraints deletion: 4782 -> 2400
1021.90/1022.25	c learnt constraints deletion: 4775 -> 2394
1026.10/1026.41	c learnt constraints deletion: 4778 -> 2397
1030.41/1030.75	c learnt constraints deletion: 4771 -> 2393
1034.70/1035.02	c learnt constraints deletion: 4772 -> 2390
1038.90/1039.23	c learnt constraints deletion: 4784 -> 2396
1043.19/1043.59	c learnt constraints deletion: 4775 -> 2394
1047.60/1047.94	c learnt constraints deletion: 4799 -> 2403
1052.00/1052.37	c learnt constraints deletion: 4760 -> 2383
1056.49/1056.84	c learnt constraints deletion: 4773 -> 2391
1060.69/1061.07	c learnt constraints deletion: 4782 -> 2395
1065.09/1065.48	c learnt constraints deletion: 4774 -> 2392
1069.70/1070.01	c learnt constraints deletion: 4769 -> 2391
1074.10/1074.47	c learnt constraints deletion: 4774 -> 2388
1078.39/1078.71	c learnt constraints deletion: 4771 -> 2387
1082.69/1083.08	c learnt constraints deletion: 4756 -> 2380
1087.09/1087.43	c learnt constraints deletion: 4773 -> 2390
1091.29/1091.68	c learnt constraints deletion: 4781 -> 2395
1095.49/1095.85	c learnt constraints deletion: 4790 -> 2401
1099.99/1100.39	c learnt constraints deletion: 4816 -> 2416
1104.39/1104.75	c learnt constraints deletion: 4789 -> 2401
1108.78/1109.17	c learnt constraints deletion: 4761 -> 2383
1113.19/1113.53	c learnt constraints deletion: 4758 -> 2381
1117.58/1117.95	c learnt constraints deletion: 4789 -> 2397
1122.48/1122.88	c learnt constraints deletion: 4784 -> 2395
1126.88/1127.28	c learnt constraints deletion: 4768 -> 2386
1131.38/1131.76	c learnt constraints deletion: 4788 -> 2397
1135.68/1136.04	c learnt constraints deletion: 4770 -> 2389
1139.98/1140.30	c learnt constraints deletion: 4774 -> 2392
1144.28/1144.66	c learnt constraints deletion: 4788 -> 2399
1148.68/1149.01	c learnt constraints deletion: 4793 -> 2406
1152.98/1153.33	c learnt constraints deletion: 4777 -> 2390
1157.38/1157.78	c learnt constraints deletion: 4773 -> 2389
1161.98/1162.33	c learnt constraints deletion: 4792 -> 2401
1166.08/1166.47	c learnt constraints deletion: 4759 -> 2383
1170.78/1171.10	c learnt constraints deletion: 4781 -> 2396
1175.18/1175.57	c learnt constraints deletion: 4781 -> 2394
1179.68/1180.01	c learnt constraints deletion: 4779 -> 2395
1184.07/1184.43	c learnt constraints deletion: 4780 -> 2396
1188.57/1188.98	c learnt constraints deletion: 4799 -> 2407
1193.08/1193.49	c learnt constraints deletion: 4792 -> 2403
1197.48/1197.87	c learnt constraints deletion: 4788 -> 2403
1201.88/1202.20	c learnt constraints deletion: 4772 -> 2389
1206.27/1206.68	c learnt constraints deletion: 4787 -> 2400
1210.47/1210.89	c learnt constraints deletion: 4760 -> 2383
1214.87/1215.27	c learnt constraints deletion: 4774 -> 2392
1219.37/1219.70	c learnt constraints deletion: 4787 -> 2400
1223.67/1224.09	c learnt constraints deletion: 4771 -> 2393
1228.76/1229.17	c learnt constraints deletion: 5238 -> 2622
1233.36/1233.79	c learnt constraints deletion: 5215 -> 2608
1238.17/1238.56	c learnt constraints deletion: 5229 -> 2617
1243.07/1243.42	c learnt constraints deletion: 5256 -> 2631
1247.76/1248.12	c learnt constraints deletion: 5249 -> 2629
1252.26/1252.63	c learnt constraints deletion: 5258 -> 2636
1256.66/1257.06	c learnt constraints deletion: 5225 -> 2614
1261.16/1261.60	c learnt constraints deletion: 5227 -> 2616
1265.86/1266.23	c learnt constraints deletion: 5238 -> 2623
1270.55/1270.99	c learnt constraints deletion: 5239 -> 2621
1275.26/1275.60	c learnt constraints deletion: 5216 -> 2608
1279.96/1280.37	c learnt constraints deletion: 5221 -> 2613
1284.66/1285.08	c learnt constraints deletion: 5228 -> 2619
1289.45/1289.84	c learnt constraints deletion: 5230 -> 2616
1294.26/1294.66	c learnt constraints deletion: 5231 -> 2619
1299.05/1299.42	c learnt constraints deletion: 5234 -> 2623
1303.85/1304.21	c learnt constraints deletion: 5223 -> 2614
1308.56/1308.91	c learnt constraints deletion: 5239 -> 2622
1313.26/1313.62	c learnt constraints deletion: 5240 -> 2623
1317.85/1318.25	c learnt constraints deletion: 5220 -> 2615
1322.64/1323.07	c learnt constraints deletion: 5233 -> 2619
1327.55/1327.99	c learnt constraints deletion: 5232 -> 2620
1332.25/1332.69	c learnt constraints deletion: 5224 -> 2613
1336.94/1337.33	c learnt constraints deletion: 5219 -> 2612
1341.85/1342.22	c learnt constraints deletion: 5256 -> 2633
1346.35/1346.78	c learnt constraints deletion: 5224 -> 2614
1351.14/1351.52	c learnt constraints deletion: 5221 -> 2614
1355.95/1356.36	c learnt constraints deletion: 5223 -> 2613
1360.54/1360.97	c learnt constraints deletion: 5237 -> 2622
1365.34/1365.78	c learnt constraints deletion: 5240 -> 2622
1370.04/1370.43	c learnt constraints deletion: 5231 -> 2619
1374.74/1375.13	c learnt constraints deletion: 5250 -> 2630
1379.14/1379.57	c learnt constraints deletion: 5229 -> 2620
1383.94/1384.30	c learnt constraints deletion: 5249 -> 2631
1388.44/1388.85	c learnt constraints deletion: 5219 -> 2616
1393.44/1393.82	c learnt constraints deletion: 5219 -> 2612
1398.14/1398.50	c learnt constraints deletion: 5239 -> 2624
1402.74/1403.19	c learnt constraints deletion: 5228 -> 2618
1407.44/1407.80	c learnt constraints deletion: 5222 -> 2617
1412.33/1412.72	c learnt constraints deletion: 5248 -> 2630
1417.13/1417.55	c learnt constraints deletion: 5226 -> 2614
1421.94/1422.33	c learnt constraints deletion: 5232 -> 2619
1426.64/1427.01	c learnt constraints deletion: 5221 -> 2613
1431.23/1431.69	c learnt constraints deletion: 5242 -> 2626
1436.03/1436.48	c learnt constraints deletion: 5236 -> 2623
1441.03/1441.40	c learnt constraints deletion: 5250 -> 2632
1445.63/1446.09	c learnt constraints deletion: 5215 -> 2610
1450.54/1450.93	c learnt constraints deletion: 5220 -> 2613
1455.33/1455.79	c learnt constraints deletion: 5227 -> 2619
1460.13/1460.53	c learnt constraints deletion: 5222 -> 2618
1464.73/1465.19	c learnt constraints deletion: 5239 -> 2623
1469.13/1469.51	c learnt constraints deletion: 5228 -> 2618
1473.72/1474.18	c learnt constraints deletion: 5226 -> 2616
1478.63/1479.06	c learnt constraints deletion: 5221 -> 2616
1483.63/1484.01	c learnt constraints deletion: 5221 -> 2616
1488.53/1488.94	c learnt constraints deletion: 5218 -> 2616
1493.43/1493.80	c learnt constraints deletion: 5224 -> 2616
1498.02/1498.47	c learnt constraints deletion: 5221 -> 2617
1502.82/1503.25	c learnt constraints deletion: 5248 -> 2632
1507.32/1507.76	c learnt constraints deletion: 5238 -> 2625
1512.02/1512.48	c learnt constraints deletion: 5243 -> 2629
1516.92/1517.33	c learnt constraints deletion: 5238 -> 2625
1521.82/1522.21	c learnt constraints deletion: 5249 -> 2634
1526.32/1526.71	c learnt constraints deletion: 5239 -> 2627
1531.11/1531.51	c learnt constraints deletion: 5262 -> 2639
1535.81/1536.23	c learnt constraints deletion: 5252 -> 2634
1540.91/1541.35	c learnt constraints deletion: 5241 -> 2630
1546.02/1546.44	c learnt constraints deletion: 5248 -> 2632
1551.01/1551.43	c learnt constraints deletion: 5223 -> 2615
1556.02/1556.46	c learnt constraints deletion: 5228 -> 2619
1561.01/1561.44	c learnt constraints deletion: 5242 -> 2626
1566.01/1566.49	c learnt constraints deletion: 5251 -> 2634
1570.61/1571.09	c learnt constraints deletion: 5258 -> 2638
1575.71/1576.11	c learnt constraints deletion: 5265 -> 2643
1580.41/1580.84	c learnt constraints deletion: 5246 -> 2633
1585.21/1585.63	c learnt constraints deletion: 5246 -> 2634
1590.31/1590.70	c learnt constraints deletion: 5241 -> 2626
1595.10/1595.59	c learnt constraints deletion: 5246 -> 2630
1600.31/1600.70	c learnt constraints deletion: 5259 -> 2636
1605.11/1605.52	c learnt constraints deletion: 5248 -> 2630
1609.71/1610.19	c learnt constraints deletion: 5252 -> 2634
1614.41/1614.86	c learnt constraints deletion: 5246 -> 2632
1619.10/1619.52	c learnt constraints deletion: 5239 -> 2629
1623.90/1624.33	c learnt constraints deletion: 5247 -> 2635
1628.61/1629.03	c learnt constraints deletion: 5244 -> 2628
1633.30/1633.76	c learnt constraints deletion: 5244 -> 2631
1637.80/1638.24	c learnt constraints deletion: 5251 -> 2633
1642.60/1643.08	c learnt constraints deletion: 5244 -> 2630
1647.60/1648.02	c learnt constraints deletion: 5244 -> 2629
1652.40/1652.89	c learnt constraints deletion: 5244 -> 2630
1657.31/1657.73	c learnt constraints deletion: 5231 -> 2624
1662.19/1662.68	c learnt constraints deletion: 5251 -> 2635
1666.89/1667.31	c learnt constraints deletion: 5239 -> 2630
1671.50/1671.94	c learnt constraints deletion: 5265 -> 2644
1676.09/1676.56	c learnt constraints deletion: 5257 -> 2642
1680.98/1681.45	c learnt constraints deletion: 5230 -> 2615
1685.99/1686.43	c learnt constraints deletion: 5225 -> 2614
1690.98/1691.40	c learnt constraints deletion: 5231 -> 2617
1695.69/1696.12	c learnt constraints deletion: 5228 -> 2616
1700.68/1701.15	c learnt constraints deletion: 5220 -> 2611
1705.28/1705.76	c learnt constraints deletion: 5239 -> 2623
1709.89/1710.32	c learnt constraints deletion: 5239 -> 2624
1714.68/1715.13	c learnt constraints deletion: 5219 -> 2613
1719.38/1719.89	c learnt constraints deletion: 5249 -> 2632
1723.98/1724.43	c learnt constraints deletion: 5261 -> 2643
1728.58/1729.00	c learnt constraints deletion: 5220 -> 2613
1733.58/1734.03	c learnt constraints deletion: 5228 -> 2618
1738.28/1738.70	c learnt constraints deletion: 5246 -> 2628
1743.08/1743.57	c learnt constraints deletion: 5238 -> 2623
1747.87/1748.38	c learnt constraints deletion: 5236 -> 2624
1752.58/1753.01	c learnt constraints deletion: 5222 -> 2617
1757.28/1757.71	c learnt constraints deletion: 5234 -> 2621
1762.17/1762.61	c learnt constraints deletion: 5238 -> 2623
1767.18/1767.61	c learnt constraints deletion: 5253 -> 2632
1771.97/1772.41	c learnt constraints deletion: 5236 -> 2623
1776.77/1777.28	c learnt constraints deletion: 5237 -> 2625
1781.68/1782.16	c learnt constraints deletion: 5236 -> 2626
1786.67/1787.19	c learnt constraints deletion: 5240 -> 2624
1791.47/1791.97	c learnt constraints deletion: 5221 -> 2613
1796.56/1797.03	c learnt constraints deletion: 5241 -> 2624

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.95 1.67 3/176 4692
/proc/meminfo: memFree=25677164/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 819 0 0 0 0 0 0 0 20 0 1 0 329456987 6373376 738 33554432000 4194304 8989770 140734482612752 140735120652632 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4692/statm: 1556 738 428 1171 0 333 0

[startup+0.0737311 s]
/proc/loadavg: 1.92 1.95 1.67 3/176 4692
/proc/meminfo: memFree=25677164/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=9296 CPUtime=0.06 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 1444 0 0 0 6 0 0 0 20 0 1 0 329456987 9519104 1363 33554432000 4194304 8989770 140734482612752 140735120652632 5384144 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4692/statm: 2324 1363 442 1171 0 1101 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9296

[startup+0.100263 s]
/proc/loadavg: 1.92 1.95 1.67 3/176 4692
/proc/meminfo: memFree=25677164/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=9296 CPUtime=0.09 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 1475 0 0 0 9 0 0 0 20 0 1 0 329456987 9519104 1394 33554432000 4194304 8989770 140734482612752 140735120652632 4446952 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4692/statm: 2324 1394 470 1171 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9296

[startup+0.300182 s]
/proc/loadavg: 1.92 1.95 1.67 3/176 4692
/proc/meminfo: memFree=25677164/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=10320 CPUtime=0.29 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 1904 0 0 0 29 0 0 0 20 0 1 0 329456987 10567680 1823 33554432000 4194304 8989770 140734482612752 140735120652632 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4692/statm: 2580 1823 470 1171 0 1357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10320

[startup+0.700201 s]
/proc/loadavg: 1.92 1.95 1.67 3/176 4692
/proc/meminfo: memFree=25677164/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=11344 CPUtime=0.69 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 2160 0 0 0 69 0 0 0 20 0 1 0 329456987 11616256 2079 33554432000 4194304 8989770 140734482612752 140735120652632 4445111 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4692/statm: 2836 2079 470 1171 0 1613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11344

[startup+1.50023 s]
/proc/loadavg: 1.92 1.95 1.67 3/177 4693
/proc/meminfo: memFree=25669584/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=13392 CPUtime=1.48 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 2672 0 0 0 148 0 0 0 20 0 1 0 329456987 13713408 2591 33554432000 4194304 8989770 140734482612752 140734482612248 7733240 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4692/statm: 3348 2591 470 1171 0 2125 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13392

[startup+3.10023 s]
/proc/loadavg: 1.92 1.95 1.67 3/177 4693
/proc/meminfo: memFree=25666460/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=16464 CPUtime=3.09 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 3442 0 0 0 308 1 0 0 20 0 1 0 329456987 16859136 3361 33554432000 4194304 8989770 140734482612752 140734482612016 7415873 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4692/statm: 4116 3361 472 1171 0 2893 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16464

[startup+6.30025 s]
/proc/loadavg: 1.93 1.95 1.67 3/177 4693
/proc/meminfo: memFree=25661872/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=21584 CPUtime=6.28 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 4722 0 0 0 625 3 0 0 20 0 1 0 329456987 22102016 4641 33554432000 4194304 8989770 140734482612752 140734482612016 7656152 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4692/statm: 5396 4641 472 1171 0 4173 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21584

[startup+12.7002 s]
/proc/loadavg: 1.93 1.95 1.68 3/177 4693
/proc/meminfo: memFree=25656928/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=23632 CPUtime=12.68 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 5234 0 0 0 1262 6 0 0 20 0 1 0 329456987 24199168 5153 33554432000 4194304 8989770 140734482612752 140734482612248 7732735 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4692/statm: 5908 5153 472 1171 0 4685 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23632

[startup+25.5003 s]
/proc/loadavg: 1.95 1.96 1.68 3/177 4693
/proc/meminfo: memFree=25654968/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=26704 CPUtime=25.48 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 6002 0 0 0 2534 14 0 0 20 0 1 0 329456987 27344896 5921 33554432000 4194304 8989770 140734482612752 140734482612248 4211833 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 6676 5921 472 1171 0 5453 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26704

[startup+51.1002 s]
/proc/loadavg: 2.12 1.99 1.70 3/177 4732
/proc/meminfo: memFree=26355460/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=29776 CPUtime=51.08 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 6775 0 0 0 5080 28 0 0 20 0 1 0 329456987 30490624 6694 33554432000 4194304 8989770 140734482612752 140734482612248 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 7444 6694 472 1171 0 6221 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29776

[startup+102.306 s]
/proc/loadavg: 2.05 1.99 1.71 3/177 4732
/proc/meminfo: memFree=26338980/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=36944 CPUtime=102.27 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 8567 0 0 0 10173 54 0 0 20 0 1 0 329456987 37830656 8486 33554432000 4194304 8989770 140734482612752 140734482612248 4425544 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 9236 8486 472 1171 0 8013 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 36944

[startup+162.3 s]
/proc/loadavg: 2.02 1.99 1.73 3/177 4732
/proc/meminfo: memFree=26322656/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=46160 CPUtime=162.23 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 11135 0 0 0 16140 83 0 0 20 0 1 0 329456987 47267840 10790 33554432000 4194304 8989770 140734482612752 140734482612248 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 11540 10790 472 1171 0 10317 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 46160

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/177 4732
/proc/meminfo: memFree=26321548/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=42064 CPUtime=222.22 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 11135 0 0 0 22108 114 0 0 20 0 1 0 329456987 43073536 9766 33554432000 4194304 8989770 140734482612752 140734482612016 7415397 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 10516 9766 472 1171 0 9293 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 42064

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/177 4732
/proc/meminfo: memFree=26314296/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=46160 CPUtime=282.2 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 12160 0 0 0 28073 147 0 0 20 0 1 0 329456987 47267840 10790 33554432000 4194304 8989770 140734482612752 140734482612016 4355564 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 11540 10790 472 1171 0 10317 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 46160

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/178 4736
/proc/meminfo: memFree=26304004/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=54352 CPUtime=342.18 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 14208 0 0 0 34039 179 0 0 20 0 1 0 329456987 55656448 12838 33554432000 4194304 8989770 140734482612752 140734482612016 6586449 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4692/statm: 13588 12838 472 1171 0 12365 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 54352

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/177 4736
/proc/meminfo: memFree=26297368/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=57424 CPUtime=402.17 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 14980 0 0 0 40009 208 0 0 20 0 1 0 329456987 58802176 13606 33554432000 4194304 8989770 140734482612752 140734482612248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 14356 13606 472 1171 0 13133 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 57424

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/177 4736
/proc/meminfo: memFree=26295260/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=57424 CPUtime=462.15 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 14980 0 0 0 45977 238 0 0 20 0 1 0 329456987 58802176 13606 33554432000 4194304 8989770 140734482612752 140734482612248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 14356 13606 472 1171 0 13133 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 57424

[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/177 4736
/proc/meminfo: memFree=26295200/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=54352 CPUtime=522.13 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 14980 0 0 0 51943 270 0 0 20 0 1 0 329456987 55656448 12838 33554432000 4194304 8989770 140734482612752 140734482612016 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 13588 12838 472 1171 0 12365 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 54352

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/177 4736
/proc/meminfo: memFree=26291848/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=54352 CPUtime=582.11 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 14980 0 0 0 57907 304 0 0 20 0 1 0 329456987 55656448 12838 33554432000 4194304 8989770 140734482612752 140734482610688 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 13588 12838 472 1171 0 12365 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 54352

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 4737
/proc/meminfo: memFree=26275104/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=58448 CPUtime=882.03 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 17287 0 0 0 87739 464 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612248 4425012 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 14612 13862 472 1171 0 13389 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 58448

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 4741
/proc/meminfo: memFree=26273500/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=58448 CPUtime=942.01 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 17287 0 0 0 93706 495 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612016 4458228 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 14612 13862 472 1171 0 13389 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 58448

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 4741
/proc/meminfo: memFree=26274628/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=54352 CPUtime=1002.01 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 17287 0 0 0 99673 528 0 0 20 0 1 0 329456987 55656448 12838 33554432000 4194304 8989770 140734482612752 140734482612248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 13588 12838 472 1171 0 12365 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 54352

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 4741
/proc/meminfo: memFree=26269172/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=58448 CPUtime=1062 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 18311 0 0 0 105639 561 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612248 4213713 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 14612 13862 472 1171 0 13389 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 58448

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 4741
/proc/meminfo: memFree=26266376/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=58448 CPUtime=1121.98 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 18826 0 0 0 111606 592 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 14612 13862 472 1171 0 13389 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 58448

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 4741
/proc/meminfo: memFree=26263524/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=58448 CPUtime=1181.97 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 18826 0 0 0 117573 624 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 14612 13862 472 1171 0 13389 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 58448

[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 1.89 3/177 4742
/proc/meminfo: memFree=26261792/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=58448 CPUtime=1241.96 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 18826 0 0 0 123540 656 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612248 4208870 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 14612 13862 472 1171 0 13389 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 58448

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.90 3/177 4742
/proc/meminfo: memFree=26257324/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=59472 CPUtime=1301.96 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 19082 0 0 0 129508 688 0 0 20 0 1 0 329456987 60899328 14118 33554432000 4194304 8989770 140734482612752 140734482612016 4449308 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 14868 14118 472 1171 0 13645 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 59472

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 4742
/proc/meminfo: memFree=26255888/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=59472 CPUtime=1361.94 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 19082 0 0 0 135472 722 0 0 20 0 1 0 329456987 60899328 14118 33554432000 4194304 8989770 140734482612752 140734482612248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 14868 14118 472 1171 0 13645 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 59472

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4742
/proc/meminfo: memFree=26254892/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=58448 CPUtime=1421.94 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 19082 0 0 0 141440 754 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612248 4214039 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 14612 13862 472 1171 0 13389 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 58448

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 4742
/proc/meminfo: memFree=26252788/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=58448 CPUtime=1481.92 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 19338 0 0 0 147408 784 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612248 4209212 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 14612 13862 472 1171 0 13389 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 58448

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 4746
/proc/meminfo: memFree=26246344/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=63568 CPUtime=1541.91 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 20618 0 0 0 153377 814 0 0 20 0 1 0 329456987 65093632 15142 33554432000 4194304 8989770 140734482612752 140734482612248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 15892 15142 472 1171 0 14669 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 63568

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 4769
/proc/meminfo: memFree=26244568/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=62544 CPUtime=1601.9 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 20621 0 0 0 159346 844 0 0 20 0 1 0 329456987 64045056 14886 33554432000 4194304 8989770 140734482612752 140734482612248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 15636 14886 472 1171 0 14413 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 62544

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4769
/proc/meminfo: memFree=26237888/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=67664 CPUtime=1661.89 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 24205 0 0 0 165314 875 0 0 20 0 1 0 329456987 69287936 16166 33554432000 4194304 8989770 140734482612752 140734482612248 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 16916 16166 472 1171 0 15693 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 67664

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4769
/proc/meminfo: memFree=26240356/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=62544 CPUtime=1721.88 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 24978 0 0 0 171280 908 0 0 20 0 1 0 329456987 64045056 14886 33554432000 4194304 8989770 140734482612752 140734482612248 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 15636 14886 472 1171 0 14413 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 62544

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4769
/proc/meminfo: memFree=26241720/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=58448 CPUtime=1781.88 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 24978 0 0 0 177251 937 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612248 7708462 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 14612 13862 472 1171 0 13389 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 58448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4769
/proc/meminfo: memFree=26240596/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=59472 CPUtime=1800.07 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 25234 0 0 0 179060 947 0 0 20 0 1 0 329456987 60899328 14118 33554432000 4194304 8989770 140734482612752 140734482612248 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 14868 14118 472 1171 0 13645 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 59472

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

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4769
/proc/meminfo: memFree=26240596/32873648 swapFree=6864/6864
[pid=4692] ppid=4690 vsize=59472 CPUtime=1800.07 cores=0,2,4,6
/proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 25234 0 0 0 179060 947 0 0 20 0 1 0 329456987 60899328 14118 33554432000 4194304 8989770 140734482612752 140734482612248 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4692/statm: 14868 14118 472 1171 0 13645 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 59472

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1790.61
CPU system time (s): 9.47656
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 71760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.61
system time used= 9.47656
maximum resident set size= 68760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25234
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= 35
involuntary context switches= 2932

runsolver used 2.88056 second user time and 9.63453 second system time

The end

Launcher Data

Begin job on node125 at 2012-06-02 12:35:16
IDJOB=3725066
IDBENCH=2017
IDSOLVER=2308
FILE ID=node125/3725066-1338633316
RUNJOBID= node125-1338631508-4495
PBS_JOBID= 14636455
Free space on /tmp= 70436 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725066-1338633316/watcher-3725066-1338633316 -o /tmp/evaluation-result-3725066-1338633316/solver-3725066-1338633316 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725066-1338633316.opb

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

MD5SUM BENCH= 866c660dea8282137b8c78839dd4c03f
RANDOM SEED=447181744

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
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.90
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		: 2666.373
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		: 2666.373
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	: 5438.54
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		: 2666.373
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		: 2666.373
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:        25677164 kB
Buffers:          598364 kB
Cached:          4957044 kB
SwapCached:         2308 kB
Active:          3169900 kB
Inactive:        3122144 kB
Active(anon):     727876 kB
Inactive(anon):     9252 kB
Active(file):    2442024 kB
Inactive(file):  3112892 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102524 kB
Dirty:              7352 kB
Writeback:             0 kB
AnonPages:        739776 kB
Mapped:            16040 kB
Shmem:                96 kB
Slab:             765072 kB
SReclaimable:     209164 kB
SUnreclaim:       555908 kB
KernelStack:        1464 kB
PageTables:         5416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     850456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    722944 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= 70444 MiB
End job on node125 at 2012-06-02 13:05:18