Trace number 3724325

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-06-01? (TO) 1800.1 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.01	c 2012-06-02T13:05:51+0200
0.00/0.01	c arch = x86_64
0.00/0.01	c os = linux
0.00/0.01	c compiler = ghc 7.4
0.00/0.01	c packages:
0.00/0.01	c   OptDir-0.0.1
0.00/0.01	c   array-0.4.0.0
0.00/0.01	c   base-4.5.0.0
0.00/0.01	c   bytestring-0.9.2.1
0.00/0.01	c   containers-0.4.2.1
0.00/0.01	c   deepseq-1.3.0.0
0.00/0.01	c   mtl-2.1.1
0.00/0.01	c   old_locale-1.0.0.4
0.00/0.01	c   parse_dimacs-1.2
0.00/0.01	c   parsec-3.1.2
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   stm-2.3
0.00/0.01	c   time-1.4
0.00/0.01	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724325-1338635151.opb"]
0.00/0.01	c #vars 1640
0.00/0.01	c #constraints 81
0.00/0.01	c Solving starts ...
0.48/0.54	c learnt constraints deletion: 809 -> 405
0.79/0.88	c learnt constraints deletion: 911 -> 456
1.29/1.32	c learnt constraints deletion: 1216 -> 608
1.89/1.98	c learnt constraints deletion: 1749 -> 875
3.19/3.27	c learnt constraints deletion: 2587 -> 1294
3.19/3.28	c learnt constraints deletion: 1294 -> 647
4.89/4.96	c learnt constraints deletion: 2841 -> 1429
5.29/5.37	c learnt constraints deletion: 1804 -> 902
6.79/6.88	c learnt constraints deletion: 2965 -> 1493
8.29/8.32	c learnt constraints deletion: 2959 -> 1492
8.59/8.64	c learnt constraints deletion: 1817 -> 909
10.99/11.01	c learnt constraints deletion: 3090 -> 1553
13.39/13.48	c learnt constraints deletion: 3090 -> 1555
15.89/15.93	c learnt constraints deletion: 3086 -> 1556
16.69/16.78	c learnt constraints deletion: 2089 -> 1045
18.18/18.28	c learnt constraints deletion: 3263 -> 1641
19.58/19.60	c learnt constraints deletion: 3221 -> 1620
21.08/21.16	c learnt constraints deletion: 3242 -> 1631
22.69/22.71	c learnt constraints deletion: 3260 -> 1641
24.19/24.27	c learnt constraints deletion: 3266 -> 1633
25.58/25.66	c learnt constraints deletion: 3414 -> 1715
27.18/27.29	c learnt constraints deletion: 3415 -> 1717
28.69/28.79	c learnt constraints deletion: 3411 -> 1715
30.39/30.43	c learnt constraints deletion: 3402 -> 1710
31.99/32.06	c learnt constraints deletion: 3420 -> 1721
33.49/33.59	c learnt constraints deletion: 3417 -> 1719
35.19/35.26	c learnt constraints deletion: 3416 -> 1719
36.08/36.14	c learnt constraints deletion: 2766 -> 1383
37.88/37.96	c learnt constraints deletion: 3576 -> 1792
39.69/39.79	c learnt constraints deletion: 3557 -> 1785
41.79/41.88	c learnt constraints deletion: 3555 -> 1786
43.88/43.91	c learnt constraints deletion: 3570 -> 1791
45.78/45.81	c learnt constraints deletion: 3569 -> 1792
47.58/47.64	c learnt constraints deletion: 3549 -> 1782
49.49/49.55	c learnt constraints deletion: 3570 -> 1789
51.19/51.28	c learnt constraints deletion: 3566 -> 1788
53.18/53.24	c learnt constraints deletion: 3552 -> 1781
54.98/55.03	c learnt constraints deletion: 3566 -> 1788
56.38/56.48	c learnt constraints deletion: 3146 -> 1573
57.98/58.09	c learnt constraints deletion: 3720 -> 1861
59.88/59.99	c learnt constraints deletion: 3730 -> 1867
61.98/62.04	c learnt constraints deletion: 3727 -> 1866
63.89/63.98	c learnt constraints deletion: 3737 -> 1872
65.78/65.82	c learnt constraints deletion: 3730 -> 1868
67.78/67.88	c learnt constraints deletion: 3728 -> 1867
69.88/69.91	c learnt constraints deletion: 3720 -> 1865
71.78/71.81	c learnt constraints deletion: 3721 -> 1863
74.18/74.29	c learnt constraints deletion: 3723 -> 1864
76.67/76.73	c learnt constraints deletion: 3731 -> 1868
79.38/79.48	c learnt constraints deletion: 3729 -> 1867
82.28/82.35	c learnt constraints deletion: 3703 -> 1853
84.08/84.19	c learnt constraints deletion: 3714 -> 1860
85.88/85.98	c learnt constraints deletion: 3720 -> 1863
87.68/87.77	c learnt constraints deletion: 3716 -> 1860
88.87/88.94	c learnt constraints deletion: 2967 -> 1484
91.08/91.16	c learnt constraints deletion: 3962 -> 1986
93.27/93.31	c learnt constraints deletion: 3957 -> 1987
95.48/95.50	c learnt constraints deletion: 3952 -> 1985
97.88/97.97	c learnt constraints deletion: 3978 -> 1999
100.38/100.43	c learnt constraints deletion: 3928 -> 1974
102.67/102.79	c learnt constraints deletion: 3935 -> 1978
105.37/105.48	c learnt constraints deletion: 3918 -> 1970
107.97/108.10	c learnt constraints deletion: 3922 -> 1972
110.57/110.69	c learnt constraints deletion: 3977 -> 1997
112.87/112.98	c learnt constraints deletion: 3934 -> 1976
115.38/115.44	c learnt constraints deletion: 3946 -> 1982
117.57/117.67	c learnt constraints deletion: 3925 -> 1972
119.87/119.97	c learnt constraints deletion: 3945 -> 1983
122.08/122.11	c learnt constraints deletion: 3930 -> 1974
124.38/124.42	c learnt constraints deletion: 3951 -> 1985
126.87/126.98	c learnt constraints deletion: 3930 -> 1976
129.37/129.43	c learnt constraints deletion: 3945 -> 1983
131.77/131.85	c learnt constraints deletion: 3917 -> 1970
134.07/134.12	c learnt constraints deletion: 3923 -> 1973
136.37/136.50	c learnt constraints deletion: 3930 -> 1975
138.76/138.83	c learnt constraints deletion: 3947 -> 1984
141.16/141.30	c learnt constraints deletion: 4164 -> 2093
143.36/143.47	c learnt constraints deletion: 4163 -> 2089
145.95/146.04	c learnt constraints deletion: 4186 -> 2105
148.56/148.61	c learnt constraints deletion: 4185 -> 2103
150.86/150.96	c learnt constraints deletion: 4182 -> 2101
153.25/153.33	c learnt constraints deletion: 4173 -> 2097
155.64/155.72	c learnt constraints deletion: 4190 -> 2106
157.84/157.94	c learnt constraints deletion: 4170 -> 2099
160.15/160.25	c learnt constraints deletion: 4175 -> 2100
162.45/162.50	c learnt constraints deletion: 4164 -> 2093
164.64/164.79	c learnt constraints deletion: 4175 -> 2103
167.04/167.12	c learnt constraints deletion: 4164 -> 2094
169.35/169.41	c learnt constraints deletion: 4184 -> 2104
171.44/171.54	c learnt constraints deletion: 4187 -> 2105
173.85/173.92	c learnt constraints deletion: 4170 -> 2095
176.84/176.95	c learnt constraints deletion: 4189 -> 2106
180.04/180.12	c learnt constraints deletion: 4159 -> 2092
182.55/182.70	c learnt constraints deletion: 4200 -> 2113
185.64/185.73	c learnt constraints deletion: 4201 -> 2113
188.74/188.80	c learnt constraints deletion: 4207 -> 2115
191.34/191.45	c learnt constraints deletion: 4203 -> 2115
194.13/194.27	c learnt constraints deletion: 4186 -> 2106
197.04/197.15	c learnt constraints deletion: 4191 -> 2108
199.73/199.84	c learnt constraints deletion: 4202 -> 2113
202.44/202.52	c learnt constraints deletion: 4196 -> 2110
204.83/204.94	c learnt constraints deletion: 4189 -> 2107
207.54/207.61	c learnt constraints deletion: 4189 -> 2107
209.94/210.09	c learnt constraints deletion: 4179 -> 2102
213.04/213.10	c learnt constraints deletion: 4208 -> 2116
215.54/215.63	c learnt constraints deletion: 4202 -> 2113
218.33/218.50	c learnt constraints deletion: 4183 -> 2105
221.24/221.37	c learnt constraints deletion: 4145 -> 2085
223.43/223.55	c learnt constraints deletion: 3563 -> 1782
226.03/226.15	c learnt constraints deletion: 4464 -> 2235
228.63/228.74	c learnt constraints deletion: 4431 -> 2221
231.23/231.36	c learnt constraints deletion: 4443 -> 2227
233.83/233.95	c learnt constraints deletion: 4455 -> 2232
236.23/236.33	c learnt constraints deletion: 4464 -> 2237
238.83/238.92	c learnt constraints deletion: 4488 -> 2249
241.63/241.72	c learnt constraints deletion: 4437 -> 2225
244.23/244.31	c learnt constraints deletion: 4432 -> 2221
246.53/246.60	c learnt constraints deletion: 4459 -> 2235
249.03/249.15	c learnt constraints deletion: 4436 -> 2223
252.02/252.14	c learnt constraints deletion: 4469 -> 2242
254.93/255.09	c learnt constraints deletion: 4416 -> 2213
257.63/257.71	c learnt constraints deletion: 4456 -> 2233
260.43/260.58	c learnt constraints deletion: 4458 -> 2237
263.33/263.41	c learnt constraints deletion: 4452 -> 2231
266.32/266.41	c learnt constraints deletion: 4404 -> 2208
268.92/269.08	c learnt constraints deletion: 4451 -> 2233
271.53/271.66	c learnt constraints deletion: 4434 -> 2224
274.32/274.44	c learnt constraints deletion: 4443 -> 2229
276.92/277.05	c learnt constraints deletion: 4449 -> 2232
279.72/279.81	c learnt constraints deletion: 4448 -> 2231
282.22/282.37	c learnt constraints deletion: 4436 -> 2223
284.62/284.77	c learnt constraints deletion: 4458 -> 2235
287.22/287.36	c learnt constraints deletion: 4470 -> 2243
290.13/290.29	c learnt constraints deletion: 4464 -> 2242
292.93/293.09	c learnt constraints deletion: 4468 -> 2243
295.72/295.82	c learnt constraints deletion: 4467 -> 2239
298.03/298.18	c learnt constraints deletion: 4437 -> 2227
300.92/301.01	c learnt constraints deletion: 4450 -> 2232
303.62/303.79	c learnt constraints deletion: 4459 -> 2236
306.52/306.60	c learnt constraints deletion: 4467 -> 2239
309.22/309.39	c learnt constraints deletion: 4465 -> 2243
311.92/312.06	c learnt constraints deletion: 4461 -> 2237
314.53/314.63	c learnt constraints deletion: 4460 -> 2237
317.02/317.12	c learnt constraints deletion: 4468 -> 2241
319.72/319.82	c learnt constraints deletion: 4453 -> 2235
322.12/322.20	c learnt constraints deletion: 4437 -> 2225
325.02/325.14	c learnt constraints deletion: 4444 -> 2229
327.82/327.95	c learnt constraints deletion: 4457 -> 2235
330.41/330.55	c learnt constraints deletion: 4481 -> 2246
333.22/333.33	c learnt constraints deletion: 4455 -> 2235
335.82/335.99	c learnt constraints deletion: 4437 -> 2225
338.31/338.48	c learnt constraints deletion: 4445 -> 2229
341.22/341.33	c learnt constraints deletion: 4754 -> 2383
343.31/343.42	c learnt constraints deletion: 4736 -> 2372
345.71/345.86	c learnt constraints deletion: 4725 -> 2373
348.51/348.69	c learnt constraints deletion: 4740 -> 2380
351.01/351.12	c learnt constraints deletion: 4753 -> 2387
353.51/353.67	c learnt constraints deletion: 4731 -> 2375
356.31/356.47	c learnt constraints deletion: 4684 -> 2353
359.91/360.06	c learnt constraints deletion: 4741 -> 2383
363.11/363.20	c learnt constraints deletion: 4727 -> 2375
366.02/366.17	c learnt constraints deletion: 4715 -> 2369
368.81/368.97	c learnt constraints deletion: 4691 -> 2357
371.81/371.94	c learnt constraints deletion: 4725 -> 2373
374.71/374.83	c learnt constraints deletion: 4751 -> 2387
377.71/377.86	c learnt constraints deletion: 4749 -> 2386
380.81/380.95	c learnt constraints deletion: 4709 -> 2366
383.92/384.08	c learnt constraints deletion: 4734 -> 2379
386.40/386.52	c learnt constraints deletion: 4758 -> 2392
389.10/389.29	c learnt constraints deletion: 4742 -> 2385
391.90/392.04	c learnt constraints deletion: 4710 -> 2364
396.10/396.20	c learnt constraints deletion: 4718 -> 2369
399.61/399.73	c learnt constraints deletion: 4713 -> 2367
402.70/402.81	c learnt constraints deletion: 4715 -> 2368
406.30/406.49	c learnt constraints deletion: 4733 -> 2377
410.00/410.13	c learnt constraints deletion: 4736 -> 2378
413.10/413.23	c learnt constraints deletion: 4730 -> 2376
416.60/416.74	c learnt constraints deletion: 4744 -> 2384
420.00/420.13	c learnt constraints deletion: 4748 -> 2385
423.10/423.24	c learnt constraints deletion: 4730 -> 2376
426.00/426.13	c learnt constraints deletion: 4689 -> 2357
429.30/429.40	c learnt constraints deletion: 4726 -> 2374
432.50/432.68	c learnt constraints deletion: 4748 -> 2386
435.50/435.68	c learnt constraints deletion: 4731 -> 2377
438.59/438.72	c learnt constraints deletion: 4722 -> 2372
441.70/441.82	c learnt constraints deletion: 4710 -> 2366
444.80/444.97	c learnt constraints deletion: 4738 -> 2379
447.60/447.79	c learnt constraints deletion: 4742 -> 2382
450.59/450.79	c learnt constraints deletion: 4711 -> 2367
453.60/453.75	c learnt constraints deletion: 4738 -> 2380
456.40/456.53	c learnt constraints deletion: 4740 -> 2381
459.50/459.63	c learnt constraints deletion: 4734 -> 2378
462.69/462.87	c learnt constraints deletion: 4740 -> 2382
465.99/466.14	c learnt constraints deletion: 4718 -> 2372
469.49/469.62	c learnt constraints deletion: 4739 -> 2382
473.00/473.16	c learnt constraints deletion: 4717 -> 2371
476.39/476.53	c learnt constraints deletion: 4727 -> 2377
479.29/479.44	c learnt constraints deletion: 4710 -> 2367
482.59/482.71	c learnt constraints deletion: 4725 -> 2374
485.79/485.90	c learnt constraints deletion: 4756 -> 2389
489.39/489.55	c learnt constraints deletion: 4742 -> 2383
492.59/492.77	c learnt constraints deletion: 4723 -> 2374
495.99/496.13	c learnt constraints deletion: 4719 -> 2372
498.99/499.18	c learnt constraints deletion: 4707 -> 2365
502.08/502.25	c learnt constraints deletion: 4748 -> 2385
505.38/505.53	c learnt constraints deletion: 4739 -> 2383
508.19/508.36	c learnt constraints deletion: 4724 -> 2374
511.28/511.48	c learnt constraints deletion: 4735 -> 2381
514.79/514.96	c learnt constraints deletion: 4742 -> 2384
518.18/518.32	c learnt constraints deletion: 4737 -> 2380
521.39/521.50	c learnt constraints deletion: 4731 -> 2376
524.18/524.33	c learnt constraints deletion: 4727 -> 2375
527.58/527.79	c learnt constraints deletion: 4711 -> 2369
530.97/531.14	c learnt constraints deletion: 4747 -> 2388
534.78/534.91	c learnt constraints deletion: 5025 -> 2524
537.98/538.11	c learnt constraints deletion: 4981 -> 2491
540.17/540.34	c learnt constraints deletion: 5096 -> 2550
542.97/543.15	c learnt constraints deletion: 5091 -> 2547
545.67/545.88	c learnt constraints deletion: 5088 -> 2545
548.57/548.76	c learnt constraints deletion: 5102 -> 2552
551.27/551.41	c learnt constraints deletion: 5076 -> 2539
553.97/554.17	c learnt constraints deletion: 5083 -> 2544
556.48/556.67	c learnt constraints deletion: 5059 -> 2533
559.38/559.55	c learnt constraints deletion: 5085 -> 2546
562.47/562.60	c learnt constraints deletion: 5068 -> 2538
565.07/565.26	c learnt constraints deletion: 5068 -> 2538
567.97/568.13	c learnt constraints deletion: 5081 -> 2546
570.98/571.11	c learnt constraints deletion: 5073 -> 2539
573.67/573.89	c learnt constraints deletion: 5068 -> 2538
576.57/576.70	c learnt constraints deletion: 5063 -> 2535
579.27/579.49	c learnt constraints deletion: 5076 -> 2542
582.07/582.22	c learnt constraints deletion: 5092 -> 2548
584.77/584.90	c learnt constraints deletion: 5075 -> 2540
587.67/587.82	c learnt constraints deletion: 5098 -> 2551
590.37/590.53	c learnt constraints deletion: 5066 -> 2535
592.97/593.15	c learnt constraints deletion: 5097 -> 2552
595.87/596.03	c learnt constraints deletion: 5070 -> 2539
598.66/598.86	c learnt constraints deletion: 5056 -> 2533
601.27/601.49	c learnt constraints deletion: 5079 -> 2544
604.17/604.32	c learnt constraints deletion: 5073 -> 2542
606.77/606.94	c learnt constraints deletion: 5069 -> 2537
609.47/609.67	c learnt constraints deletion: 5063 -> 2534
612.27/612.47	c learnt constraints deletion: 5059 -> 2531
614.96/615.19	c learnt constraints deletion: 5085 -> 2545
617.87/618.01	c learnt constraints deletion: 5104 -> 2555
620.67/620.83	c learnt constraints deletion: 5077 -> 2541
623.47/623.62	c learnt constraints deletion: 5067 -> 2536
626.17/626.36	c learnt constraints deletion: 5087 -> 2546
629.07/629.24	c learnt constraints deletion: 5079 -> 2542
631.96/632.15	c learnt constraints deletion: 5064 -> 2534
635.26/635.41	c learnt constraints deletion: 5043 -> 2524
638.56/638.76	c learnt constraints deletion: 5058 -> 2531
642.07/642.22	c learnt constraints deletion: 5064 -> 2535
644.66/644.87	c learnt constraints deletion: 5086 -> 2546
647.56/647.77	c learnt constraints deletion: 5065 -> 2535
650.46/650.64	c learnt constraints deletion: 5092 -> 2550
653.56/653.71	c learnt constraints deletion: 5063 -> 2534
656.57/656.75	c learnt constraints deletion: 5071 -> 2539
659.45/659.60	c learnt constraints deletion: 5051 -> 2529
662.26/662.41	c learnt constraints deletion: 5061 -> 2534
665.56/665.76	c learnt constraints deletion: 5062 -> 2534
669.36/669.50	c learnt constraints deletion: 5055 -> 2533
672.26/672.45	c learnt constraints deletion: 5034 -> 2520
675.96/676.16	c learnt constraints deletion: 5045 -> 2526
680.16/680.39	c learnt constraints deletion: 5062 -> 2536
684.85/685.01	c learnt constraints deletion: 5043 -> 2530
687.85/688.05	c learnt constraints deletion: 5062 -> 2534
691.26/691.40	c learnt constraints deletion: 5055 -> 2532
694.66/694.86	c learnt constraints deletion: 5072 -> 2539
698.25/698.47	c learnt constraints deletion: 5062 -> 2533
701.35/701.54	c learnt constraints deletion: 5092 -> 2549
704.45/704.60	c learnt constraints deletion: 5077 -> 2542
707.75/707.95	c learnt constraints deletion: 5091 -> 2549
710.85/711.07	c learnt constraints deletion: 5075 -> 2541
714.15/714.34	c learnt constraints deletion: 5057 -> 2532
717.35/717.51	c learnt constraints deletion: 5083 -> 2544
720.25/720.50	c learnt constraints deletion: 5062 -> 2534
723.66/723.86	c learnt constraints deletion: 5060 -> 2534
726.55/726.73	c learnt constraints deletion: 5041 -> 2525
730.05/730.23	c learnt constraints deletion: 5063 -> 2539
733.55/733.79	c learnt constraints deletion: 5068 -> 2538
736.55/736.78	c learnt constraints deletion: 5069 -> 2537
739.16/739.37	c learnt constraints deletion: 5064 -> 2535
742.15/742.30	c learnt constraints deletion: 5054 -> 2532
744.95/745.12	c learnt constraints deletion: 5064 -> 2535
747.85/748.04	c learnt constraints deletion: 5084 -> 2546
750.65/750.84	c learnt constraints deletion: 5070 -> 2538
753.45/753.63	c learnt constraints deletion: 5090 -> 2548
756.24/756.50	c learnt constraints deletion: 5065 -> 2538
759.25/759.46	c learnt constraints deletion: 5106 -> 2556
762.15/762.36	c learnt constraints deletion: 5100 -> 2555
765.55/765.75	c learnt constraints deletion: 5073 -> 2542
768.54/768.79	c learnt constraints deletion: 5069 -> 2540
771.24/771.46	c learnt constraints deletion: 5051 -> 2531
774.24/774.48	c learnt constraints deletion: 5091 -> 2550
777.55/777.71	c learnt constraints deletion: 5037 -> 2520
780.34/780.57	c learnt constraints deletion: 5060 -> 2532
783.44/783.64	c learnt constraints deletion: 5065 -> 2535
786.45/786.65	c learnt constraints deletion: 5053 -> 2529
789.75/789.91	c learnt constraints deletion: 5100 -> 2552
792.64/792.80	c learnt constraints deletion: 5083 -> 2544
795.84/796.08	c learnt constraints deletion: 5454 -> 2729
798.94/799.13	c learnt constraints deletion: 5404 -> 2705
800.64/800.89	c learnt constraints deletion: 4164 -> 2082
803.54/803.78	c learnt constraints deletion: 5396 -> 2708
806.84/807.08	c learnt constraints deletion: 5417 -> 2723
810.23/810.42	c learnt constraints deletion: 5414 -> 2720
813.24/813.40	c learnt constraints deletion: 5398 -> 2713
816.04/816.23	c learnt constraints deletion: 5421 -> 2725
818.74/818.94	c learnt constraints deletion: 5408 -> 2717
821.64/821.84	c learnt constraints deletion: 5446 -> 2740
824.63/824.88	c learnt constraints deletion: 5401 -> 2716
827.93/828.18	c learnt constraints deletion: 5412 -> 2721
831.13/831.35	c learnt constraints deletion: 5384 -> 2706
834.33/834.54	c learnt constraints deletion: 5388 -> 2710
837.64/837.80	c learnt constraints deletion: 5424 -> 2726
840.43/840.62	c learnt constraints deletion: 5394 -> 2713
843.54/843.73	c learnt constraints deletion: 5387 -> 2711
846.94/847.11	c learnt constraints deletion: 5423 -> 2726
850.14/850.40	c learnt constraints deletion: 5390 -> 2710
853.33/853.56	c learnt constraints deletion: 5407 -> 2718
856.43/856.69	c learnt constraints deletion: 5403 -> 2719
859.43/859.67	c learnt constraints deletion: 5412 -> 2723
862.62/862.85	c learnt constraints deletion: 5432 -> 2734
866.02/866.28	c learnt constraints deletion: 5439 -> 2736
869.83/870.00	c learnt constraints deletion: 5389 -> 2711
873.13/873.38	c learnt constraints deletion: 5444 -> 2737
876.43/876.60	c learnt constraints deletion: 5416 -> 2724
879.93/880.13	c learnt constraints deletion: 5414 -> 2723
883.53/883.72	c learnt constraints deletion: 5430 -> 2730
886.92/887.17	c learnt constraints deletion: 5386 -> 2707
890.73/890.91	c learnt constraints deletion: 5393 -> 2713
894.23/894.49	c learnt constraints deletion: 5407 -> 2719
898.03/898.29	c learnt constraints deletion: 5380 -> 2704
902.02/902.28	c learnt constraints deletion: 5408 -> 2719
906.02/906.29	c learnt constraints deletion: 5394 -> 2712
909.82/910.03	c learnt constraints deletion: 5389 -> 2710
913.82/914.09	c learnt constraints deletion: 5416 -> 2723
917.32/917.56	c learnt constraints deletion: 5409 -> 2720
921.12/921.31	c learnt constraints deletion: 5432 -> 2731
925.12/925.31	c learnt constraints deletion: 5376 -> 2704
929.02/929.25	c learnt constraints deletion: 5406 -> 2718
932.92/933.17	c learnt constraints deletion: 5393 -> 2712
936.72/936.92	c learnt constraints deletion: 5408 -> 2720
940.32/940.54	c learnt constraints deletion: 5403 -> 2717
943.91/944.18	c learnt constraints deletion: 5387 -> 2709
947.72/947.96	c learnt constraints deletion: 5390 -> 2710
951.32/951.52	c learnt constraints deletion: 5398 -> 2715
954.81/955.09	c learnt constraints deletion: 5390 -> 2710
958.41/958.69	c learnt constraints deletion: 5437 -> 2734
961.72/961.96	c learnt constraints deletion: 5380 -> 2705
965.62/965.89	c learnt constraints deletion: 5409 -> 2721
969.02/969.23	c learnt constraints deletion: 5429 -> 2731
972.81/973.03	c learnt constraints deletion: 5386 -> 2707
976.61/976.85	c learnt constraints deletion: 5389 -> 2710
980.61/980.81	c learnt constraints deletion: 5401 -> 2716
984.21/984.41	c learnt constraints deletion: 5406 -> 2719
988.30/988.53	c learnt constraints deletion: 5384 -> 2708
991.60/991.88	c learnt constraints deletion: 5442 -> 2736
995.31/995.56	c learnt constraints deletion: 5440 -> 2736
1000.91/1001.12	c learnt constraints deletion: 5400 -> 2716
1009.81/1010.08	c learnt constraints deletion: 5382 -> 2709
1020.50/1020.75	c learnt constraints deletion: 5433 -> 2732
1026.50/1026.78	c learnt constraints deletion: 5431 -> 2733
1034.00/1034.23	c learnt constraints deletion: 5384 -> 2707
1042.10/1042.32	c learnt constraints deletion: 5449 -> 2739
1046.60/1046.83	c learnt constraints deletion: 5388 -> 2710
1051.10/1051.32	c learnt constraints deletion: 5411 -> 2721
1054.90/1055.14	c learnt constraints deletion: 5380 -> 2705
1058.40/1058.67	c learnt constraints deletion: 5398 -> 2715
1062.30/1062.53	c learnt constraints deletion: 5385 -> 2710
1066.19/1066.46	c learnt constraints deletion: 5408 -> 2718
1070.10/1070.36	c learnt constraints deletion: 5382 -> 2706
1074.00/1074.28	c learnt constraints deletion: 5387 -> 2709
1080.29/1080.59	c learnt constraints deletion: 5408 -> 2719
1085.69/1085.92	c learnt constraints deletion: 5404 -> 2718
1089.59/1089.84	c learnt constraints deletion: 5400 -> 2716
1093.69/1093.92	c learnt constraints deletion: 5405 -> 2719
1098.09/1098.38	c learnt constraints deletion: 5431 -> 2731
1102.10/1102.35	c learnt constraints deletion: 5389 -> 2710
1108.89/1109.14	c learnt constraints deletion: 5396 -> 2714
1118.69/1118.96	c learnt constraints deletion: 5389 -> 2710
1128.09/1128.38	c learnt constraints deletion: 5377 -> 2702
1134.38/1134.65	c learnt constraints deletion: 5378 -> 2704
1141.09/1141.33	c learnt constraints deletion: 5393 -> 2713
1145.59/1145.85	c learnt constraints deletion: 5391 -> 2709
1150.29/1150.54	c learnt constraints deletion: 5370 -> 2701
1157.19/1157.48	c learnt constraints deletion: 5396 -> 2712
1163.48/1163.70	c learnt constraints deletion: 5366 -> 2697
1169.48/1169.70	c learnt constraints deletion: 5371 -> 2703
1174.88/1175.13	c learnt constraints deletion: 5391 -> 2711
1179.78/1180.06	c learnt constraints deletion: 5382 -> 2706
1184.97/1185.20	c learnt constraints deletion: 5378 -> 2704
1189.58/1189.80	c learnt constraints deletion: 5398 -> 2720
1194.07/1194.38	c learnt constraints deletion: 5404 -> 2719
1198.37/1198.62	c learnt constraints deletion: 5394 -> 2713
1203.18/1203.41	c learnt constraints deletion: 5378 -> 2703
1207.78/1208.05	c learnt constraints deletion: 5380 -> 2707
1212.77/1213.04	c learnt constraints deletion: 5389 -> 2709
1217.58/1217.83	c learnt constraints deletion: 5370 -> 2700
1221.98/1222.24	c learnt constraints deletion: 5391 -> 2711
1226.87/1227.17	c learnt constraints deletion: 5370 -> 2701
1232.17/1232.45	c learnt constraints deletion: 5388 -> 2711
1236.27/1236.59	c learnt constraints deletion: 5391 -> 2711
1241.37/1241.62	c learnt constraints deletion: 5339 -> 2685
1245.27/1245.56	c learnt constraints deletion: 5372 -> 2701
1250.27/1250.50	c learnt constraints deletion: 5355 -> 2694
1254.97/1255.28	c learnt constraints deletion: 5377 -> 2703
1259.87/1260.16	c learnt constraints deletion: 5363 -> 2697
1264.97/1265.26	c learnt constraints deletion: 5391 -> 2710
1269.57/1269.83	c learnt constraints deletion: 5388 -> 2709
1274.46/1274.78	c learnt constraints deletion: 5386 -> 2708
1279.07/1279.39	c learnt constraints deletion: 5378 -> 2704
1283.87/1284.13	c learnt constraints deletion: 5371 -> 2702
1288.06/1288.33	c learnt constraints deletion: 5390 -> 2711
1292.46/1292.77	c learnt constraints deletion: 5368 -> 2699
1299.06/1299.37	c learnt constraints deletion: 5381 -> 2707
1304.86/1305.11	c learnt constraints deletion: 5400 -> 2715
1309.76/1310.06	c learnt constraints deletion: 5393 -> 2714
1313.96/1314.28	c learnt constraints deletion: 5377 -> 2707
1318.66/1318.92	c learnt constraints deletion: 5405 -> 2720
1323.17/1323.43	c learnt constraints deletion: 5372 -> 2702
1327.26/1327.50	c learnt constraints deletion: 5403 -> 2718
1331.66/1331.99	c learnt constraints deletion: 5365 -> 2699
1335.66/1335.98	c learnt constraints deletion: 5415 -> 2724
1340.35/1340.69	c learnt constraints deletion: 5781 -> 2907
1345.25/1345.56	c learnt constraints deletion: 5790 -> 2913
1349.35/1349.69	c learnt constraints deletion: 5215 -> 2608
1352.75/1353.07	c learnt constraints deletion: 5797 -> 2906
1356.65/1356.94	c learnt constraints deletion: 5807 -> 2916
1360.56/1360.88	c learnt constraints deletion: 5803 -> 2912
1364.55/1364.89	c learnt constraints deletion: 5790 -> 2906
1368.94/1369.24	c learnt constraints deletion: 5788 -> 2905
1372.95/1373.25	c learnt constraints deletion: 5796 -> 2910
1377.05/1377.32	c learnt constraints deletion: 5788 -> 2906
1381.05/1381.32	c learnt constraints deletion: 5809 -> 2915
1384.85/1385.13	c learnt constraints deletion: 5766 -> 2894
1388.45/1388.79	c learnt constraints deletion: 5779 -> 2900
1392.55/1392.80	c learnt constraints deletion: 5797 -> 2910
1397.04/1397.36	c learnt constraints deletion: 5804 -> 2913
1401.04/1401.38	c learnt constraints deletion: 5798 -> 2911
1405.24/1405.53	c learnt constraints deletion: 5824 -> 2924
1409.44/1409.74	c learnt constraints deletion: 5796 -> 2909
1414.04/1414.31	c learnt constraints deletion: 5782 -> 2903
1418.74/1419.04	c learnt constraints deletion: 5766 -> 2895
1423.54/1423.84	c learnt constraints deletion: 5783 -> 2904
1428.13/1428.45	c learnt constraints deletion: 5801 -> 2914
1432.64/1432.95	c learnt constraints deletion: 5804 -> 2914
1437.44/1437.77	c learnt constraints deletion: 5790 -> 2908
1442.04/1442.31	c learnt constraints deletion: 5786 -> 2905
1446.44/1446.72	c learnt constraints deletion: 5772 -> 2898
1451.03/1451.33	c learnt constraints deletion: 5785 -> 2905
1455.73/1456.01	c learnt constraints deletion: 5772 -> 2900
1460.03/1460.37	c learnt constraints deletion: 5780 -> 2901
1463.73/1464.02	c learnt constraints deletion: 5825 -> 2925
1468.03/1468.33	c learnt constraints deletion: 5806 -> 2915
1471.73/1472.04	c learnt constraints deletion: 5778 -> 2902
1475.93/1476.23	c learnt constraints deletion: 5800 -> 2912
1480.44/1480.73	c learnt constraints deletion: 5797 -> 2911
1484.43/1484.77	c learnt constraints deletion: 5807 -> 2917
1488.62/1488.90	c learnt constraints deletion: 5779 -> 2902
1493.12/1493.43	c learnt constraints deletion: 5789 -> 2906
1499.62/1499.93	c learnt constraints deletion: 5813 -> 2921
1507.62/1507.93	c learnt constraints deletion: 5787 -> 2908
1515.92/1516.24	c learnt constraints deletion: 5805 -> 2916
1526.02/1526.32	c learnt constraints deletion: 5788 -> 2907
1535.02/1535.33	c learnt constraints deletion: 5785 -> 2908
1545.82/1546.18	c learnt constraints deletion: 5746 -> 2887
1554.02/1554.33	c learnt constraints deletion: 5771 -> 2901
1562.22/1562.54	c learnt constraints deletion: 5780 -> 2907
1571.62/1571.95	c learnt constraints deletion: 5787 -> 2910
1578.02/1578.39	c learnt constraints deletion: 5773 -> 2902
1586.02/1586.35	c learnt constraints deletion: 5796 -> 2912
1594.61/1594.98	c learnt constraints deletion: 5799 -> 2915
1602.71/1603.01	c learnt constraints deletion: 5767 -> 2899
1612.71/1613.05	c learnt constraints deletion: 5784 -> 2908
1620.41/1620.77	c learnt constraints deletion: 5811 -> 2921
1628.81/1629.12	c learnt constraints deletion: 5781 -> 2907
1636.51/1636.84	c learnt constraints deletion: 5775 -> 2904
1642.40/1642.75	c learnt constraints deletion: 5807 -> 2919
1650.10/1650.42	c learnt constraints deletion: 5779 -> 2904
1659.41/1659.73	c learnt constraints deletion: 5807 -> 2921
1668.20/1668.54	c learnt constraints deletion: 5788 -> 2910
1676.00/1676.38	c learnt constraints deletion: 5775 -> 2901
1684.30/1684.64	c learnt constraints deletion: 5781 -> 2905
1691.51/1691.87	c learnt constraints deletion: 5813 -> 2919
1698.80/1699.10	c learnt constraints deletion: 5777 -> 2902
1708.00/1708.31	c learnt constraints deletion: 5807 -> 2919
1717.70/1718.06	c learnt constraints deletion: 5768 -> 2899
1727.90/1728.21	c learnt constraints deletion: 5806 -> 2918
1737.79/1738.12	c learnt constraints deletion: 5815 -> 2923
1747.79/1748.19	c learnt constraints deletion: 5837 -> 2932
1756.09/1756.43	c learnt constraints deletion: 5793 -> 2910
1765.19/1765.55	c learnt constraints deletion: 5795 -> 2911
1772.99/1773.36	c learnt constraints deletion: 5797 -> 2916
1780.29/1780.62	c learnt constraints deletion: 5805 -> 2917
1786.58/1786.94	c learnt constraints deletion: 5809 -> 2915
1790.38/1790.77	c learnt constraints deletion: 5813 -> 2918
1794.78/1795.15	c learnt constraints deletion: 5778 -> 2902
1799.39/1799.76	c learnt constraints deletion: 5798 -> 2912

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-3724325-1338635151/watcher-3724325-1338635151 -o /tmp/evaluation-result-3724325-1338635151/solver-3724325-1338635151 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724325-1338635151.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.92 1.98 1.91 3/176 1403
/proc/meminfo: memFree=30958132/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 789 0 0 0 0 0 0 0 20 0 1 0 329640995 6373376 710 33554432000 4194304 8989770 140735068218848 140733343457704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 1556 710 428 1171 0 333 0

