Trace number 3706693

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.02 1800.31

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.04/0.08	c 2012-05-27T12:38:58+0200
0.04/0.08	c arch = x86_64
0.04/0.08	c os = linux
0.04/0.08	c compiler = ghc 7.4
0.04/0.08	c packages:
0.04/0.08	c   OptDir-0.0.1
0.04/0.08	c   array-0.4.0.0
0.04/0.08	c   base-4.5.0.0
0.04/0.08	c   bytestring-0.9.2.1
0.04/0.08	c   containers-0.4.2.1
0.04/0.08	c   deepseq-1.3.0.0
0.04/0.08	c   mtl-2.1.1
0.04/0.08	c   old_locale-1.0.0.4
0.04/0.08	c   parse_dimacs-1.2
0.04/0.08	c   parsec-3.1.2
0.04/0.08	c   queue-0.1.2
0.04/0.08	c   stm-2.3
0.04/0.08	c   time-1.4
0.04/0.08	c command line = ["--pb","HOME/instance-3706693-1338115138.opb"]
0.04/0.08	c #vars 651
0.04/0.08	c #constraints 1658
0.04/0.08	c Solving starts ...
0.04/0.08	c solving time = 0.001s
0.04/0.08	c #decision = 400
0.04/0.08	c #conflict = 0
0.04/0.08	c #restart = 0
0.04/0.08	o 6227
0.04/0.08	c Solving starts ...
0.04/0.09	c solving time = 0.007s
0.04/0.09	c #decision = 799
0.04/0.09	c #conflict = 3
0.04/0.09	c #restart = 0
0.04/0.09	o 6204
0.04/0.09	c Solving starts ...
0.09/0.10	c solving time = 0.013s
0.09/0.10	c #decision = 1212
0.09/0.10	c #conflict = 7
0.09/0.10	c #restart = 0
0.09/0.10	o 6181
0.09/0.11	c Solving starts ...
0.09/0.12	c solving time = 0.014s
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.050s
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.66	c learnt constraints deletion: 1268 -> 640
3.99/4.01	c learnt constraints deletion: 1372 -> 689
5.19/5.21	c learnt constraints deletion: 1501 -> 754
6.69/6.74	c learnt constraints deletion: 1647 -> 826
8.08/8.11	c learnt constraints deletion: 1631 -> 819
10.09/10.13	c learnt constraints deletion: 1789 -> 896
11.78/11.80	c learnt constraints deletion: 1801 -> 906
13.29/13.32	c learnt constraints deletion: 1781 -> 893
15.29/15.31	c learnt constraints deletion: 1942 -> 975
17.28/17.34	c learnt constraints deletion: 2002 -> 1008
18.88/18.95	c learnt constraints deletion: 1959 -> 986
20.48/20.56	c learnt constraints deletion: 1953 -> 982
22.69/22.70	c learnt constraints deletion: 2150 -> 1078
24.48/24.57	c learnt constraints deletion: 2136 -> 1069
26.39/26.44	c learnt constraints deletion: 2114 -> 1060
28.38/28.47	c learnt constraints deletion: 2148 -> 1078
30.39/30.41	c learnt constraints deletion: 2147 -> 1078
32.59/32.66	c learnt constraints deletion: 2345 -> 1178
34.68/34.75	c learnt constraints deletion: 2360 -> 1189
36.79/36.85	c learnt constraints deletion: 2318 -> 1161
38.68/38.78	c learnt constraints deletion: 2331 -> 1168
40.88/40.92	c learnt constraints deletion: 2348 -> 1179
42.79/42.88	c learnt constraints deletion: 2348 -> 1181
44.88/44.93	c learnt constraints deletion: 2339 -> 1175
47.28/47.35	c learnt constraints deletion: 2527 -> 1264
49.58/49.64	c learnt constraints deletion: 2523 -> 1263
51.69/51.79	c learnt constraints deletion: 2525 -> 1266
54.08/54.11	c learnt constraints deletion: 2531 -> 1267
56.98/57.00	c learnt constraints deletion: 2537 -> 1273
59.29/59.39	c learnt constraints deletion: 2528 -> 1269
61.78/61.82	c learnt constraints deletion: 2522 -> 1264
64.08/64.19	c learnt constraints deletion: 2522 -> 1264
66.58/66.69	c learnt constraints deletion: 2531 -> 1266
69.28/69.31	c learnt constraints deletion: 2540 -> 1273
72.28/72.38	c learnt constraints deletion: 2796 -> 1403
74.97/75.06	c learnt constraints deletion: 2778 -> 1392
77.77/77.82	c learnt constraints deletion: 2770 -> 1387
80.58/80.66	c learnt constraints deletion: 2775 -> 1391
83.28/83.35	c learnt constraints deletion: 2789 -> 1401
85.69/85.75	c learnt constraints deletion: 2760 -> 1380
88.47/88.57	c learnt constraints deletion: 2779 -> 1392
91.47/91.54	c learnt constraints deletion: 2752 -> 1377
94.27/94.30	c learnt constraints deletion: 2756 -> 1381
97.17/97.25	c learnt constraints deletion: 2790 -> 1400
99.88/99.95	c learnt constraints deletion: 2792 -> 1404
102.67/102.71	c learnt constraints deletion: 2756 -> 1378
105.17/105.26	c learnt constraints deletion: 2759 -> 1381
107.87/107.95	c learnt constraints deletion: 2759 -> 1383
110.97/111.01	c learnt constraints deletion: 3029 -> 1516
113.77/113.82	c learnt constraints deletion: 3026 -> 1513
116.97/117.06	c learnt constraints deletion: 3068 -> 1536
119.78/119.81	c learnt constraints deletion: 3033 -> 1522
122.57/122.68	c learnt constraints deletion: 3045 -> 1525
125.47/125.50	c learnt constraints deletion: 3059 -> 1532
128.17/128.29	c learnt constraints deletion: 3054 -> 1528
131.17/131.24	c learnt constraints deletion: 3054 -> 1532
134.17/134.21	c learnt constraints deletion: 3030 -> 1519
137.48/137.55	c learnt constraints deletion: 3034 -> 1522
140.56/140.61	c learnt constraints deletion: 3049 -> 1528
143.37/143.44	c learnt constraints deletion: 3067 -> 1538
145.97/146.08	c learnt constraints deletion: 3032 -> 1519
148.86/148.98	c learnt constraints deletion: 3043 -> 1526
151.97/152.06	c learnt constraints deletion: 3082 -> 1548
154.67/154.76	c learnt constraints deletion: 3017 -> 1509
157.46/157.58	c learnt constraints deletion: 3027 -> 1515
160.47/160.50	c learnt constraints deletion: 3030 -> 1517
163.56/163.60	c learnt constraints deletion: 3049 -> 1531
167.26/167.34	c learnt constraints deletion: 3323 -> 1663
170.47/170.57	c learnt constraints deletion: 3317 -> 1659
173.56/173.69	c learnt constraints deletion: 3297 -> 1649
176.96/177.08	c learnt constraints deletion: 3320 -> 1661
180.46/180.53	c learnt constraints deletion: 3304 -> 1652
183.46/183.55	c learnt constraints deletion: 3313 -> 1659
186.76/186.89	c learnt constraints deletion: 3326 -> 1668
189.76/189.87	c learnt constraints deletion: 3334 -> 1671
192.85/192.99	c learnt constraints deletion: 3313 -> 1659
196.15/196.23	c learnt constraints deletion: 3321 -> 1665
199.56/199.62	c learnt constraints deletion: 3317 -> 1659
202.46/202.50	c learnt constraints deletion: 3302 -> 1652
205.66/205.75	c learnt constraints deletion: 3338 -> 1671
208.75/208.82	c learnt constraints deletion: 3329 -> 1665
212.06/212.10	c learnt constraints deletion: 3318 -> 1660
215.25/215.37	c learnt constraints deletion: 3349 -> 1677
218.56/218.62	c learnt constraints deletion: 3353 -> 1682
221.76/221.80	c learnt constraints deletion: 3342 -> 1674
225.15/225.25	c learnt constraints deletion: 3336 -> 1672
228.35/228.42	c learnt constraints deletion: 3363 -> 1688
231.45/231.54	c learnt constraints deletion: 3330 -> 1668
234.65/234.74	c learnt constraints deletion: 3337 -> 1675
237.95/238.03	c learnt constraints deletion: 3342 -> 1674
241.15/241.23	c learnt constraints deletion: 3334 -> 1670
244.25/244.35	c learnt constraints deletion: 3327 -> 1670
247.65/247.73	c learnt constraints deletion: 3343 -> 1678
251.25/251.32	c learnt constraints deletion: 3639 -> 1823
254.85/254.92	c learnt constraints deletion: 3621 -> 1812
258.55/258.62	c learnt constraints deletion: 3627 -> 1814
262.35/262.40	c learnt constraints deletion: 3628 -> 1817
265.94/266.01	c learnt constraints deletion: 3635 -> 1822
269.15/269.29	c learnt constraints deletion: 3611 -> 1807
272.84/272.93	c learnt constraints deletion: 3620 -> 1811
276.44/276.51	c learnt constraints deletion: 3618 -> 1811
280.04/280.14	c learnt constraints deletion: 3631 -> 1818
283.54/283.63	c learnt constraints deletion: 3610 -> 1805
287.05/287.18	c learnt constraints deletion: 3619 -> 1812
290.64/290.74	c learnt constraints deletion: 3622 -> 1814
293.93/294.08	c learnt constraints deletion: 3620 -> 1813
297.34/297.46	c learnt constraints deletion: 3620 -> 1814
300.73/300.84	c learnt constraints deletion: 3618 -> 1812
304.23/304.34	c learnt constraints deletion: 3613 -> 1807
307.73/307.84	c learnt constraints deletion: 3632 -> 1817
311.15/311.28	c learnt constraints deletion: 3623 -> 1815
314.63/314.72	c learnt constraints deletion: 3621 -> 1813
318.03/318.13	c learnt constraints deletion: 3617 -> 1812
321.54/321.61	c learnt constraints deletion: 3625 -> 1816
324.74/324.86	c learnt constraints deletion: 3637 -> 1823
328.24/328.36	c learnt constraints deletion: 3621 -> 1813
331.74/331.86	c learnt constraints deletion: 3632 -> 1819
335.23/335.38	c learnt constraints deletion: 3618 -> 1811
338.83/338.91	c learnt constraints deletion: 3625 -> 1817
342.43/342.55	c learnt constraints deletion: 3613 -> 1809
346.03/346.17	c learnt constraints deletion: 3643 -> 1825
349.74/349.82	c learnt constraints deletion: 3649 -> 1831
353.13/353.26	c learnt constraints deletion: 3618 -> 1812
356.63/356.76	c learnt constraints deletion: 3644 -> 1827
360.23/360.37	c learnt constraints deletion: 3624 -> 1815
363.93/364.03	c learnt constraints deletion: 3631 -> 1822
367.52/367.68	c learnt constraints deletion: 3634 -> 1825
371.12/371.25	c learnt constraints deletion: 3619 -> 1812
374.43/374.53	c learnt constraints deletion: 3619 -> 1814
378.63/378.70	c learnt constraints deletion: 3968 -> 1988
382.13/382.28	c learnt constraints deletion: 3964 -> 1982
385.82/385.94	c learnt constraints deletion: 3971 -> 1988
389.73/389.83	c learnt constraints deletion: 3971 -> 1989
393.52/393.65	c learnt constraints deletion: 3973 -> 1993
397.23/397.31	c learnt constraints deletion: 3954 -> 1977
401.12/401.22	c learnt constraints deletion: 3981 -> 1992
404.92/405.03	c learnt constraints deletion: 3967 -> 1985
408.72/408.87	c learnt constraints deletion: 3981 -> 1993
412.33/412.41	c learnt constraints deletion: 3980 -> 1994
416.22/416.33	c learnt constraints deletion: 3980 -> 1993
420.12/420.25	c learnt constraints deletion: 3990 -> 2001
423.91/424.03	c learnt constraints deletion: 3975 -> 1988
427.73/427.87	c learnt constraints deletion: 3986 -> 1996
431.52/431.68	c learnt constraints deletion: 3972 -> 1989
435.42/435.60	c learnt constraints deletion: 3980 -> 1994
439.62/439.71	c learnt constraints deletion: 3974 -> 1988
443.12/443.21	c learnt constraints deletion: 3961 -> 1981
447.01/447.19	c learnt constraints deletion: 3973 -> 1989
451.12/451.20	c learnt constraints deletion: 3982 -> 1994
455.12/455.26	c learnt constraints deletion: 3957 -> 1980
459.11/459.21	c learnt constraints deletion: 3978 -> 1991
463.02/463.13	c learnt constraints deletion: 3998 -> 2005
466.92/467.07	c learnt constraints deletion: 3993 -> 2003
470.31/470.48	c learnt constraints deletion: 3992 -> 2004
474.41/474.52	c learnt constraints deletion: 3964 -> 1985
478.21/478.36	c learnt constraints deletion: 3981 -> 1995
482.12/482.23	c learnt constraints deletion: 3981 -> 1997
485.91/486.03	c learnt constraints deletion: 3964 -> 1985
489.71/489.86	c learnt constraints deletion: 3983 -> 1995
493.50/493.61	c learnt constraints deletion: 3969 -> 1988
497.12/497.21	c learnt constraints deletion: 3965 -> 1987
500.71/500.87	c learnt constraints deletion: 3965 -> 1987
504.50/504.64	c learnt constraints deletion: 3961 -> 1986
508.30/508.43	c learnt constraints deletion: 3967 -> 1989
512.10/512.25	c learnt constraints deletion: 3976 -> 1994
516.01/516.17	c learnt constraints deletion: 3967 -> 1984
519.91/520.01	c learnt constraints deletion: 3982 -> 1992
523.60/523.77	c learnt constraints deletion: 3965 -> 1985
527.40/527.51	c learnt constraints deletion: 3965 -> 1985
530.90/531.03	c learnt constraints deletion: 3959 -> 1981
534.60/534.74	c learnt constraints deletion: 3972 -> 1987
538.30/538.42	c learnt constraints deletion: 3970 -> 1987
541.70/541.89	c learnt constraints deletion: 3990 -> 1998
545.70/545.83	c learnt constraints deletion: 3984 -> 1995
549.40/549.52	c learnt constraints deletion: 3975 -> 1990
553.00/553.18	c learnt constraints deletion: 4007 -> 2008
556.60/556.77	c learnt constraints deletion: 3978 -> 1993
560.20/560.34	c learnt constraints deletion: 4011 -> 2012
563.70/563.88	c learnt constraints deletion: 3994 -> 2004
567.80/567.91	c learnt constraints deletion: 4342 -> 2173
572.00/572.19	c learnt constraints deletion: 4343 -> 2172
575.89/576.06	c learnt constraints deletion: 4351 -> 2178
579.80/579.92	c learnt constraints deletion: 4342 -> 2172
583.59/583.77	c learnt constraints deletion: 4354 -> 2180
587.40/587.58	c learnt constraints deletion: 4364 -> 2186
591.40/591.59	c learnt constraints deletion: 4349 -> 2179
595.59/595.70	c learnt constraints deletion: 4365 -> 2188
599.69/599.84	c learnt constraints deletion: 4360 -> 2187
603.89/604.06	c learnt constraints deletion: 4349 -> 2178
608.20/608.37	c learnt constraints deletion: 4368 -> 2189
612.38/612.57	c learnt constraints deletion: 4357 -> 2185
616.69/616.89	c learnt constraints deletion: 4342 -> 2171
620.99/621.10	c learnt constraints deletion: 4364 -> 2185
624.89/625.09	c learnt constraints deletion: 4349 -> 2177
628.89/629.00	c learnt constraints deletion: 4351 -> 2181
632.89/633.02	c learnt constraints deletion: 4339 -> 2171
637.08/637.22	c learnt constraints deletion: 4356 -> 2181
641.29/641.47	c learnt constraints deletion: 4346 -> 2175
644.99/645.20	c learnt constraints deletion: 4343 -> 2174
649.48/649.63	c learnt constraints deletion: 4350 -> 2179
653.48/653.65	c learnt constraints deletion: 4345 -> 2179
657.58/657.77	c learnt constraints deletion: 4350 -> 2181
662.18/662.32	c learnt constraints deletion: 4362 -> 2189
666.39/666.53	c learnt constraints deletion: 4352 -> 2183
670.68/670.87	c learnt constraints deletion: 4344 -> 2172
674.57/674.70	c learnt constraints deletion: 4356 -> 2179
678.58/678.79	c learnt constraints deletion: 4340 -> 2171
682.67/682.84	c learnt constraints deletion: 4348 -> 2176
686.97/687.16	c learnt constraints deletion: 4350 -> 2178
691.07/691.26	c learnt constraints deletion: 4365 -> 2185
695.08/695.22	c learnt constraints deletion: 4353 -> 2180
698.88/699.08	c learnt constraints deletion: 4366 -> 2188
702.78/702.96	c learnt constraints deletion: 4355 -> 2184
707.08/707.22	c learnt constraints deletion: 4371 -> 2192
711.28/711.48	c learnt constraints deletion: 4367 -> 2185
715.27/715.41	c learnt constraints deletion: 4349 -> 2179
719.28/719.46	c learnt constraints deletion: 4342 -> 2173
723.77/723.92	c learnt constraints deletion: 4381 -> 2196
727.87/728.05	c learnt constraints deletion: 4351 -> 2179
732.38/732.57	c learnt constraints deletion: 4348 -> 2177
736.57/736.78	c learnt constraints deletion: 4359 -> 2186
740.77/740.97	c learnt constraints deletion: 4355 -> 2182
745.17/745.38	c learnt constraints deletion: 4375 -> 2194
749.56/749.74	c learnt constraints deletion: 4341 -> 2172
753.57/753.71	c learnt constraints deletion: 4341 -> 2173
757.87/758.01	c learnt constraints deletion: 4346 -> 2177
762.07/762.22	c learnt constraints deletion: 4367 -> 2188
766.16/766.33	c learnt constraints deletion: 4356 -> 2183
770.56/770.71	c learnt constraints deletion: 4369 -> 2189
774.87/775.00	c learnt constraints deletion: 4360 -> 2186
779.16/779.37	c learnt constraints deletion: 4355 -> 2181
783.26/783.41	c learnt constraints deletion: 4339 -> 2170
787.56/787.73	c learnt constraints deletion: 4352 -> 2177
791.56/791.73	c learnt constraints deletion: 4353 -> 2178
795.36/795.57	c learnt constraints deletion: 4339 -> 2171
799.47/799.66	c learnt constraints deletion: 4351 -> 2180
803.36/803.57	c learnt constraints deletion: 4355 -> 2182
807.36/807.57	c learnt constraints deletion: 4369 -> 2191
811.57/811.79	c learnt constraints deletion: 4380 -> 2195
815.66/815.82	c learnt constraints deletion: 4362 -> 2187
819.76/819.98	c learnt constraints deletion: 4351 -> 2177
823.95/824.15	c learnt constraints deletion: 4340 -> 2172
827.95/828.16	c learnt constraints deletion: 4343 -> 2176
832.05/832.20	c learnt constraints deletion: 4347 -> 2177
836.16/836.36	c learnt constraints deletion: 4358 -> 2183
840.45/840.67	c learnt constraints deletion: 4366 -> 2188
845.55/845.70	c learnt constraints deletion: 4769 -> 2390
850.06/850.23	c learnt constraints deletion: 4760 -> 2380
854.46/854.62	c learnt constraints deletion: 4751 -> 2377
858.75/858.93	c learnt constraints deletion: 4759 -> 2380
863.15/863.36	c learnt constraints deletion: 4775 -> 2390
867.65/867.84	c learnt constraints deletion: 4774 -> 2389
872.15/872.31	c learnt constraints deletion: 4760 -> 2382
876.35/876.57	c learnt constraints deletion: 4763 -> 2385
880.75/880.92	c learnt constraints deletion: 4789 -> 2401
884.95/885.14	c learnt constraints deletion: 4759 -> 2380
889.55/889.73	c learnt constraints deletion: 4759 -> 2381
893.95/894.19	c learnt constraints deletion: 4784 -> 2394
898.64/898.89	c learnt constraints deletion: 4778 -> 2392
903.44/903.62	c learnt constraints deletion: 4762 -> 2382
907.84/908.07	c learnt constraints deletion: 4760 -> 2382
912.24/912.47	c learnt constraints deletion: 4762 -> 2384
916.64/916.87	c learnt constraints deletion: 4779 -> 2392
921.14/921.38	c learnt constraints deletion: 4780 -> 2393
925.64/925.89	c learnt constraints deletion: 4774 -> 2391
929.94/930.14	c learnt constraints deletion: 4791 -> 2399
934.34/934.53	c learnt constraints deletion: 4790 -> 2400
938.74/938.97	c learnt constraints deletion: 4800 -> 2405
942.94/943.16	c learnt constraints deletion: 4772 -> 2388
947.54/947.70	c learnt constraints deletion: 4780 -> 2394
951.74/951.96	c learnt constraints deletion: 4789 -> 2399
956.03/956.21	c learnt constraints deletion: 4768 -> 2390
960.34/960.52	c learnt constraints deletion: 4777 -> 2392
964.44/964.64	c learnt constraints deletion: 4793 -> 2402
968.73/968.94	c learnt constraints deletion: 4783 -> 2396
972.93/973.19	c learnt constraints deletion: 4781 -> 2398
977.13/977.30	c learnt constraints deletion: 4797 -> 2406
981.13/981.30	c learnt constraints deletion: 4786 -> 2399
985.23/985.46	c learnt constraints deletion: 4800 -> 2408
989.33/989.55	c learnt constraints deletion: 4779 -> 2396
993.62/993.83	c learnt constraints deletion: 4784 -> 2401
998.02/998.22	c learnt constraints deletion: 4764 -> 2386
1002.33/1002.58	c learnt constraints deletion: 4781 -> 2396
1006.62/1006.89	c learnt constraints deletion: 4761 -> 2385
1011.13/1011.37	c learnt constraints deletion: 4781 -> 2396
1015.52/1015.79	c learnt constraints deletion: 4790 -> 2399
1019.82/1020.08	c learnt constraints deletion: 4797 -> 2408
1024.33/1024.59	c learnt constraints deletion: 4784 -> 2398
1028.72/1028.96	c learnt constraints deletion: 4781 -> 2396
1032.82/1033.02	c learnt constraints deletion: 4779 -> 2397
1037.03/1037.28	c learnt constraints deletion: 4803 -> 2411
1041.22/1041.44	c learnt constraints deletion: 4782 -> 2400
1045.42/1045.67	c learnt constraints deletion: 4775 -> 2394
1049.72/1049.95	c learnt constraints deletion: 4778 -> 2397
1054.22/1054.41	c learnt constraints deletion: 4771 -> 2393
1058.51/1058.79	c learnt constraints deletion: 4772 -> 2390
1062.91/1063.11	c learnt constraints deletion: 4784 -> 2396
1067.31/1067.59	c learnt constraints deletion: 4775 -> 2394
1071.82/1072.06	c learnt constraints deletion: 4799 -> 2403
1076.41/1076.60	c learnt constraints deletion: 4760 -> 2383
1080.91/1081.19	c learnt constraints deletion: 4773 -> 2391
1085.31/1085.54	c learnt constraints deletion: 4782 -> 2395
1089.82/1090.06	c learnt constraints deletion: 4774 -> 2392
1094.51/1094.71	c learnt constraints deletion: 4769 -> 2391
1099.11/1099.30	c learnt constraints deletion: 4774 -> 2388
1103.41/1103.65	c learnt constraints deletion: 4771 -> 2387
1107.91/1108.13	c learnt constraints deletion: 4756 -> 2380
1112.31/1112.59	c learnt constraints deletion: 4773 -> 2390
1116.71/1116.96	c learnt constraints deletion: 4781 -> 2395
1121.00/1121.25	c learnt constraints deletion: 4790 -> 2401
1125.71/1125.91	c learnt constraints deletion: 4816 -> 2416
1130.11/1130.39	c learnt constraints deletion: 4789 -> 2401
1134.70/1134.93	c learnt constraints deletion: 4761 -> 2383
1139.20/1139.42	c learnt constraints deletion: 4758 -> 2381
1143.71/1143.95	c learnt constraints deletion: 4789 -> 2397
1148.80/1149.00	c learnt constraints deletion: 4784 -> 2395
1153.30/1153.50	c learnt constraints deletion: 4768 -> 2386
1157.90/1158.10	c learnt constraints deletion: 4788 -> 2397
1162.30/1162.51	c learnt constraints deletion: 4770 -> 2389
1166.60/1166.88	c learnt constraints deletion: 4774 -> 2392
1171.10/1171.36	c learnt constraints deletion: 4788 -> 2399
1175.61/1175.83	c learnt constraints deletion: 4793 -> 2406
1180.01/1180.26	c learnt constraints deletion: 4777 -> 2390
1184.60/1184.83	c learnt constraints deletion: 4773 -> 2389
1189.30/1189.50	c learnt constraints deletion: 4792 -> 2401
1193.50/1193.76	c learnt constraints deletion: 4759 -> 2383
1198.19/1198.49	c learnt constraints deletion: 4781 -> 2396
1202.79/1203.09	c learnt constraints deletion: 4781 -> 2394
1207.39/1207.64	c learnt constraints deletion: 4779 -> 2395
1211.90/1212.17	c learnt constraints deletion: 4780 -> 2396
1216.59/1216.85	c learnt constraints deletion: 4799 -> 2407
1221.19/1221.48	c learnt constraints deletion: 4792 -> 2403
1225.69/1225.96	c learnt constraints deletion: 4788 -> 2403
1230.19/1230.41	c learnt constraints deletion: 4772 -> 2389
1234.79/1235.00	c learnt constraints deletion: 4787 -> 2400
1239.09/1239.32	c learnt constraints deletion: 4760 -> 2383
1243.59/1243.80	c learnt constraints deletion: 4774 -> 2392
1248.08/1248.35	c learnt constraints deletion: 4787 -> 2400
1252.59/1252.85	c learnt constraints deletion: 4771 -> 2393
1257.79/1258.06	c learnt constraints deletion: 5238 -> 2622
1262.49/1262.80	c learnt constraints deletion: 5215 -> 2608
1267.49/1267.70	c learnt constraints deletion: 5229 -> 2617
1272.39/1272.69	c learnt constraints deletion: 5256 -> 2631
1277.28/1277.52	c learnt constraints deletion: 5249 -> 2629
1281.88/1282.16	c learnt constraints deletion: 5258 -> 2636
1286.38/1286.69	c learnt constraints deletion: 5225 -> 2614
1291.08/1291.34	c learnt constraints deletion: 5227 -> 2616
1295.88/1296.10	c learnt constraints deletion: 5238 -> 2623
1300.78/1301.00	c learnt constraints deletion: 5239 -> 2621
1305.49/1305.73	c learnt constraints deletion: 5216 -> 2608
1310.37/1310.62	c learnt constraints deletion: 5221 -> 2613
1315.17/1315.45	c learnt constraints deletion: 5228 -> 2619
1320.08/1320.34	c learnt constraints deletion: 5230 -> 2616
1324.97/1325.28	c learnt constraints deletion: 5231 -> 2619
1329.87/1330.15	c learnt constraints deletion: 5234 -> 2623
1334.77/1335.08	c learnt constraints deletion: 5223 -> 2614
1339.58/1339.90	c learnt constraints deletion: 5239 -> 2622
1344.47/1344.73	c learnt constraints deletion: 5240 -> 2623
1349.17/1349.47	c learnt constraints deletion: 5220 -> 2615
1354.17/1354.42	c learnt constraints deletion: 5233 -> 2619
1359.17/1359.48	c learnt constraints deletion: 5232 -> 2620
1363.97/1364.30	c learnt constraints deletion: 5224 -> 2613
1368.77/1369.04	c learnt constraints deletion: 5219 -> 2612
1373.77/1374.05	c learnt constraints deletion: 5256 -> 2633
1378.47/1378.72	c learnt constraints deletion: 5224 -> 2614
1383.27/1383.59	c learnt constraints deletion: 5221 -> 2614
1388.27/1388.56	c learnt constraints deletion: 5223 -> 2613
1393.06/1393.30	c learnt constraints deletion: 5237 -> 2622
1397.96/1398.27	c learnt constraints deletion: 5240 -> 2622
1402.76/1403.07	c learnt constraints deletion: 5231 -> 2619
1407.56/1407.90	c learnt constraints deletion: 5250 -> 2630
1412.17/1412.45	c learnt constraints deletion: 5229 -> 2620
1417.06/1417.32	c learnt constraints deletion: 5249 -> 2631
1421.66/1421.99	c learnt constraints deletion: 5219 -> 2616
1426.86/1427.10	c learnt constraints deletion: 5219 -> 2612
1431.65/1431.91	c learnt constraints deletion: 5239 -> 2624
1436.45/1436.76	c learnt constraints deletion: 5228 -> 2618
1441.26/1441.52	c learnt constraints deletion: 5222 -> 2617
1446.36/1446.60	c learnt constraints deletion: 5248 -> 2630
1451.35/1451.61	c learnt constraints deletion: 5226 -> 2614
1456.25/1456.51	c learnt constraints deletion: 5232 -> 2619
1461.05/1461.34	c learnt constraints deletion: 5221 -> 2613
1465.86/1466.17	c learnt constraints deletion: 5242 -> 2626
1470.85/1471.10	c learnt constraints deletion: 5236 -> 2623
1475.86/1476.19	c learnt constraints deletion: 5250 -> 2632
1480.75/1481.01	c learnt constraints deletion: 5215 -> 2610
1485.75/1486.02	c learnt constraints deletion: 5220 -> 2613
1490.75/1491.02	c learnt constraints deletion: 5227 -> 2619
1495.66/1495.92	c learnt constraints deletion: 5222 -> 2618
1500.45/1500.72	c learnt constraints deletion: 5239 -> 2623
1504.85/1505.15	c learnt constraints deletion: 5228 -> 2618
1509.64/1509.97	c learnt constraints deletion: 5226 -> 2616
1514.65/1514.98	c learnt constraints deletion: 5221 -> 2616
1519.74/1520.09	c learnt constraints deletion: 5221 -> 2616
1524.84/1525.17	c learnt constraints deletion: 5218 -> 2616
1529.85/1530.18	c learnt constraints deletion: 5224 -> 2616
1534.64/1534.99	c learnt constraints deletion: 5221 -> 2617
1539.54/1539.89	c learnt constraints deletion: 5248 -> 2632
1544.24/1544.52	c learnt constraints deletion: 5238 -> 2625
1549.04/1549.36	c learnt constraints deletion: 5243 -> 2629
1554.05/1554.34	c learnt constraints deletion: 5238 -> 2625
1559.03/1559.36	c learnt constraints deletion: 5249 -> 2634
1563.63/1563.97	c learnt constraints deletion: 5239 -> 2627
1568.63/1568.91	c learnt constraints deletion: 5262 -> 2639
1573.44/1573.76	c learnt constraints deletion: 5252 -> 2634
1578.74/1579.03	c learnt constraints deletion: 5241 -> 2630
1583.94/1584.25	c learnt constraints deletion: 5248 -> 2632
1589.03/1589.37	c learnt constraints deletion: 5223 -> 2615
1594.24/1594.54	c learnt constraints deletion: 5228 -> 2619
1599.33/1599.66	c learnt constraints deletion: 5242 -> 2626
1604.54/1604.84	c learnt constraints deletion: 5251 -> 2634
1609.23/1609.57	c learnt constraints deletion: 5258 -> 2638
1614.43/1614.72	c learnt constraints deletion: 5265 -> 2643
1619.23/1619.58	c learnt constraints deletion: 5246 -> 2633
1624.13/1624.49	c learnt constraints deletion: 5246 -> 2634
1629.33/1629.68	c learnt constraints deletion: 5241 -> 2626
1634.42/1634.71	c learnt constraints deletion: 5246 -> 2630
1639.63/1639.98	c learnt constraints deletion: 5259 -> 2636
1644.63/1644.92	c learnt constraints deletion: 5248 -> 2630
1649.43/1649.70	c learnt constraints deletion: 5252 -> 2634
1654.13/1654.48	c learnt constraints deletion: 5246 -> 2632
1658.93/1659.25	c learnt constraints deletion: 5239 -> 2629
1663.83/1664.18	c learnt constraints deletion: 5247 -> 2635
1668.72/1669.00	c learnt constraints deletion: 5244 -> 2628
1673.52/1673.84	c learnt constraints deletion: 5244 -> 2631
1678.13/1678.42	c learnt constraints deletion: 5251 -> 2633
1683.02/1683.37	c learnt constraints deletion: 5244 -> 2630
1688.13/1688.44	c learnt constraints deletion: 5244 -> 2629
1693.12/1693.41	c learnt constraints deletion: 5244 -> 2630
1698.02/1698.37	c learnt constraints deletion: 5231 -> 2624
1703.12/1703.44	c learnt constraints deletion: 5251 -> 2635
1707.82/1708.17	c learnt constraints deletion: 5239 -> 2630
1712.61/1712.92	c learnt constraints deletion: 5265 -> 2644
1717.31/1717.64	c learnt constraints deletion: 5257 -> 2642
1722.32/1722.63	c learnt constraints deletion: 5230 -> 2615
1727.41/1727.74	c learnt constraints deletion: 5225 -> 2614
1732.51/1732.85	c learnt constraints deletion: 5231 -> 2617
1737.31/1737.68	c learnt constraints deletion: 5228 -> 2616
1742.51/1742.82	c learnt constraints deletion: 5220 -> 2611
1747.21/1747.55	c learnt constraints deletion: 5239 -> 2623
1751.91/1752.21	c learnt constraints deletion: 5239 -> 2624
1756.81/1757.15	c learnt constraints deletion: 5219 -> 2613
1761.71/1762.03	c learnt constraints deletion: 5249 -> 2632
1766.31/1766.68	c learnt constraints deletion: 5261 -> 2643
1771.01/1771.37	c learnt constraints deletion: 5220 -> 2613
1776.22/1776.54	c learnt constraints deletion: 5228 -> 2618
1781.00/1781.33	c learnt constraints deletion: 5246 -> 2628
1786.01/1786.33	c learnt constraints deletion: 5238 -> 2623
1790.90/1791.24	c learnt constraints deletion: 5236 -> 2624
1795.61/1795.98	c learnt constraints deletion: 5222 -> 2617

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

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

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


