Trace number 3725533

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-06-01? (TO) 1800.06 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.19/0.29	c 2012-06-02T15:12:01+0200
0.19/0.29	c arch = x86_64
0.19/0.29	c os = linux
0.19/0.29	c compiler = ghc 7.4
0.19/0.29	c packages:
0.19/0.29	c   OptDir-0.0.1
0.19/0.29	c   array-0.4.0.0
0.19/0.29	c   base-4.5.0.0
0.19/0.29	c   bytestring-0.9.2.1
0.19/0.29	c   containers-0.4.2.1
0.19/0.29	c   deepseq-1.3.0.0
0.19/0.29	c   mtl-2.1.1
0.19/0.29	c   old_locale-1.0.0.4
0.19/0.29	c   parse_dimacs-1.2
0.19/0.29	c   parsec-3.1.2
0.19/0.29	c   queue-0.1.2
0.19/0.29	c   stm-2.3
0.19/0.29	c   time-1.4
0.19/0.29	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725533-1338642721.opb"]
0.19/0.29	c #vars 1635
0.19/0.29	c #constraints 840
0.19/0.29	c Solving starts ...
1.39/1.49	c learnt constraints deletion: 2085 -> 1043
2.29/2.35	c learnt constraints deletion: 2354 -> 1177
3.09/3.14	c learnt constraints deletion: 2414 -> 1207
4.19/4.22	c learnt constraints deletion: 2828 -> 1420
5.39/5.40	c learnt constraints deletion: 3161 -> 1583
6.39/6.47	c learnt constraints deletion: 3082 -> 1551
7.48/7.55	c learnt constraints deletion: 3070 -> 1552
8.89/8.91	c learnt constraints deletion: 3371 -> 1698
10.00/10.04	c learnt constraints deletion: 3234 -> 1619
10.99/11.08	c learnt constraints deletion: 3175 -> 1594
12.19/12.25	c learnt constraints deletion: 3316 -> 1658
13.49/13.52	c learnt constraints deletion: 3555 -> 1781
14.88/14.93	c learnt constraints deletion: 3611 -> 1815
16.09/16.19	c learnt constraints deletion: 3522 -> 1771
17.49/17.57	c learnt constraints deletion: 3634 -> 1827
18.99/19.06	c learnt constraints deletion: 3854 -> 1927
20.38/20.49	c learnt constraints deletion: 3871 -> 1939
21.99/22.07	c learnt constraints deletion: 3972 -> 1997
23.38/23.42	c learnt constraints deletion: 3888 -> 1948
24.89/24.96	c learnt constraints deletion: 3901 -> 1959
26.39/26.41	c learnt constraints deletion: 3808 -> 1913
27.88/27.99	c learnt constraints deletion: 3802 -> 1906
29.69/29.75	c learnt constraints deletion: 4135 -> 2069
31.58/31.60	c learnt constraints deletion: 4408 -> 2206
33.09/33.13	c learnt constraints deletion: 3992 -> 1996
34.69/34.71	c learnt constraints deletion: 4152 -> 2077
36.39/36.43	c learnt constraints deletion: 4191 -> 2104
38.09/38.13	c learnt constraints deletion: 4214 -> 2110
39.78/39.89	c learnt constraints deletion: 4175 -> 2089
41.58/41.64	c learnt constraints deletion: 4307 -> 2158
43.28/43.36	c learnt constraints deletion: 4301 -> 2153
45.19/45.27	c learnt constraints deletion: 4570 -> 2286
47.08/47.12	c learnt constraints deletion: 4563 -> 2289
48.88/48.98	c learnt constraints deletion: 4555 -> 2282
50.88/50.90	c learnt constraints deletion: 4604 -> 2309
52.68/52.79	c learnt constraints deletion: 4541 -> 2280
54.58/54.66	c learnt constraints deletion: 4635 -> 2332
56.48/56.53	c learnt constraints deletion: 4612 -> 2317
58.08/58.19	c learnt constraints deletion: 4534 -> 2276
60.18/60.20	c learnt constraints deletion: 4665 -> 2345
61.88/61.99	c learnt constraints deletion: 4469 -> 2254
63.79/63.84	c learnt constraints deletion: 4570 -> 2301
65.68/65.74	c learnt constraints deletion: 4490 -> 2263
67.78/67.84	c learnt constraints deletion: 4797 -> 2399
69.77/69.88	c learnt constraints deletion: 4859 -> 2432
71.68/71.78	c learnt constraints deletion: 4868 -> 2439
73.57/73.68	c learnt constraints deletion: 4923 -> 2470
75.47/75.53	c learnt constraints deletion: 4869 -> 2442
77.38/77.47	c learnt constraints deletion: 4914 -> 2464
79.37/79.41	c learnt constraints deletion: 4948 -> 2482
81.48/81.52	c learnt constraints deletion: 5060 -> 2535
83.27/83.36	c learnt constraints deletion: 4916 -> 2463
85.38/85.45	c learnt constraints deletion: 5029 -> 2523
87.48/87.57	c learnt constraints deletion: 5120 -> 2571
89.47/89.56	c learnt constraints deletion: 5066 -> 2543
91.37/91.46	c learnt constraints deletion: 4845 -> 2432
93.48/93.50	c learnt constraints deletion: 4934 -> 2476
95.47/95.53	c learnt constraints deletion: 4853 -> 2435
97.67/97.73	c learnt constraints deletion: 5122 -> 2565
99.67/99.77	c learnt constraints deletion: 5129 -> 2572
101.67/101.77	c learnt constraints deletion: 4980 -> 2494
103.97/104.03	c learnt constraints deletion: 5340 -> 2673
106.27/106.33	c learnt constraints deletion: 5600 -> 2811
108.57/108.63	c learnt constraints deletion: 5670 -> 2852
110.77/110.87	c learnt constraints deletion: 5577 -> 2804
112.97/113.05	c learnt constraints deletion: 5539 -> 2775
115.17/115.24	c learnt constraints deletion: 5448 -> 2738
117.27/117.40	c learnt constraints deletion: 5360 -> 2684
119.57/119.65	c learnt constraints deletion: 5458 -> 2738
121.67/121.75	c learnt constraints deletion: 5349 -> 2676
123.76/123.83	c learnt constraints deletion: 5446 -> 2737
125.87/125.96	c learnt constraints deletion: 5405 -> 2726
128.17/128.20	c learnt constraints deletion: 5409 -> 2731
130.37/130.41	c learnt constraints deletion: 5475 -> 2767
132.57/132.70	c learnt constraints deletion: 5497 -> 2783
134.87/134.96	c learnt constraints deletion: 5445 -> 2759
137.17/137.22	c learnt constraints deletion: 5440 -> 2755
139.47/139.52	c learnt constraints deletion: 5667 -> 2870
141.56/141.60	c learnt constraints deletion: 5467 -> 2767
143.77/143.80	c learnt constraints deletion: 5495 -> 2781
145.96/146.00	c learnt constraints deletion: 5466 -> 2760
148.16/148.22	c learnt constraints deletion: 5472 -> 2757
150.46/150.51	c learnt constraints deletion: 5441 -> 2739
152.66/152.74	c learnt constraints deletion: 5386 -> 2716
154.96/155.06	c learnt constraints deletion: 5462 -> 2749
157.56/157.61	c learnt constraints deletion: 5889 -> 2971
160.06/160.13	c learnt constraints deletion: 6089 -> 3083
162.46/162.54	c learnt constraints deletion: 5934 -> 3001
164.86/164.98	c learnt constraints deletion: 5897 -> 2980
167.36/167.45	c learnt constraints deletion: 5995 -> 3033
169.86/169.93	c learnt constraints deletion: 5933 -> 2985
172.56/172.61	c learnt constraints deletion: 6001 -> 3017
174.86/174.97	c learnt constraints deletion: 5887 -> 2959
177.46/177.57	c learnt constraints deletion: 5922 -> 2976
180.05/180.11	c learnt constraints deletion: 6026 -> 3030
182.56/182.65	c learnt constraints deletion: 5972 -> 3003
185.16/185.25	c learnt constraints deletion: 5898 -> 2964
187.75/187.83	c learnt constraints deletion: 6052 -> 3046
190.36/190.47	c learnt constraints deletion: 5978 -> 3005
192.86/192.95	c learnt constraints deletion: 6009 -> 3021
195.46/195.53	c learnt constraints deletion: 6165 -> 3100
197.75/197.83	c learnt constraints deletion: 5963 -> 3002
200.16/200.30	c learnt constraints deletion: 5935 -> 2982
202.56/202.65	c learnt constraints deletion: 5918 -> 2977
205.15/205.28	c learnt constraints deletion: 6159 -> 3099
207.65/207.77	c learnt constraints deletion: 6043 -> 3047
210.16/210.23	c learnt constraints deletion: 5975 -> 3019
212.66/212.70	c learnt constraints deletion: 6045 -> 3051
215.15/215.25	c learnt constraints deletion: 6093 -> 3078
217.75/217.87	c learnt constraints deletion: 6089 -> 3065
220.25/220.39	c learnt constraints deletion: 5889 -> 2965
222.75/222.88	c learnt constraints deletion: 5954 -> 2996
225.25/225.34	c learnt constraints deletion: 6078 -> 3063
227.85/227.94	c learnt constraints deletion: 6045 -> 3048
230.45/230.51	c learnt constraints deletion: 6009 -> 3031
232.95/233.09	c learnt constraints deletion: 6031 -> 3037
235.65/235.74	c learnt constraints deletion: 6026 -> 3035
238.24/238.37	c learnt constraints deletion: 6081 -> 3062
241.24/241.35	c learnt constraints deletion: 6621 -> 3325
243.95/244.07	c learnt constraints deletion: 6468 -> 3249
246.85/246.90	c learnt constraints deletion: 6483 -> 3259
249.65/249.77	c learnt constraints deletion: 6525 -> 3283
252.54/252.66	c learnt constraints deletion: 6549 -> 3293
255.54/255.60	c learnt constraints deletion: 6647 -> 3347
258.35/258.47	c learnt constraints deletion: 6587 -> 3311
261.25/261.36	c learnt constraints deletion: 6654 -> 3350
264.14/264.27	c learnt constraints deletion: 6652 -> 3350
267.14/267.22	c learnt constraints deletion: 6590 -> 3312
270.04/270.10	c learnt constraints deletion: 6644 -> 3340
272.95/273.05	c learnt constraints deletion: 6563 -> 3299
275.75/275.85	c learnt constraints deletion: 6586 -> 3310
278.54/278.69	c learnt constraints deletion: 6606 -> 3327
281.64/281.71	c learnt constraints deletion: 6611 -> 3330
284.64/284.79	c learnt constraints deletion: 6721 -> 3387
287.64/287.71	c learnt constraints deletion: 6526 -> 3288
290.74/290.86	c learnt constraints deletion: 6674 -> 3358
293.75/293.84	c learnt constraints deletion: 6604 -> 3324
296.74/296.83	c learnt constraints deletion: 6503 -> 3278
299.84/299.91	c learnt constraints deletion: 6695 -> 3367
302.74/302.81	c learnt constraints deletion: 6582 -> 3314
305.33/305.46	c learnt constraints deletion: 6542 -> 3275
308.14/308.24	c learnt constraints deletion: 6588 -> 3301
311.04/311.11	c learnt constraints deletion: 6536 -> 3281
313.93/314.01	c learnt constraints deletion: 6557 -> 3293
316.94/317.00	c learnt constraints deletion: 6640 -> 3334
319.73/319.87	c learnt constraints deletion: 6624 -> 3316
322.54/322.63	c learnt constraints deletion: 6692 -> 3349
325.23/325.32	c learnt constraints deletion: 6622 -> 3314
327.93/328.06	c learnt constraints deletion: 6600 -> 3308
330.83/330.98	c learnt constraints deletion: 6649 -> 3334
333.63/333.79	c learnt constraints deletion: 6595 -> 3314
336.33/336.49	c learnt constraints deletion: 6487 -> 3249
339.03/339.16	c learnt constraints deletion: 6418 -> 3218
341.93/342.07	c learnt constraints deletion: 6511 -> 3271
344.73/344.85	c learnt constraints deletion: 6504 -> 3270
347.54/347.70	c learnt constraints deletion: 6437 -> 3234
350.73/350.81	c learnt constraints deletion: 6658 -> 3346
353.53/353.64	c learnt constraints deletion: 6538 -> 3277
356.33/356.50	c learnt constraints deletion: 6550 -> 3288
359.53/359.70	c learnt constraints deletion: 6644 -> 3336
362.52/362.64	c learnt constraints deletion: 6620 -> 3322
365.42/365.58	c learnt constraints deletion: 6481 -> 3251
369.12/369.29	c learnt constraints deletion: 7241 -> 3636
372.53/372.61	c learnt constraints deletion: 7155 -> 3585
376.03/376.19	c learnt constraints deletion: 7398 -> 3718
379.33/379.42	c learnt constraints deletion: 7108 -> 3572
383.03/383.17	c learnt constraints deletion: 7270 -> 3658
386.22/386.37	c learnt constraints deletion: 7259 -> 3648
389.62/389.74	c learnt constraints deletion: 7213 -> 3626
392.92/393.07	c learnt constraints deletion: 7305 -> 3672
396.43/396.51	c learnt constraints deletion: 7171 -> 3609
399.73/399.85	c learnt constraints deletion: 7079 -> 3570
403.22/403.30	c learnt constraints deletion: 7242 -> 3658
406.82/406.95	c learnt constraints deletion: 7321 -> 3697
410.23/410.38	c learnt constraints deletion: 7197 -> 3637
413.82/413.93	c learnt constraints deletion: 7194 -> 3631
417.32/417.48	c learnt constraints deletion: 7198 -> 3627
420.72/420.87	c learnt constraints deletion: 7286 -> 3677
424.01/424.16	c learnt constraints deletion: 7118 -> 3586
427.32/427.46	c learnt constraints deletion: 7160 -> 3606
430.61/430.74	c learnt constraints deletion: 7288 -> 3674
433.71/433.83	c learnt constraints deletion: 7118 -> 3587
436.81/436.95	c learnt constraints deletion: 7096 -> 3573
440.10/440.24	c learnt constraints deletion: 7099 -> 3571
443.41/443.53	c learnt constraints deletion: 7189 -> 3619
446.71/446.81	c learnt constraints deletion: 7196 -> 3626
450.01/450.17	c learnt constraints deletion: 7246 -> 3650
453.21/453.39	c learnt constraints deletion: 7198 -> 3628
456.51/456.67	c learnt constraints deletion: 7229 -> 3640
459.71/459.89	c learnt constraints deletion: 7189 -> 3626
463.01/463.15	c learnt constraints deletion: 7286 -> 3662
466.21/466.32	c learnt constraints deletion: 7218 -> 3635
469.61/469.76	c learnt constraints deletion: 7302 -> 3681
472.91/473.05	c learnt constraints deletion: 7153 -> 3607
476.31/476.48	c learnt constraints deletion: 7246 -> 3643
479.70/479.84	c learnt constraints deletion: 7153 -> 3595
483.11/483.23	c learnt constraints deletion: 7193 -> 3615
486.61/486.73	c learnt constraints deletion: 7341 -> 3692
490.00/490.18	c learnt constraints deletion: 7291 -> 3668
493.10/493.26	c learnt constraints deletion: 7076 -> 3561
496.40/496.58	c learnt constraints deletion: 7193 -> 3622
499.60/499.71	c learnt constraints deletion: 7158 -> 3603
502.71/502.85	c learnt constraints deletion: 7197 -> 3631
505.91/506.06	c learnt constraints deletion: 7193 -> 3625
509.30/509.42	c learnt constraints deletion: 7326 -> 3699
512.50/512.62	c learnt constraints deletion: 7254 -> 3660
515.80/515.91	c learnt constraints deletion: 7271 -> 3667
519.10/519.26	c learnt constraints deletion: 7268 -> 3670
522.30/522.46	c learnt constraints deletion: 7118 -> 3595
525.70/525.83	c learnt constraints deletion: 7209 -> 3633
529.00/529.11	c learnt constraints deletion: 7242 -> 3654
532.19/532.40	c learnt constraints deletion: 7206 -> 3634
535.39/535.53	c learnt constraints deletion: 7169 -> 3610
538.59/538.73	c learnt constraints deletion: 7231 -> 3644
541.99/542.11	c learnt constraints deletion: 7240 -> 3651
545.19/545.33	c learnt constraints deletion: 7226 -> 3641
548.39/548.53	c learnt constraints deletion: 7262 -> 3651
551.79/551.94	c learnt constraints deletion: 7284 -> 3668
555.19/555.36	c learnt constraints deletion: 7267 -> 3657
558.59/558.75	c learnt constraints deletion: 7188 -> 3620
562.09/562.22	c learnt constraints deletion: 7217 -> 3630
565.39/565.57	c learnt constraints deletion: 7121 -> 3584
568.48/568.70	c learnt constraints deletion: 7127 -> 3578
571.78/571.90	c learnt constraints deletion: 7088 -> 3556
575.98/576.12	c learnt constraints deletion: 7994 -> 4020
579.70/579.86	c learnt constraints deletion: 7918 -> 3968
583.18/583.31	c learnt constraints deletion: 7884 -> 3948
586.69/586.89	c learnt constraints deletion: 7771 -> 3900
590.28/590.49	c learnt constraints deletion: 7743 -> 3881
594.18/594.36	c learnt constraints deletion: 7883 -> 3954
597.98/598.11	c learnt constraints deletion: 7835 -> 3930
601.69/601.87	c learnt constraints deletion: 7829 -> 3928
605.39/605.59	c learnt constraints deletion: 7914 -> 3968
609.28/609.43	c learnt constraints deletion: 7911 -> 3970
612.59/612.77	c learnt constraints deletion: 7757 -> 3891
616.38/616.59	c learnt constraints deletion: 7911 -> 3969
620.18/620.32	c learnt constraints deletion: 7797 -> 3912
623.97/624.11	c learnt constraints deletion: 7769 -> 3900
627.87/628.05	c learnt constraints deletion: 7836 -> 3933
631.57/631.77	c learnt constraints deletion: 7882 -> 3957
635.28/635.49	c learnt constraints deletion: 7874 -> 3954
638.98/639.10	c learnt constraints deletion: 7915 -> 3980
642.38/642.58	c learnt constraints deletion: 7764 -> 3905
645.97/646.11	c learnt constraints deletion: 7757 -> 3904
649.57/649.75	c learnt constraints deletion: 7896 -> 3965
653.17/653.33	c learnt constraints deletion: 7884 -> 3966
656.57/656.78	c learnt constraints deletion: 7800 -> 3914
660.06/660.29	c learnt constraints deletion: 7859 -> 3946
663.67/663.82	c learnt constraints deletion: 7863 -> 3950
667.37/667.56	c learnt constraints deletion: 7892 -> 3966
670.97/671.18	c learnt constraints deletion: 7842 -> 3938
674.66/674.84	c learnt constraints deletion: 7823 -> 3931
678.26/678.48	c learnt constraints deletion: 7883 -> 3963
681.87/682.09	c learnt constraints deletion: 7856 -> 3944
685.57/685.70	c learnt constraints deletion: 7923 -> 3981
689.16/689.30	c learnt constraints deletion: 7873 -> 3955
692.87/693.01	c learnt constraints deletion: 7904 -> 3972
696.46/696.66	c learnt constraints deletion: 7979 -> 4003
699.97/700.17	c learnt constraints deletion: 7894 -> 3964
703.56/703.76	c learnt constraints deletion: 7915 -> 3983
707.27/707.46	c learnt constraints deletion: 7946 -> 3998
711.06/711.20	c learnt constraints deletion: 7834 -> 3943
714.66/714.86	c learnt constraints deletion: 7950 -> 3989
718.36/718.53	c learnt constraints deletion: 7843 -> 3937
722.16/722.38	c learnt constraints deletion: 7952 -> 3994
725.87/726.04	c learnt constraints deletion: 7952 -> 3995
729.46/729.69	c learnt constraints deletion: 7953 -> 3999
733.26/733.43	c learnt constraints deletion: 7853 -> 3943
737.06/737.25	c learnt constraints deletion: 7968 -> 4006
740.85/741.03	c learnt constraints deletion: 7788 -> 3906
744.57/744.79	c learnt constraints deletion: 7946 -> 3994
748.45/748.61	c learnt constraints deletion: 7881 -> 3954
751.86/752.07	c learnt constraints deletion: 7850 -> 3939
755.36/755.59	c learnt constraints deletion: 7866 -> 3949
758.96/759.17	c learnt constraints deletion: 7874 -> 3952
762.55/762.75	c learnt constraints deletion: 7905 -> 3965
766.05/766.28	c learnt constraints deletion: 7832 -> 3929
769.55/769.77	c learnt constraints deletion: 7855 -> 3944
773.15/773.36	c learnt constraints deletion: 7815 -> 3924
776.75/776.90	c learnt constraints deletion: 7921 -> 3978
780.35/780.59	c learnt constraints deletion: 7964 -> 4005
783.95/784.13	c learnt constraints deletion: 8038 -> 4037
787.46/787.70	c learnt constraints deletion: 7982 -> 4006
791.25/791.48	c learnt constraints deletion: 7999 -> 4016
795.15/795.31	c learnt constraints deletion: 8080 -> 4057
798.65/798.82	c learnt constraints deletion: 7950 -> 3989
802.34/802.50	c learnt constraints deletion: 8027 -> 4033
805.94/806.19	c learnt constraints deletion: 7971 -> 4004
809.84/810.09	c learnt constraints deletion: 7982 -> 4009
813.54/813.76	c learnt constraints deletion: 7946 -> 3988
817.44/817.64	c learnt constraints deletion: 7907 -> 3971
821.24/821.40	c learnt constraints deletion: 7803 -> 3916
824.94/825.12	c learnt constraints deletion: 7897 -> 3970
828.64/828.86	c learnt constraints deletion: 7854 -> 3949
832.34/832.59	c learnt constraints deletion: 7912 -> 3973
836.24/836.40	c learnt constraints deletion: 7965 -> 3998
839.74/839.98	c learnt constraints deletion: 7876 -> 3953
843.54/843.78	c learnt constraints deletion: 7994 -> 4014
847.34/847.58	c learnt constraints deletion: 7935 -> 3993
851.34/851.53	c learnt constraints deletion: 8011 -> 4027
855.04/855.27	c learnt constraints deletion: 8083 -> 4061
858.64/858.81	c learnt constraints deletion: 7836 -> 3938
862.34/862.59	c learnt constraints deletion: 7939 -> 3996
866.14/866.38	c learnt constraints deletion: 8007 -> 4028
869.94/870.11	c learnt constraints deletion: 7997 -> 4013
873.34/873.53	c learnt constraints deletion: 8006 -> 4017
876.73/876.92	c learnt constraints deletion: 7914 -> 3980
880.43/880.66	c learnt constraints deletion: 7817 -> 3930
885.23/885.40	c learnt constraints deletion: 8732 -> 4390
889.43/889.67	c learnt constraints deletion: 8758 -> 4401
893.53/893.78	c learnt constraints deletion: 8701 -> 4369
897.83/898.06	c learnt constraints deletion: 8514 -> 4268
902.43/902.66	c learnt constraints deletion: 8638 -> 4332
906.43/906.66	c learnt constraints deletion: 8561 -> 4297
910.52/910.71	c learnt constraints deletion: 8632 -> 4340
914.43/914.65	c learnt constraints deletion: 8610 -> 4328
918.43/918.62	c learnt constraints deletion: 8654 -> 4350
922.52/922.77	c learnt constraints deletion: 8672 -> 4360
926.42/926.68	c learnt constraints deletion: 8665 -> 4367
930.62/930.81	c learnt constraints deletion: 8676 -> 4375
934.72/934.94	c learnt constraints deletion: 8596 -> 4337
939.12/939.39	c learnt constraints deletion: 8827 -> 4453
943.32/943.59	c learnt constraints deletion: 8684 -> 4371
947.52/947.75	c learnt constraints deletion: 8765 -> 4413
951.72/951.91	c learnt constraints deletion: 8662 -> 4353
955.82/956.02	c learnt constraints deletion: 8555 -> 4305
960.12/960.31	c learnt constraints deletion: 8656 -> 4352
964.32/964.52	c learnt constraints deletion: 8537 -> 4298
968.62/968.82	c learnt constraints deletion: 8626 -> 4343
972.71/972.98	c learnt constraints deletion: 8722 -> 4380
976.91/977.15	c learnt constraints deletion: 8738 -> 4393
980.91/981.12	c learnt constraints deletion: 8593 -> 4316
985.01/985.20	c learnt constraints deletion: 8689 -> 4366
988.91/989.13	c learnt constraints deletion: 8571 -> 4307
992.91/993.10	c learnt constraints deletion: 8738 -> 4388
996.61/996.85	c learnt constraints deletion: 8633 -> 4342
1000.71/1000.96	c learnt constraints deletion: 8658 -> 4347
1004.41/1004.68	c learnt constraints deletion: 8695 -> 4368
1008.40/1008.68	c learnt constraints deletion: 8781 -> 4415
1012.30/1012.58	c learnt constraints deletion: 8623 -> 4344
1016.61/1016.86	c learnt constraints deletion: 8756 -> 4405
1020.70/1020.96	c learnt constraints deletion: 8653 -> 4344
1024.80/1025.05	c learnt constraints deletion: 8644 -> 4339
1028.90/1029.11	c learnt constraints deletion: 8658 -> 4347
1032.90/1033.18	c learnt constraints deletion: 8682 -> 4358
1036.90/1037.15	c learnt constraints deletion: 8591 -> 4327
1041.00/1041.24	c learnt constraints deletion: 8657 -> 4358
1045.10/1045.37	c learnt constraints deletion: 8563 -> 4311
1049.09/1049.40	c learnt constraints deletion: 8594 -> 4317
1053.50/1053.72	c learnt constraints deletion: 8690 -> 4367
1057.70/1057.91	c learnt constraints deletion: 8583 -> 4313
1061.69/1061.91	c learnt constraints deletion: 8485 -> 4264
1066.10/1066.30	c learnt constraints deletion: 8651 -> 4348
1070.20/1070.47	c learnt constraints deletion: 8632 -> 4338
1074.39/1074.68	c learnt constraints deletion: 8572 -> 4307
1078.69/1078.96	c learnt constraints deletion: 8683 -> 4366
1083.00/1083.24	c learnt constraints deletion: 8589 -> 4317
1087.19/1087.44	c learnt constraints deletion: 8632 -> 4340
1091.10/1091.35	c learnt constraints deletion: 8675 -> 4359
1095.09/1095.33	c learnt constraints deletion: 8631 -> 4336
1099.29/1099.54	c learnt constraints deletion: 8699 -> 4371
1103.49/1103.76	c learnt constraints deletion: 8532 -> 4285
1107.69/1107.98	c learnt constraints deletion: 8567 -> 4303
1111.69/1111.98	c learnt constraints deletion: 8645 -> 4347
1115.79/1116.07	c learnt constraints deletion: 8639 -> 4344
1119.79/1120.07	c learnt constraints deletion: 8555 -> 4301
1123.88/1124.11	c learnt constraints deletion: 8542 -> 4297
1128.28/1128.53	c learnt constraints deletion: 8709 -> 4378
1132.29/1132.58	c learnt constraints deletion: 8586 -> 4313
1136.38/1136.66	c learnt constraints deletion: 8588 -> 4313
1140.69/1140.92	c learnt constraints deletion: 8616 -> 4327
1144.78/1145.02	c learnt constraints deletion: 8597 -> 4319
1148.88/1149.13	c learnt constraints deletion: 8597 -> 4319
1153.18/1153.41	c learnt constraints deletion: 8633 -> 4337
1157.18/1157.45	c learnt constraints deletion: 8681 -> 4360
1161.27/1161.54	c learnt constraints deletion: 8621 -> 4334
1165.57/1165.82	c learnt constraints deletion: 8744 -> 4390
1169.67/1169.94	c learnt constraints deletion: 8665 -> 4355
1173.48/1173.77	c learnt constraints deletion: 8649 -> 4343
1177.78/1178.06	c learnt constraints deletion: 8704 -> 4371
1181.88/1182.17	c learnt constraints deletion: 8612 -> 4324
1185.97/1186.26	c learnt constraints deletion: 8633 -> 4336
1190.58/1190.82	c learnt constraints deletion: 8797 -> 4421
1195.07/1195.31	c learnt constraints deletion: 8725 -> 4382
1199.47/1199.79	c learnt constraints deletion: 8689 -> 4365
1203.87/1204.19	c learnt constraints deletion: 8679 -> 4359
1208.47/1208.76	c learnt constraints deletion: 8718 -> 4379
1212.77/1213.03	c learnt constraints deletion: 8682 -> 4362
1217.27/1217.52	c learnt constraints deletion: 8625 -> 4338
1221.57/1221.86	c learnt constraints deletion: 8646 -> 4345
1225.87/1226.17	c learnt constraints deletion: 8655 -> 4350
1230.56/1230.87	c learnt constraints deletion: 8741 -> 4391
1235.07/1235.37	c learnt constraints deletion: 8677 -> 4361
1239.67/1239.92	c learnt constraints deletion: 8692 -> 4366
1243.96/1244.27	c learnt constraints deletion: 8786 -> 4414
1248.46/1248.73	c learnt constraints deletion: 8753 -> 4396
1252.36/1252.60	c learnt constraints deletion: 8664 -> 4357
1256.46/1256.70	c learnt constraints deletion: 8606 -> 4330
1260.55/1260.89	c learnt constraints deletion: 8759 -> 4410
1264.86/1265.17	c learnt constraints deletion: 8776 -> 4410
1269.05/1269.38	c learnt constraints deletion: 8828 -> 4434
1273.25/1273.54	c learnt constraints deletion: 8585 -> 4316
1277.55/1277.85	c learnt constraints deletion: 8768 -> 4403
1281.45/1281.70	c learnt constraints deletion: 8609 -> 4326
1285.45/1285.72	c learnt constraints deletion: 8494 -> 4270
1289.95/1290.25	c learnt constraints deletion: 8720 -> 4384
1294.15/1294.45	c learnt constraints deletion: 8546 -> 4298
1298.86/1299.19	c learnt constraints deletion: 8666 -> 4359
1303.36/1303.64	c learnt constraints deletion: 8634 -> 4342
1307.85/1308.11	c learnt constraints deletion: 8648 -> 4348
1312.45/1312.79	c learnt constraints deletion: 8704 -> 4380
1317.04/1317.34	c learnt constraints deletion: 8658 -> 4354
1321.55/1321.88	c learnt constraints deletion: 8555 -> 4305
1326.35/1326.62	c learnt constraints deletion: 8647 -> 4354
1331.04/1331.37	c learnt constraints deletion: 8854 -> 4452
1335.55/1335.85	c learnt constraints deletion: 8635 -> 4347
1340.24/1340.56	c learnt constraints deletion: 8641 -> 4343
1344.44/1344.75	c learnt constraints deletion: 8563 -> 4309
1349.24/1349.51	c learnt constraints deletion: 8715 -> 4381
1353.64/1353.92	c learnt constraints deletion: 8502 -> 4269
1358.14/1358.47	c learnt constraints deletion: 8601 -> 4323
1362.54/1362.87	c learnt constraints deletion: 8619 -> 4331
1367.04/1367.30	c learnt constraints deletion: 8519 -> 4282
1372.43/1372.71	c learnt constraints deletion: 9494 -> 4773
1377.14/1377.43	c learnt constraints deletion: 9376 -> 4710
1381.83/1382.17	c learnt constraints deletion: 9332 -> 4666
1386.73/1387.03	c learnt constraints deletion: 9436 -> 4726
1391.23/1391.59	c learnt constraints deletion: 9394 -> 4702
1396.23/1396.54	c learnt constraints deletion: 9359 -> 4686
1401.13/1401.43	c learnt constraints deletion: 9588 -> 4807
1406.13/1406.45	c learnt constraints deletion: 9588 -> 4809
1410.73/1411.07	c learnt constraints deletion: 9398 -> 4712
1415.72/1416.06	c learnt constraints deletion: 9349 -> 4680
1420.62/1420.90	c learnt constraints deletion: 9275 -> 4644
1425.43/1425.74	c learnt constraints deletion: 9415 -> 4712
1430.12/1430.44	c learnt constraints deletion: 9446 -> 4727
1434.92/1435.23	c learnt constraints deletion: 9570 -> 4792
1439.72/1440.08	c learnt constraints deletion: 9529 -> 4773
1444.72/1445.09	c learnt constraints deletion: 9520 -> 4771
1449.92/1450.21	c learnt constraints deletion: 9350 -> 4682
1454.82/1455.17	c learnt constraints deletion: 9476 -> 4746
1459.72/1460.07	c learnt constraints deletion: 9489 -> 4751
1464.71/1465.05	c learnt constraints deletion: 9496 -> 4752
1469.52/1469.81	c learnt constraints deletion: 9489 -> 4752
1474.22/1474.57	c learnt constraints deletion: 9468 -> 4746
1479.12/1479.41	c learnt constraints deletion: 9443 -> 4726
1483.81/1484.14	c learnt constraints deletion: 9435 -> 4736
1488.72/1489.00	c learnt constraints deletion: 9428 -> 4731
1493.81/1494.11	c learnt constraints deletion: 9508 -> 4779
1498.81/1499.18	c learnt constraints deletion: 9484 -> 4750
1503.52/1503.84	c learnt constraints deletion: 9517 -> 4776
1508.31/1508.61	c learnt constraints deletion: 9411 -> 4729
1513.01/1513.37	c learnt constraints deletion: 9390 -> 4704
1517.50/1517.88	c learnt constraints deletion: 9327 -> 4677
1522.31/1522.63	c learnt constraints deletion: 9448 -> 4741
1527.01/1527.36	c learnt constraints deletion: 9491 -> 4759
1531.80/1532.11	c learnt constraints deletion: 9457 -> 4752
1536.60/1536.92	c learnt constraints deletion: 9539 -> 4794
1541.40/1541.71	c learnt constraints deletion: 9570 -> 4814
1546.31/1546.69	c learnt constraints deletion: 9619 -> 4835
1551.30/1551.60	c learnt constraints deletion: 9417 -> 4717
1556.10/1556.44	c learnt constraints deletion: 9509 -> 4769
1561.00/1561.34	c learnt constraints deletion: 9634 -> 4826
1565.70/1566.03	c learnt constraints deletion: 9413 -> 4719
1570.60/1570.93	c learnt constraints deletion: 9530 -> 4778
1575.49/1575.84	c learnt constraints deletion: 9285 -> 4651
1580.59/1580.95	c learnt constraints deletion: 9495 -> 4758
1585.39/1585.71	c learnt constraints deletion: 9506 -> 4776
1589.99/1590.32	c learnt constraints deletion: 9577 -> 4798
1594.70/1595.02	c learnt constraints deletion: 9478 -> 4771
1600.00/1600.39	c learnt constraints deletion: 9528 -> 4797
1605.10/1605.42	c learnt constraints deletion: 9526 -> 4774
1610.39/1610.78	c learnt constraints deletion: 9618 -> 4820
1615.19/1615.58	c learnt constraints deletion: 9526 -> 4772
1620.00/1620.39	c learnt constraints deletion: 9475 -> 4752
1625.59/1625.98	c learnt constraints deletion: 9580 -> 4819
1630.79/1631.12	c learnt constraints deletion: 9559 -> 4791
1635.59/1635.94	c learnt constraints deletion: 9504 -> 4764
1640.58/1640.90	c learnt constraints deletion: 9556 -> 4785
1645.18/1645.58	c learnt constraints deletion: 9660 -> 4845
1649.68/1650.03	c learnt constraints deletion: 9333 -> 4693
1654.27/1654.67	c learnt constraints deletion: 9529 -> 4792
1658.78/1659.18	c learnt constraints deletion: 9524 -> 4790
1663.48/1663.80	c learnt constraints deletion: 9387 -> 4730
1668.27/1668.65	c learnt constraints deletion: 9487 -> 4775
1672.97/1673.32	c learnt constraints deletion: 9421 -> 4757
1677.37/1677.75	c learnt constraints deletion: 9497 -> 4760
1681.98/1682.31	c learnt constraints deletion: 9391 -> 4710
1686.77/1687.14	c learnt constraints deletion: 9485 -> 4755
1691.37/1691.79	c learnt constraints deletion: 9565 -> 4797
1696.27/1696.61	c learnt constraints deletion: 9506 -> 4768
1700.97/1701.35	c learnt constraints deletion: 9476 -> 4752
1705.88/1706.22	c learnt constraints deletion: 9479 -> 4757
1710.96/1711.31	c learnt constraints deletion: 9432 -> 4733
1715.97/1716.32	c learnt constraints deletion: 9485 -> 4758
1720.86/1721.25	c learnt constraints deletion: 9559 -> 4792
1725.76/1726.18	c learnt constraints deletion: 9556 -> 4790
1730.57/1730.97	c learnt constraints deletion: 9498 -> 4764
1735.36/1735.73	c learnt constraints deletion: 9523 -> 4779
1740.26/1740.63	c learnt constraints deletion: 9456 -> 4743
1745.07/1745.49	c learnt constraints deletion: 9409 -> 4722
1749.87/1750.29	c learnt constraints deletion: 9552 -> 4791
1754.66/1755.04	c learnt constraints deletion: 9518 -> 4770
1759.46/1759.80	c learnt constraints deletion: 9570 -> 4801
1763.85/1764.24	c learnt constraints deletion: 9511 -> 4768
1768.25/1768.60	c learnt constraints deletion: 9497 -> 4767
1772.65/1773.03	c learnt constraints deletion: 9529 -> 4781
1777.06/1777.41	c learnt constraints deletion: 9462 -> 4746
1781.35/1781.72	c learnt constraints deletion: 9453 -> 4741
1785.55/1785.91	c learnt constraints deletion: 9356 -> 4687
1790.15/1790.54	c learnt constraints deletion: 9516 -> 4783
1794.44/1794.88	c learnt constraints deletion: 9413 -> 4734
1798.94/1799.37	c learnt constraints deletion: 9371 -> 4710

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-3725533-1338642721/watcher-3725533-1338642721 -o /tmp/evaluation-result-3725533-1338642721/solver-3725533-1338642721 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725533-1338642721.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.93 1.99 1.99 3/176 14326
/proc/meminfo: memFree=28164300/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 823 0 0 0 0 0 0 0 20 0 1 0 330398117 6373376 744 33554432000 4194304 8989770 140734451210544 140733587314264 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 1556 747 425 1171 0 333 0