[startup+0.101989 s]
/proc/loadavg: 1.92 1.98 1.91 3/176 1403
/proc/meminfo: memFree=30958132/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=9296 CPUtime=0.09 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 1460 0 0 0 9 0 0 0 20 0 1 0 329640995 9519104 1381 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 2324 1381 456 1171 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9296

[startup+0.200224 s]
/proc/loadavg: 1.92 1.98 1.91 3/176 1403
/proc/meminfo: memFree=30958132/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=10320 CPUtime=0.19 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 1699 0 0 0 19 0 0 0 20 0 1 0 329640995 10567680 1620 33554432000 4194304 8989770 140735068218848 140735068218112 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 2580 1620 456 1171 0 1357 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10320

[startup+0.300219 s]
/proc/loadavg: 1.92 1.98 1.91 3/176 1403
/proc/meminfo: memFree=30958132/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=11344 CPUtime=0.29 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 2145 0 0 0 29 0 0 0 20 0 1 0 329640995 11616256 2066 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 2836 2066 456 1171 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11344

[startup+0.700211 s]
/proc/loadavg: 1.92 1.98 1.91 3/176 1403
/proc/meminfo: memFree=30958132/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=13392 CPUtime=0.69 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 2659 0 0 0 68 1 0 0 20 0 1 0 329640995 13713408 2580 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 3348 2580 458 1171 0 2125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13392