[startup+0 s]
/proc/loadavg: 1.97 2.00 1.98 3/176 8790
/proc/meminfo: memFree=28497544/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 809 0 0 0 0 0 0 0 20 0 1 0 277640571 6356992 731 33554432000 4194304 8973514 140734511903456 140737248097144 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 1552 731 415 1167 0 333 0

[startup+0.0478571 s]
/proc/loadavg: 1.97 2.00 1.98 3/176 8790
/proc/meminfo: memFree=28497544/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=9280 CPUtime=0.04 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 1426 0 0 0 4 0 0 0 20 0 1 0 277640571 9502720 1348 33554432000 4194304 8973514 140734511903456 140737248097144 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 2320 1348 427 1167 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9280

[startup+0.100266 s]
/proc/loadavg: 1.97 2.00 1.98 3/176 8790
/proc/meminfo: memFree=28497544/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=9280 CPUtime=0.09 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 1472 0 0 0 9 0 0 0 20 0 1 0 277640571 9502720 1394 33554432000 4194304 8973514 140734511903456 140737248097144 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 2320 1394 455 1167 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9280

[startup+0.300235 s]
/proc/loadavg: 1.97 2.00 1.98 3/176 8790
/proc/meminfo: memFree=28497544/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=10304 CPUtime=0.29 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 1887 0 0 0 29 0 0 0 20 0 1 0 277640571 10551296 1809 33554432000 4194304 8973514 140734511903456 140737248097144 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 2576 1809 455 1167 0 1357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10304

