Trace number 3706258

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.01 1800.31

General information on the benchmark

Namenormalized-PB07/OPT-BIGINT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
MD5SUM3bc65171ee2bdd2ee7a63cc75f29f375
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark47342
Best CPU time to get the best result obtained on this benchmark86.2429
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1152
Total number of constraints1774
Number of constraints which are clauses1774
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint39
Number of terms in the objective function 661
Biggest coefficient in the objective function 2133
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1049330
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2133
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1049330
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.07/0.08	c 2012-05-27T16:38:15+0200
0.07/0.08	c arch = x86_64
0.07/0.08	c os = linux
0.07/0.08	c compiler = ghc 7.4
0.07/0.08	c packages:
0.07/0.08	c   OptDir-0.0.1
0.07/0.08	c   array-0.4.0.0
0.07/0.08	c   base-4.5.0.0
0.07/0.08	c   bytestring-0.9.2.1
0.07/0.08	c   containers-0.4.2.1
0.07/0.08	c   deepseq-1.3.0.0
0.07/0.08	c   mtl-2.1.1
0.07/0.08	c   old_locale-1.0.0.4
0.07/0.08	c   parse_dimacs-1.2
0.07/0.08	c   parsec-3.1.2
0.07/0.08	c   queue-0.1.2
0.07/0.08	c   stm-2.3
0.07/0.08	c   time-1.4
0.07/0.08	c command line = ["--pb","HOME/instance-3706258-1338129495.opb"]
0.07/0.08	c #vars 1152
0.07/0.08	c #constraints 1774
0.07/0.08	c Solving starts ...
0.07/0.08	c solving time = 0.002s
0.07/0.08	c #decision = 621
0.07/0.08	c #conflict = 0
0.07/0.08	c #restart = 0
0.07/0.08	o 54696
0.07/0.08	c Solving starts ...
2.78/2.80	c learnt constraints deletion: 1642 -> 821
4.58/4.66	c learnt constraints deletion: 1930 -> 966
6.38/6.44	c learnt constraints deletion: 2000 -> 1003
8.28/8.30	c learnt constraints deletion: 2125 -> 1069
10.19/10.21	c learnt constraints deletion: 2229 -> 1122
11.78/11.87	c learnt constraints deletion: 2171 -> 1086
13.88/13.90	c learnt constraints deletion: 2408 -> 1209
15.98/16.01	c learnt constraints deletion: 2460 -> 1233
17.98/18.02	c learnt constraints deletion: 2364 -> 1183
20.38/20.43	c learnt constraints deletion: 2657 -> 1333
22.38/22.46	c learnt constraints deletion: 2662 -> 1336
24.68/24.78	c learnt constraints deletion: 2680 -> 1343
26.68/26.71	c learnt constraints deletion: 2588 -> 1294
29.38/29.45	c learnt constraints deletion: 2880 -> 1440
31.99/32.01	c learnt constraints deletion: 2891 -> 1449
34.39/34.47	c learnt constraints deletion: 2892 -> 1447
37.38/37.43	c learnt constraints deletion: 2962 -> 1483
39.98/40.00	c learnt constraints deletion: 2891 -> 1449
42.38/42.44	c learnt constraints deletion: 2935 -> 1477
44.88/45.00	c learnt constraints deletion: 3180 -> 1599
47.98/48.02	c learnt constraints deletion: 3212 -> 1608
50.58/50.70	c learnt constraints deletion: 3223 -> 1616
53.68/53.74	c learnt constraints deletion: 3139 -> 1570
57.08/57.20	c learnt constraints deletion: 3170 -> 1587
60.28/60.39	c learnt constraints deletion: 3187 -> 1595
63.17/63.29	c learnt constraints deletion: 3210 -> 1608
65.78/65.89	c learnt constraints deletion: 3205 -> 1609
69.28/69.40	c learnt constraints deletion: 3452 -> 1729
72.77/72.89	c learnt constraints deletion: 3504 -> 1758
76.18/76.25	c learnt constraints deletion: 3541 -> 1772
79.28/79.30	c learnt constraints deletion: 3522 -> 1763
82.17/82.28	c learnt constraints deletion: 3509 -> 1760
85.47/85.50	c learnt constraints deletion: 3542 -> 1774
88.47/88.53	c learnt constraints deletion: 3603 -> 1811
91.57/91.66	c learnt constraints deletion: 3526 -> 1766
94.77/94.82	c learnt constraints deletion: 3564 -> 1788
97.77/97.90	c learnt constraints deletion: 3502 -> 1753
101.77/101.84	c learnt constraints deletion: 3510 -> 1759
105.87/105.97	c learnt constraints deletion: 3882 -> 1944
109.47/109.55	c learnt constraints deletion: 3893 -> 1950
113.28/113.37	c learnt constraints deletion: 3907 -> 1958
116.68/116.77	c learnt constraints deletion: 3902 -> 1957
119.98/120.09	c learnt constraints deletion: 3886 -> 1949
123.36/123.47	c learnt constraints deletion: 3870 -> 1940
126.47/126.57	c learnt constraints deletion: 3891 -> 1951
129.76/129.80	c learnt constraints deletion: 3895 -> 1954
133.36/133.46	c learnt constraints deletion: 3863 -> 1937
137.57/137.66	c learnt constraints deletion: 3890 -> 1951
141.46/141.59	c learnt constraints deletion: 3894 -> 1957
144.87/144.96	c learnt constraints deletion: 3868 -> 1941
148.76/148.89	c learnt constraints deletion: 3930 -> 1972
151.96/152.09	c learnt constraints deletion: 3887 -> 1953
155.26/155.30	c learnt constraints deletion: 3915 -> 1969
158.86/158.98	c learnt constraints deletion: 4301 -> 2165
162.05/162.16	c learnt constraints deletion: 4275 -> 2153
165.55/165.68	c learnt constraints deletion: 4251 -> 2135
169.36/169.40	c learnt constraints deletion: 4278 -> 2150
173.26/173.36	c learnt constraints deletion: 4304 -> 2167
176.76/176.85	c learnt constraints deletion: 4214 -> 2107
181.25/181.39	c learnt constraints deletion: 4203 -> 2105
185.86/185.99	c learnt constraints deletion: 4183 -> 2094
190.55/190.69	c learnt constraints deletion: 4228 -> 2118
194.55/194.64	c learnt constraints deletion: 4193 -> 2102
198.55/198.66	c learnt constraints deletion: 4259 -> 2137
202.85/202.95	c learnt constraints deletion: 4264 -> 2141
207.55/207.66	c learnt constraints deletion: 4208 -> 2105
212.45/212.53	c learnt constraints deletion: 4213 -> 2109
218.45/218.59	c learnt constraints deletion: 4215 -> 2111
222.75/222.82	c learnt constraints deletion: 4195 -> 2102
227.95/228.00	c learnt constraints deletion: 4207 -> 2110
232.94/233.06	c learnt constraints deletion: 4253 -> 2135
237.25/237.32	c learnt constraints deletion: 4212 -> 2116
241.54/241.60	c learnt constraints deletion: 4245 -> 2133
246.45/246.57	c learnt constraints deletion: 4540 -> 2270
251.34/251.44	c learnt constraints deletion: 4588 -> 2294
255.75/255.85	c learnt constraints deletion: 4605 -> 2306
261.14/261.26	c learnt constraints deletion: 4659 -> 2332
266.64/266.76	c learnt constraints deletion: 4600 -> 2301
271.84/271.94	c learnt constraints deletion: 4595 -> 2301
277.54/277.66	c learnt constraints deletion: 4637 -> 2321
283.64/283.70	c learnt constraints deletion: 4587 -> 2295
289.04/289.10	c learnt constraints deletion: 4643 -> 2324
294.34/294.40	c learnt constraints deletion: 4628 -> 2316
299.64/299.75	c learnt constraints deletion: 4622 -> 2316
304.65/304.74	c learnt constraints deletion: 4674 -> 2343
311.24/311.37	c learnt constraints deletion: 4624 -> 2315
317.44/317.58	c learnt constraints deletion: 4590 -> 2299
322.83/322.93	c learnt constraints deletion: 4614 -> 2318
329.03/329.10	c learnt constraints deletion: 4691 -> 2351
334.33/334.45	c learnt constraints deletion: 4676 -> 2347
340.13/340.29	c learnt constraints deletion: 4664 -> 2335
346.73/346.83	c learnt constraints deletion: 4681 -> 2345
351.83/351.91	c learnt constraints deletion: 4656 -> 2334
357.03/357.15	c learnt constraints deletion: 4692 -> 2353
362.63/362.75	c learnt constraints deletion: 4713 -> 2366
368.53/368.61	c learnt constraints deletion: 4716 -> 2369
373.52/373.63	c learnt constraints deletion: 4703 -> 2364
378.02/378.17	c learnt constraints deletion: 4720 -> 2375
382.63/382.73	c learnt constraints deletion: 4736 -> 2386
387.32/387.47	c learnt constraints deletion: 4647 -> 2330
392.52/392.60	c learnt constraints deletion: 4692 -> 2353
399.42/399.50	c learnt constraints deletion: 5105 -> 2562
404.72/404.89	c learnt constraints deletion: 5117 -> 2569
411.32/411.45	c learnt constraints deletion: 5166 -> 2598
416.93/417.08	c learnt constraints deletion: 5096 -> 2553
423.02/423.17	c learnt constraints deletion: 5096 -> 2554
429.42/429.52	c learnt constraints deletion: 5045 -> 2524
435.32/435.44	c learnt constraints deletion: 5044 -> 2524
441.92/442.08	c learnt constraints deletion: 5029 -> 2517
449.22/449.38	c learnt constraints deletion: 5175 -> 2589
455.42/455.58	c learnt constraints deletion: 5084 -> 2544
461.11/461.23	c learnt constraints deletion: 5167 -> 2588
466.22/466.36	c learnt constraints deletion: 5065 -> 2537
471.91/472.01	c learnt constraints deletion: 5002 -> 2503
479.01/479.15	c learnt constraints deletion: 5066 -> 2537
485.71/485.88	c learnt constraints deletion: 4999 -> 2502
492.51/492.65	c learnt constraints deletion: 5004 -> 2505
499.41/499.59	c learnt constraints deletion: 5138 -> 2575
504.70/504.90	c learnt constraints deletion: 5145 -> 2579
511.01/511.15	c learnt constraints deletion: 5048 -> 2526
517.91/518.00	c learnt constraints deletion: 5050 -> 2529
525.40/525.51	c learnt constraints deletion: 5023 -> 2514
533.00/533.18	c learnt constraints deletion: 5130 -> 2568
538.91/539.08	c learnt constraints deletion: 5015 -> 2512
545.70/545.84	c learnt constraints deletion: 5016 -> 2514
553.10/553.29	c learnt constraints deletion: 5056 -> 2531
560.70/560.84	c learnt constraints deletion: 5162 -> 2587
567.90/568.03	c learnt constraints deletion: 5082 -> 2546
575.49/575.63	c learnt constraints deletion: 5055 -> 2533
582.20/582.37	c learnt constraints deletion: 5096 -> 2555
589.29/589.42	c learnt constraints deletion: 5133 -> 2573
595.59/595.71	c learnt constraints deletion: 5059 -> 2538
601.79/601.92	c learnt constraints deletion: 5084 -> 2553
607.69/607.85	c learnt constraints deletion: 5044 -> 2530
615.18/615.33	c learnt constraints deletion: 5116 -> 2568
621.99/622.18	c learnt constraints deletion: 5163 -> 2593
629.09/629.30	c learnt constraints deletion: 5119 -> 2574
635.08/635.25	c learnt constraints deletion: 5146 -> 2590
643.09/643.26	c learnt constraints deletion: 5083 -> 2545
650.58/650.70	c learnt constraints deletion: 5071 -> 2544
659.99/660.13	c learnt constraints deletion: 5580 -> 2794
667.88/668.02	c learnt constraints deletion: 5589 -> 2801
673.48/673.69	c learnt constraints deletion: 5564 -> 2789
680.48/680.68	c learnt constraints deletion: 5507 -> 2760
688.18/688.37	c learnt constraints deletion: 5508 -> 2762
694.97/695.16	c learnt constraints deletion: 5559 -> 2787
701.58/701.78	c learnt constraints deletion: 5518 -> 2768
708.97/709.19	c learnt constraints deletion: 5556 -> 2788
715.37/715.51	c learnt constraints deletion: 5559 -> 2795
722.28/722.45	c learnt constraints deletion: 5581 -> 2803
728.87/729.08	c learnt constraints deletion: 5538 -> 2783
735.17/735.33	c learnt constraints deletion: 5606 -> 2819
742.17/742.39	c learnt constraints deletion: 5562 -> 2787
748.67/748.88	c learnt constraints deletion: 5536 -> 2775
755.76/755.99	c learnt constraints deletion: 5567 -> 2791
763.46/763.63	c learnt constraints deletion: 5615 -> 2820
770.36/770.59	c learnt constraints deletion: 5637 -> 2827
776.26/776.43	c learnt constraints deletion: 5611 -> 2816
783.36/783.51	c learnt constraints deletion: 5639 -> 2832
789.16/789.31	c learnt constraints deletion: 5564 -> 2794
796.27/796.42	c learnt constraints deletion: 5596 -> 2812
801.87/802.09	c learnt constraints deletion: 5581 -> 2805
808.47/808.67	c learnt constraints deletion: 5566 -> 2799
814.86/815.07	c learnt constraints deletion: 5654 -> 2846
822.25/822.43	c learnt constraints deletion: 5556 -> 2779
830.15/830.38	c learnt constraints deletion: 5566 -> 2784
838.25/838.43	c learnt constraints deletion: 5573 -> 2788
845.46/845.66	c learnt constraints deletion: 5489 -> 2747
853.65/853.82	c learnt constraints deletion: 5524 -> 2765
860.85/861.01	c learnt constraints deletion: 5508 -> 2757
869.25/869.40	c learnt constraints deletion: 5617 -> 2814
875.75/875.98	c learnt constraints deletion: 5511 -> 2761
882.85/883.04	c learnt constraints deletion: 5562 -> 2788
889.75/889.98	c learnt constraints deletion: 5512 -> 2765
895.15/895.36	c learnt constraints deletion: 5592 -> 2808
901.74/901.90	c learnt constraints deletion: 5519 -> 2764
909.94/910.15	c learnt constraints deletion: 5545 -> 2778
917.35/917.56	c learnt constraints deletion: 5575 -> 2794
924.74/924.92	c learnt constraints deletion: 5595 -> 2805
931.74/931.97	c learnt constraints deletion: 5553 -> 2787
938.24/938.47	c learnt constraints deletion: 5534 -> 2779
945.14/945.35	c learnt constraints deletion: 5658 -> 2845
951.54/951.74	c learnt constraints deletion: 5556 -> 2779
958.34/958.52	c learnt constraints deletion: 5556 -> 2780
967.03/967.23	c learnt constraints deletion: 5551 -> 2779
974.13/974.38	c learnt constraints deletion: 5610 -> 2809
980.13/980.36	c learnt constraints deletion: 5631 -> 2820
986.54/986.73	c learnt constraints deletion: 5641 -> 2826
994.13/994.39	c learnt constraints deletion: 5602 -> 2807
1000.33/1000.56	c learnt constraints deletion: 5611 -> 2815
1006.63/1006.83	c learnt constraints deletion: 5603 -> 2813
1012.12/1012.33	c learnt constraints deletion: 5627 -> 2827
1018.23/1018.43	c learnt constraints deletion: 5591 -> 2801
1025.13/1025.38	c learnt constraints deletion: 6198 -> 3105
1033.62/1033.83	c learnt constraints deletion: 6152 -> 3077
1041.63/1041.88	c learnt constraints deletion: 6078 -> 3039
1050.52/1050.71	c learnt constraints deletion: 6111 -> 3057
1059.71/1059.90	c learnt constraints deletion: 6121 -> 3064
1067.72/1067.92	c learnt constraints deletion: 6176 -> 3091
1071.02/1071.20	c solving time = 1070.944s
1071.02/1071.20	c #decision = 2790797
1071.02/1071.20	c #conflict = 460895
1071.02/1071.20	c #restart = 19
1071.02/1071.20	o 54437
1071.02/1071.20	c Solving starts ...
1071.02/1071.21	c learnt constraints deletion: 4388 -> 2194
1071.02/1071.21	c learnt constraints deletion: 2194 -> 1097
1071.02/1071.21	c learnt constraints deletion: 1097 -> 549
1071.02/1071.26	c solving time = 0.052s
1071.02/1071.26	c #decision = 2791030
1071.02/1071.26	c #conflict = 460901
1071.02/1071.26	c #restart = 19
1071.02/1071.26	o 54187
1071.02/1071.26	c Solving starts ...
1071.12/1071.31	c solving time = 0.050s
1071.12/1071.31	c #decision = 2791121
1071.12/1071.31	c #conflict = 460907
1071.12/1071.31	c #restart = 19
1071.12/1071.31	o 54077
1071.12/1071.31	c Solving starts ...
1071.61/1071.80	c solving time = 0.494s
1071.61/1071.80	c #decision = 2792595
1071.61/1071.80	c #conflict = 461004
1071.61/1071.80	c #restart = 19
1071.61/1071.80	o 53902
1071.61/1071.80	c Solving starts ...
1071.81/1072.09	c solving time = 0.291s
1071.81/1072.09	c #decision = 2792950
1071.81/1072.09	c #conflict = 461062
1071.81/1072.09	c #restart = 19
1071.81/1072.09	o 53869
1071.81/1072.10	c Solving starts ...
1073.32/1073.59	c solving time = 1.499s
1073.32/1073.59	c #decision = 2796922
1073.32/1073.59	c #conflict = 461530
1073.32/1073.59	c #restart = 21
1073.32/1073.59	o 53860
1073.32/1073.60	c Solving starts ...
1073.32/1073.60	c learnt constraints deletion: 1182 -> 591
1073.52/1073.75	c solving time = 0.153s
1073.52/1073.75	c #decision = 2797248
1073.52/1073.75	c #conflict = 461564
1073.52/1073.75	c #restart = 21
1073.52/1073.75	o 53852
1073.52/1073.75	c Solving starts ...
1075.82/1076.05	c learnt constraints deletion: 1410 -> 710
1078.62/1078.86	c learnt constraints deletion: 1708 -> 861
1081.61/1081.83	c learnt constraints deletion: 1837 -> 920
1084.51/1084.75	c learnt constraints deletion: 2071 -> 1040
1087.82/1088.01	c learnt constraints deletion: 2183 -> 1093
1090.41/1090.61	c learnt constraints deletion: 2155 -> 1080
1093.51/1093.72	c learnt constraints deletion: 2176 -> 1093
1097.21/1097.40	c learnt constraints deletion: 2455 -> 1228
1100.41/1100.64	c learnt constraints deletion: 2430 -> 1216
1104.01/1104.25	c learnt constraints deletion: 2445 -> 1227
1108.01/1108.25	c learnt constraints deletion: 2678 -> 1340
1111.51/1111.79	c learnt constraints deletion: 2736 -> 1374
1114.51/1114.76	c learnt constraints deletion: 2713 -> 1367
1117.80/1118.06	c learnt constraints deletion: 2711 -> 1360
1122.11/1122.37	c learnt constraints deletion: 3005 -> 1512
1125.31/1125.54	c learnt constraints deletion: 2920 -> 1461
1129.20/1129.46	c learnt constraints deletion: 2983 -> 1495
1132.81/1133.09	c learnt constraints deletion: 2850 -> 1425
1136.81/1137.04	c learnt constraints deletion: 2913 -> 1459
1141.01/1141.21	c learnt constraints deletion: 2922 -> 1467
1145.50/1145.79	c learnt constraints deletion: 3263 -> 1642
1149.51/1149.71	c learnt constraints deletion: 3187 -> 1596
1153.81/1154.09	c learnt constraints deletion: 3302 -> 1657
1157.50/1157.78	c learnt constraints deletion: 3218 -> 1613
1161.30/1161.59	c learnt constraints deletion: 3146 -> 1574
1165.70/1165.91	c learnt constraints deletion: 3195 -> 1600
1169.80/1170.07	c learnt constraints deletion: 3223 -> 1616
1173.29/1173.57	c learnt constraints deletion: 3231 -> 1623
1178.70/1178.96	c learnt constraints deletion: 3475 -> 1742
1183.09/1183.39	c learnt constraints deletion: 3565 -> 1793
1187.00/1187.27	c learnt constraints deletion: 3437 -> 1720
1191.79/1192.07	c learnt constraints deletion: 3550 -> 1775
1196.19/1196.45	c learnt constraints deletion: 3514 -> 1759
1200.69/1200.99	c learnt constraints deletion: 3540 -> 1772
1205.50/1205.72	c learnt constraints deletion: 3528 -> 1767
1210.09/1210.36	c learnt constraints deletion: 3524 -> 1767
1213.89/1214.13	c learnt constraints deletion: 3529 -> 1771
1218.49/1218.77	c learnt constraints deletion: 3553 -> 1785
1222.59/1222.87	c learnt constraints deletion: 3555 -> 1793
1227.49/1227.72	c solving time = 153.943s
1227.49/1227.72	c #decision = 3177937
1227.49/1227.72	c #conflict = 521181
1227.49/1227.72	c #restart = 35
1227.49/1227.72	o 53209
1227.49/1227.72	c Solving starts ...
1227.49/1227.73	c learnt constraints deletion: 3485 -> 1743
1227.49/1227.73	c learnt constraints deletion: 1743 -> 872
1227.59/1227.84	c solving time = 0.119s
1227.59/1227.84	c #decision = 3178229
1227.59/1227.84	c #conflict = 521195
1227.59/1227.84	c #restart = 35
1227.59/1227.84	o 53073
1227.59/1227.84	c Solving starts ...
1227.69/1227.92	c solving time = 0.076s
1227.69/1227.92	c #decision = 3178301
1227.69/1227.92	c #conflict = 521203
1227.69/1227.92	c #restart = 35
1227.69/1227.92	o 52963
1227.69/1227.92	c Solving starts ...
1228.09/1228.32	c learnt constraints deletion: 993 -> 497
1230.29/1230.56	c solving time = 2.642s
1230.29/1230.56	c #decision = 3182998
1230.29/1230.56	c #conflict = 522065
1230.29/1230.56	c #restart = 39
1230.29/1230.56	o 52957
1230.29/1230.56	c Solving starts ...
1230.29/1230.56	c learnt constraints deletion: 1256 -> 628
1230.29/1230.57	c solving time = 0.013s
1230.29/1230.57	c #decision = 3183036
1230.29/1230.57	c #conflict = 522065
1230.29/1230.57	c #restart = 39
1230.29/1230.57	o 52911
1230.29/1230.57	c Solving starts ...
1230.89/1231.17	c solving time = 0.592s
1230.89/1231.17	c #decision = 3183889
1230.89/1231.17	c #conflict = 522218
1230.89/1231.17	c #restart = 40
1230.89/1231.17	o 52899
1230.89/1231.17	c Solving starts ...
1232.48/1232.74	c learnt constraints deletion: 1252 -> 626
1235.20/1235.46	c learnt constraints deletion: 1469 -> 735
1236.69/1236.97	c solving time = 5.804s
1236.69/1236.97	c #decision = 3193394
1236.69/1236.97	c #conflict = 523976
1236.69/1236.97	c #restart = 45
1236.69/1236.97	o 52887
1236.69/1236.97	c Solving starts ...
1236.69/1236.98	c learnt constraints deletion: 1173 -> 587
1236.69/1236.99	c solving time = 0.015s
1236.69/1236.99	c #decision = 3193432
1236.69/1236.99	c #conflict = 523976
1236.69/1236.99	c #restart = 45
1236.69/1236.99	o 52841
1236.69/1236.99	c Solving starts ...
1236.79/1237.04	c solving time = 0.054s
1236.79/1237.04	c #decision = 3193482
1236.79/1237.04	c #conflict = 523979
1236.79/1237.04	c #restart = 45
1236.79/1237.04	o 52823
1236.79/1237.05	c Solving starts ...
1236.79/1237.06	c solving time = 0.015s
1236.79/1237.06	c #decision = 3193521
1236.79/1237.06	c #conflict = 523979
1236.79/1237.06	c #restart = 45
1236.79/1237.06	o 52777
1236.79/1237.06	c Solving starts ...
1239.59/1239.86	c learnt constraints deletion: 1397 -> 717
1242.99/1243.23	c learnt constraints deletion: 1743 -> 879
1246.28/1246.50	c learnt constraints deletion: 1891 -> 948
1249.68/1249.98	c learnt constraints deletion: 2037 -> 1021
1253.48/1253.70	c learnt constraints deletion: 2286 -> 1146
1256.69/1256.91	c learnt constraints deletion: 2215 -> 1113
1259.59/1259.88	c learnt constraints deletion: 2296 -> 1159
1263.89/1264.12	c learnt constraints deletion: 2521 -> 1267
1267.28/1267.53	c learnt constraints deletion: 2416 -> 1211
1271.08/1271.38	c learnt constraints deletion: 2503 -> 1254
1275.68/1275.90	c learnt constraints deletion: 2605 -> 1306
1280.08/1280.30	c learnt constraints deletion: 2639 -> 1326
1284.08/1284.31	c learnt constraints deletion: 2684 -> 1353
1287.99/1288.26	c learnt constraints deletion: 2713 -> 1372
1292.58/1292.89	c learnt constraints deletion: 2897 -> 1449
1296.68/1296.91	c learnt constraints deletion: 2913 -> 1458
1300.98/1301.29	c learnt constraints deletion: 2950 -> 1477
1305.38/1305.64	c learnt constraints deletion: 2952 -> 1479
1309.68/1309.94	c learnt constraints deletion: 2913 -> 1457
1313.98/1314.22	c learnt constraints deletion: 2897 -> 1451
1318.78/1319.06	c learnt constraints deletion: 3140 -> 1573
1323.47/1323.72	c learnt constraints deletion: 3178 -> 1589
1327.48/1327.77	c learnt constraints deletion: 3184 -> 1593
1331.37/1331.68	c learnt constraints deletion: 3175 -> 1594
1335.68/1335.91	c learnt constraints deletion: 3203 -> 1603
1339.68/1339.97	c learnt constraints deletion: 3160 -> 1582
1344.37/1344.67	c learnt constraints deletion: 3228 -> 1618
1348.38/1348.68	c learnt constraints deletion: 3194 -> 1599
1354.17/1354.49	c learnt constraints deletion: 3594 -> 1800
1358.76/1359.00	c learnt constraints deletion: 3516 -> 1761
1364.27/1364.53	c learnt constraints deletion: 3541 -> 1775
1370.16/1370.49	c learnt constraints deletion: 3559 -> 1785
1375.57/1375.88	c learnt constraints deletion: 3601 -> 1808
1380.86/1381.16	c learnt constraints deletion: 3576 -> 1796
1385.36/1385.65	c learnt constraints deletion: 3558 -> 1788
1390.06/1390.37	c learnt constraints deletion: 3585 -> 1804
1395.06/1395.36	c learnt constraints deletion: 3584 -> 1806
1399.76/1400.05	c learnt constraints deletion: 3573 -> 1792
1405.57/1405.83	c learnt constraints deletion: 3820 -> 1910
1411.16/1411.44	c learnt constraints deletion: 3909 -> 1956
1416.26/1416.58	c learnt constraints deletion: 3871 -> 1936
1421.75/1422.03	c learnt constraints deletion: 3824 -> 1914
1426.66/1426.93	c learnt constraints deletion: 3834 -> 1919
1431.96/1432.28	c learnt constraints deletion: 3947 -> 1978
1437.75/1438.01	c learnt constraints deletion: 3935 -> 1971
1443.55/1443.86	c learnt constraints deletion: 3893 -> 1949
1449.45/1449.72	c learnt constraints deletion: 3932 -> 1969
1454.65/1454.92	c learnt constraints deletion: 3896 -> 1950
1459.95/1460.27	c learnt constraints deletion: 3862 -> 1932
1465.45/1465.76	c learnt constraints deletion: 3875 -> 1940
1470.55/1470.85	c learnt constraints deletion: 3852 -> 1929
1476.25/1476.56	c learnt constraints deletion: 3943 -> 1977
1481.45/1481.75	c learnt constraints deletion: 3866 -> 1935
1487.65/1487.91	c learnt constraints deletion: 4166 -> 2087
1494.24/1494.53	c learnt constraints deletion: 4285 -> 2147
1500.55/1500.80	c learnt constraints deletion: 4213 -> 2107
1507.15/1507.49	c learnt constraints deletion: 4321 -> 2162
1513.34/1513.64	c learnt constraints deletion: 4182 -> 2092
1521.05/1521.36	c learnt constraints deletion: 4312 -> 2158
1527.44/1527.78	c learnt constraints deletion: 4280 -> 2141
1534.25/1534.59	c learnt constraints deletion: 4285 -> 2145
1540.14/1540.42	c learnt constraints deletion: 4276 -> 2140
1546.45/1546.73	c learnt constraints deletion: 4202 -> 2104
1553.34/1553.64	c learnt constraints deletion: 4266 -> 2136
1559.74/1560.07	c learnt constraints deletion: 4251 -> 2130
1566.14/1566.43	c learnt constraints deletion: 4195 -> 2103
1573.13/1573.48	c learnt constraints deletion: 4301 -> 2156
1579.63/1579.90	c learnt constraints deletion: 4224 -> 2119
1586.63/1586.91	c learnt constraints deletion: 4320 -> 2168
1593.03/1593.31	c learnt constraints deletion: 4206 -> 2111
1599.53/1599.86	c learnt constraints deletion: 4238 -> 2129
1606.73/1607.10	c learnt constraints deletion: 4261 -> 2142
1613.33/1613.67	c learnt constraints deletion: 4265 -> 2146
1620.33/1620.62	c learnt constraints deletion: 4158 -> 2080
1628.83/1629.16	c learnt constraints deletion: 4647 -> 2327
1636.42/1636.72	c learnt constraints deletion: 4717 -> 2363
1643.72/1644.01	c learnt constraints deletion: 4562 -> 2281
1651.52/1651.89	c learnt constraints deletion: 4672 -> 2338
1658.32/1658.62	c learnt constraints deletion: 4580 -> 2292
1665.91/1666.27	c learnt constraints deletion: 4700 -> 2355
1673.42/1673.74	c learnt constraints deletion: 4666 -> 2333
1680.31/1680.68	c learnt constraints deletion: 4649 -> 2327
1687.42/1687.71	c learnt constraints deletion: 4655 -> 2329
1693.72/1694.00	c learnt constraints deletion: 4590 -> 2296
1700.71/1701.01	c learnt constraints deletion: 4644 -> 2324
1707.51/1707.88	c learnt constraints deletion: 4684 -> 2346
1714.01/1714.31	c learnt constraints deletion: 4647 -> 2329
1720.91/1721.25	c learnt constraints deletion: 4679 -> 2348
1728.41/1728.75	c learnt constraints deletion: 4651 -> 2329
1735.80/1736.13	c learnt constraints deletion: 4595 -> 2302
1742.70/1743.05	c learnt constraints deletion: 4623 -> 2316
1749.70/1750.07	c learnt constraints deletion: 4649 -> 2332
1757.51/1757.84	c learnt constraints deletion: 4630 -> 2315
1765.21/1765.53	c learnt constraints deletion: 4578 -> 2291
1773.20/1773.50	c learnt constraints deletion: 4638 -> 2324
1780.20/1780.54	c learnt constraints deletion: 4621 -> 2312
1787.10/1787.48	c learnt constraints deletion: 4657 -> 2333
1793.80/1794.17	c learnt constraints deletion: 4706 -> 2357

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 10326
/proc/meminfo: memFree=30282884/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 792 0 0 0 0 0 0 0 20 0 1 0 279075557 6356992 712 33554432000 4194304 8973514 140737366868720 140737366868216 4656728 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 1552 712 415 1167 0 333 0

