Trace number 3705952

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.09 1800.41

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb
MD5SUM2ea7e3b5e107f983d069c627d91480a3
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.036993
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables1640
Total number of constraints81
Number of constraints which are clauses41
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c 2012-05-27T14:08:23+0200
0.00/0.02	c arch = x86_64
0.00/0.02	c os = linux
0.00/0.02	c compiler = ghc 7.4
0.00/0.02	c packages:
0.00/0.02	c   OptDir-0.0.1
0.00/0.02	c   array-0.4.0.0
0.00/0.02	c   base-4.5.0.0
0.00/0.02	c   bytestring-0.9.2.1
0.00/0.02	c   containers-0.4.2.1
0.00/0.02	c   deepseq-1.3.0.0
0.00/0.02	c   mtl-2.1.1
0.00/0.02	c   old_locale-1.0.0.4
0.00/0.02	c   parse_dimacs-1.2
0.00/0.02	c   parsec-3.1.2
0.00/0.02	c   queue-0.1.2
0.00/0.02	c   stm-2.3
0.00/0.02	c   time-1.4
0.00/0.02	c command line = ["--pb","HOME/instance-3705952-1338120503.opb"]
0.00/0.02	c #vars 1640
0.00/0.02	c #constraints 81
0.00/0.02	c Solving starts ...
0.49/0.57	c learnt constraints deletion: 809 -> 405
0.89/0.94	c learnt constraints deletion: 911 -> 456
1.39/1.41	c learnt constraints deletion: 1216 -> 608
2.09/2.11	c learnt constraints deletion: 1749 -> 875
3.39/3.49	c learnt constraints deletion: 2587 -> 1294
3.39/3.49	c learnt constraints deletion: 1294 -> 647
5.18/5.28	c learnt constraints deletion: 2841 -> 1429
5.68/5.72	c learnt constraints deletion: 1804 -> 902
7.29/7.33	c learnt constraints deletion: 2965 -> 1493
8.79/8.85	c learnt constraints deletion: 2959 -> 1492
9.19/9.21	c learnt constraints deletion: 1817 -> 909
11.68/11.74	c learnt constraints deletion: 3090 -> 1553
14.29/14.36	c learnt constraints deletion: 3090 -> 1555
16.88/16.97	c learnt constraints deletion: 3086 -> 1556
17.78/17.88	c learnt constraints deletion: 2089 -> 1045
19.38/19.48	c learnt constraints deletion: 3263 -> 1641
20.78/20.88	c learnt constraints deletion: 3221 -> 1620
22.48/22.55	c learnt constraints deletion: 3242 -> 1631
24.09/24.17	c learnt constraints deletion: 3260 -> 1641
25.67/25.79	c learnt constraints deletion: 3266 -> 1633
27.18/27.24	c learnt constraints deletion: 3414 -> 1715
28.88/28.94	c learnt constraints deletion: 3415 -> 1717
30.48/30.50	c learnt constraints deletion: 3411 -> 1715
32.18/32.22	c learnt constraints deletion: 3402 -> 1710
33.87/33.90	c learnt constraints deletion: 3420 -> 1721
35.37/35.47	c learnt constraints deletion: 3417 -> 1719
37.08/37.19	c learnt constraints deletion: 3416 -> 1719
37.97/38.08	c learnt constraints deletion: 2766 -> 1383
39.87/39.93	c learnt constraints deletion: 3576 -> 1792
41.68/41.80	c learnt constraints deletion: 3557 -> 1785
43.88/43.93	c learnt constraints deletion: 3555 -> 1786
45.87/45.98	c learnt constraints deletion: 3570 -> 1791
47.87/47.90	c learnt constraints deletion: 3569 -> 1792
49.67/49.76	c learnt constraints deletion: 3549 -> 1782
51.68/51.70	c learnt constraints deletion: 3570 -> 1789
53.37/53.45	c learnt constraints deletion: 3566 -> 1788
55.37/55.41	c learnt constraints deletion: 3552 -> 1781
57.17/57.21	c learnt constraints deletion: 3566 -> 1788
58.56/58.66	c learnt constraints deletion: 3146 -> 1573
60.16/60.29	c learnt constraints deletion: 3720 -> 1861
62.16/62.20	c learnt constraints deletion: 3730 -> 1867
64.16/64.26	c learnt constraints deletion: 3727 -> 1866
66.16/66.20	c learnt constraints deletion: 3737 -> 1872
67.96/68.05	c learnt constraints deletion: 3730 -> 1868
70.06/70.11	c learnt constraints deletion: 3728 -> 1867
72.07/72.14	c learnt constraints deletion: 3720 -> 1865
73.96/74.05	c learnt constraints deletion: 3721 -> 1863
76.46/76.53	c learnt constraints deletion: 3723 -> 1864
78.96/79.01	c learnt constraints deletion: 3731 -> 1868
81.66/81.74	c learnt constraints deletion: 3729 -> 1867
84.57/84.65	c learnt constraints deletion: 3703 -> 1853
86.35/86.45	c learnt constraints deletion: 3714 -> 1860
88.16/88.26	c learnt constraints deletion: 3720 -> 1863
89.96/90.06	c learnt constraints deletion: 3716 -> 1860
91.17/91.24	c learnt constraints deletion: 2967 -> 1484
93.36/93.48	c learnt constraints deletion: 3962 -> 1986
95.56/95.64	c learnt constraints deletion: 3957 -> 1987
97.76/97.81	c learnt constraints deletion: 3952 -> 1985
100.26/100.33	c learnt constraints deletion: 3978 -> 1999
102.76/102.80	c learnt constraints deletion: 3928 -> 1974
105.16/105.20	c learnt constraints deletion: 3935 -> 1978
107.86/107.91	c learnt constraints deletion: 3918 -> 1970
110.45/110.56	c learnt constraints deletion: 3922 -> 1972
113.05/113.20	c learnt constraints deletion: 3977 -> 1997
115.46/115.52	c learnt constraints deletion: 3934 -> 1976
117.95/118.01	c learnt constraints deletion: 3946 -> 1982
120.15/120.24	c learnt constraints deletion: 3925 -> 1972
122.45/122.55	c learnt constraints deletion: 3945 -> 1983
124.65/124.74	c learnt constraints deletion: 3930 -> 1974
126.95/127.06	c learnt constraints deletion: 3951 -> 1985
129.55/129.69	c learnt constraints deletion: 3930 -> 1976
132.15/132.21	c learnt constraints deletion: 3945 -> 1983
134.55/134.67	c learnt constraints deletion: 3917 -> 1970
136.85/136.99	c learnt constraints deletion: 3923 -> 1973
139.35/139.43	c learnt constraints deletion: 3930 -> 1975
141.75/141.84	c learnt constraints deletion: 3947 -> 1984
144.25/144.37	c learnt constraints deletion: 4164 -> 2093
146.55/146.65	c learnt constraints deletion: 4163 -> 2089
149.15/149.28	c learnt constraints deletion: 4186 -> 2105
151.84/151.93	c learnt constraints deletion: 4185 -> 2103
154.25/154.35	c learnt constraints deletion: 4182 -> 2101
156.74/156.81	c learnt constraints deletion: 4173 -> 2097
159.14/159.27	c learnt constraints deletion: 4190 -> 2106
161.44/161.58	c learnt constraints deletion: 4170 -> 2099
163.95/164.00	c learnt constraints deletion: 4175 -> 2100
166.24/166.34	c learnt constraints deletion: 4164 -> 2093
168.64/168.72	c learnt constraints deletion: 4175 -> 2103
171.04/171.14	c learnt constraints deletion: 4164 -> 2094
173.44/173.51	c learnt constraints deletion: 4184 -> 2104
175.64/175.72	c learnt constraints deletion: 4187 -> 2105
178.05/178.19	c learnt constraints deletion: 4170 -> 2095
181.24/181.31	c learnt constraints deletion: 4189 -> 2106
184.54/184.61	c learnt constraints deletion: 4159 -> 2092
187.14/187.26	c learnt constraints deletion: 4200 -> 2113
190.34/190.41	c learnt constraints deletion: 4201 -> 2113
193.45/193.58	c learnt constraints deletion: 4207 -> 2115
196.24/196.31	c learnt constraints deletion: 4203 -> 2115
199.14/199.24	c learnt constraints deletion: 4186 -> 2106
202.14/202.21	c learnt constraints deletion: 4191 -> 2108
204.84/204.99	c learnt constraints deletion: 4202 -> 2113
207.63/207.79	c learnt constraints deletion: 4196 -> 2110
210.14/210.29	c learnt constraints deletion: 4189 -> 2107
212.93/213.04	c learnt constraints deletion: 4189 -> 2107
215.44/215.59	c learnt constraints deletion: 4179 -> 2102
218.63/218.72	c learnt constraints deletion: 4208 -> 2116
221.23/221.33	c learnt constraints deletion: 4202 -> 2113
224.14/224.27	c learnt constraints deletion: 4183 -> 2105
227.13/227.23	c learnt constraints deletion: 4145 -> 2085
229.34/229.46	c learnt constraints deletion: 3563 -> 1782
232.13/232.20	c learnt constraints deletion: 4464 -> 2235
234.73/234.86	c learnt constraints deletion: 4431 -> 2221
237.44/237.56	c learnt constraints deletion: 4443 -> 2227
240.13/240.26	c learnt constraints deletion: 4455 -> 2232
242.63/242.73	c learnt constraints deletion: 4464 -> 2237
245.33/245.40	c learnt constraints deletion: 4488 -> 2249
248.23/248.32	c learnt constraints deletion: 4437 -> 2225
250.93/251.00	c learnt constraints deletion: 4432 -> 2221
253.23/253.36	c learnt constraints deletion: 4459 -> 2235
255.93/256.00	c learnt constraints deletion: 4436 -> 2223
259.03/259.12	c learnt constraints deletion: 4469 -> 2242
262.03/262.16	c learnt constraints deletion: 4416 -> 2213
264.73/264.88	c learnt constraints deletion: 4456 -> 2233
267.73/267.85	c learnt constraints deletion: 4458 -> 2237
270.63/270.76	c learnt constraints deletion: 4452 -> 2231
273.73/273.87	c learnt constraints deletion: 4404 -> 2208
276.53/276.63	c learnt constraints deletion: 4451 -> 2233
279.23/279.32	c learnt constraints deletion: 4434 -> 2224
282.03/282.19	c learnt constraints deletion: 4443 -> 2229
284.83/284.90	c learnt constraints deletion: 4449 -> 2232
287.62/287.78	c learnt constraints deletion: 4448 -> 2231
290.34/290.43	c learnt constraints deletion: 4436 -> 2223
292.82/292.93	c learnt constraints deletion: 4458 -> 2235
295.52/295.60	c learnt constraints deletion: 4470 -> 2243
298.52/298.65	c learnt constraints deletion: 4464 -> 2242
301.42/301.57	c learnt constraints deletion: 4468 -> 2243
304.22/304.37	c learnt constraints deletion: 4467 -> 2239
306.72/306.81	c learnt constraints deletion: 4437 -> 2227
309.53/309.69	c learnt constraints deletion: 4450 -> 2232
312.42/312.57	c learnt constraints deletion: 4459 -> 2236
315.33/315.49	c learnt constraints deletion: 4467 -> 2239
318.22/318.37	c learnt constraints deletion: 4465 -> 2243
321.03/321.12	c learnt constraints deletion: 4461 -> 2237
323.62/323.78	c learnt constraints deletion: 4460 -> 2237
326.22/326.35	c learnt constraints deletion: 4468 -> 2241
329.02/329.17	c learnt constraints deletion: 4453 -> 2235
331.51/331.65	c learnt constraints deletion: 4437 -> 2225
334.52/334.69	c learnt constraints deletion: 4444 -> 2229
337.42/337.59	c learnt constraints deletion: 4457 -> 2235
340.21/340.30	c learnt constraints deletion: 4481 -> 2246
343.02/343.18	c learnt constraints deletion: 4455 -> 2235
345.81/345.94	c learnt constraints deletion: 4437 -> 2225
348.42/348.52	c learnt constraints deletion: 4445 -> 2229
351.31/351.46	c learnt constraints deletion: 4754 -> 2383
353.52/353.61	c learnt constraints deletion: 4736 -> 2372
356.02/356.15	c learnt constraints deletion: 4725 -> 2373
358.91/359.05	c learnt constraints deletion: 4740 -> 2380
361.51/361.61	c learnt constraints deletion: 4753 -> 2387
364.11/364.25	c learnt constraints deletion: 4731 -> 2375
367.01/367.16	c learnt constraints deletion: 4684 -> 2353
370.81/370.90	c learnt constraints deletion: 4741 -> 2383
374.01/374.16	c learnt constraints deletion: 4727 -> 2375
377.12/377.25	c learnt constraints deletion: 4715 -> 2369
380.01/380.15	c learnt constraints deletion: 4691 -> 2357
383.11/383.24	c learnt constraints deletion: 4725 -> 2373
386.10/386.24	c learnt constraints deletion: 4751 -> 2387
389.22/389.37	c learnt constraints deletion: 4749 -> 2386
392.41/392.56	c learnt constraints deletion: 4709 -> 2366
395.61/395.77	c learnt constraints deletion: 4734 -> 2379
398.11/398.29	c learnt constraints deletion: 4758 -> 2392
401.00/401.15	c learnt constraints deletion: 4742 -> 2385
403.91/404.00	c learnt constraints deletion: 4710 -> 2364
408.11/408.28	c learnt constraints deletion: 4718 -> 2369
411.81/411.91	c learnt constraints deletion: 4713 -> 2367
414.91/415.09	c learnt constraints deletion: 4715 -> 2368
418.81/418.91	c learnt constraints deletion: 4733 -> 2377
422.51/422.67	c learnt constraints deletion: 4736 -> 2378
425.70/425.86	c learnt constraints deletion: 4730 -> 2376
429.39/429.50	c learnt constraints deletion: 4744 -> 2384
432.90/433.02	c learnt constraints deletion: 4748 -> 2385
436.10/436.22	c learnt constraints deletion: 4730 -> 2376
439.10/439.23	c learnt constraints deletion: 4689 -> 2357
442.40/442.58	c learnt constraints deletion: 4726 -> 2374
445.79/445.96	c learnt constraints deletion: 4748 -> 2386
448.90/449.08	c learnt constraints deletion: 4731 -> 2377
452.10/452.22	c learnt constraints deletion: 4722 -> 2372
455.30/455.41	c learnt constraints deletion: 4710 -> 2366
458.50/458.66	c learnt constraints deletion: 4738 -> 2379
461.39/461.58	c learnt constraints deletion: 4742 -> 2382
464.49/464.67	c learnt constraints deletion: 4711 -> 2367
467.59/467.74	c learnt constraints deletion: 4738 -> 2380
470.49/470.63	c learnt constraints deletion: 4740 -> 2381
473.69/473.85	c learnt constraints deletion: 4734 -> 2378
476.99/477.17	c learnt constraints deletion: 4740 -> 2382
480.39/480.55	c learnt constraints deletion: 4718 -> 2372
483.99/484.11	c learnt constraints deletion: 4739 -> 2382
487.59/487.75	c learnt constraints deletion: 4717 -> 2371
491.08/491.23	c learnt constraints deletion: 4727 -> 2377
494.09/494.25	c learnt constraints deletion: 4710 -> 2367
497.49/497.65	c learnt constraints deletion: 4725 -> 2374
500.78/500.95	c learnt constraints deletion: 4756 -> 2389
504.58/504.74	c learnt constraints deletion: 4742 -> 2383
507.88/508.08	c learnt constraints deletion: 4723 -> 2374
511.39/511.54	c learnt constraints deletion: 4719 -> 2372
514.49/514.67	c learnt constraints deletion: 4707 -> 2365
517.69/517.84	c learnt constraints deletion: 4748 -> 2385
521.08/521.20	c learnt constraints deletion: 4739 -> 2383
523.98/524.10	c learnt constraints deletion: 4724 -> 2374
527.18/527.31	c learnt constraints deletion: 4735 -> 2381
530.69/530.88	c learnt constraints deletion: 4742 -> 2384
534.18/534.35	c learnt constraints deletion: 4737 -> 2380
537.48/537.63	c learnt constraints deletion: 4731 -> 2376
540.38/540.56	c learnt constraints deletion: 4727 -> 2375
543.98/544.10	c learnt constraints deletion: 4711 -> 2369
547.38/547.56	c learnt constraints deletion: 4747 -> 2388
551.28/551.41	c learnt constraints deletion: 5025 -> 2524
554.58/554.72	c learnt constraints deletion: 4981 -> 2491
556.88/557.09	c learnt constraints deletion: 5096 -> 2550
559.78/559.97	c learnt constraints deletion: 5091 -> 2547
562.58/562.78	c learnt constraints deletion: 5088 -> 2545
565.58/565.75	c learnt constraints deletion: 5102 -> 2552
568.38/568.50	c learnt constraints deletion: 5076 -> 2539
571.18/571.35	c learnt constraints deletion: 5083 -> 2544
573.77/573.95	c learnt constraints deletion: 5059 -> 2533
576.77/576.91	c learnt constraints deletion: 5085 -> 2546
579.87/580.04	c learnt constraints deletion: 5068 -> 2538
582.68/582.81	c learnt constraints deletion: 5068 -> 2538
585.57/585.79	c learnt constraints deletion: 5081 -> 2546
588.68/588.87	c learnt constraints deletion: 5073 -> 2539
591.58/591.73	c learnt constraints deletion: 5068 -> 2538
594.47/594.64	c learnt constraints deletion: 5063 -> 2535
597.37/597.54	c learnt constraints deletion: 5076 -> 2542
600.17/600.35	c learnt constraints deletion: 5092 -> 2548
602.97/603.12	c learnt constraints deletion: 5075 -> 2540
605.98/606.13	c learnt constraints deletion: 5098 -> 2551
608.77/608.91	c learnt constraints deletion: 5066 -> 2535
611.48/611.61	c learnt constraints deletion: 5097 -> 2552
614.37/614.57	c learnt constraints deletion: 5070 -> 2539
617.37/617.55	c learnt constraints deletion: 5056 -> 2533
620.07/620.27	c learnt constraints deletion: 5079 -> 2544
623.06/623.21	c learnt constraints deletion: 5073 -> 2542
625.77/625.91	c learnt constraints deletion: 5069 -> 2537
628.57/628.75	c learnt constraints deletion: 5063 -> 2534
631.47/631.65	c learnt constraints deletion: 5059 -> 2531
634.26/634.47	c learnt constraints deletion: 5085 -> 2545
637.16/637.39	c learnt constraints deletion: 5104 -> 2555
640.17/640.30	c learnt constraints deletion: 5077 -> 2541
642.97/643.18	c learnt constraints deletion: 5067 -> 2536
645.87/646.03	c learnt constraints deletion: 5087 -> 2546
648.87/649.01	c learnt constraints deletion: 5079 -> 2542
651.76/651.97	c learnt constraints deletion: 5064 -> 2534
655.17/655.34	c learnt constraints deletion: 5043 -> 2524
658.56/658.78	c learnt constraints deletion: 5058 -> 2531
662.16/662.35	c learnt constraints deletion: 5064 -> 2535
664.96/665.11	c learnt constraints deletion: 5086 -> 2546
667.95/668.10	c learnt constraints deletion: 5065 -> 2535
670.87/671.07	c learnt constraints deletion: 5092 -> 2550
674.06/674.23	c learnt constraints deletion: 5063 -> 2534
677.15/677.38	c learnt constraints deletion: 5071 -> 2539
680.15/680.32	c learnt constraints deletion: 5051 -> 2529
683.06/683.22	c learnt constraints deletion: 5061 -> 2534
686.45/686.63	c learnt constraints deletion: 5062 -> 2534
690.25/690.49	c learnt constraints deletion: 5055 -> 2533
693.36/693.53	c learnt constraints deletion: 5034 -> 2520
697.16/697.36	c learnt constraints deletion: 5045 -> 2526
701.46/701.64	c learnt constraints deletion: 5062 -> 2536
706.06/706.27	c learnt constraints deletion: 5043 -> 2530
709.16/709.40	c learnt constraints deletion: 5062 -> 2534
712.66/712.86	c learnt constraints deletion: 5055 -> 2532
716.25/716.43	c learnt constraints deletion: 5072 -> 2539
719.95/720.12	c learnt constraints deletion: 5062 -> 2533
723.05/723.29	c learnt constraints deletion: 5092 -> 2549
726.25/726.42	c learnt constraints deletion: 5077 -> 2542
729.65/729.84	c learnt constraints deletion: 5091 -> 2549
732.85/733.05	c learnt constraints deletion: 5075 -> 2541
736.15/736.38	c learnt constraints deletion: 5057 -> 2532
739.44/739.62	c learnt constraints deletion: 5083 -> 2544
742.55/742.73	c learnt constraints deletion: 5062 -> 2534
745.94/746.18	c learnt constraints deletion: 5060 -> 2534
748.95/749.12	c learnt constraints deletion: 5041 -> 2525
752.55/752.75	c learnt constraints deletion: 5063 -> 2539
756.24/756.42	c learnt constraints deletion: 5068 -> 2538
759.35/759.53	c learnt constraints deletion: 5069 -> 2537
761.94/762.17	c learnt constraints deletion: 5064 -> 2535
764.95/765.18	c learnt constraints deletion: 5054 -> 2532
767.85/768.08	c learnt constraints deletion: 5064 -> 2535
770.85/771.08	c learnt constraints deletion: 5084 -> 2546
773.74/773.98	c learnt constraints deletion: 5070 -> 2538
776.64/776.83	c learnt constraints deletion: 5090 -> 2548
779.54/779.80	c learnt constraints deletion: 5065 -> 2538
782.64/782.85	c learnt constraints deletion: 5106 -> 2556
785.65/785.86	c learnt constraints deletion: 5100 -> 2555
789.14/789.34	c learnt constraints deletion: 5073 -> 2542
792.24/792.48	c learnt constraints deletion: 5069 -> 2540
795.04/795.24	c learnt constraints deletion: 5051 -> 2531
798.14/798.35	c learnt constraints deletion: 5091 -> 2550
801.44/801.69	c learnt constraints deletion: 5037 -> 2520
804.44/804.64	c learnt constraints deletion: 5060 -> 2532
807.63/807.80	c learnt constraints deletion: 5065 -> 2535
810.64/810.89	c learnt constraints deletion: 5053 -> 2529
814.04/814.20	c learnt constraints deletion: 5100 -> 2552
816.94/817.17	c learnt constraints deletion: 5083 -> 2544
820.23/820.50	c learnt constraints deletion: 5454 -> 2729
823.44/823.68	c learnt constraints deletion: 5404 -> 2705
825.34/825.50	c learnt constraints deletion: 4164 -> 2082
828.33/828.52	c learnt constraints deletion: 5396 -> 2708
831.74/831.91	c learnt constraints deletion: 5417 -> 2723
835.13/835.34	c learnt constraints deletion: 5414 -> 2720
838.24/838.41	c learnt constraints deletion: 5398 -> 2713
841.14/841.30	c learnt constraints deletion: 5421 -> 2725
843.93/844.10	c learnt constraints deletion: 5408 -> 2717
846.93/847.11	c learnt constraints deletion: 5446 -> 2740
850.04/850.24	c learnt constraints deletion: 5401 -> 2716
853.43/853.64	c learnt constraints deletion: 5412 -> 2721
856.64/856.89	c learnt constraints deletion: 5384 -> 2706
859.93/860.17	c learnt constraints deletion: 5388 -> 2710
863.24/863.50	c learnt constraints deletion: 5424 -> 2726
866.23/866.40	c learnt constraints deletion: 5394 -> 2713
869.43/869.61	c learnt constraints deletion: 5387 -> 2711
872.83/873.08	c learnt constraints deletion: 5423 -> 2726
876.23/876.44	c learnt constraints deletion: 5390 -> 2710
879.53/879.70	c learnt constraints deletion: 5407 -> 2718
882.73/882.94	c learnt constraints deletion: 5403 -> 2719
885.83/886.01	c learnt constraints deletion: 5412 -> 2723
889.03/889.29	c learnt constraints deletion: 5432 -> 2734
892.62/892.83	c learnt constraints deletion: 5439 -> 2736
896.42/896.66	c learnt constraints deletion: 5389 -> 2711
899.92/900.15	c learnt constraints deletion: 5444 -> 2737
903.22/903.46	c learnt constraints deletion: 5416 -> 2724
906.82/907.07	c learnt constraints deletion: 5414 -> 2723
910.53/910.76	c learnt constraints deletion: 5430 -> 2730
914.03/914.28	c learnt constraints deletion: 5386 -> 2707
917.92/918.10	c learnt constraints deletion: 5393 -> 2713
921.53/921.78	c learnt constraints deletion: 5407 -> 2719
925.42/925.69	c learnt constraints deletion: 5380 -> 2704
929.62/929.80	c learnt constraints deletion: 5408 -> 2719
933.72/933.93	c learnt constraints deletion: 5394 -> 2712
937.62/937.80	c learnt constraints deletion: 5389 -> 2710
941.72/941.99	c learnt constraints deletion: 5416 -> 2723
945.31/945.53	c learnt constraints deletion: 5409 -> 2720
949.12/949.36	c learnt constraints deletion: 5432 -> 2731
953.11/953.38	c learnt constraints deletion: 5376 -> 2704
957.21/957.42	c learnt constraints deletion: 5406 -> 2718
961.22/961.42	c learnt constraints deletion: 5393 -> 2712
965.02/965.26	c learnt constraints deletion: 5408 -> 2720
968.71/968.99	c learnt constraints deletion: 5403 -> 2717
972.51/972.74	c learnt constraints deletion: 5387 -> 2709
976.41/976.61	c learnt constraints deletion: 5390 -> 2710
980.01/980.26	c learnt constraints deletion: 5398 -> 2715
983.71/983.96	c learnt constraints deletion: 5390 -> 2710
987.40/987.64	c learnt constraints deletion: 5437 -> 2734
990.71/990.98	c learnt constraints deletion: 5380 -> 2705
994.70/994.97	c learnt constraints deletion: 5409 -> 2721
998.20/998.40	c learnt constraints deletion: 5429 -> 2731
1002.11/1002.30	c learnt constraints deletion: 5386 -> 2707
1006.00/1006.24	c learnt constraints deletion: 5389 -> 2710
1010.01/1010.27	c learnt constraints deletion: 5401 -> 2716
1013.70/1013.96	c learnt constraints deletion: 5406 -> 2719
1017.90/1018.14	c learnt constraints deletion: 5384 -> 2708
1021.30/1021.58	c learnt constraints deletion: 5442 -> 2736
1025.10/1025.34	c learnt constraints deletion: 5440 -> 2736
1030.70/1030.98	c learnt constraints deletion: 5400 -> 2716
1038.89/1039.11	c learnt constraints deletion: 5382 -> 2709
1048.00/1048.23	c learnt constraints deletion: 5433 -> 2732
1053.40/1053.65	c learnt constraints deletion: 5431 -> 2733
1060.50/1060.71	c learnt constraints deletion: 5384 -> 2707
1068.09/1068.38	c learnt constraints deletion: 5449 -> 2739
1072.39/1072.69	c learnt constraints deletion: 5388 -> 2710
1076.89/1077.10	c learnt constraints deletion: 5411 -> 2721
1080.79/1081.01	c learnt constraints deletion: 5380 -> 2705
1084.39/1084.62	c learnt constraints deletion: 5398 -> 2715
1088.29/1088.57	c learnt constraints deletion: 5385 -> 2710
1092.39/1092.63	c learnt constraints deletion: 5408 -> 2718
1096.40/1096.66	c learnt constraints deletion: 5382 -> 2706
1100.39/1100.68	c learnt constraints deletion: 5387 -> 2709
1106.59/1106.84	c learnt constraints deletion: 5408 -> 2719
1111.58/1111.82	c learnt constraints deletion: 5404 -> 2718
1115.49/1115.77	c learnt constraints deletion: 5400 -> 2716
1119.59/1119.88	c learnt constraints deletion: 5405 -> 2719
1124.19/1124.42	c learnt constraints deletion: 5431 -> 2731
1128.19/1128.46	c learnt constraints deletion: 5389 -> 2710
1134.78/1135.07	c learnt constraints deletion: 5396 -> 2714
1143.48/1143.77	c learnt constraints deletion: 5389 -> 2710
1151.59/1151.86	c learnt constraints deletion: 5377 -> 2702
1156.99/1157.27	c learnt constraints deletion: 5378 -> 2704
1162.98/1163.27	c learnt constraints deletion: 5393 -> 2713
1167.58/1167.86	c learnt constraints deletion: 5391 -> 2709
1172.38/1172.61	c learnt constraints deletion: 5370 -> 2701
1178.88/1179.13	c learnt constraints deletion: 5396 -> 2712
1184.78/1185.02	c learnt constraints deletion: 5366 -> 2697
1190.38/1190.61	c learnt constraints deletion: 5371 -> 2703
1195.48/1195.75	c learnt constraints deletion: 5391 -> 2711
1200.28/1200.56	c learnt constraints deletion: 5382 -> 2706
1205.28/1205.57	c learnt constraints deletion: 5378 -> 2704
1209.97/1210.20	c learnt constraints deletion: 5398 -> 2720
1214.58/1214.86	c learnt constraints deletion: 5404 -> 2719
1218.87/1219.19	c learnt constraints deletion: 5394 -> 2713
1223.67/1223.96	c learnt constraints deletion: 5378 -> 2703
1228.37/1228.61	c learnt constraints deletion: 5380 -> 2707
1233.17/1233.48	c learnt constraints deletion: 5389 -> 2709
1237.87/1238.13	c learnt constraints deletion: 5370 -> 2700
1242.27/1242.59	c learnt constraints deletion: 5391 -> 2711
1247.17/1247.49	c learnt constraints deletion: 5370 -> 2701
1252.57/1252.81	c learnt constraints deletion: 5388 -> 2711
1256.76/1257.01	c learnt constraints deletion: 5391 -> 2711
1261.67/1261.94	c learnt constraints deletion: 5339 -> 2685
1265.67/1265.95	c learnt constraints deletion: 5372 -> 2701
1270.56/1270.87	c learnt constraints deletion: 5355 -> 2694
1275.36/1275.60	c learnt constraints deletion: 5377 -> 2703
1280.17/1280.41	c learnt constraints deletion: 5363 -> 2697
1285.17/1285.49	c learnt constraints deletion: 5391 -> 2710
1289.85/1290.11	c learnt constraints deletion: 5388 -> 2709
1294.76/1295.08	c learnt constraints deletion: 5386 -> 2708
1299.46/1299.73	c learnt constraints deletion: 5378 -> 2704
1304.26/1304.51	c learnt constraints deletion: 5371 -> 2702
1308.56/1308.81	c learnt constraints deletion: 5390 -> 2711
1312.95/1313.26	c learnt constraints deletion: 5368 -> 2699
1319.46/1319.77	c learnt constraints deletion: 5381 -> 2707
1324.95/1325.20	c learnt constraints deletion: 5400 -> 2715
1329.55/1329.83	c learnt constraints deletion: 5393 -> 2714
1333.75/1334.04	c learnt constraints deletion: 5377 -> 2707
1338.36/1338.68	c learnt constraints deletion: 5405 -> 2720
1342.86/1343.16	c learnt constraints deletion: 5372 -> 2702
1346.95/1347.26	c learnt constraints deletion: 5403 -> 2718
1351.34/1351.65	c learnt constraints deletion: 5365 -> 2699
1355.34/1355.65	c learnt constraints deletion: 5415 -> 2724
1360.05/1360.38	c learnt constraints deletion: 5781 -> 2907
1364.86/1365.19	c learnt constraints deletion: 5790 -> 2913
1369.05/1369.33	c learnt constraints deletion: 5215 -> 2608
1372.45/1372.75	c learnt constraints deletion: 5797 -> 2906
1376.34/1376.61	c learnt constraints deletion: 5807 -> 2916
1380.25/1380.57	c learnt constraints deletion: 5803 -> 2912
1384.34/1384.62	c learnt constraints deletion: 5790 -> 2906
1388.74/1389.06	c learnt constraints deletion: 5788 -> 2905
1392.74/1393.06	c learnt constraints deletion: 5796 -> 2910
1396.84/1397.13	c learnt constraints deletion: 5788 -> 2906
1400.74/1401.09	c learnt constraints deletion: 5809 -> 2915
1404.64/1404.93	c learnt constraints deletion: 5766 -> 2894
1408.34/1408.65	c learnt constraints deletion: 5779 -> 2900
1412.43/1412.71	c learnt constraints deletion: 5797 -> 2910
1416.94/1417.25	c learnt constraints deletion: 5804 -> 2913
1420.94/1421.26	c learnt constraints deletion: 5798 -> 2911
1425.14/1425.43	c learnt constraints deletion: 5824 -> 2924
1429.34/1429.63	c learnt constraints deletion: 5796 -> 2909
1433.93/1434.22	c learnt constraints deletion: 5782 -> 2903
1438.73/1439.00	c learnt constraints deletion: 5766 -> 2895
1443.43/1443.75	c learnt constraints deletion: 5783 -> 2904
1448.03/1448.31	c learnt constraints deletion: 5801 -> 2914
1452.44/1452.73	c learnt constraints deletion: 5804 -> 2914
1457.24/1457.52	c learnt constraints deletion: 5790 -> 2908
1461.73/1462.04	c learnt constraints deletion: 5786 -> 2905
1466.13/1466.44	c learnt constraints deletion: 5772 -> 2898
1470.73/1471.02	c learnt constraints deletion: 5785 -> 2905
1475.43/1475.70	c learnt constraints deletion: 5772 -> 2900
1479.73/1480.07	c learnt constraints deletion: 5780 -> 2901
1483.43/1483.76	c learnt constraints deletion: 5825 -> 2925
1487.73/1488.08	c learnt constraints deletion: 5806 -> 2915
1491.53/1491.84	c learnt constraints deletion: 5778 -> 2902
1495.73/1496.07	c learnt constraints deletion: 5800 -> 2912
1500.33/1500.66	c learnt constraints deletion: 5797 -> 2911
1504.43/1504.73	c learnt constraints deletion: 5807 -> 2917
1508.63/1508.93	c learnt constraints deletion: 5779 -> 2902
1513.12/1513.46	c learnt constraints deletion: 5789 -> 2906
1519.32/1519.66	c learnt constraints deletion: 5813 -> 2921
1526.53/1526.87	c learnt constraints deletion: 5787 -> 2908
1533.92/1534.28	c learnt constraints deletion: 5805 -> 2916
1542.72/1543.07	c learnt constraints deletion: 5788 -> 2907
1550.72/1551.04	c learnt constraints deletion: 5785 -> 2908
1560.01/1560.37	c learnt constraints deletion: 5746 -> 2887
1567.32/1567.68	c learnt constraints deletion: 5771 -> 2901
1574.72/1575.03	c learnt constraints deletion: 5780 -> 2907
1583.11/1583.40	c learnt constraints deletion: 5787 -> 2910
1589.21/1589.57	c learnt constraints deletion: 5773 -> 2902
1596.71/1597.01	c learnt constraints deletion: 5796 -> 2912
1604.51/1604.86	c learnt constraints deletion: 5799 -> 2915
1612.31/1612.66	c learnt constraints deletion: 5767 -> 2899
1621.41/1621.70	c learnt constraints deletion: 5784 -> 2908
1628.40/1628.73	c learnt constraints deletion: 5811 -> 2921
1636.00/1636.34	c learnt constraints deletion: 5781 -> 2907
1643.40/1643.76	c learnt constraints deletion: 5775 -> 2904
1649.20/1649.59	c learnt constraints deletion: 5807 -> 2919
1656.50/1656.80	c learnt constraints deletion: 5779 -> 2904
1665.10/1665.45	c learnt constraints deletion: 5807 -> 2921
1673.09/1673.40	c learnt constraints deletion: 5788 -> 2910
1680.50/1680.89	c learnt constraints deletion: 5775 -> 2901
1688.30/1688.61	c learnt constraints deletion: 5781 -> 2905
1695.39/1695.75	c learnt constraints deletion: 5813 -> 2919
1702.10/1702.41	c learnt constraints deletion: 5777 -> 2902
1710.29/1710.67	c learnt constraints deletion: 5807 -> 2919
1718.79/1719.16	c learnt constraints deletion: 5768 -> 2899
1727.80/1728.10	c learnt constraints deletion: 5806 -> 2918
1736.50/1736.83	c learnt constraints deletion: 5815 -> 2923
1745.39/1745.78	c learnt constraints deletion: 5837 -> 2932
1752.88/1753.27	c learnt constraints deletion: 5793 -> 2910
1761.18/1761.57	c learnt constraints deletion: 5795 -> 2911
1768.88/1769.20	c learnt constraints deletion: 5797 -> 2916
1776.19/1776.53	c learnt constraints deletion: 5805 -> 2917
1782.58/1782.99	c learnt constraints deletion: 5809 -> 2915
1786.48/1786.87	c learnt constraints deletion: 5813 -> 2918
1790.87/1791.23	c learnt constraints deletion: 5778 -> 2902
1795.48/1795.82	c learnt constraints deletion: 5798 -> 2912
1799.57/1799.98	c learnt constraints deletion: 5808 -> 2917

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-3705952-1338120503/watcher-3705952-1338120503 -o /tmp/evaluation-result-3705952-1338120503/solver-3705952-1338120503 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3705952-1338120503.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.88 1.98 1.93 3/176 13981
/proc/meminfo: memFree=29465196/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 798 0 0 0 0 0 0 0 20 0 1 0 278175341 6356992 720 33554432000 4194304 8973514 140733947418368 140737463345752 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 1552 720 415 1167 0 333 0