[startup+0.700252 s]
/proc/loadavg: 1.97 2.00 1.98 3/176 8790
/proc/meminfo: memFree=28497544/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=11328 CPUtime=0.68 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 2143 0 0 0 68 0 0 0 20 0 1 0 277640571 11599872 2065 33554432000 4194304 8973514 140734511903456 140737248097144 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 2832 2065 455 1167 0 1613 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11328

[startup+1.50027 s]
/proc/loadavg: 1.97 2.00 1.98 3/177 8791
/proc/meminfo: memFree=28489964/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=13376 CPUtime=1.49 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 2655 0 0 0 148 1 0 0 20 0 1 0 277640571 13697024 2577 33554432000 4194304 8973514 140734511903456 140734511902720 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 3344 2577 455 1167 0 2125 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13376

[startup+3.10028 s]
/proc/loadavg: 1.97 2.00 1.98 3/177 8791
/proc/meminfo: memFree=28487228/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=16448 CPUtime=3.08 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 3424 0 0 0 306 2 0 0 20 0 1 0 277640571 16842752 3346 33554432000 4194304 8973514 140734511903456 140734511902952 4209216 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 4112 3346 456 1167 0 2893 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16448

[startup+6.30029 s]
/proc/loadavg: 1.97 2.00 1.98 3/177 8791
/proc/meminfo: memFree=28482160/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=21568 CPUtime=6.29 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 4461 0 0 0 625 4 0 0 20 0 1 0 277640571 22085632 4383 33554432000 4194304 8973514 140734511903456 140734511902952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 5392 4383 456 1167 0 4173 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21568