[startup+0.0898131 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 14326
/proc/meminfo: memFree=28164300/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=9296 CPUtime=0.08 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 1438 0 0 0 8 0 0 0 20 0 1 0 330398117 9519104 1359 33554432000 4194304 8989770 140734451210544 140733587314264 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 2324 1359 447 1171 0 1101 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9296

[startup+0.100164 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 14326
/proc/meminfo: memFree=28164300/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=9296 CPUtime=0.09 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 1438 0 0 0 9 0 0 0 20 0 1 0 330398117 9519104 1359 33554432000 4194304 8989770 140734451210544 140733587314264 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 2324 1359 447 1171 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9296

[startup+0.300105 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 14326
/proc/meminfo: memFree=28164300/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=9296 CPUtime=0.29 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 1446 0 0 0 29 0 0 0 20 0 1 0 330398117 9519104 1367 33554432000 4194304 8989770 140734451210544 140733587314264 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 2324 1367 455 1171 0 1101 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9296

[startup+0.700131 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 14326
/proc/meminfo: memFree=28164300/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=11344 CPUtime=0.69 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 2146 0 0 0 69 0 0 0 20 0 1 0 330398117 11616256 2067 33554432000 4194304 8989770 140734451210544 140734451210040 4437021 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 2836 2067 459 1171 0 1613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11344

[startup+1.50015 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 14327
/proc/meminfo: memFree=28156884/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=14416 CPUtime=1.49 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 2916 0 0 0 148 1 0 0 20 0 1 0 330398117 14761984 2837 33554432000 4194304 8989770 140734451210544 140734451210040 7708288 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 3604 2837 461 1171 0 2381 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14416

[startup+3.10023 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 14327
/proc/meminfo: memFree=28154520/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=15440 CPUtime=3.09 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 3172 0 0 0 308 1 0 0 20 0 1 0 330398117 15810560 3093 33554432000 4194304 8989770 140734451210544 140734451210040 4438244 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 3860 3093 461 1171 0 2637 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15440

[startup+6.30027 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 14327
/proc/meminfo: memFree=28151352/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=17488 CPUtime=6.29 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 3684 0 0 0 627 2 0 0 20 0 1 0 330398117 17907712 3605 33554432000 4194304 8989770 140734451210544 140734451210040 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 4372 3605 461 1171 0 3149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17488

[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 14327
/proc/meminfo: memFree=28144684/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=19536 CPUtime=12.69 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 4196 0 0 0 1265 4 0 0 20 0 1 0 330398117 20004864 4117 33554432000 4194304 8989770 140734451210544 140734451209808 6549999 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 4884 4117 461 1171 0 3661 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19536

[startup+25.5004 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 14327
/proc/meminfo: memFree=28144080/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=20560 CPUtime=25.48 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 4452 0 0 0 2540 8 0 0 20 0 1 0 330398117 21053440 4373 33554432000 4194304 8989770 140734451210544 140734451210040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 5140 4373 461 1171 0 3917 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20560

[startup+51.1004 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 14327
/proc/meminfo: memFree=28139740/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=22608 CPUtime=51.08 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 4964 0 0 0 5093 15 0 0 20 0 1 0 330398117 23150592 4885 33554432000 4194304 8989770 140734451210544 140734451209808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 5652 4885 461 1171 0 4429 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22608

[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 14404
/proc/meminfo: memFree=28624332/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=23632 CPUtime=102.27 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 6503 0 0 0 10196 31 0 0 20 0 1 0 330398117 24199168 5141 33554432000 4194304 8989770 140734451210544 140734451210040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 5908 5141 461 1171 0 4685 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 23632

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14404
/proc/meminfo: memFree=28596488/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=25680 CPUtime=162.26 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 7272 0 0 0 16177 49 0 0 20 0 1 0 330398117 26296320 5653 33554432000 4194304 8989770 140734451210544 140734451209808 4453132 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 6420 5653 461 1171 0 5197 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 25680

[startup+222.307 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 14405
/proc/meminfo: memFree=28582284/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=25680 CPUtime=222.26 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 8042 0 0 0 22160 66 0 0 20 0 1 0 330398117 26296320 5653 33554432000 4194304 8989770 140734451210544 140734451210040 4213683 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 6420 5653 461 1171 0 5197 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 25680

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 14405
/proc/meminfo: memFree=28565664/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=28752 CPUtime=282.24 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 10346 0 0 0 28141 83 0 0 20 0 1 0 330398117 29442048 6421 33554432000 4194304 8989770 140734451210544 140734451210040 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 7188 6421 461 1171 0 5965 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 28752

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14405
/proc/meminfo: memFree=28570628/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=26704 CPUtime=342.23 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 11628 0 0 0 34121 102 0 0 20 0 1 0 330398117 27344896 5909 33554432000 4194304 8989770 140734451210544 140734451209808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 6676 5909 461 1171 0 5453 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 26704

[startup+402.3 s]
/proc/loadavg: 2.17 2.05 2.01 3/177 14405
/proc/meminfo: memFree=28554928/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=29776 CPUtime=402.22 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 14444 0 0 0 40105 117 0 0 20 0 1 0 330398117 30490624 6677 33554432000 4194304 8989770 140734451210544 140734451210040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 7444 6677 461 1171 0 6221 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 29776

[startup+462.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 14405
/proc/meminfo: memFree=28550152/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=29776 CPUtime=462.2 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 15731 0 0 0 46086 134 0 0 20 0 1 0 330398117 30490624 6677 33554432000 4194304 8989770 140734451210544 140734451210040 4435264 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 7444 6677 461 1171 0 6221 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 29776

[startup+522.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 14409
/proc/meminfo: memFree=28550888/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=29776 CPUtime=522.2 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 16499 0 0 0 52068 152 0 0 20 0 1 0 330398117 30490624 6677 33554432000 4194304 8989770 140734451210544 140734451210040 4355501 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 7444 6677 461 1171 0 6221 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 29776

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 14409
/proc/meminfo: memFree=28550904/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=29776 CPUtime=582.18 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 20085 0 0 0 58048 170 0 0 20 0 1 0 330398117 30490624 6677 33554432000 4194304 8989770 140734451210544 140734451209808 4451620 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 7444 6677 461 1171 0 6221 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 29776

[startup+642.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14411
/proc/meminfo: memFree=28524636/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=29776 CPUtime=882.13 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 35200 0 0 0 87952 261 0 0 20 0 1 0 330398117 30490624 6677 33554432000 4194304 8989770 140734451210544 140734451210040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 7444 6677 461 1171 0 6221 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 29776

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14411
/proc/meminfo: memFree=28520120/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=34896 CPUtime=942.12 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 38528 0 0 0 93934 278 0 0 20 0 1 0 330398117 35733504 7957 33554432000 4194304 8989770 140734451210544 140734451209808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 8724 7957 461 1171 0 7501 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 34896

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14411
/proc/meminfo: memFree=28520040/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=33872 CPUtime=1002.11 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 39559 0 0 0 99918 293 0 0 20 0 1 0 330398117 34684928 7701 33554432000 4194304 8989770 140734451210544 140734451210040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 8468 7701 461 1171 0 7245 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 33872

[startup+1062.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 14411
/proc/meminfo: memFree=28519424/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=33872 CPUtime=1062.09 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 42631 0 0 0 105899 310 0 0 20 0 1 0 330398117 34684928 7701 33554432000 4194304 8989770 140734451210544 140734451210040 6586404 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 8468 7701 461 1171 0 7245 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 33872

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 14415
/proc/meminfo: memFree=28519280/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=33872 CPUtime=1122.09 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 44683 0 0 0 111883 326 0 0 20 0 1 0 330398117 34684928 7701 33554432000 4194304 8989770 140734451210544 140734451210040 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 8468 7701 461 1171 0 7245 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 33872

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14415
/proc/meminfo: memFree=28514148/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=37968 CPUtime=1182.08 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 48267 0 0 0 117865 343 0 0 20 0 1 0 330398117 38879232 8725 33554432000 4194304 8989770 140734451210544 140734451210040 6587776 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 9492 8725 461 1171 0 8269 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 37968

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14415
/proc/meminfo: memFree=28523260/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=34896 CPUtime=1242.06 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 52882 0 0 0 123845 361 0 0 20 0 1 0 330398117 35733504 7957 33554432000 4194304 8989770 140734451210544 140734451210040 4208822 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 8724 7957 461 1171 0 7501 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 34896

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14415
/proc/meminfo: memFree=28515948/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=36944 CPUtime=1302.04 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 56723 0 0 0 129824 380 0 0 20 0 1 0 330398117 37830656 8469 33554432000 4194304 8989770 140734451210544 140734451210040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 9236 8469 461 1171 0 8013 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 36944

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14415
/proc/meminfo: memFree=28512812/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=33872 CPUtime=1362.04 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 60307 0 0 0 135805 399 0 0 20 0 1 0 330398117 34684928 7701 33554432000 4194304 8989770 140734451210544 140734451209808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 8468 7701 461 1171 0 7245 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 33872

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14416
/proc/meminfo: memFree=28512940/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=33872 CPUtime=1422.03 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 63897 0 0 0 141788 415 0 0 20 0 1 0 330398117 34684928 7701 33554432000 4194304 8989770 140734451210544 140734451209808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 8468 7701 461 1171 0 7245 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 33872

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14416
/proc/meminfo: memFree=28514364/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=35920 CPUtime=1482.02 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 67993 0 0 0 147772 430 0 0 20 0 1 0 330398117 36782080 8213 33554432000 4194304 8989770 140734451210544 140734451210040 4469772 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 8980 8213 461 1171 0 7757 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 35920

[startup+1542.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 14416
/proc/meminfo: memFree=28508280/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=37968 CPUtime=1542.01 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 74144 0 0 0 153753 448 0 0 20 0 1 0 330398117 38879232 8725 33554432000 4194304 8989770 140734451210544 140734451209808 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 9492 8725 461 1171 0 8269 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 37968

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14416
/proc/meminfo: memFree=28508104/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=37968 CPUtime=1602 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 78752 0 0 0 159734 466 0 0 20 0 1 0 330398117 38879232 8725 33554432000 4194304 8989770 140734451210544 140734451210040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 9492 8725 461 1171 0 8269 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 37968

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14416
/proc/meminfo: memFree=28511092/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=37968 CPUtime=1661.98 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 81578 0 0 0 165716 482 0 0 20 0 1 0 330398117 38879232 8725 33554432000 4194304 8989770 140734451210544 140734451209808 4437920 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 9492 8725 461 1171 0 8269 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 37968

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14420
/proc/meminfo: memFree=28515496/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=35920 CPUtime=1721.96 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 85930 0 0 0 171696 500 0 0 20 0 1 0 330398117 36782080 8213 33554432000 4194304 8989770 140734451210544 140734451210040 4494076 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 8980 8213 461 1171 0 7757 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 35920

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14420
/proc/meminfo: memFree=28506488/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=36944 CPUtime=1781.95 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 91057 0 0 0 177677 518 0 0 20 0 1 0 330398117 37830656 8469 33554432000 4194304 8989770 140734451210544 140734451210040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 9236 8469 461 1171 0 8013 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 36944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14420
/proc/meminfo: memFree=28512136/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=33872 CPUtime=1800.06 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 91313 0 0 0 179484 522 0 0 20 0 1 0 330398117 34684928 7701 33554432000 4194304 8989770 140734451210544 140734451210040 4473289 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 8468 7701 461 1171 0 7245 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 33872

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

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14420
/proc/meminfo: memFree=28512136/32873648 swapFree=6864/6864
[pid=14326] ppid=14324 vsize=33872 CPUtime=1800.06 cores=1,3,5,7
/proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 91313 0 0 0 179484 522 0 0 20 0 1 0 330398117 34684928 7701 33554432000 4194304 8989770 140734451210544 140734451210040 4473289 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14326/statm: 8468 7701 461 1171 0 7245 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 33872

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1794.84
CPU system time (s): 5.22221
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 41040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.84
system time used= 5.22221
maximum resident set size= 37972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91313
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= 80
involuntary context switches= 1846

runsolver used 3.20251 second user time and 9.59354 second system time

The end

Launcher Data

Begin job on node120 at 2012-06-02 15:12:01
IDJOB=3725533
IDBENCH=89856
IDSOLVER=2308
FILE ID=node120/3725533-1338642721
RUNJOBID= node120-1338631507-13589
PBS_JOBID= 14636460
Free space on /tmp= 70780 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-807456.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725533-1338642721/watcher-3725533-1338642721 -o /tmp/evaluation-result-3725533-1338642721/solver-3725533-1338642721 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725533-1338642721.opb

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

MD5SUM BENCH= 21cf0355c32a3177f2f6fa914b5dacc6
RANDOM SEED=651687118

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.88
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.456
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.456
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.83
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.456
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.456
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:        28165092 kB
Buffers:          534232 kB
Cached:          2696348 kB
SwapCached:         1572 kB
Active:          2164276 kB
Inactive:        1618228 kB
Active(anon):     544084 kB
Inactive(anon):     9228 kB
Active(file):    1620192 kB
Inactive(file):  1609000 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67103516 kB
Dirty:              7412 kB
Writeback:             0 kB
AnonPages:        556200 kB
Mapped:            12644 kB
Shmem:                32 kB
Slab:             789944 kB
SReclaimable:     234348 kB
SUnreclaim:       555596 kB
KernelStack:        1456 kB
PageTables:         4636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     666308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    448512 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= 70776 MiB
End job on node120 at 2012-06-02 15:42:04