[startup+0.0726039 s]
/proc/loadavg: 1.88 1.98 1.93 3/176 13981
/proc/meminfo: memFree=29465196/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=8256 CPUtime=0.06 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 1359 0 0 0 6 0 0 0 20 0 1 0 278175341 8454144 1281 33554432000 4194304 8973514 140733947418368 140737463345752 4419628 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 2064 1281 440 1167 0 845 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8256

[startup+0.100212 s]
/proc/loadavg: 1.88 1.98 1.93 3/176 13981
/proc/meminfo: memFree=29465196/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=9280 CPUtime=0.09 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 1399 0 0 0 9 0 0 0 20 0 1 0 278175341 9502720 1321 33554432000 4194304 8973514 140733947418368 140737463345752 7716760 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 2320 1321 440 1167 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9280

[startup+0.300185 s]
/proc/loadavg: 1.88 1.98 1.93 3/176 13981
/proc/meminfo: memFree=29465196/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=11328 CPUtime=0.29 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 1889 0 0 0 29 0 0 0 20 0 1 0 278175341 11599872 1811 33554432000 4194304 8973514 140733947418368 140733947417864 4362934 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 2832 1811 440 1167 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11328

[startup+0.700203 s]
/proc/loadavg: 1.88 1.98 1.93 3/176 13981
/proc/meminfo: memFree=29465196/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=13376 CPUtime=0.69 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 2640 0 0 0 68 1 0 0 20 0 1 0 278175341 13697024 2562 33554432000 4194304 8973514 140733947418368 140733947417864 7680164 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 3344 2562 441 1167 0 2125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13376