[startup+0.080319 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 10326
/proc/meminfo: memFree=30282884/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=9280 CPUtime=0.07 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 1380 0 0 0 7 0 0 0 20 0 1 0 279075557 9502720 1300 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 2320 1300 428 1167 0 1101 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9280

[startup+0.100165 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 10326
/proc/meminfo: memFree=30282884/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=9280 CPUtime=0.09 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 1546 0 0 0 9 0 0 0 20 0 1 0 279075557 9502720 1466 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 2320 1466 456 1167 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9280

[startup+0.300113 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 10326
/proc/meminfo: memFree=30282884/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=10304 CPUtime=0.29 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 1889 0 0 0 29 0 0 0 20 0 1 0 279075557 10551296 1809 33554432000 4194304 8973514 140737366868720 140737366867984 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 2576 1809 456 1167 0 1357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10304

[startup+0.700111 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 10326
/proc/meminfo: memFree=30282884/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=10304 CPUtime=0.69 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 1889 0 0 0 69 0 0 0 20 0 1 0 279075557 10551296 1809 33554432000 4194304 8973514 140737366868720 140737366867984 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 2576 1809 456 1167 0 1357 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10304

[startup+1.50013 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10327
/proc/meminfo: memFree=30276528/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=11328 CPUtime=1.49 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 2145 0 0 0 149 0 0 0 20 0 1 0 279075557 11599872 2065 33554432000 4194304 8973514 140737366868720 140737366867984 7937344 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 2832 2065 456 1167 0 1613 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11328

[startup+3.10015 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10327
/proc/meminfo: memFree=30275164/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=13376 CPUtime=3.09 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 2658 0 0 0 308 1 0 0 20 0 1 0 279075557 13697024 2578 33554432000 4194304 8973514 140737366868720 140737366868216 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 3344 2578 457 1167 0 2125 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13376

[startup+6.30017 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10327
/proc/meminfo: memFree=30272544/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=15424 CPUtime=6.28 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 3170 0 0 0 626 2 0 0 20 0 1 0 279075557 15794176 3090 33554432000 4194304 8973514 140737366868720 140737366868216 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 3856 3090 457 1167 0 2637 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15424

[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10327
/proc/meminfo: memFree=30270336/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=16448 CPUtime=12.69 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 3426 0 0 0 1263 6 0 0 20 0 1 0 279075557 16842752 3346 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 4112 3346 457 1167 0 2893 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16448

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10366
/proc/meminfo: memFree=30736180/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=18496 CPUtime=25.48 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 3938 0 0 0 2535 13 0 0 20 0 1 0 279075557 18939904 3858 33554432000 4194304 8973514 140737366868720 140737366867984 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 4624 3858 457 1167 0 3405 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18496

[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10366
/proc/meminfo: memFree=30691724/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=18496 CPUtime=51.08 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 4197 0 0 0 5083 25 0 0 20 0 1 0 279075557 18939904 3863 33554432000 4194304 8973514 140737366868720 140737366867984 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 4624 3863 457 1167 0 3405 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18496

[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 10366
/proc/meminfo: memFree=30689216/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=20544 CPUtime=102.28 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 4709 0 0 0 10180 48 0 0 20 0 1 0 279075557 21037056 4375 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 5136 4375 457 1167 0 3917 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 20544

[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 10369
/proc/meminfo: memFree=30687656/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=22592 CPUtime=162.26 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 5735 0 0 0 16147 79 0 0 20 0 1 0 279075557 23134208 4887 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 5648 4887 457 1167 0 4429 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 22592

[startup+222.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10370
/proc/meminfo: memFree=30685124/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=24640 CPUtime=222.26 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 6248 0 0 0 22119 107 0 0 20 0 1 0 279075557 25231360 5399 33554432000 4194304 8973514 140737366868720 140737366867984 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 6160 5399 457 1167 0 4941 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 24640

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10370
/proc/meminfo: memFree=30685064/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=24640 CPUtime=282.24 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 6248 0 0 0 28089 135 0 0 20 0 1 0 279075557 25231360 5399 33554432000 4194304 8973514 140737366868720 140737366867984 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 6160 5399 457 1167 0 4941 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 24640

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10370
/proc/meminfo: memFree=30685004/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=24640 CPUtime=342.23 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 6248 0 0 0 34058 165 0 0 20 0 1 0 279075557 25231360 5399 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 6160 5399 457 1167 0 4941 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 24640

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10370
/proc/meminfo: memFree=30681964/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=24640 CPUtime=402.22 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 6248 0 0 0 40025 197 0 0 20 0 1 0 279075557 25231360 5399 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 6160 5399 457 1167 0 4941 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 24640

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10370
/proc/meminfo: memFree=30680600/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=25664 CPUtime=462.22 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 6504 0 0 0 45991 231 0 0 20 0 1 0 279075557 26279936 5655 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 6416 5655 457 1167 0 5197 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 25664

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10371
/proc/meminfo: memFree=30679484/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=25664 CPUtime=522.2 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 6761 0 0 0 51959 261 0 0 20 0 1 0 279075557 26279936 5655 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 6416 5655 457 1167 0 5197 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 25664

[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10371
/proc/meminfo: memFree=30679856/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=25664 CPUtime=582.2 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 7017 0 0 0 57926 294 0 0 20 0 1 0 279075557 26279936 5655 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 6416 5655 457 1167 0 5197 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 25664

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10375
/proc/meminfo: memFree=30676652/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=28736 CPUtime=822.15 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 8810 0 0 0 81802 413 0 0 20 0 1 0 279075557 29425664 6423 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 7184 6423 457 1167 0 5965 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 28736

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10375
/proc/meminfo: memFree=30673984/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=28736 CPUtime=882.15 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 8810 0 0 0 87773 442 0 0 20 0 1 0 279075557 29425664 6423 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 7184 6423 457 1167 0 5965 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 28736

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10375
/proc/meminfo: memFree=30674420/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=28736 CPUtime=942.14 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 8810 0 0 0 93743 471 0 0 20 0 1 0 279075557 29425664 6423 33554432000 4194304 8973514 140737366868720 140737366867984 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 7184 6423 457 1167 0 5965 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 28736

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10375
/proc/meminfo: memFree=30675692/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=27712 CPUtime=1002.13 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 9322 0 0 0 99714 499 0 0 20 0 1 0 279075557 28377088 6167 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 6928 6167 457 1167 0 5709 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 27712

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10375
/proc/meminfo: memFree=30674576/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=28736 CPUtime=1062.12 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 9578 0 0 0 105685 527 0 0 20 0 1 0 279075557 29425664 6423 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 7184 6423 457 1167 0 5965 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 28736

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10375
/proc/meminfo: memFree=30680856/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=22592 CPUtime=1122.11 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 9836 0 0 0 111656 555 0 0 20 0 1 0 279075557 23134208 4887 33554432000 4194304 8973514 140737366868720 140737366867984 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 5648 4887 457 1167 0 4429 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 22592

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10376
/proc/meminfo: memFree=30678552/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=24640 CPUtime=1182.1 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 10349 0 0 0 117629 581 0 0 20 0 1 0 279075557 25231360 5399 33554432000 4194304 8973514 140737366868720 140737366867984 7937344 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 6160 5399 457 1167 0 4941 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 24640

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10376
/proc/meminfo: memFree=30677872/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=24640 CPUtime=1242.08 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 10349 0 0 0 123600 608 0 0 20 0 1 0 279075557 25231360 5399 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 6160 5399 457 1167 0 4941 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 24640

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10376
/proc/meminfo: memFree=30677748/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=24640 CPUtime=1302.07 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 10349 0 0 0 129571 636 0 0 20 0 1 0 279075557 25231360 5399 33554432000 4194304 8973514 140737366868720 140737366868216 4204685 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 6160 5399 457 1167 0 4941 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 24640

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10379
/proc/meminfo: memFree=30677124/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=24640 CPUtime=1362.07 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 10349 0 0 0 135544 663 0 0 20 0 1 0 279075557 25231360 5399 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 6160 5399 457 1167 0 4941 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 24640

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10402
/proc/meminfo: memFree=30676620/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=24640 CPUtime=1422.07 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 10349 0 0 0 141520 687 0 0 20 0 1 0 279075557 25231360 5399 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 6160 5399 457 1167 0 4941 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 24640

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10403
/proc/meminfo: memFree=30673404/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=25664 CPUtime=1482.04 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 10606 0 0 0 147491 713 0 0 20 0 1 0 279075557 26279936 5655 33554432000 4194304 8973514 140737366868720 140737366867984 4208870 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 6416 5655 457 1167 0 5197 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 25664

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10403
/proc/meminfo: memFree=30672352/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=26688 CPUtime=1542.04 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 10862 0 0 0 153465 739 0 0 20 0 1 0 279075557 27328512 5911 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 6672 5911 457 1167 0 5453 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 26688

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10403
/proc/meminfo: memFree=30670616/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=28736 CPUtime=1602.02 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 11374 0 0 0 159438 764 0 0 20 0 1 0 279075557 29425664 6423 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 7184 6423 457 1167 0 5965 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 28736

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10403
/proc/meminfo: memFree=30670488/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=28736 CPUtime=1662.02 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 11374 0 0 0 165412 790 0 0 20 0 1 0 279075557 29425664 6423 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 7184 6423 457 1167 0 5965 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 28736

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10403
/proc/meminfo: memFree=30670740/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=28736 CPUtime=1722.01 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 11374 0 0 0 171386 815 0 0 20 0 1 0 279075557 29425664 6423 33554432000 4194304 8973514 140737366868720 140737366867984 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 7184 6423 457 1167 0 5965 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 28736

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10404
/proc/meminfo: memFree=30670368/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=28736 CPUtime=1782 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 11374 0 0 0 177358 842 0 0 20 0 1 0 279075557 29425664 6423 33554432000 4194304 8973514 140737366868720 140737366868216 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 7184 6423 457 1167 0 5965 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 28736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10404
/proc/meminfo: memFree=30670120/32873648 swapFree=6860/6860
[pid=10326] ppid=10324 vsize=28736 CPUtime=1800 cores=0,2,4,6
/proc/10326/stat : 10326 (toysat) R 10324 10326 9979 0 -1 4202496 11374 0 0 0 179151 849 0 0 20 0 1 0 279075557 29425664 6423 33554432000 4194304 8973514 140737366868720 140737366867984 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10326/statm: 7184 6423 457 1167 0 5965 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 28736

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.31
CPU time (s): 1800.01
CPU user time (s): 1791.52
CPU system time (s): 8.49371
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 28736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.52
system time used= 8.49371
maximum resident set size= 25692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11374
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= 15
involuntary context switches= 1949

runsolver used 3.62145 second user time and 9.14361 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-27 16:38:15
IDJOB=3706258
IDBENCH=25044
IDSOLVER=2285
FILE ID=node116/3706258-1338129495
RUNJOBID= node116-1338124087-9995
PBS_JOBID= 14624506
Free space on /tmp= 71456 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706258-1338129495/watcher-3706258-1338129495 -o /tmp/evaluation-result-3706258-1338129495/solver-3706258-1338129495 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706258-1338129495.opb

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

MD5SUM BENCH= 3bc65171ee2bdd2ee7a63cc75f29f375
RANDOM SEED=63165708

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
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	: 5333.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30283248 kB
Buffers:          353712 kB
Cached:           858856 kB
SwapCached:         3240 kB
Active:          1318644 kB
Inactive:         435960 kB
Active(anon):     532876 kB
Inactive(anon):     8960 kB
Active(file):     785768 kB
Inactive(file):   427000 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103664 kB
Dirty:              7388 kB
Writeback:             0 kB
AnonPages:        543872 kB
Mapped:            14416 kB
Shmem:                96 kB
Slab:             698584 kB
SReclaimable:     143124 kB
SUnreclaim:       555460 kB
KernelStack:        1472 kB
PageTables:         5080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     654076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    522240 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= 71456 MiB
End job on node116 at 2012-05-27 17:08:17