[startup+12.7003 s]
/proc/loadavg: 1.97 2.00 1.98 3/177 8791
/proc/meminfo: memFree=28464860/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=23616 CPUtime=12.69 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 5216 0 0 0 1263 6 0 0 20 0 1 0 277640571 24182784 5138 33554432000 4194304 8973514 140734511903456 140734511885440 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 5904 5138 456 1167 0 4685 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23616

[startup+25.5003 s]
/proc/loadavg: 1.98 2.00 1.98 3/177 8791
/proc/meminfo: memFree=28437716/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=26688 CPUtime=25.49 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 5984 0 0 0 2537 12 0 0 20 0 1 0 277640571 27328512 5906 33554432000 4194304 8973514 140734511903456 140734511902952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 6672 5906 456 1167 0 5453 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26688

[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 1.98 3/177 8791
/proc/meminfo: memFree=28389928/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=29760 CPUtime=51.08 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 7008 0 0 0 5084 24 0 0 20 0 1 0 277640571 30474240 6674 33554432000 4194304 8973514 140734511903456 140734511902952 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 7440 6674 456 1167 0 6221 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29760

[startup+102.307 s]
/proc/loadavg: 1.99 2.00 1.98 3/178 8794
/proc/meminfo: memFree=28302672/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=36928 CPUtime=102.28 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 8800 0 0 0 10178 50 0 0 20 0 1 0 277640571 37814272 8466 33554432000 4194304 8973514 140734511903456 140734511902720 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 9232 8466 456 1167 0 8013 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 36928

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.98 3/177 8794
/proc/meminfo: memFree=28264896/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=46144 CPUtime=162.27 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 11104 0 0 0 16144 83 0 0 20 0 1 0 277640571 47251456 10770 33554432000 4194304 8973514 140734511903456 140734511902952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 11536 10770 456 1167 0 10317 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 46144

[startup+222.3 s]
/proc/loadavg: 2.06 2.01 1.99 3/177 8794
/proc/meminfo: memFree=28211232/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=42048 CPUtime=222.25 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 11104 0 0 0 22113 112 0 0 20 0 1 0 277640571 43057152 9746 33554432000 4194304 8973514 140734511903456 140734511902720 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 10512 9746 456 1167 0 9293 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 42048

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 8795
/proc/meminfo: memFree=28172844/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=46144 CPUtime=282.24 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 12134 0 0 0 28080 144 0 0 20 0 1 0 277640571 47251456 10775 33554432000 4194304 8973514 140734511903456 140734511902952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 11536 10775 456 1167 0 10317 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 46144

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 8795
/proc/meminfo: memFree=28105688/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=53312 CPUtime=342.23 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 13926 0 0 0 34045 178 0 0 20 0 1 0 277640571 54591488 12567 33554432000 4194304 8973514 140734511903456 140734511902720 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 13328 12567 456 1167 0 12109 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 53312

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 8795
/proc/meminfo: memFree=28105256/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=57408 CPUtime=402.22 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 14950 0 0 0 40015 207 0 0 20 0 1 0 277640571 58785792 13591 33554432000 4194304 8973514 140734511903456 140734511902952 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 14352 13591 456 1167 0 13133 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 57408

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 8795
/proc/meminfo: memFree=28105256/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=57408 CPUtime=462.22 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 14950 0 0 0 45985 237 0 0 20 0 1 0 277640571 58785792 13591 33554432000 4194304 8973514 140734511903456 140734511902720 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 14352 13591 456 1167 0 13133 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 57408

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 8795
/proc/meminfo: memFree=28108444/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=54336 CPUtime=522.2 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 14950 0 0 0 51955 265 0 0 20 0 1 0 277640571 55640064 12823 33554432000 4194304 8973514 140734511903456 140734511902720 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 13584 12823 456 1167 0 12365 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 54336

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 8796
/proc/meminfo: memFree=28090400/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=54336 CPUtime=582.19 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 14950 0 0 0 57923 296 0 0 20 0 1 0 277640571 55640064 12823 33554432000 4194304 8973514 140734511903456 140734511902952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 13584 12823 456 1167 0 12365 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 54336

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 8800
/proc/meminfo: memFree=28064916/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=58432 CPUtime=882.15 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 17260 0 0 0 87758 457 0 0 20 0 1 0 277640571 59834368 13847 33554432000 4194304 8973514 140734511903456 140734511902952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 14608 13847 456 1167 0 13389 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 58432

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 8800
/proc/meminfo: memFree=28064784/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=58432 CPUtime=942.14 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 17516 0 0 0 93724 490 0 0 20 0 1 0 277640571 59834368 13847 33554432000 4194304 8973514 140734511903456 140734511902952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 14608 13847 456 1167 0 13389 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 58432

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 8800
/proc/meminfo: memFree=28064660/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=58432 CPUtime=1002.12 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 17520 0 0 0 99691 521 0 0 20 0 1 0 277640571 59834368 13847 33554432000 4194304 8973514 140734511903456 140734511902720 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 14608 13847 456 1167 0 13389 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 58432

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 8800
/proc/meminfo: memFree=28065748/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=57408 CPUtime=1062.12 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 18288 0 0 0 105661 551 0 0 20 0 1 0 277640571 58785792 13591 33554432000 4194304 8973514 140734511903456 140734511902720 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 14352 13591 456 1167 0 13133 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 57408

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 8800
/proc/meminfo: memFree=28052356/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=58432 CPUtime=1122.1 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 18544 0 0 0 111629 581 0 0 20 0 1 0 277640571 59834368 13847 33554432000 4194304 8973514 140734511903456 140734511902720 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 14608 13847 456 1167 0 13389 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 58432

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 8801
/proc/meminfo: memFree=28052424/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=58432 CPUtime=1182.1 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 19056 0 0 0 117597 613 0 0 20 0 1 0 277640571 59834368 13847 33554432000 4194304 8973514 140734511903456 140734511902952 4213703 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 14608 13847 456 1167 0 13389 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 58432

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 8801
/proc/meminfo: memFree=27987948/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=58432 CPUtime=1242.08 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 19056 0 0 0 123564 644 0 0 20 0 1 0 277640571 59834368 13847 33554432000 4194304 8973514 140734511903456 140734511902776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 14608 13847 456 1167 0 13389 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 58432

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 8804
/proc/meminfo: memFree=27952488/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=59456 CPUtime=1302.08 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 19312 0 0 0 129533 675 0 0 20 0 1 0 277640571 60882944 14103 33554432000 4194304 8973514 140734511903456 140734511902952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 14864 14103 456 1167 0 13645 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 59456

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 8827
/proc/meminfo: memFree=27952328/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=59456 CPUtime=1362.06 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 19312 0 0 0 135503 703 0 0 20 0 1 0 277640571 60882944 14103 33554432000 4194304 8973514 140734511903456 140734511902952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 14864 14103 456 1167 0 13645 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 59456

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 8827
/proc/meminfo: memFree=27952640/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=59456 CPUtime=1422.07 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 19312 0 0 0 141475 732 0 0 20 0 1 0 277640571 60882944 14103 33554432000 4194304 8973514 140734511903456 140734511902952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 14864 14103 456 1167 0 13645 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 59456

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 8828
/proc/meminfo: memFree=27952492/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=59456 CPUtime=1482.05 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 19568 0 0 0 147443 762 0 0 20 0 1 0 277640571 60882944 14103 33554432000 4194304 8973514 140734511903456 140734511902952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 14864 14103 456 1167 0 13645 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 59456

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8828
/proc/meminfo: memFree=28028168/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=60480 CPUtime=1542.04 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 20080 0 0 0 153411 793 0 0 20 0 1 0 277640571 61931520 14359 33554432000 4194304 8973514 140734511903456 140734511902720 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 15120 14359 456 1167 0 13901 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 60480

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8828
/proc/meminfo: memFree=28025072/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=63552 CPUtime=1602.03 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 20848 0 0 0 159378 825 0 0 20 0 1 0 277640571 65077248 15127 33554432000 4194304 8973514 140734511903456 140734511902952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 15888 15127 456 1167 0 14669 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 63552

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8828
/proc/meminfo: memFree=28014564/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=70720 CPUtime=1662.02 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 22896 0 0 0 165347 855 0 0 20 0 1 0 277640571 72417280 16919 33554432000 4194304 8973514 140734511903456 140734511902952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 17680 16919 456 1167 0 16461 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 70720

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8828
/proc/meminfo: memFree=27969656/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=70720 CPUtime=1722.01 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 24758 0 0 0 171318 883 0 0 20 0 1 0 277640571 72417280 16733 33554432000 4194304 8973514 140734511903456 140734511902952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 17680 16733 456 1167 0 16461 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 70720

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 8828
/proc/meminfo: memFree=27980576/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=62528 CPUtime=1782 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 24944 0 0 0 177286 914 0 0 20 0 1 0 277640571 64028672 14871 33554432000 4194304 8973514 140734511903456 140734511902952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 15632 14871 456 1167 0 14413 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 62528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8868
/proc/meminfo: memFree=28554048/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=62528 CPUtime=1800.01 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 24944 0 0 0 179077 924 0 0 20 0 1 0 277640571 64028672 14871 33554432000 4194304 8973514 140734511903456 140734511902952 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 15632 14871 456 1167 0 14413 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 62528

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

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

[startup+1800.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8868
/proc/meminfo: memFree=28554048/32873648 swapFree=6844/6844
[pid=8790] ppid=8788 vsize=62528 CPUtime=1800.01 cores=1,3,5,7
/proc/8790/stat : 8790 (toysat) R 8788 8790 5668 0 -1 4202496 24944 0 0 0 179077 924 0 0 20 0 1 0 277640571 64028672 14871 33554432000 4194304 8973514 140734511903456 140734511902952 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8790/statm: 15632 14871 456 1167 0 14413 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 62528

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1790.77
CPU system time (s): 9.24759
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 70720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.77
system time used= 9.24759
maximum resident set size= 67676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24944
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= 19
involuntary context switches= 1853

runsolver used 3.48147 second user time and 9.60354 second system time

The end

Launcher Data 

Begin job on node115 at 2012-05-27 12:38:58
IDJOB=3706693
IDBENCH=2017
IDSOLVER=2285
FILE ID=node115/3706693-1338115138
RUNJOBID= node115-1338109714-8420
PBS_JOBID= 14624444
Free space on /tmp= 71660 MiB

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

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

MD5SUM BENCH= 866c660dea8282137b8c78839dd4c03f
RANDOM SEED=1388148620

node115.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.462
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.92
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.462
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.462
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.462
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		: 2666.462
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.92
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.462
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		: 2666.462
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.462
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:        28498312 kB
Buffers:          306428 kB
Cached:          3105084 kB
SwapCached:            0 kB
Active:          1156812 kB
Inactive:        2408420 kB
Active(anon):     156096 kB
Inactive(anon):        0 kB
Active(file):    1000716 kB
Inactive(file):  2408420 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             17900 kB
Writeback:             0 kB
AnonPages:        160660 kB
Mapped:            16140 kB
Shmem:               200 kB
Slab:             672116 kB
SReclaimable:     116288 kB
SUnreclaim:       555828 kB
KernelStack:        1448 kB
PageTables:         4092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     267476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71656 MiB
End job on node115 at 2012-05-27 13:09:00