[startup+1.50019 s]
/proc/loadavg: 1.88 1.98 1.93 3/177 13982
/proc/meminfo: memFree=29456012/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=17472 CPUtime=1.49 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 3666 0 0 0 148 1 0 0 20 0 1 0 278175341 17891328 3588 33554432000 4194304 8973514 140733947418368 140733947417864 7688852 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 4368 3588 443 1167 0 3149 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17472

[startup+3.10025 s]
/proc/loadavg: 1.88 1.98 1.93 3/177 13982
/proc/meminfo: memFree=29447696/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=28736 CPUtime=3.08 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 6482 0 0 0 306 2 0 0 20 0 1 0 278175341 29425664 6404 33554432000 4194304 8973514 140733947418368 140733947417632 6576165 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 7184 6404 443 1167 0 5965 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 28736

[startup+6.30019 s]
/proc/loadavg: 2.05 2.01 1.94 3/177 13982
/proc/meminfo: memFree=29431808/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=36928 CPUtime=6.29 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 8530 0 0 0 624 5 0 0 20 0 1 0 278175341 37814272 8452 33554432000 4194304 8973514 140733947418368 140733947417864 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 9232 8452 443 1167 0 8013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36928

[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 13982
/proc/meminfo: memFree=29424176/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=45120 CPUtime=12.68 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 10578 0 0 0 1259 9 0 0 20 0 1 0 278175341 46202880 10500 33554432000 4194304 8973514 140733947418368 140733947417864 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 11280 10500 443 1167 0 10061 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45120

[startup+25.5002 s]
/proc/loadavg: 2.17 2.04 1.95 3/177 13982
/proc/meminfo: memFree=29411420/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=56384 CPUtime=25.48 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 13397 0 0 0 2533 15 0 0 20 0 1 0 278175341 57737216 13321 33554432000 4194304 8973514 140733947418368 140733947417632 4447476 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 14096 13321 443 1167 0 12877 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56384

[startup+51.1002 s]
/proc/loadavg: 2.11 2.04 1.95 3/177 13982
/proc/meminfo: memFree=29403204/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=64576 CPUtime=51.07 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 15453 0 0 0 5082 25 0 0 20 0 1 0 278175341 66125824 15369 33554432000 4194304 8973514 140733947418368 140733947417864 4424464 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 16144 15369 443 1167 0 14925 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 64576

[startup+102.306 s]
/proc/loadavg: 2.05 2.03 1.95 3/178 13985
/proc/meminfo: memFree=29389732/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=76864 CPUtime=102.26 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 18530 0 0 0 10177 49 0 0 20 0 1 0 278175341 78708736 18441 33554432000 4194304 8973514 140733947418368 140733947417864 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 19216 18441 443 1167 0 17997 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 76864

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/177 13985
/proc/meminfo: memFree=29381480/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=85056 CPUtime=162.25 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 20582 0 0 0 16144 81 0 0 20 0 1 0 278175341 87097344 20489 33554432000 4194304 8973514 140733947418368 140733947417864 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 21264 20489 443 1167 0 20045 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 85056

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 13986
/proc/meminfo: memFree=29374712/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=92224 CPUtime=222.24 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 22378 0 0 0 22110 114 0 0 20 0 1 0 278175341 94437376 22281 33554432000 4194304 8973514 140733947418368 140733947417864 4419496 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 23056 22281 443 1167 0 21837 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 92224

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 13986
/proc/meminfo: memFree=29371420/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=95296 CPUtime=282.23 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 23148 0 0 0 28077 146 0 0 20 0 1 0 278175341 97583104 23049 33554432000 4194304 8973514 140733947418368 140733947417864 6570584 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 23824 23049 443 1167 0 22605 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 95296

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 13986
/proc/meminfo: memFree=29371296/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=95296 CPUtime=342.22 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 23148 0 0 0 34043 179 0 0 20 0 1 0 278175341 97583104 23049 33554432000 4194304 8973514 140733947418368 140733947417632 4427820 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 23824 23049 443 1167 0 22605 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 95296

[startup+402.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/177 13986
/proc/meminfo: memFree=29359824/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=105536 CPUtime=402.21 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 25708 0 0 0 40010 211 0 0 20 0 1 0 278175341 108068864 25609 33554432000 4194304 8973514 140733947418368 140733947417632 7716760 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 26384 25609 443 1167 0 25165 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 105536

[startup+462.3 s]
/proc/loadavg: 2.06 2.03 1.96 3/177 13986
/proc/meminfo: memFree=29356900/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=108608 CPUtime=462.2 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 26481 0 0 0 45979 241 0 0 20 0 1 0 278175341 111214592 26377 33554432000 4194304 8973514 140733947418368 140733947417632 4543912 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 27152 26377 443 1167 0 25933 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 108608

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 13987
/proc/meminfo: memFree=29355596/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=109632 CPUtime=522.18 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 26739 0 0 0 51947 271 0 0 20 0 1 0 278175341 112263168 26634 33554432000 4194304 8973514 140733947418368 140733947417864 7716799 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 27408 26634 443 1167 0 26189 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 109632

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 13987
/proc/meminfo: memFree=29355596/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=109632 CPUtime=582.18 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 26739 0 0 0 57916 302 0 0 20 0 1 0 278175341 112263168 26634 33554432000 4194304 8973514 140733947418368 140733947417864 6576944 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 27408 26634 443 1167 0 26189 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 109632

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 13991
/proc/meminfo: memFree=29354292/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=110656 CPUtime=822.13 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 26995 0 0 0 81791 422 0 0 20 0 1 0 278175341 113311744 26890 33554432000 4194304 8973514 140733947418368 140733947417864 4427291 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 27664 26890 443 1167 0 26445 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 110656

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 13991
/proc/meminfo: memFree=29350944/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=113728 CPUtime=882.13 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 28531 0 0 0 87758 455 0 0 20 0 1 0 278175341 116457472 27658 33554432000 4194304 8973514 140733947418368 140733947417864 6842544 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 28432 27658 443 1167 0 27213 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 113728

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 13991
/proc/meminfo: memFree=29350752/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=115776 CPUtime=942.12 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 29045 0 0 0 93727 485 0 0 20 0 1 0 278175341 118554624 28170 33554432000 4194304 8973514 140733947418368 140733947417864 4459098 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 28944 28170 443 1167 0 27725 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 115776

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 13991
/proc/meminfo: memFree=29348768/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=115776 CPUtime=1002.11 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 29045 0 0 0 99693 518 0 0 20 0 1 0 278175341 118554624 28170 33554432000 4194304 8973514 140733947418368 140733947417632 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 28944 28170 443 1167 0 27725 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 115776

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/177 13991
/proc/meminfo: memFree=29348456/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=115776 CPUtime=1062.09 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 29046 0 0 0 105667 542 0 0 20 0 1 0 278175341 118554624 28170 33554432000 4194304 8973514 140733947418368 140733947417632 4209212 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 28944 28170 443 1167 0 27725 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 115776

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 13992
/proc/meminfo: memFree=29348456/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=115776 CPUtime=1122.09 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 29046 0 0 0 111638 571 0 0 20 0 1 0 278175341 118554624 28170 33554432000 4194304 8973514 140733947418368 140733947417864 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 28944 28170 443 1167 0 27725 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 115776

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 13992
/proc/meminfo: memFree=29337048/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=127040 CPUtime=1182.07 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 31862 0 0 0 117613 594 0 0 20 0 1 0 278175341 130088960 30986 33554432000 4194304 8973514 140733947418368 140733947417632 7681396 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 31760 30986 443 1167 0 30541 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 127040

[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/177 13992
/proc/meminfo: memFree=29336416/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=127040 CPUtime=1242.07 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 31864 0 0 0 123584 623 0 0 20 0 1 0 278175341 130088960 30986 33554432000 4194304 8973514 140733947418368 140733947417632 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 31760 30986 443 1167 0 30541 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 127040

[startup+1302.3 s]
/proc/loadavg: 2.18 2.04 1.97 3/178 13995
/proc/meminfo: memFree=29336160/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=127040 CPUtime=1302.06 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 31864 0 0 0 129557 649 0 0 20 0 1 0 278175341 130088960 30986 33554432000 4194304 8973514 140733947418368 140733947417864 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 31760 30986 443 1167 0 30541 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 127040

[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 1.97 3/177 13995
/proc/meminfo: memFree=29336292/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=127040 CPUtime=1362.04 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 31864 0 0 0 135529 675 0 0 20 0 1 0 278175341 130088960 30986 33554432000 4194304 8973514 140733947418368 140733947417864 6576161 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 31760 30986 443 1167 0 30541 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 127040

[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 1.97 3/176 13995
/proc/meminfo: memFree=29336044/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=127040 CPUtime=1422.04 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 31864 0 0 0 141503 701 0 0 20 0 1 0 278175341 130088960 30986 33554432000 4194304 8973514 140733947418368 140733947417864 6748608 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 31760 30986 443 1167 0 30541 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 127040

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/177 13996
/proc/meminfo: memFree=29336416/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=127040 CPUtime=1482.03 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 31864 0 0 0 147475 728 0 0 20 0 1 0 278175341 130088960 30986 33554432000 4194304 8973514 140733947418368 140733947417864 4424471 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 31760 30986 443 1167 0 30541 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 127040

[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/177 13996
/proc/meminfo: memFree=29330960/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=133184 CPUtime=1542.02 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 33400 0 0 0 153449 753 0 0 20 0 1 0 278175341 136380416 32522 33554432000 4194304 8973514 140733947418368 140733947417632 4459348 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 33296 32522 443 1167 0 32077 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 133184

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 13996
/proc/meminfo: memFree=29326424/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=137280 CPUtime=1602.01 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 34425 0 0 0 159423 778 0 0 20 0 1 0 278175341 140574720 33546 33554432000 4194304 8973514 140733947418368 140733947417864 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 34320 33546 443 1167 0 33101 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 137280

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/178 13997
/proc/meminfo: memFree=29326292/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=137280 CPUtime=1662 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 34425 0 0 0 165398 802 0 0 20 0 1 0 278175341 140574720 33546 33554432000 4194304 8973514 140733947418368 140733947417632 4204286 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 34320 33546 443 1167 0 33101 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 137280

[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 1.98 3/177 13997
/proc/meminfo: memFree=29322952/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=140352 CPUtime=1721.99 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 35193 0 0 0 171373 826 0 0 20 0 1 0 278175341 143720448 34314 33554432000 4194304 8973514 140733947418368 140733947417632 4209187 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 35088 34314 443 1167 0 33869 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 140352

[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 1.99 3/177 13998
/proc/meminfo: memFree=29322208/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=140352 CPUtime=1781.98 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 35193 0 0 0 177348 850 0 0 20 0 1 0 278175341 143720448 34314 33554432000 4194304 8973514 140733947418368 140733947417864 4362792 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 35088 34314 443 1167 0 33869 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 140352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.05 2.03 1.99 2/175 13999
/proc/meminfo: memFree=29326556/32873844 swapFree=7116/7116
[pid=13981] ppid=13979 vsize=140352 CPUtime=1800.08 cores=0,2,4,6
/proc/13981/stat : 13981 (toysat) R 13979 13981 11506 0 -1 4202496 35193 0 0 0 179148 860 0 0 20 0 1 0 278175341 143720448 34314 33554432000 4194304 8973514 140733947418368 140733947417632 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/13981/statm: 35088 34314 443 1167 0 33869 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 140352

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1791.48
CPU system time (s): 8.60969
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 140352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.48
system time used= 8.60969
maximum resident set size= 137256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35193
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= 41
involuntary context switches= 2205

runsolver used 2.87156 second user time and 9.11361 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-27 14:08:23
IDJOB=3705952
IDBENCH=2604
IDSOLVER=2285
FILE ID=node138/3705952-1338120503
RUNJOBID= node138-1338116897-13742
PBS_JOBID= 14624454
Free space on /tmp= 71532 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705952-1338120503/watcher-3705952-1338120503 -o /tmp/evaluation-result-3705952-1338120503/solver-3705952-1338120503 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3705952-1338120503.opb

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

MD5SUM BENCH= 2ea7e3b5e107f983d069c627d91480a3
RANDOM SEED=1824859862

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
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:       32873844 kB
MemFree:        29465576 kB
Buffers:          337736 kB
Cached:          2222344 kB
SwapCached:          212 kB
Active:           773088 kB
Inactive:        1800828 kB
Active(anon):       5028 kB
Inactive(anon):    11368 kB
Active(file):     768060 kB
Inactive(file):  1789460 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108644 kB
Dirty:             14780 kB
Writeback:             0 kB
AnonPages:         20260 kB
Mapped:            15616 kB
Shmem:               200 kB
Slab:             694020 kB
SReclaimable:     136416 kB
SUnreclaim:       557604 kB
KernelStack:        1448 kB
PageTables:         3904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     128280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71520 MiB
End job on node138 at 2012-05-27 14:38:25