Trace number 3707160

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.08 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-807456.opb
MD5SUM21cf0355c32a3177f2f6fa914b5dacc6
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1635
Total number of constraints840
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)840
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint9
Number of terms in the objective function 1635
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1635
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1635
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.29/0.30	c 2012-05-27T22:05:03+0200
0.29/0.30	c arch = x86_64
0.29/0.30	c os = linux
0.29/0.30	c compiler = ghc 7.4
0.29/0.30	c packages:
0.29/0.30	c   OptDir-0.0.1
0.29/0.30	c   array-0.4.0.0
0.29/0.30	c   base-4.5.0.0
0.29/0.30	c   bytestring-0.9.2.1
0.29/0.30	c   containers-0.4.2.1
0.29/0.30	c   deepseq-1.3.0.0
0.29/0.30	c   mtl-2.1.1
0.29/0.30	c   old_locale-1.0.0.4
0.29/0.30	c   parse_dimacs-1.2
0.29/0.30	c   parsec-3.1.2
0.29/0.30	c   queue-0.1.2
0.29/0.30	c   stm-2.3
0.29/0.30	c   time-1.4
0.29/0.30	c command line = ["--pb","HOME/instance-3707160-1338149103.opb"]
0.29/0.30	c #vars 1635
0.29/0.30	c #constraints 840
0.29/0.30	c Solving starts ...
1.39/1.49	c learnt constraints deletion: 2085 -> 1043
2.29/2.36	c learnt constraints deletion: 2354 -> 1177
3.09/3.15	c learnt constraints deletion: 2414 -> 1207
4.19/4.23	c learnt constraints deletion: 2828 -> 1420
5.39/5.42	c learnt constraints deletion: 3161 -> 1583
6.39/6.48	c learnt constraints deletion: 3082 -> 1551
7.49/7.56	c learnt constraints deletion: 3070 -> 1552
8.89/8.92	c learnt constraints deletion: 3371 -> 1698
9.99/10.05	c learnt constraints deletion: 3234 -> 1619
11.09/11.10	c learnt constraints deletion: 3175 -> 1594
12.19/12.26	c learnt constraints deletion: 3316 -> 1658
13.49/13.52	c learnt constraints deletion: 3555 -> 1781
14.89/14.94	c learnt constraints deletion: 3611 -> 1815
16.19/16.20	c learnt constraints deletion: 3522 -> 1771
17.49/17.58	c learnt constraints deletion: 3634 -> 1827
18.99/19.07	c learnt constraints deletion: 3854 -> 1927
20.48/20.50	c learnt constraints deletion: 3871 -> 1939
22.00/22.08	c learnt constraints deletion: 3972 -> 1997
23.39/23.43	c learnt constraints deletion: 3888 -> 1948
24.89/24.97	c learnt constraints deletion: 3901 -> 1959
26.39/26.42	c learnt constraints deletion: 3808 -> 1913
27.99/28.00	c learnt constraints deletion: 3802 -> 1906
29.70/29.76	c learnt constraints deletion: 4135 -> 2069
31.59/31.62	c learnt constraints deletion: 4408 -> 2206
33.08/33.14	c learnt constraints deletion: 3992 -> 1996
34.69/34.73	c learnt constraints deletion: 4152 -> 2077
36.38/36.45	c learnt constraints deletion: 4191 -> 2104
38.09/38.15	c learnt constraints deletion: 4214 -> 2110
39.88/39.92	c learnt constraints deletion: 4175 -> 2089
41.58/41.67	c learnt constraints deletion: 4307 -> 2158
43.28/43.38	c learnt constraints deletion: 4301 -> 2153
45.19/45.29	c learnt constraints deletion: 4570 -> 2286
47.08/47.14	c learnt constraints deletion: 4563 -> 2289
48.98/49.01	c learnt constraints deletion: 4555 -> 2282
50.88/50.92	c learnt constraints deletion: 4604 -> 2309
52.79/52.82	c learnt constraints deletion: 4541 -> 2280
54.58/54.69	c learnt constraints deletion: 4635 -> 2332
56.48/56.55	c learnt constraints deletion: 4612 -> 2317
58.19/58.23	c learnt constraints deletion: 4534 -> 2276
60.18/60.22	c learnt constraints deletion: 4665 -> 2345
61.98/62.02	c learnt constraints deletion: 4469 -> 2254
63.79/63.87	c learnt constraints deletion: 4570 -> 2301
65.68/65.76	c learnt constraints deletion: 4490 -> 2263
67.78/67.87	c learnt constraints deletion: 4797 -> 2399
69.88/69.91	c learnt constraints deletion: 4859 -> 2432
71.88/71.92	c learnt constraints deletion: 4868 -> 2439
73.88/73.94	c learnt constraints deletion: 4923 -> 2470
75.88/75.91	c learnt constraints deletion: 4869 -> 2442
77.88/77.98	c learnt constraints deletion: 4914 -> 2464
79.98/80.06	c learnt constraints deletion: 4948 -> 2482
82.28/82.30	c learnt constraints deletion: 5060 -> 2535
84.18/84.23	c learnt constraints deletion: 4916 -> 2463
86.38/86.42	c learnt constraints deletion: 5029 -> 2523
88.58/88.63	c learnt constraints deletion: 5120 -> 2571
90.67/90.72	c learnt constraints deletion: 5066 -> 2543
92.68/92.72	c learnt constraints deletion: 4845 -> 2432
94.78/94.85	c learnt constraints deletion: 4934 -> 2476
96.87/96.98	c learnt constraints deletion: 4853 -> 2435
99.18/99.27	c learnt constraints deletion: 5122 -> 2565
101.38/101.41	c learnt constraints deletion: 5129 -> 2572
103.47/103.50	c learnt constraints deletion: 4980 -> 2494
105.78/105.84	c learnt constraints deletion: 5340 -> 2673
108.18/108.23	c learnt constraints deletion: 5600 -> 2811
110.57/110.65	c learnt constraints deletion: 5670 -> 2852
112.87/112.97	c learnt constraints deletion: 5577 -> 2804
115.17/115.24	c learnt constraints deletion: 5539 -> 2775
117.48/117.50	c learnt constraints deletion: 5448 -> 2738
119.67/119.75	c learnt constraints deletion: 5360 -> 2684
121.98/122.09	c learnt constraints deletion: 5458 -> 2738
124.17/124.29	c learnt constraints deletion: 5349 -> 2676
126.38/126.43	c learnt constraints deletion: 5446 -> 2737
128.58/128.62	c learnt constraints deletion: 5405 -> 2726
130.87/130.94	c learnt constraints deletion: 5409 -> 2731
133.17/133.25	c learnt constraints deletion: 5475 -> 2767
135.57/135.63	c learnt constraints deletion: 5497 -> 2783
137.87/137.96	c learnt constraints deletion: 5445 -> 2759
140.26/140.31	c learnt constraints deletion: 5440 -> 2755
142.57/142.68	c learnt constraints deletion: 5667 -> 2870
144.77/144.88	c learnt constraints deletion: 5467 -> 2767
147.16/147.21	c learnt constraints deletion: 5495 -> 2781
149.48/149.55	c learnt constraints deletion: 5466 -> 2760
151.87/151.93	c learnt constraints deletion: 5472 -> 2757
154.27/154.35	c learnt constraints deletion: 5441 -> 2739
156.67/156.71	c learnt constraints deletion: 5386 -> 2716
159.06/159.19	c learnt constraints deletion: 5462 -> 2749
161.77/161.89	c learnt constraints deletion: 5889 -> 2971
164.47/164.56	c learnt constraints deletion: 6089 -> 3083
167.08/167.12	c learnt constraints deletion: 5934 -> 3001
169.66/169.70	c learnt constraints deletion: 5897 -> 2980
172.26/172.30	c learnt constraints deletion: 5995 -> 3033
174.87/174.92	c learnt constraints deletion: 5933 -> 2985
177.66/177.77	c learnt constraints deletion: 6001 -> 3017
180.16/180.28	c learnt constraints deletion: 5887 -> 2959
182.97/183.03	c learnt constraints deletion: 5922 -> 2976
185.66/185.73	c learnt constraints deletion: 6026 -> 3030
188.37/188.41	c learnt constraints deletion: 5972 -> 3003
191.06/191.17	c learnt constraints deletion: 5898 -> 2964
193.86/193.92	c learnt constraints deletion: 6052 -> 3046
196.66/196.71	c learnt constraints deletion: 5978 -> 3005
199.26/199.34	c learnt constraints deletion: 6009 -> 3021
201.96/202.06	c learnt constraints deletion: 6165 -> 3100
204.36/204.49	c learnt constraints deletion: 5963 -> 3002
206.96/207.09	c learnt constraints deletion: 5935 -> 2982
209.46/209.57	c learnt constraints deletion: 5918 -> 2977
212.27/212.36	c learnt constraints deletion: 6159 -> 3099
214.86/214.99	c learnt constraints deletion: 6043 -> 3047
217.56/217.62	c learnt constraints deletion: 5975 -> 3019
220.15/220.24	c learnt constraints deletion: 6045 -> 3051
222.85/222.95	c learnt constraints deletion: 6093 -> 3078
225.66/225.70	c learnt constraints deletion: 6089 -> 3065
228.26/228.33	c learnt constraints deletion: 5889 -> 2965
230.86/230.99	c learnt constraints deletion: 5954 -> 2996
233.55/233.62	c learnt constraints deletion: 6078 -> 3063
236.26/236.39	c learnt constraints deletion: 6045 -> 3048
239.06/239.14	c learnt constraints deletion: 6009 -> 3031
241.75/241.90	c learnt constraints deletion: 6031 -> 3037
244.65/244.74	c learnt constraints deletion: 6026 -> 3035
247.46/247.55	c learnt constraints deletion: 6081 -> 3062
250.66/250.72	c learnt constraints deletion: 6621 -> 3325
253.55/253.64	c learnt constraints deletion: 6468 -> 3249
256.55/256.65	c learnt constraints deletion: 6483 -> 3259
259.65/259.70	c learnt constraints deletion: 6525 -> 3283
262.65/262.75	c learnt constraints deletion: 6549 -> 3293
265.75/265.87	c learnt constraints deletion: 6647 -> 3347
268.75/268.88	c learnt constraints deletion: 6587 -> 3311
271.85/271.90	c learnt constraints deletion: 6654 -> 3350
274.86/274.94	c learnt constraints deletion: 6652 -> 3350
277.95/278.01	c learnt constraints deletion: 6590 -> 3312
280.85/280.98	c learnt constraints deletion: 6644 -> 3340
283.95/284.05	c learnt constraints deletion: 6563 -> 3299
286.85/286.93	c learnt constraints deletion: 6586 -> 3310
289.75/289.89	c learnt constraints deletion: 6606 -> 3327
292.95/293.03	c learnt constraints deletion: 6611 -> 3330
296.14/296.22	c learnt constraints deletion: 6721 -> 3387
299.15/299.25	c learnt constraints deletion: 6526 -> 3288
302.46/302.50	c learnt constraints deletion: 6674 -> 3358
305.54/305.60	c learnt constraints deletion: 6604 -> 3324
308.64/308.70	c learnt constraints deletion: 6503 -> 3278
311.74/311.89	c learnt constraints deletion: 6695 -> 3367
314.75/314.88	c learnt constraints deletion: 6582 -> 3314
317.54/317.65	c learnt constraints deletion: 6542 -> 3275
320.44/320.51	c learnt constraints deletion: 6588 -> 3301
323.44/323.50	c learnt constraints deletion: 6536 -> 3281
326.34/326.48	c learnt constraints deletion: 6557 -> 3293
329.44/329.56	c learnt constraints deletion: 6640 -> 3334
332.44/332.56	c learnt constraints deletion: 6624 -> 3316
335.44/335.52	c learnt constraints deletion: 6692 -> 3349
338.34/338.41	c learnt constraints deletion: 6622 -> 3314
341.24/341.35	c learnt constraints deletion: 6600 -> 3308
344.34/344.46	c learnt constraints deletion: 6649 -> 3334
347.33/347.45	c learnt constraints deletion: 6595 -> 3314
350.24/350.30	c learnt constraints deletion: 6487 -> 3249
353.04/353.10	c learnt constraints deletion: 6418 -> 3218
356.04/356.14	c learnt constraints deletion: 6511 -> 3271
358.93/359.02	c learnt constraints deletion: 6504 -> 3270
361.84/361.99	c learnt constraints deletion: 6437 -> 3234
365.14/365.26	c learnt constraints deletion: 6658 -> 3346
368.13/368.20	c learnt constraints deletion: 6538 -> 3277
371.13/371.20	c learnt constraints deletion: 6550 -> 3288
374.44/374.51	c learnt constraints deletion: 6644 -> 3336
377.44/377.55	c learnt constraints deletion: 6620 -> 3322
380.44/380.57	c learnt constraints deletion: 6481 -> 3251
384.23/384.36	c learnt constraints deletion: 7241 -> 3636
387.63/387.77	c learnt constraints deletion: 7155 -> 3585
391.33/391.46	c learnt constraints deletion: 7398 -> 3718
394.63/394.73	c learnt constraints deletion: 7108 -> 3572
398.43/398.57	c learnt constraints deletion: 7270 -> 3658
401.73/401.84	c learnt constraints deletion: 7259 -> 3648
405.13/405.28	c learnt constraints deletion: 7213 -> 3626
408.53/408.66	c learnt constraints deletion: 7305 -> 3672
412.03/412.13	c learnt constraints deletion: 7171 -> 3609
415.43/415.52	c learnt constraints deletion: 7079 -> 3570
418.83/418.98	c learnt constraints deletion: 7242 -> 3658
422.52/422.67	c learnt constraints deletion: 7321 -> 3697
426.03/426.13	c learnt constraints deletion: 7197 -> 3637
429.62/429.71	c learnt constraints deletion: 7194 -> 3631
433.12/433.29	c learnt constraints deletion: 7198 -> 3627
436.63/436.74	c learnt constraints deletion: 7286 -> 3677
440.13/440.24	c learnt constraints deletion: 7118 -> 3586
443.63/443.73	c learnt constraints deletion: 7160 -> 3606
447.12/447.20	c learnt constraints deletion: 7288 -> 3674
450.42/450.56	c learnt constraints deletion: 7118 -> 3587
453.82/453.95	c learnt constraints deletion: 7096 -> 3573
457.43/457.50	c learnt constraints deletion: 7099 -> 3571
460.91/461.06	c learnt constraints deletion: 7189 -> 3619
464.32/464.44	c learnt constraints deletion: 7196 -> 3626
467.71/467.89	c learnt constraints deletion: 7246 -> 3650
471.11/471.21	c learnt constraints deletion: 7198 -> 3628
474.41/474.53	c learnt constraints deletion: 7229 -> 3640
477.71/477.80	c learnt constraints deletion: 7189 -> 3626
481.01/481.10	c learnt constraints deletion: 7286 -> 3662
484.21/484.33	c learnt constraints deletion: 7218 -> 3635
487.71/487.83	c learnt constraints deletion: 7302 -> 3681
491.01/491.18	c learnt constraints deletion: 7153 -> 3607
494.51/494.66	c learnt constraints deletion: 7246 -> 3643
497.91/498.07	c learnt constraints deletion: 7153 -> 3595
501.41/501.51	c learnt constraints deletion: 7193 -> 3615
504.91/505.06	c learnt constraints deletion: 7341 -> 3692
508.41/508.58	c learnt constraints deletion: 7291 -> 3668
511.51/511.69	c learnt constraints deletion: 7076 -> 3561
514.90/515.07	c learnt constraints deletion: 7193 -> 3622
518.11/518.24	c learnt constraints deletion: 7158 -> 3603
521.31/521.42	c learnt constraints deletion: 7197 -> 3631
524.51/524.67	c learnt constraints deletion: 7193 -> 3625
527.91/528.06	c learnt constraints deletion: 7326 -> 3699
531.11/531.28	c learnt constraints deletion: 7254 -> 3660
534.51/534.60	c learnt constraints deletion: 7271 -> 3667
537.81/537.99	c learnt constraints deletion: 7268 -> 3670
541.10/541.21	c learnt constraints deletion: 7118 -> 3595
544.40/544.58	c learnt constraints deletion: 7209 -> 3633
547.71/547.86	c learnt constraints deletion: 7242 -> 3654
551.10/551.20	c learnt constraints deletion: 7206 -> 3634
554.31/554.41	c learnt constraints deletion: 7169 -> 3610
557.51/557.68	c learnt constraints deletion: 7231 -> 3644
561.00/561.11	c learnt constraints deletion: 7240 -> 3651
564.30/564.42	c learnt constraints deletion: 7226 -> 3641
567.50/567.68	c learnt constraints deletion: 7262 -> 3651
571.00/571.15	c learnt constraints deletion: 7284 -> 3668
574.40/574.59	c learnt constraints deletion: 7267 -> 3657
577.89/578.04	c learnt constraints deletion: 7188 -> 3620
581.39/581.55	c learnt constraints deletion: 7217 -> 3630
584.79/584.96	c learnt constraints deletion: 7121 -> 3584
587.99/588.12	c learnt constraints deletion: 7127 -> 3578
591.19/591.36	c learnt constraints deletion: 7088 -> 3556
595.40/595.59	c learnt constraints deletion: 7994 -> 4020
599.19/599.32	c learnt constraints deletion: 7918 -> 3968
602.59/602.78	c learnt constraints deletion: 7884 -> 3948
606.20/606.37	c learnt constraints deletion: 7771 -> 3900
609.79/609.99	c learnt constraints deletion: 7743 -> 3881
613.69/613.89	c learnt constraints deletion: 7883 -> 3954
617.49/617.64	c learnt constraints deletion: 7835 -> 3930
621.30/621.45	c learnt constraints deletion: 7829 -> 3928
624.89/625.09	c learnt constraints deletion: 7914 -> 3968
628.69/628.86	c learnt constraints deletion: 7911 -> 3970
631.98/632.15	c learnt constraints deletion: 7757 -> 3891
635.69/635.84	c learnt constraints deletion: 7911 -> 3969
639.18/639.39	c learnt constraints deletion: 7797 -> 3912
642.78/642.99	c learnt constraints deletion: 7769 -> 3900
646.59/646.74	c learnt constraints deletion: 7836 -> 3933
650.18/650.39	c learnt constraints deletion: 7882 -> 3957
653.98/654.13	c learnt constraints deletion: 7874 -> 3954
657.59/657.75	c learnt constraints deletion: 7915 -> 3980
661.19/661.38	c learnt constraints deletion: 7764 -> 3905
664.88/665.08	c learnt constraints deletion: 7757 -> 3904
668.78/668.91	c learnt constraints deletion: 7896 -> 3965
672.48/672.68	c learnt constraints deletion: 7884 -> 3966
676.08/676.29	c learnt constraints deletion: 7800 -> 3914
679.78/679.95	c learnt constraints deletion: 7859 -> 3946
683.47/683.61	c learnt constraints deletion: 7863 -> 3950
687.38/687.52	c learnt constraints deletion: 7892 -> 3966
691.08/691.26	c learnt constraints deletion: 7842 -> 3938
694.87/695.10	c learnt constraints deletion: 7823 -> 3931
698.67/698.88	c learnt constraints deletion: 7883 -> 3963
702.47/702.66	c learnt constraints deletion: 7856 -> 3944
706.27/706.42	c learnt constraints deletion: 7923 -> 3981
709.97/710.16	c learnt constraints deletion: 7873 -> 3955
713.77/713.92	c learnt constraints deletion: 7904 -> 3972
717.38/717.58	c learnt constraints deletion: 7979 -> 4003
720.98/721.13	c learnt constraints deletion: 7894 -> 3964
724.47/724.69	c learnt constraints deletion: 7915 -> 3983
728.17/728.35	c learnt constraints deletion: 7946 -> 3998
731.87/732.04	c learnt constraints deletion: 7834 -> 3943
735.47/735.62	c learnt constraints deletion: 7950 -> 3989
739.08/739.22	c learnt constraints deletion: 7843 -> 3937
742.87/743.07	c learnt constraints deletion: 7952 -> 3994
746.57/746.78	c learnt constraints deletion: 7952 -> 3995
750.27/750.44	c learnt constraints deletion: 7953 -> 3999
753.96/754.18	c learnt constraints deletion: 7853 -> 3943
757.87/758.00	c learnt constraints deletion: 7968 -> 4006
761.67/761.82	c learnt constraints deletion: 7788 -> 3906
765.47/765.66	c learnt constraints deletion: 7946 -> 3994
769.36/769.54	c learnt constraints deletion: 7881 -> 3954
773.07/773.21	c learnt constraints deletion: 7850 -> 3939
776.77/776.95	c learnt constraints deletion: 7866 -> 3949
780.56/780.78	c learnt constraints deletion: 7874 -> 3952
784.36/784.58	c learnt constraints deletion: 7905 -> 3965
788.16/788.30	c learnt constraints deletion: 7832 -> 3929
791.87/792.04	c learnt constraints deletion: 7855 -> 3944
795.66/795.87	c learnt constraints deletion: 7815 -> 3924
799.46/799.61	c learnt constraints deletion: 7921 -> 3978
803.36/803.51	c learnt constraints deletion: 7964 -> 4005
807.05/807.23	c learnt constraints deletion: 8038 -> 4037
810.75/810.99	c learnt constraints deletion: 7982 -> 4006
814.66/814.82	c learnt constraints deletion: 7999 -> 4016
818.66/818.80	c learnt constraints deletion: 8080 -> 4057
822.15/822.34	c learnt constraints deletion: 7950 -> 3989
825.86/826.01	c learnt constraints deletion: 8027 -> 4033
829.55/829.76	c learnt constraints deletion: 7971 -> 4004
833.45/833.69	c learnt constraints deletion: 7982 -> 4009
837.25/837.43	c learnt constraints deletion: 7946 -> 3988
841.05/841.27	c learnt constraints deletion: 7907 -> 3971
844.84/845.03	c learnt constraints deletion: 7803 -> 3916
848.44/848.67	c learnt constraints deletion: 7897 -> 3970
852.25/852.42	c learnt constraints deletion: 7854 -> 3949
855.94/856.19	c learnt constraints deletion: 7912 -> 3973
859.75/859.99	c learnt constraints deletion: 7965 -> 3998
863.45/863.61	c learnt constraints deletion: 7876 -> 3953
867.25/867.42	c learnt constraints deletion: 7994 -> 4014
870.95/871.18	c learnt constraints deletion: 7935 -> 3993
874.85/875.06	c learnt constraints deletion: 8011 -> 4027
878.55/878.70	c learnt constraints deletion: 8083 -> 4061
881.95/882.20	c learnt constraints deletion: 7836 -> 3938
885.84/886.02	c learnt constraints deletion: 7939 -> 3996
889.65/889.88	c learnt constraints deletion: 8007 -> 4028
893.54/893.71	c learnt constraints deletion: 7997 -> 4013
897.04/897.27	c learnt constraints deletion: 8006 -> 4017
900.54/900.78	c learnt constraints deletion: 7914 -> 3980
904.44/904.61	c learnt constraints deletion: 7817 -> 3930
909.24/909.44	c learnt constraints deletion: 8732 -> 4390
913.54/913.77	c learnt constraints deletion: 8758 -> 4401
917.74/917.91	c learnt constraints deletion: 8701 -> 4369
922.04/922.22	c learnt constraints deletion: 8514 -> 4268
926.54/926.73	c learnt constraints deletion: 8638 -> 4332
930.44/930.68	c learnt constraints deletion: 8561 -> 4297
934.44/934.60	c learnt constraints deletion: 8632 -> 4340
938.23/938.44	c learnt constraints deletion: 8610 -> 4328
942.13/942.30	c learnt constraints deletion: 8654 -> 4350
946.14/946.33	c learnt constraints deletion: 8672 -> 4360
949.93/950.11	c learnt constraints deletion: 8665 -> 4367
953.93/954.13	c learnt constraints deletion: 8676 -> 4375
957.94/958.17	c learnt constraints deletion: 8596 -> 4337
962.34/962.51	c learnt constraints deletion: 8827 -> 4453
966.33/966.57	c learnt constraints deletion: 8684 -> 4371
970.43/970.62	c learnt constraints deletion: 8765 -> 4413
974.43/974.66	c learnt constraints deletion: 8662 -> 4353
978.43/978.66	c learnt constraints deletion: 8555 -> 4305
982.62/982.84	c learnt constraints deletion: 8656 -> 4352
986.72/986.95	c learnt constraints deletion: 8537 -> 4298
990.84/991.09	c learnt constraints deletion: 8626 -> 4343
994.92/995.14	c learnt constraints deletion: 8722 -> 4380
998.92/999.18	c learnt constraints deletion: 8738 -> 4393
1002.83/1003.04	c learnt constraints deletion: 8593 -> 4316
1006.93/1007.16	c learnt constraints deletion: 8689 -> 4366
1010.92/1011.10	c learnt constraints deletion: 8571 -> 4307
1014.92/1015.19	c learnt constraints deletion: 8738 -> 4388
1018.92/1019.11	c learnt constraints deletion: 8633 -> 4342
1023.12/1023.38	c learnt constraints deletion: 8658 -> 4347
1027.02/1027.26	c learnt constraints deletion: 8695 -> 4368
1031.22/1031.41	c learnt constraints deletion: 8781 -> 4415
1035.11/1035.34	c learnt constraints deletion: 8623 -> 4344
1039.41/1039.68	c learnt constraints deletion: 8756 -> 4405
1043.52/1043.80	c learnt constraints deletion: 8653 -> 4344
1047.71/1047.91	c learnt constraints deletion: 8644 -> 4339
1051.82/1052.01	c learnt constraints deletion: 8658 -> 4347
1055.82/1056.08	c learnt constraints deletion: 8682 -> 4358
1059.91/1060.12	c learnt constraints deletion: 8591 -> 4327
1064.02/1064.24	c learnt constraints deletion: 8657 -> 4358
1068.21/1068.40	c learnt constraints deletion: 8563 -> 4311
1072.22/1072.46	c learnt constraints deletion: 8594 -> 4317
1076.52/1076.80	c learnt constraints deletion: 8690 -> 4367
1080.71/1080.97	c learnt constraints deletion: 8583 -> 4313
1084.71/1084.93	c learnt constraints deletion: 8485 -> 4264
1089.01/1089.27	c learnt constraints deletion: 8651 -> 4348
1093.22/1093.48	c learnt constraints deletion: 8632 -> 4338
1097.52/1097.73	c learnt constraints deletion: 8572 -> 4307
1101.91/1102.11	c learnt constraints deletion: 8683 -> 4366
1106.21/1106.48	c learnt constraints deletion: 8589 -> 4317
1110.51/1110.71	c learnt constraints deletion: 8632 -> 4340
1114.41/1114.66	c learnt constraints deletion: 8675 -> 4359
1118.41/1118.67	c learnt constraints deletion: 8631 -> 4336
1122.70/1122.94	c learnt constraints deletion: 8699 -> 4371
1127.00/1127.20	c learnt constraints deletion: 8532 -> 4285
1131.20/1131.42	c learnt constraints deletion: 8567 -> 4303
1135.20/1135.43	c learnt constraints deletion: 8645 -> 4347
1139.41/1139.62	c learnt constraints deletion: 8639 -> 4344
1143.39/1143.67	c learnt constraints deletion: 8555 -> 4301
1147.50/1147.79	c learnt constraints deletion: 8542 -> 4297
1152.00/1152.29	c learnt constraints deletion: 8709 -> 4378
1156.19/1156.43	c learnt constraints deletion: 8586 -> 4313
1160.39/1160.62	c learnt constraints deletion: 8588 -> 4313
1164.70/1164.96	c learnt constraints deletion: 8616 -> 4327
1168.89/1169.14	c learnt constraints deletion: 8597 -> 4319
1173.09/1173.32	c learnt constraints deletion: 8597 -> 4319
1177.39/1177.69	c learnt constraints deletion: 8633 -> 4337
1181.59/1181.85	c learnt constraints deletion: 8681 -> 4360
1185.79/1186.02	c learnt constraints deletion: 8621 -> 4334
1190.19/1190.40	c learnt constraints deletion: 8744 -> 4390
1194.29/1194.60	c learnt constraints deletion: 8665 -> 4355
1198.18/1198.45	c learnt constraints deletion: 8649 -> 4343
1202.48/1202.78	c learnt constraints deletion: 8704 -> 4371
1206.68/1206.93	c learnt constraints deletion: 8612 -> 4324
1210.69/1210.99	c learnt constraints deletion: 8633 -> 4336
1215.19/1215.49	c learnt constraints deletion: 8797 -> 4421
1219.69/1219.90	c learnt constraints deletion: 8725 -> 4382
1224.09/1224.30	c learnt constraints deletion: 8689 -> 4365
1228.39/1228.66	c learnt constraints deletion: 8679 -> 4359
1232.89/1233.18	c learnt constraints deletion: 8718 -> 4379
1237.18/1237.45	c learnt constraints deletion: 8682 -> 4362
1241.68/1241.95	c learnt constraints deletion: 8625 -> 4338
1245.99/1246.28	c learnt constraints deletion: 8646 -> 4345
1250.28/1250.58	c learnt constraints deletion: 8655 -> 4350
1254.78/1255.08	c learnt constraints deletion: 8741 -> 4391
1259.28/1259.50	c learnt constraints deletion: 8677 -> 4361
1263.58/1263.89	c learnt constraints deletion: 8692 -> 4366
1267.98/1268.30	c learnt constraints deletion: 8786 -> 4414
1272.57/1272.85	c learnt constraints deletion: 8753 -> 4396
1276.57/1276.84	c learnt constraints deletion: 8664 -> 4357
1280.77/1281.06	c learnt constraints deletion: 8606 -> 4330
1285.07/1285.39	c learnt constraints deletion: 8759 -> 4410
1289.47/1289.79	c learnt constraints deletion: 8776 -> 4410
1293.87/1294.13	c learnt constraints deletion: 8828 -> 4434
1298.17/1298.40	c learnt constraints deletion: 8585 -> 4316
1302.46/1302.78	c learnt constraints deletion: 8768 -> 4403
1306.36/1306.67	c learnt constraints deletion: 8609 -> 4326
1310.47/1310.77	c learnt constraints deletion: 8494 -> 4270
1315.07/1315.37	c learnt constraints deletion: 8720 -> 4384
1319.36/1319.61	c learnt constraints deletion: 8546 -> 4298
1324.17/1324.43	c learnt constraints deletion: 8666 -> 4359
1328.57/1328.89	c learnt constraints deletion: 8634 -> 4342
1333.17/1333.41	c learnt constraints deletion: 8648 -> 4348
1337.86/1338.10	c learnt constraints deletion: 8704 -> 4380
1342.36/1342.67	c learnt constraints deletion: 8658 -> 4354
1346.86/1347.18	c learnt constraints deletion: 8555 -> 4305
1351.67/1351.95	c learnt constraints deletion: 8647 -> 4354
1356.46/1356.74	c learnt constraints deletion: 8854 -> 4452
1360.96/1361.21	c learnt constraints deletion: 8635 -> 4347
1365.76/1366.02	c learnt constraints deletion: 8641 -> 4343
1369.96/1370.29	c learnt constraints deletion: 8563 -> 4309
1374.66/1374.91	c learnt constraints deletion: 8715 -> 4381
1378.85/1379.17	c learnt constraints deletion: 8502 -> 4269
1383.24/1383.51	c learnt constraints deletion: 8601 -> 4323
1387.35/1387.67	c learnt constraints deletion: 8619 -> 4331
1391.65/1391.90	c learnt constraints deletion: 8519 -> 4282
1396.95/1397.20	c learnt constraints deletion: 9494 -> 4773
1401.65/1401.96	c learnt constraints deletion: 9376 -> 4710
1406.44/1406.77	c learnt constraints deletion: 9332 -> 4666
1411.44/1411.77	c learnt constraints deletion: 9436 -> 4726
1416.04/1416.38	c learnt constraints deletion: 9394 -> 4702
1421.14/1421.41	c learnt constraints deletion: 9359 -> 4686
1426.04/1426.34	c learnt constraints deletion: 9588 -> 4807
1431.04/1431.38	c learnt constraints deletion: 9588 -> 4809
1435.74/1436.03	c learnt constraints deletion: 9398 -> 4712
1440.74/1441.05	c learnt constraints deletion: 9349 -> 4680
1445.64/1445.93	c learnt constraints deletion: 9275 -> 4644
1450.54/1450.81	c learnt constraints deletion: 9415 -> 4712
1455.34/1455.61	c learnt constraints deletion: 9446 -> 4727
1460.14/1460.49	c learnt constraints deletion: 9570 -> 4792
1465.14/1465.46	c learnt constraints deletion: 9529 -> 4773
1470.24/1470.56	c learnt constraints deletion: 9520 -> 4771
1475.44/1475.72	c learnt constraints deletion: 9350 -> 4682
1480.43/1480.72	c learnt constraints deletion: 9476 -> 4746
1485.33/1485.66	c learnt constraints deletion: 9489 -> 4751
1490.33/1490.66	c learnt constraints deletion: 9496 -> 4752
1495.02/1495.38	c learnt constraints deletion: 9489 -> 4752
1499.73/1500.09	c learnt constraints deletion: 9468 -> 4746
1504.42/1504.73	c learnt constraints deletion: 9443 -> 4726
1508.93/1509.22	c learnt constraints deletion: 9435 -> 4736
1513.52/1513.82	c learnt constraints deletion: 9428 -> 4731
1518.32/1518.66	c learnt constraints deletion: 9508 -> 4779
1523.12/1523.47	c learnt constraints deletion: 9484 -> 4750
1527.71/1528.07	c learnt constraints deletion: 9517 -> 4776
1532.51/1532.84	c learnt constraints deletion: 9411 -> 4729
1537.43/1537.74	c learnt constraints deletion: 9390 -> 4704
1542.11/1542.41	c learnt constraints deletion: 9327 -> 4677
1547.01/1547.34	c learnt constraints deletion: 9448 -> 4741
1551.92/1552.27	c learnt constraints deletion: 9491 -> 4759
1556.81/1557.19	c learnt constraints deletion: 9457 -> 4752
1561.81/1562.12	c learnt constraints deletion: 9539 -> 4794
1566.61/1566.96	c learnt constraints deletion: 9570 -> 4814
1571.62/1571.94	c learnt constraints deletion: 9619 -> 4835
1576.51/1576.88	c learnt constraints deletion: 9417 -> 4717
1581.42/1581.75	c learnt constraints deletion: 9509 -> 4769
1586.40/1586.73	c learnt constraints deletion: 9634 -> 4826
1591.20/1591.52	c learnt constraints deletion: 9413 -> 4719
1596.11/1596.47	c learnt constraints deletion: 9530 -> 4778
1601.10/1601.46	c learnt constraints deletion: 9285 -> 4651
1606.41/1606.73	c learnt constraints deletion: 9495 -> 4758
1611.31/1611.64	c learnt constraints deletion: 9506 -> 4776
1616.10/1616.40	c learnt constraints deletion: 9577 -> 4798
1620.90/1621.23	c learnt constraints deletion: 9478 -> 4771
1626.20/1626.57	c learnt constraints deletion: 9528 -> 4797
1631.20/1631.54	c learnt constraints deletion: 9526 -> 4774
1636.29/1636.68	c learnt constraints deletion: 9618 -> 4820
1640.90/1641.29	c learnt constraints deletion: 9526 -> 4772
1645.49/1645.82	c learnt constraints deletion: 9475 -> 4752
1650.70/1651.08	c learnt constraints deletion: 9580 -> 4819
1655.69/1656.00	c learnt constraints deletion: 9559 -> 4791
1660.49/1660.85	c learnt constraints deletion: 9504 -> 4764
1665.49/1665.88	c learnt constraints deletion: 9556 -> 4785
1670.39/1670.74	c learnt constraints deletion: 9660 -> 4845
1675.00/1675.36	c learnt constraints deletion: 9333 -> 4693
1679.78/1680.16	c learnt constraints deletion: 9529 -> 4792
1684.49/1684.83	c learnt constraints deletion: 9524 -> 4790
1689.19/1689.59	c learnt constraints deletion: 9387 -> 4730
1694.28/1694.61	c learnt constraints deletion: 9487 -> 4775
1698.98/1699.39	c learnt constraints deletion: 9421 -> 4757
1703.58/1703.97	c learnt constraints deletion: 9497 -> 4760
1708.28/1708.62	c learnt constraints deletion: 9391 -> 4710
1713.18/1713.55	c learnt constraints deletion: 9485 -> 4755
1717.98/1718.30	c learnt constraints deletion: 9565 -> 4797
1722.77/1723.16	c learnt constraints deletion: 9506 -> 4768
1727.58/1727.99	c learnt constraints deletion: 9476 -> 4752
1732.58/1732.95	c learnt constraints deletion: 9479 -> 4757
1737.78/1738.12	c learnt constraints deletion: 9432 -> 4733
1742.78/1743.19	c learnt constraints deletion: 9485 -> 4758
1747.77/1748.17	c learnt constraints deletion: 9559 -> 4792
1752.77/1753.10	c learnt constraints deletion: 9556 -> 4790
1757.48/1757.88	c learnt constraints deletion: 9498 -> 4764
1762.17/1762.52	c learnt constraints deletion: 9523 -> 4779
1766.77/1767.18	c learnt constraints deletion: 9456 -> 4743
1771.47/1771.82	c learnt constraints deletion: 9409 -> 4722
1775.97/1776.36	c learnt constraints deletion: 9552 -> 4791
1780.57/1780.94	c learnt constraints deletion: 9518 -> 4770
1785.16/1785.55	c learnt constraints deletion: 9570 -> 4801
1789.67/1790.09	c learnt constraints deletion: 9511 -> 4768
1794.16/1794.58	c learnt constraints deletion: 9497 -> 4767
1798.77/1799.17	c learnt constraints deletion: 9529 -> 4781

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-3707160-1338149103/watcher-3707160-1338149103 -o /tmp/evaluation-result-3707160-1338149103/solver-3707160-1338149103 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707160-1338149103.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.99 3/176 17336
/proc/meminfo: memFree=26852260/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 824 0 0 0 0 0 0 0 20 0 1 0 281036243 7405568 745 33554432000 4194304 8973514 140735266144528 140736931674136 4209325 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 1808 745 412 1167 0 589 0