[startup+1.50106 s]
/proc/loadavg: 1.92 1.98 1.91 3/177 1404
/proc/meminfo: memFree=30944840/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=18512 CPUtime=1.49 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 3941 0 0 0 147 2 0 0 20 0 1 0 329640995 18956288 3862 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 4628 3862 460 1171 0 3405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18512

[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.91 3/177 1404
/proc/meminfo: memFree=30932804/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=29776 CPUtime=3.09 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 6757 0 0 0 304 5 0 0 20 0 1 0 329640995 30490624 6678 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 7444 6678 460 1171 0 6221 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29776

[startup+6.30109 s]
/proc/loadavg: 1.93 1.98 1.91 3/177 1404
/proc/meminfo: memFree=30907788/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=36944 CPUtime=6.28 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 8549 0 0 0 619 9 0 0 20 0 1 0 329640995 37830656 8470 33554432000 4194304 8989770 140735068218848 140735068216832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 9236 8470 460 1171 0 8013 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36944

[startup+12.7011 s]
/proc/loadavg: 1.93 1.98 1.91 3/177 1404
/proc/meminfo: memFree=30872128/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=51280 CPUtime=12.69 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 12133 0 0 0 1251 18 0 0 20 0 1 0 329640995 52510720 12054 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 12820 12054 460 1171 0 11597 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51280

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.91 3/177 1404
/proc/meminfo: memFree=30826480/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=56400 CPUtime=25.48 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 13413 0 0 0 2513 35 0 0 20 0 1 0 329640995 57753600 13334 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 14100 13334 460 1171 0 12877 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56400

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.91 3/177 1404
/proc/meminfo: memFree=30773748/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=64592 CPUtime=51.09 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 15461 0 0 0 5043 66 0 0 20 0 1 0 329640995 66142208 15382 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 16148 15382 460 1171 0 14925 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 64592

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.91 3/177 1404
/proc/meminfo: memFree=30733740/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=75856 CPUtime=102.28 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 18277 0 0 0 10101 127 0 0 20 0 1 0 329640995 77676544 18198 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 18964 18198 460 1171 0 17741 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 75856

[startup+162.3 s]
/proc/loadavg: 2.03 2.00 1.91 3/177 1405
/proc/meminfo: memFree=30673496/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=86096 CPUtime=162.24 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 21115 0 0 0 16019 205 0 0 20 0 1 0 329640995 88162304 20763 33554432000 4194304 8989770 140735068218848 140735068218344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 21524 20763 460 1171 0 20301 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 86096

[startup+222.308 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 1405
/proc/meminfo: memFree=30637668/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=93264 CPUtime=222.24 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 22917 0 0 0 21897 327 0 0 20 0 1 0 329640995 95502336 22555 33554432000 4194304 8989770 140735068218848 140735068218344 4438244 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 23316 22555 460 1171 0 22093 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 93264

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 1408
/proc/meminfo: memFree=30590444/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=94288 CPUtime=282.22 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 23173 0 0 0 27785 437 0 0 20 0 1 0 329640995 96550912 22811 33554432000 4194304 8989770 140735068218848 140735068218344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 23572 22811 460 1171 0 22349 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 94288

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1408
/proc/meminfo: memFree=30547572/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=94288 CPUtime=342.21 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 23173 0 0 0 33675 546 0 0 20 0 1 0 329640995 96550912 22811 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 23572 22811 460 1171 0 22349 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 94288

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1408
/proc/meminfo: memFree=30504200/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=103504 CPUtime=402.21 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 25477 0 0 0 39542 679 0 0 20 0 1 0 329640995 105988096 25115 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 25876 25115 460 1171 0 24653 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 103504

[startup+462.301 s]
/proc/loadavg: 2.11 2.03 1.93 3/177 1410
/proc/meminfo: memFree=30500068/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=107600 CPUtime=462.2 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 26501 0 0 0 45384 836 0 0 20 0 1 0 329640995 110182400 26139 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 26900 26139 460 1171 0 25677 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 107600

[startup+522.3 s]
/proc/loadavg: 2.11 2.04 1.93 3/177 1410
/proc/meminfo: memFree=30495336/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=109648 CPUtime=522.18 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 27022 0 0 0 51250 968 0 0 20 0 1 0 329640995 112279552 26651 33554432000 4194304 8989770 140735068218848 140735068218344 4213723 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 27412 26651 460 1171 0 26189 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 109648

[startup+582.301 s]
/proc/loadavg: 2.04 2.03 1.93 3/177 1410
/proc/meminfo: memFree=30459880/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=109648 CPUtime=582.17 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 27022 0 0 0 57135 1082 0 0 20 0 1 0 329640995 112279552 26651 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 27412 26651 460 1171 0 26189 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 109648

[startup+642.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.02 1.95 3/178 1414
/proc/meminfo: memFree=30301068/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=113744 CPUtime=882.13 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 29070 0 0 0 86526 1687 0 0 20 0 1 0 329640995 116473856 27675 33554432000 4194304 8989770 140735068218848 140735068218344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 28436 27675 460 1171 0 27213 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 113744

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 1414
/proc/meminfo: memFree=30280108/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=115792 CPUtime=942.12 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 29584 0 0 0 92361 1851 0 0 20 0 1 0 329640995 118571008 28187 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 28948 28187 460 1171 0 27725 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 115792

[startup+1002.3 s]
/proc/loadavg: 2.07 2.03 1.95 3/177 1414
/proc/meminfo: memFree=30280868/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=115792 CPUtime=1002.1 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 29584 0 0 0 98212 1998 0 0 20 0 1 0 329640995 118571008 28187 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 28948 28187 460 1171 0 27725 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 115792

[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/177 1415
/proc/meminfo: memFree=30280744/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=115792 CPUtime=1062.1 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 29584 0 0 0 103978 2232 0 0 20 0 1 0 329640995 118571008 28187 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 28948 28187 460 1171 0 27725 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 115792

[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/177 1415
/proc/meminfo: memFree=30280624/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=115792 CPUtime=1122.09 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 29584 0 0 0 109756 2453 0 0 20 0 1 0 329640995 118571008 28187 33554432000 4194304 8989770 140735068218848 140735068218112 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 28948 28187 460 1171 0 27725 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 115792

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/177 1415
/proc/meminfo: memFree=30269588/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=127056 CPUtime=1182.08 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 32400 0 0 0 115498 2710 0 0 20 0 1 0 329640995 130105344 31003 33554432000 4194304 8989770 140735068218848 140735068218344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 31764 31003 460 1171 0 30541 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 127056

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/177 1415
/proc/meminfo: memFree=30269464/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=127056 CPUtime=1242.07 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 32400 0 0 0 121250 2957 0 0 20 0 1 0 329640995 130105344 31003 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 31764 31003 460 1171 0 30541 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 127056

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/178 1416
/proc/meminfo: memFree=30264552/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=127056 CPUtime=1302.06 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 32400 0 0 0 126953 3253 0 0 20 0 1 0 329640995 130105344 31003 33554432000 4194304 8989770 140735068218848 140735068218344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 31764 31003 460 1171 0 30541 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 127056

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 1417
/proc/meminfo: memFree=30239176/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=127056 CPUtime=1362.05 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 32400 0 0 0 132723 3482 0 0 20 0 1 0 329640995 130105344 31003 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 31764 31003 460 1171 0 30541 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 127056

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1417
/proc/meminfo: memFree=30211328/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=127056 CPUtime=1422.05 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 32403 0 0 0 138500 3705 0 0 20 0 1 0 329640995 130105344 31003 33554432000 4194304 8989770 140735068218848 140735068218344 4213693 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 31764 31003 460 1171 0 30541 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 127056

[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 1.96 3/178 1420
/proc/meminfo: memFree=30190200/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=127056 CPUtime=1482.03 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 32403 0 0 0 144262 3941 0 0 20 0 1 0 329640995 130105344 31003 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 31764 31003 460 1171 0 30541 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 127056

[startup+1542.31 s]
/proc/loadavg: 2.03 2.01 1.96 3/177 1420
/proc/meminfo: memFree=30158960/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=134224 CPUtime=1542.03 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 34195 0 0 0 149990 4213 0 0 20 0 1 0 329640995 137445376 32795 33554432000 4194304 8989770 140735068218848 140735068218112 4211246 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 33556 32795 460 1171 0 32333 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 134224

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/177 1420
/proc/meminfo: memFree=30150780/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=137296 CPUtime=1602.01 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 34963 0 0 0 155715 4486 0 0 20 0 1 0 329640995 140591104 33563 33554432000 4194304 8989770 140735068218848 140735068218112 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 34324 33563 460 1171 0 33101 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 137296

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1421
/proc/meminfo: memFree=30151028/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=137296 CPUtime=1662 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 34963 0 0 0 161453 4747 0 0 20 0 1 0 329640995 140591104 33563 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 34324 33563 460 1171 0 33101 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 137296

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1421
/proc/meminfo: memFree=30147312/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=140368 CPUtime=1722 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 35731 0 0 0 167186 5014 0 0 20 0 1 0 329640995 143736832 34331 33554432000 4194304 8989770 140735068218848 140735068218344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 35092 34331 460 1171 0 33869 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 140368

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1421
/proc/meminfo: memFree=30147064/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=140368 CPUtime=1781.99 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 35731 0 0 0 172947 5252 0 0 20 0 1 0 329640995 143736832 34331 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 35092 34331 460 1171 0 33869 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 140368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1469
/proc/meminfo: memFree=30775980/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=140368 CPUtime=1800.09 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 35731 0 0 0 174695 5314 0 0 20 0 1 0 329640995 143736832 34331 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 35092 34331 460 1171 0 33869 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 140368

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

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 1469
/proc/meminfo: memFree=30775980/32873648 swapFree=6860/6860
[pid=1403] ppid=1401 vsize=140368 CPUtime=1800.09 cores=1,3,5,7
/proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 35731 0 0 0 174695 5314 0 0 20 0 1 0 329640995 143736832 34331 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1403/statm: 35092 34331 460 1171 0 33869 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 140368

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1746.96
CPU system time (s): 53.1449
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 140368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.96
system time used= 53.1449
maximum resident set size= 137324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35731
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= 48
involuntary context switches= 1858

runsolver used 3.53246 second user time and 9.26159 second system time

The end

Launcher Data 

Begin job on node124 at 2012-06-02 13:05:51
IDJOB=3724325
IDBENCH=2604
IDSOLVER=2308
FILE ID=node124/3724325-1338635151
RUNJOBID= node124-1338631508-1003
PBS_JOBID= 14636456
Free space on /tmp= 70768 MiB

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

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

MD5SUM BENCH= 2ea7e3b5e107f983d069c627d91480a3
RANDOM SEED=1252347267

node124.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.325
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.65
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5357.53
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5385.03
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.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30958512 kB
Buffers:          129232 kB
Cached:           982544 kB
SwapCached:         8192 kB
Active:           273836 kB
Inactive:         878944 kB
Active(anon):      35116 kB
Inactive(anon):     8016 kB
Active(file):     238720 kB
Inactive(file):   870928 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67091440 kB
Dirty:             14936 kB
Writeback:             0 kB
AnonPages:         40112 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             625280 kB
SReclaimable:      69344 kB
SUnreclaim:       555936 kB
KernelStack:        1456 kB
PageTables:         4080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     156128 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= 70748 MiB
End job on node124 at 2012-06-02 13:35:54