[startup+0.0814479 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 17336
/proc/meminfo: memFree=26852260/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=9280 CPUtime=0.07 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 1421 0 0 0 7 0 0 0 20 0 1 0 281036243 9502720 1342 33554432000 4194304 8973514 140735266144528 140736931674136 6662674 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 2320 1342 434 1167 0 1101 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9280

[startup+0.100222 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 17336
/proc/meminfo: memFree=26852260/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=9280 CPUtime=0.09 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 1421 0 0 0 9 0 0 0 20 0 1 0 281036243 9502720 1342 33554432000 4194304 8973514 140735266144528 140736931674136 6662674 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 2320 1342 434 1167 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9280

[startup+0.300227 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 17336
/proc/meminfo: memFree=26852260/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=9280 CPUtime=0.29 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 1421 0 0 0 29 0 0 0 20 0 1 0 281036243 9502720 1342 33554432000 4194304 8973514 140735266144528 140735266144024 6662674 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 2320 1342 434 1167 0 1101 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9280

[startup+0.700252 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 17336
/proc/meminfo: memFree=26852260/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=11328 CPUtime=0.69 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 2133 0 0 0 69 0 0 0 20 0 1 0 281036243 11599872 2054 33554432000 4194304 8973514 140735266144528 140735266144024 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 2832 2054 445 1167 0 1613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11328

[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 17337
/proc/meminfo: memFree=26844308/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=14400 CPUtime=1.49 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 2902 0 0 0 148 1 0 0 20 0 1 0 281036243 14745600 2823 33554432000 4194304 8973514 140735266144528 140735266144024 4356144 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 3600 2823 446 1167 0 2381 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14400

[startup+3.10029 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 17337
/proc/meminfo: memFree=26842060/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=15424 CPUtime=3.09 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 3158 0 0 0 308 1 0 0 20 0 1 0 281036243 15794176 3079 33554432000 4194304 8973514 140735266144528 140735266144024 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 3856 3079 446 1167 0 2637 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15424

[startup+6.30026 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 17337
/proc/meminfo: memFree=26838216/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=17472 CPUtime=6.29 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 3670 0 0 0 626 3 0 0 20 0 1 0 281036243 17891328 3591 33554432000 4194304 8973514 140735266144528 140735266143792 6570484 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 4368 3591 446 1167 0 3149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17472

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 17337
/proc/meminfo: memFree=26829496/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=19520 CPUtime=12.69 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 4182 0 0 0 1265 4 0 0 20 0 1 0 281036243 19988480 4103 33554432000 4194304 8973514 140735266144528 140735266144024 4390204 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 4880 4103 446 1167 0 3661 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19520

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 17337
/proc/meminfo: memFree=26830664/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=19520 CPUtime=25.49 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 4182 0 0 0 2541 8 0 0 20 0 1 0 281036243 19988480 4103 33554432000 4194304 8973514 140735266144528 140735266144024 4357080 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 4880 4103 446 1167 0 3661 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19520

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 17337
/proc/meminfo: memFree=26827988/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=22592 CPUtime=51.08 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 4950 0 0 0 5091 17 0 0 20 0 1 0 281036243 23134208 4871 33554432000 4194304 8973514 140735266144528 140735266144024 7707296 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 5648 4871 446 1167 0 4429 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22592

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 17338
/proc/meminfo: memFree=26828280/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=22592 CPUtime=102.28 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 5974 0 0 0 10194 34 0 0 20 0 1 0 281036243 23134208 4871 33554432000 4194304 8973514 140735266144528 140735266144024 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 5648 4871 446 1167 0 4429 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 22592

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 17338
/proc/meminfo: memFree=26824344/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=25664 CPUtime=162.26 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 6998 0 0 0 16178 48 0 0 20 0 1 0 281036243 26279936 5639 33554432000 4194304 8973514 140735266144528 140735266144024 4540120 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 6416 5639 446 1167 0 5197 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 25664

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 17338
/proc/meminfo: memFree=26824748/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=25664 CPUtime=222.25 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 7254 0 0 0 22161 64 0 0 20 0 1 0 281036243 26279936 5639 33554432000 4194304 8973514 140735266144528 140735266143792 6842903 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 6416 5639 446 1167 0 5197 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 25664

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 17338
/proc/meminfo: memFree=26822048/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=28736 CPUtime=282.25 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 9558 0 0 0 28143 82 0 0 20 0 1 0 281036243 29425664 6407 33554432000 4194304 8973514 140735266144528 140735266144024 7716772 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 7184 6407 446 1167 0 5965 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 28736

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 17341
/proc/meminfo: memFree=26823196/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=27712 CPUtime=342.24 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 10326 0 0 0 34128 96 0 0 20 0 1 0 281036243 28377088 6151 33554432000 4194304 8973514 140735266144528 140735266144024 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 6928 6151 446 1167 0 5709 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 27712

[startup+402.3 s]
/proc/loadavg: 2.08 2.01 2.00 3/177 17342
/proc/meminfo: memFree=26820628/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=29760 CPUtime=402.23 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 13654 0 0 0 40108 115 0 0 20 0 1 0 281036243 30474240 6663 33554432000 4194304 8973514 140735266144528 140735266143792 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 7440 6663 446 1167 0 6221 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 29760

[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17381
/proc/meminfo: memFree=28764028/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=29760 CPUtime=462.21 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 15195 0 0 0 46089 132 0 0 20 0 1 0 281036243 30474240 6663 33554432000 4194304 8973514 140735266144528 140735266143792 4426672 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 7440 6663 446 1167 0 6221 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 29760

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 17419
/proc/meminfo: memFree=28702776/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=29760 CPUtime=522.21 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 15708 0 0 0 52073 148 0 0 20 0 1 0 281036243 30474240 6663 33554432000 4194304 8973514 140735266144528 140735266143792 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 7440 6663 446 1167 0 6221 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 29760

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17419
/proc/meminfo: memFree=28682296/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=29760 CPUtime=582.19 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 17757 0 0 0 58054 165 0 0 20 0 1 0 281036243 30474240 6663 33554432000 4194304 8973514 140735266144528 140735266143792 7720528 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 7440 6663 446 1167 0 6221 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 29760

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17420
/proc/meminfo: memFree=28640552/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=33856 CPUtime=822.15 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 31589 0 0 0 81982 233 0 0 20 0 1 0 281036243 34668544 7687 33554432000 4194304 8973514 140735266144528 140735266144024 4209357 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8464 7687 446 1167 0 7245 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 33856

[startup+882.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 17420
/proc/meminfo: memFree=28642200/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=33856 CPUtime=882.15 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 32613 0 0 0 87963 252 0 0 20 0 1 0 281036243 34668544 7687 33554432000 4194304 8973514 140735266144528 140735266144024 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8464 7687 446 1167 0 7245 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 33856

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 17423
/proc/meminfo: memFree=28641400/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=33856 CPUtime=942.13 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 37221 0 0 0 93944 269 0 0 20 0 1 0 281036243 34668544 7687 33554432000 4194304 8973514 140735266144528 140735266144024 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8464 7687 446 1167 0 7245 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 33856

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17423
/proc/meminfo: memFree=28643452/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=32832 CPUtime=1002.12 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 38757 0 0 0 99925 287 0 0 20 0 1 0 281036243 33619968 7431 33554432000 4194304 8973514 140735266144528 140735266144024 4214011 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8208 7431 446 1167 0 6989 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 32832

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17424
/proc/meminfo: memFree=28640600/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=33856 CPUtime=1062.11 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 41063 0 0 0 105908 303 0 0 20 0 1 0 281036243 34668544 7687 33554432000 4194304 8973514 140735266144528 140735266144024 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8464 7687 446 1167 0 7245 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 33856

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17424
/proc/meminfo: memFree=28640892/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=33856 CPUtime=1122.11 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 43367 0 0 0 111889 322 0 0 20 0 1 0 281036243 34668544 7687 33554432000 4194304 8973514 140735266144528 140735266144024 4427592 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8464 7687 446 1167 0 7245 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 33856

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17424
/proc/meminfo: memFree=28615876/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=33856 CPUtime=1182.09 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 45420 0 0 0 117871 338 0 0 20 0 1 0 281036243 34668544 7687 33554432000 4194304 8973514 140735266144528 140735266144024 7680164 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8464 7687 446 1167 0 7245 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 33856

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17424
/proc/meminfo: memFree=28614864/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=33856 CPUtime=1242.08 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 48236 0 0 0 123854 354 0 0 20 0 1 0 281036243 34668544 7687 33554432000 4194304 8973514 140735266144528 140735266144024 4442596 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8464 7687 446 1167 0 7245 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 33856

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17425
/proc/meminfo: memFree=28614428/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=33856 CPUtime=1302.07 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 52336 0 0 0 129836 371 0 0 20 0 1 0 281036243 34668544 7687 33554432000 4194304 8973514 140735266144528 140735266144024 4442444 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8464 7687 446 1167 0 7245 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 33856

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17426
/proc/meminfo: memFree=28609864/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=33856 CPUtime=1362.06 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 56176 0 0 0 135818 388 0 0 20 0 1 0 281036243 34668544 7687 33554432000 4194304 8973514 140735266144528 140735266144024 7680183 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8464 7687 446 1167 0 7245 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 33856

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17426
/proc/meminfo: memFree=28612744/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=33856 CPUtime=1422.04 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 59769 0 0 0 141801 403 0 0 20 0 1 0 281036243 34668544 7687 33554432000 4194304 8973514 140735266144528 140735266144024 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8464 7687 446 1167 0 7245 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 33856

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17426
/proc/meminfo: memFree=28622520/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=35904 CPUtime=1482.03 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 64121 0 0 0 147783 420 0 0 20 0 1 0 281036243 36765696 8199 33554432000 4194304 8973514 140735266144528 140735266144024 4441929 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8976 8199 446 1167 0 7757 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 35904

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17429
/proc/meminfo: memFree=28611716/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=35904 CPUtime=1542.01 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 67204 0 0 0 153765 436 0 0 20 0 1 0 281036243 36765696 8199 33554432000 4194304 8973514 140735266144528 140735266144024 6570484 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8976 8199 446 1167 0 7757 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 35904

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17429
/proc/meminfo: memFree=28603432/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=33856 CPUtime=1602 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 72836 0 0 0 159747 453 0 0 20 0 1 0 281036243 34668544 7687 33554432000 4194304 8973514 140735266144528 140735266144024 6571863 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8464 7687 446 1167 0 7245 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 33856

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17430
/proc/meminfo: memFree=28604044/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=37952 CPUtime=1661.99 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 77708 0 0 0 165729 470 0 0 20 0 1 0 281036243 38862848 8711 33554432000 4194304 8973514 140735266144528 140735266144024 4372911 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 9488 8711 446 1167 0 8269 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 37952

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17430
/proc/meminfo: memFree=28611608/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=35904 CPUtime=1721.98 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 81036 0 0 0 171712 486 0 0 20 0 1 0 281036243 36765696 8199 33554432000 4194304 8973514 140735266144528 140735266143792 4427192 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8976 8199 446 1167 0 7757 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 35904

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17430
/proc/meminfo: memFree=28609100/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=33856 CPUtime=1781.97 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 85905 0 0 0 177694 503 0 0 20 0 1 0 281036243 34668544 7687 33554432000 4194304 8973514 140735266144528 140735266144024 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8464 7687 446 1167 0 7245 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 33856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17430
/proc/meminfo: memFree=28608856/32873648 swapFree=7372/7372
[pid=17336] ppid=17334 vsize=34880 CPUtime=1800.07 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17334 17336 12124 0 -1 4202496 87953 0 0 0 179499 508 0 0 20 0 1 0 281036243 35717120 7943 33554432000 4194304 8973514 140735266144528 140735266144024 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17336/statm: 8720 7943 446 1167 0 7501 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 34880

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1795
CPU system time (s): 5.08323
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 41024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795
system time used= 5.08323
maximum resident set size= 37916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87953
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= 62
involuntary context switches= 1849

runsolver used 3.25251 second user time and 9.63254 second system time

The end

Launcher Data 

Begin job on node122 at 2012-05-27 22:05:03
IDJOB=3707160
IDBENCH=89856
IDSOLVER=2285
FILE ID=node122/3707160-1338149103
RUNJOBID= node122-1338119311-12141
PBS_JOBID= 14624476
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-807456.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707160-1338149103/watcher-3707160-1338149103 -o /tmp/evaluation-result-3707160-1338149103/solver-3707160-1338149103 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3707160-1338149103.opb

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

MD5SUM BENCH= 21cf0355c32a3177f2f6fa914b5dacc6
RANDOM SEED=1285078165

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
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:        26852904 kB
Buffers:          313128 kB
Cached:          2944172 kB
SwapCached:            0 kB
Active:          3155152 kB
Inactive:        2060140 kB
Active(anon):    1949468 kB
Inactive(anon):    11052 kB
Active(file):    1205684 kB
Inactive(file):  2049088 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7376 kB
Writeback:             0 kB
AnonPages:       1964920 kB
Mapped:            15572 kB
Shmem:               200 kB
Slab:             660840 kB
SReclaimable:     105204 kB
SUnreclaim:       555636 kB
KernelStack:        1456 kB
PageTables:         7800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2072828 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= 71680 MiB
End job on node122 at 2012-05-27 22:35:05