Trace number 3725617

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_1.opb
MD5SUM8c398fbb12ba7dbf676dd8375a76e0de
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1789.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2496
Sum of products size (including duplicates)4992
Number of different products1248
Sum of products size2496

Solver Data 

0.00/0.04	c 2012-06-02T14:18:49+0200
0.00/0.04	c arch = x86_64
0.00/0.04	c os = linux
0.00/0.04	c compiler = ghc 7.4
0.00/0.04	c packages:
0.00/0.04	c   OptDir-0.0.1
0.00/0.04	c   array-0.4.0.0
0.00/0.04	c   base-4.5.0.0
0.00/0.04	c   bytestring-0.9.2.1
0.00/0.04	c   containers-0.4.2.1
0.00/0.04	c   deepseq-1.3.0.0
0.00/0.04	c   mtl-2.1.1
0.00/0.04	c   old_locale-1.0.0.4
0.00/0.04	c   parse_dimacs-1.2
0.00/0.04	c   parsec-3.1.2
0.00/0.04	c   queue-0.1.2
0.00/0.04	c   stm-2.3
0.00/0.04	c   time-1.4
0.00/0.04	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725617-1338639529.opb"]
0.00/0.04	c #vars 200
0.00/0.04	c #constraints 301
0.00/0.04	c Solving starts ...
0.19/0.24	c solving time = 0.208s
0.19/0.24	c #decision = 2669
0.19/0.24	c #conflict = 408
0.19/0.24	c #restart = 2
0.19/0.24	o -18
0.19/0.24	c Solving starts ...
5.18/5.25	c learnt constraints deletion: 3622 -> 1811
8.08/8.15	c learnt constraints deletion: 5200 -> 2636
9.69/9.73	c learnt constraints deletion: 5622 -> 2845
11.28/11.37	c learnt constraints deletion: 5992 -> 3030
12.89/12.91	c learnt constraints deletion: 5839 -> 2948
14.98/15.01	c learnt constraints deletion: 6488 -> 3272
16.89/16.94	c learnt constraints deletion: 6589 -> 3325
18.08/18.16	c learnt constraints deletion: 5406 -> 2708
21.39/21.45	c learnt constraints deletion: 7101 -> 3560
23.58/23.64	c learnt constraints deletion: 7107 -> 3575
26.88/26.92	c learnt constraints deletion: 7102 -> 3555
28.89/28.95	c learnt constraints deletion: 6422 -> 3211
32.58/32.61	c learnt constraints deletion: 7660 -> 3833
35.58/35.62	c learnt constraints deletion: 7660 -> 3838
38.08/38.16	c learnt constraints deletion: 7710 -> 3867
40.78/40.88	c learnt constraints deletion: 7659 -> 3836
43.28/43.34	c learnt constraints deletion: 7415 -> 3708
46.68/46.76	c learnt constraints deletion: 8259 -> 4134
49.57/49.67	c learnt constraints deletion: 8222 -> 4119
52.38/52.44	c learnt constraints deletion: 8275 -> 4148
54.98/55.08	c learnt constraints deletion: 8295 -> 4164
57.68/57.73	c learnt constraints deletion: 8315 -> 4182
59.87/59.95	c learnt constraints deletion: 7715 -> 3860
63.68/63.71	c learnt constraints deletion: 8513 -> 4257
67.17/67.24	c learnt constraints deletion: 8964 -> 4485
70.08/70.19	c learnt constraints deletion: 8989 -> 4501
73.38/73.49	c learnt constraints deletion: 8993 -> 4500
76.37/76.44	c learnt constraints deletion: 8929 -> 4470
79.27/79.31	c learnt constraints deletion: 9055 -> 4537
82.07/82.10	c learnt constraints deletion: 9039 -> 4534
84.87/84.97	c learnt constraints deletion: 8993 -> 4515
87.67/87.74	c learnt constraints deletion: 9023 -> 4518
90.37/90.42	c learnt constraints deletion: 9028 -> 4521
93.77/93.88	c learnt constraints deletion: 9810 -> 4926
97.27/97.37	c learnt constraints deletion: 9739 -> 4874
100.57/100.61	c learnt constraints deletion: 9758 -> 4887
103.47/103.57	c learnt constraints deletion: 9774 -> 4894
106.46/106.60	c learnt constraints deletion: 9788 -> 4901
109.98/110.04	c learnt constraints deletion: 9765 -> 4891
113.07/113.19	c learnt constraints deletion: 9753 -> 4892
116.27/116.34	c learnt constraints deletion: 9783 -> 4915
119.47/119.50	c learnt constraints deletion: 9766 -> 4890
122.27/122.37	c learnt constraints deletion: 9793 -> 4905
124.97/125.00	c learnt constraints deletion: 9767 -> 4893
127.87/127.92	c learnt constraints deletion: 9846 -> 4933
130.97/131.04	c learnt constraints deletion: 9803 -> 4920
134.17/134.20	c learnt constraints deletion: 10199 -> 5100
138.67/138.71	c learnt constraints deletion: 10640 -> 5320
142.16/142.25	c learnt constraints deletion: 10582 -> 5297
145.47/145.59	c learnt constraints deletion: 10577 -> 5296
149.06/149.11	c learnt constraints deletion: 10599 -> 5313
152.46/152.53	c learnt constraints deletion: 10615 -> 5322
155.77/155.89	c learnt constraints deletion: 10592 -> 5311
159.56/159.69	c learnt constraints deletion: 10627 -> 5322
163.26/163.30	c learnt constraints deletion: 10596 -> 5305
166.56/166.68	c learnt constraints deletion: 10578 -> 5300
170.16/170.26	c learnt constraints deletion: 10669 -> 5351
173.76/173.87	c learnt constraints deletion: 10648 -> 5331
177.26/177.39	c learnt constraints deletion: 10613 -> 5316
181.05/181.13	c learnt constraints deletion: 10687 -> 5358
184.36/184.46	c learnt constraints deletion: 10627 -> 5324
188.06/188.16	c learnt constraints deletion: 10682 -> 5358
191.56/191.67	c learnt constraints deletion: 10636 -> 5328
195.46/195.55	c learnt constraints deletion: 10638 -> 5334
199.25/199.34	c learnt constraints deletion: 10666 -> 5352
203.85/203.95	c learnt constraints deletion: 11612 -> 5827
208.55/208.65	c learnt constraints deletion: 11518 -> 5763
213.26/213.35	c learnt constraints deletion: 11531 -> 5771
218.05/218.18	c learnt constraints deletion: 11515 -> 5765
222.45/222.55	c learnt constraints deletion: 11477 -> 5745
226.85/226.96	c learnt constraints deletion: 11465 -> 5748
230.85/230.96	c learnt constraints deletion: 11573 -> 5804
234.75/234.87	c learnt constraints deletion: 11616 -> 5831
238.35/238.44	c learnt constraints deletion: 11552 -> 5782
241.85/241.96	c learnt constraints deletion: 11615 -> 5818
245.15/245.21	c learnt constraints deletion: 11507 -> 5761
248.84/248.99	c learnt constraints deletion: 11564 -> 5799
252.43/252.53	c learnt constraints deletion: 11513 -> 5765
256.04/256.10	c learnt constraints deletion: 11551 -> 5786
259.44/259.56	c learnt constraints deletion: 11569 -> 5794
262.93/263.06	c learnt constraints deletion: 11612 -> 5825
266.43/266.52	c learnt constraints deletion: 11621 -> 5823
269.83/269.97	c learnt constraints deletion: 11587 -> 5811
273.63/273.75	c learnt constraints deletion: 11602 -> 5815
277.33/277.45	c learnt constraints deletion: 11475 -> 5742
280.93/281.09	c learnt constraints deletion: 11483 -> 5748
284.52/284.61	c learnt constraints deletion: 11482 -> 5749
288.43/288.57	c learnt constraints deletion: 11593 -> 5806
292.03/292.18	c learnt constraints deletion: 11533 -> 5791
295.53/295.63	c learnt constraints deletion: 11580 -> 5800
299.43/299.53	c learnt constraints deletion: 12546 -> 6288
303.73/303.89	c learnt constraints deletion: 12481 -> 6245
307.72/307.81	c learnt constraints deletion: 12617 -> 6324
311.82/311.93	c learnt constraints deletion: 12632 -> 6332
316.02/316.14	c learnt constraints deletion: 12627 -> 6333
320.03/320.14	c learnt constraints deletion: 12643 -> 6328
324.12/324.26	c learnt constraints deletion: 12557 -> 6286
328.02/328.17	c learnt constraints deletion: 12542 -> 6289
331.72/331.89	c learnt constraints deletion: 12599 -> 6321
335.72/335.80	c learnt constraints deletion: 12425 -> 6221
339.82/339.99	c learnt constraints deletion: 12547 -> 6285
343.51/343.62	c learnt constraints deletion: 12534 -> 6278
347.82/347.91	c learnt constraints deletion: 12602 -> 6312
351.51/351.62	c learnt constraints deletion: 12600 -> 6324
355.72/355.85	c learnt constraints deletion: 12504 -> 6264
360.02/360.17	c learnt constraints deletion: 12560 -> 6296
363.92/364.02	c learnt constraints deletion: 12508 -> 6270
368.82/368.98	c learnt constraints deletion: 12577 -> 6311
372.91/373.01	c learnt constraints deletion: 12594 -> 6324
377.51/377.63	c learnt constraints deletion: 12657 -> 6361
382.62/382.74	c learnt constraints deletion: 12652 -> 6368
387.01/387.14	c learnt constraints deletion: 12616 -> 6315
391.20/391.34	c learnt constraints deletion: 12516 -> 6265
395.81/395.98	c learnt constraints deletion: 12572 -> 6299
400.41/400.50	c learnt constraints deletion: 12641 -> 6346
404.51/404.61	c learnt constraints deletion: 12611 -> 6336
408.30/408.44	c learnt constraints deletion: 12558 -> 6287
412.51/412.69	c learnt constraints deletion: 12558 -> 6289
417.10/417.20	c learnt constraints deletion: 12643 -> 6345
420.80/420.90	c learnt constraints deletion: 12524 -> 6273
425.10/425.20	c learnt constraints deletion: 12627 -> 6337
429.11/429.25	c learnt constraints deletion: 12625 -> 6326
433.61/433.76	c learnt constraints deletion: 12582 -> 6307
438.60/438.77	c learnt constraints deletion: 12609 -> 6332
443.80/443.98	c learnt constraints deletion: 12648 -> 6361
449.20/449.34	c learnt constraints deletion: 13667 -> 6846
455.00/455.18	c learnt constraints deletion: 13764 -> 6885
460.10/460.20	c learnt constraints deletion: 13690 -> 6849
464.80/464.99	c learnt constraints deletion: 13696 -> 6852
469.70/469.82	c learnt constraints deletion: 13688 -> 6850
474.20/474.33	c learnt constraints deletion: 13720 -> 6864
479.00/479.16	c learnt constraints deletion: 13678 -> 6851
483.40/483.55	c learnt constraints deletion: 13750 -> 6879
488.39/488.59	c learnt constraints deletion: 13673 -> 6841
493.59/493.71	c learnt constraints deletion: 13731 -> 6874
498.30/498.42	c learnt constraints deletion: 13676 -> 6842
502.99/503.12	c learnt constraints deletion: 13680 -> 6845
507.59/507.76	c learnt constraints deletion: 13694 -> 6851
512.19/512.35	c learnt constraints deletion: 13724 -> 6868
516.79/516.99	c learnt constraints deletion: 13739 -> 6876
521.59/521.75	c learnt constraints deletion: 13713 -> 6865
526.80/526.91	c learnt constraints deletion: 13664 -> 6837
531.68/531.83	c learnt constraints deletion: 13597 -> 6804
536.59/536.74	c learnt constraints deletion: 13627 -> 6820
541.48/541.63	c learnt constraints deletion: 13732 -> 6876
546.19/546.37	c learnt constraints deletion: 13778 -> 6913
550.89/551.05	c learnt constraints deletion: 13719 -> 6890
555.09/555.29	c learnt constraints deletion: 13650 -> 6831
559.08/559.24	c learnt constraints deletion: 13663 -> 6838
563.88/564.04	c learnt constraints deletion: 13694 -> 6860
567.98/568.14	c learnt constraints deletion: 13675 -> 6846
572.29/572.45	c learnt constraints deletion: 13636 -> 6825
577.29/577.49	c learnt constraints deletion: 13669 -> 6840
582.28/582.48	c learnt constraints deletion: 13709 -> 6861
587.48/587.67	c learnt constraints deletion: 13726 -> 6869
592.78/592.93	c learnt constraints deletion: 13776 -> 6904
597.78/597.99	c learnt constraints deletion: 13745 -> 6895
603.27/603.49	c learnt constraints deletion: 13690 -> 6853
608.57/608.77	c learnt constraints deletion: 13728 -> 6873
613.97/614.15	c learnt constraints deletion: 13724 -> 6880
619.37/619.57	c learnt constraints deletion: 13733 -> 6892
624.46/624.69	c learnt constraints deletion: 13657 -> 6834
629.16/629.35	c learnt constraints deletion: 13652 -> 6832
633.85/634.03	c learnt constraints deletion: 13656 -> 6834
638.55/638.73	c learnt constraints deletion: 13730 -> 6879
643.04/643.28	c learnt constraints deletion: 13721 -> 6876
648.14/648.38	c learnt constraints deletion: 13706 -> 6872
652.35/652.50	c learnt constraints deletion: 13662 -> 6838
656.84/657.05	c learnt constraints deletion: 13681 -> 6849
662.05/662.23	c learnt constraints deletion: 13766 -> 6897
666.54/666.78	c learnt constraints deletion: 13615 -> 6813
671.23/671.45	c learnt constraints deletion: 13689 -> 6854
675.64/675.84	c learnt constraints deletion: 13582 -> 6797
680.13/680.30	c learnt constraints deletion: 13604 -> 6809
684.93/685.16	c learnt constraints deletion: 13932 -> 6966
690.83/691.09	c learnt constraints deletion: 14963 -> 7493
696.04/696.22	c learnt constraints deletion: 14950 -> 7479
701.13/701.39	c learnt constraints deletion: 14931 -> 7471
705.94/706.13	c learnt constraints deletion: 14895 -> 7454
711.33/711.58	c learnt constraints deletion: 14958 -> 7490
717.04/717.27	c learnt constraints deletion: 14950 -> 7495
722.83/723.06	c learnt constraints deletion: 14968 -> 7509
727.43/727.60	c learnt constraints deletion: 14157 -> 7080
733.12/733.34	c learnt constraints deletion: 14958 -> 7481
738.42/738.67	c learnt constraints deletion: 14875 -> 7444
744.02/744.24	c learnt constraints deletion: 14850 -> 7434
748.83/749.06	c learnt constraints deletion: 14925 -> 7471
753.72/753.94	c learnt constraints deletion: 14908 -> 7466
759.02/759.21	c learnt constraints deletion: 14994 -> 7521
763.52/763.70	c learnt constraints deletion: 14973 -> 7495
768.32/768.57	c learnt constraints deletion: 14918 -> 7468
772.91/773.11	c learnt constraints deletion: 14918 -> 7467
777.91/778.15	c learnt constraints deletion: 14906 -> 7462
782.52/782.79	c learnt constraints deletion: 14983 -> 7503
788.52/788.74	c learnt constraints deletion: 14977 -> 7499
793.61/793.88	c learnt constraints deletion: 14965 -> 7496
799.31/799.55	c learnt constraints deletion: 14894 -> 7458
804.21/804.47	c learnt constraints deletion: 14944 -> 7480
810.12/810.30	c learnt constraints deletion: 14980 -> 7499
815.31/815.51	c learnt constraints deletion: 14912 -> 7465
820.91/821.12	c learnt constraints deletion: 14847 -> 7435
826.41/826.68	c learnt constraints deletion: 14901 -> 7471
832.11/832.39	c learnt constraints deletion: 14900 -> 7462
837.21/837.42	c learnt constraints deletion: 14989 -> 7507
842.61/842.86	c learnt constraints deletion: 14994 -> 7517
847.81/848.09	c learnt constraints deletion: 14857 -> 7438
852.91/853.14	c learnt constraints deletion: 14829 -> 7428
858.30/858.56	c learnt constraints deletion: 14934 -> 7480
862.90/863.11	c learnt constraints deletion: 14826 -> 7428
868.11/868.32	c learnt constraints deletion: 14913 -> 7472
872.70/872.94	c learnt constraints deletion: 14933 -> 7484
878.00/878.20	c learnt constraints deletion: 14943 -> 7492
883.20/883.44	c learnt constraints deletion: 14916 -> 7471
888.39/888.63	c learnt constraints deletion: 14875 -> 7452
892.91/893.12	c learnt constraints deletion: 14995 -> 7513
897.70/897.96	c learnt constraints deletion: 14897 -> 7464
902.91/903.12	c learnt constraints deletion: 14907 -> 7470
907.99/908.29	c learnt constraints deletion: 14958 -> 7497
913.49/913.77	c learnt constraints deletion: 14993 -> 7518
919.00/919.28	c learnt constraints deletion: 14990 -> 7523
925.09/925.36	c learnt constraints deletion: 14928 -> 7478
930.19/930.50	c learnt constraints deletion: 14861 -> 7445
935.19/935.49	c learnt constraints deletion: 14939 -> 7485
940.09/940.38	c learnt constraints deletion: 14945 -> 7488
945.99/946.21	c learnt constraints deletion: 14998 -> 7526
950.59/950.89	c learnt constraints deletion: 14977 -> 7505
955.99/956.24	c learnt constraints deletion: 14985 -> 7512
961.19/961.41	c learnt constraints deletion: 14953 -> 7494
967.28/967.57	c learnt constraints deletion: 14968 -> 7511
972.89/973.17	c learnt constraints deletion: 14993 -> 7516
978.09/978.30	c learnt constraints deletion: 14959 -> 7489
982.79/983.01	c learnt constraints deletion: 14954 -> 7487
987.68/987.97	c learnt constraints deletion: 14976 -> 7498
992.58/992.81	c learnt constraints deletion: 14964 -> 7492
997.38/997.67	c learnt constraints deletion: 14844 -> 7432
1002.18/1002.49	c learnt constraints deletion: 14984 -> 7503
1006.78/1007.04	c learnt constraints deletion: 14987 -> 7505
1011.57/1011.82	c learnt constraints deletion: 14937 -> 7479
1016.07/1016.35	c learnt constraints deletion: 14977 -> 7499
1020.48/1020.76	c learnt constraints deletion: 14924 -> 7472
1026.27/1026.56	c learnt constraints deletion: 16292 -> 8156
1032.06/1032.39	c learnt constraints deletion: 16211 -> 8113
1037.56/1037.84	c learnt constraints deletion: 16257 -> 8138
1043.06/1043.31	c learnt constraints deletion: 16309 -> 8162
1048.96/1049.27	c learnt constraints deletion: 16317 -> 8169
1053.95/1054.29	c learnt constraints deletion: 16281 -> 8150
1059.45/1059.70	c learnt constraints deletion: 16319 -> 8170
1064.46/1064.72	c learnt constraints deletion: 16315 -> 8167
1070.06/1070.35	c learnt constraints deletion: 16285 -> 8155
1075.56/1075.83	c learnt constraints deletion: 16334 -> 8192
1080.65/1080.92	c learnt constraints deletion: 16287 -> 8159
1086.25/1086.53	c learnt constraints deletion: 16284 -> 8151
1091.95/1092.26	c learnt constraints deletion: 16209 -> 8117
1097.25/1097.56	c learnt constraints deletion: 16320 -> 8171
1102.85/1103.16	c learnt constraints deletion: 16295 -> 8159
1108.35/1108.66	c learnt constraints deletion: 16329 -> 8177
1113.15/1113.40	c learnt constraints deletion: 15650 -> 7830
1119.45/1119.70	c learnt constraints deletion: 16161 -> 8087
1124.95/1125.22	c learnt constraints deletion: 16174 -> 8095
1129.94/1130.22	c learnt constraints deletion: 16299 -> 8159
1135.34/1135.69	c learnt constraints deletion: 16280 -> 8149
1141.25/1141.50	c learnt constraints deletion: 16300 -> 8163
1146.44/1146.70	c learnt constraints deletion: 16183 -> 8099
1152.04/1152.33	c learnt constraints deletion: 16224 -> 8122
1157.54/1157.86	c learnt constraints deletion: 16256 -> 8143
1163.13/1163.44	c learnt constraints deletion: 16244 -> 8132
1168.54/1168.83	c learnt constraints deletion: 16294 -> 8158
1173.44/1173.80	c learnt constraints deletion: 16308 -> 8167
1178.23/1178.53	c learnt constraints deletion: 16263 -> 8143
1184.03/1184.37	c learnt constraints deletion: 16315 -> 8171
1188.94/1189.21	c learnt constraints deletion: 16342 -> 8183
1193.03/1193.39	c solving time = 1192.893s
1193.03/1193.39	c #decision = 14566465
1193.03/1193.39	c #conflict = 1745010
1193.03/1193.39	c #restart = 24
1193.03/1193.39	o -19
1193.03/1193.39	c Solving starts ...
1194.54/1194.84	c learnt constraints deletion: 15408 -> 7704
1194.54/1194.86	c learnt constraints deletion: 7704 -> 3852
1194.54/1194.87	c learnt constraints deletion: 3852 -> 1926
1194.64/1194.95	c learnt constraints deletion: 1926 -> 963
1196.73/1197.07	c learnt constraints deletion: 3648 -> 1824
1198.03/1198.34	c learnt constraints deletion: 4067 -> 2034
1199.53/1199.82	c learnt constraints deletion: 4603 -> 2302
1201.43/1201.75	c learnt constraints deletion: 5538 -> 2769
1203.33/1203.65	c learnt constraints deletion: 6150 -> 3094
1205.03/1205.32	c learnt constraints deletion: 6113 -> 3057
1207.03/1207.31	c learnt constraints deletion: 6571 -> 3296
1208.73/1209.07	c learnt constraints deletion: 6496 -> 3254
1210.93/1211.21	c learnt constraints deletion: 7075 -> 3545
1212.83/1213.16	c learnt constraints deletion: 7033 -> 3524
1214.73/1215.08	c learnt constraints deletion: 7090 -> 3566
1216.43/1216.74	c learnt constraints deletion: 7156 -> 3616
1218.83/1219.17	c learnt constraints deletion: 7707 -> 3861
1221.13/1221.46	c learnt constraints deletion: 7713 -> 3869
1223.23/1223.52	c learnt constraints deletion: 7623 -> 3825
1225.42/1225.78	c learnt constraints deletion: 7707 -> 3869
1227.63/1227.91	c learnt constraints deletion: 7667 -> 3854
1230.03/1230.31	c learnt constraints deletion: 8287 -> 4152
1232.42/1232.73	c learnt constraints deletion: 8294 -> 4155
1234.83/1235.16	c learnt constraints deletion: 8186 -> 4099
1237.23/1237.53	c learnt constraints deletion: 8273 -> 4145
1239.43/1239.72	c learnt constraints deletion: 8322 -> 4170
1241.73/1242.07	c learnt constraints deletion: 8335 -> 4185
1243.83/1244.15	c learnt constraints deletion: 8219 -> 4128
1246.62/1246.91	c learnt constraints deletion: 9007 -> 4533
1249.12/1249.46	c learnt constraints deletion: 8918 -> 4468
1251.82/1252.14	c learnt constraints deletion: 8962 -> 4490
1254.53/1254.85	c learnt constraints deletion: 8888 -> 4455
1256.83/1257.15	c learnt constraints deletion: 8976 -> 4507
1259.23/1259.59	c learnt constraints deletion: 9054 -> 4557
1262.22/1262.51	c learnt constraints deletion: 8943 -> 4492
1264.73/1265.04	c learnt constraints deletion: 9017 -> 4521
1267.33/1267.61	c learnt constraints deletion: 9051 -> 4537
1269.62/1269.92	c learnt constraints deletion: 8563 -> 4282
1273.02/1273.38	c learnt constraints deletion: 9675 -> 4844
1276.12/1276.49	c learnt constraints deletion: 9793 -> 4904
1279.32/1279.69	c learnt constraints deletion: 9678 -> 4856
1282.12/1282.47	c learnt constraints deletion: 9676 -> 4857
1284.82/1285.13	c learnt constraints deletion: 9663 -> 4851
1287.91/1288.24	c learnt constraints deletion: 9823 -> 4934
1290.32/1290.69	c learnt constraints deletion: 9814 -> 4947
1293.02/1293.39	c learnt constraints deletion: 9770 -> 4906
1295.71/1296.08	c learnt constraints deletion: 9657 -> 4834
1298.82/1299.12	c learnt constraints deletion: 9621 -> 4818
1301.92/1302.20	c learnt constraints deletion: 9668 -> 4843
1304.71/1305.07	c learnt constraints deletion: 9733 -> 4876
1307.62/1307.93	c learnt constraints deletion: 9818 -> 4924
1310.71/1311.08	c learnt constraints deletion: 10661 -> 5353
1313.71/1314.04	c learnt constraints deletion: 10533 -> 5274
1318.11/1318.47	c learnt constraints deletion: 10533 -> 5278
1321.71/1322.05	c learnt constraints deletion: 10679 -> 5359
1325.21/1325.51	c learnt constraints deletion: 10540 -> 5284
1329.11/1329.41	c learnt constraints deletion: 10648 -> 5340
1334.01/1334.32	c learnt constraints deletion: 10600 -> 5308
1339.00/1339.35	c learnt constraints deletion: 10624 -> 5322
1343.60/1343.92	c learnt constraints deletion: 10501 -> 5261
1348.60/1348.92	c learnt constraints deletion: 10662 -> 5344
1352.60/1352.96	c learnt constraints deletion: 10613 -> 5318
1356.40/1356.78	c learnt constraints deletion: 10618 -> 5322
1359.70/1360.07	c learnt constraints deletion: 10531 -> 5281
1362.89/1363.20	c learnt constraints deletion: 10603 -> 5323
1366.10/1366.41	c learnt constraints deletion: 10691 -> 5374
1369.10/1369.50	c learnt constraints deletion: 10564 -> 5291
1372.59/1372.99	c learnt constraints deletion: 10520 -> 5270
1376.19/1376.55	c learnt constraints deletion: 10485 -> 5254
1379.80/1380.13	c learnt constraints deletion: 10935 -> 5468
1383.60/1383.90	c learnt constraints deletion: 11474 -> 5741
1387.29/1387.60	c learnt constraints deletion: 11478 -> 5751
1390.79/1391.11	c learnt constraints deletion: 11499 -> 5758
1394.19/1394.51	c learnt constraints deletion: 11571 -> 5796
1398.19/1398.51	c learnt constraints deletion: 11457 -> 5745
1401.29/1401.66	c learnt constraints deletion: 11539 -> 5799
1404.79/1405.17	c learnt constraints deletion: 11491 -> 5774
1408.39/1408.71	c learnt constraints deletion: 11455 -> 5735
1411.79/1412.10	c learnt constraints deletion: 11536 -> 5776
1415.29/1415.62	c learnt constraints deletion: 11555 -> 5788
1419.29/1419.63	c learnt constraints deletion: 11553 -> 5784
1423.09/1423.40	c learnt constraints deletion: 11584 -> 5807
1426.69/1427.05	c learnt constraints deletion: 11570 -> 5801
1430.09/1430.45	c learnt constraints deletion: 11626 -> 5837
1433.49/1433.82	c learnt constraints deletion: 11530 -> 5773
1437.18/1437.54	c learnt constraints deletion: 11555 -> 5790
1440.48/1440.89	c learnt constraints deletion: 11534 -> 5787
1444.18/1444.58	c learnt constraints deletion: 11483 -> 5748
1448.48/1448.87	c learnt constraints deletion: 11539 -> 5777
1452.48/1452.88	c learnt constraints deletion: 11496 -> 5758
1456.28/1456.64	c learnt constraints deletion: 11580 -> 5803
1459.78/1460.19	c learnt constraints deletion: 11573 -> 5799
1463.38/1463.77	c learnt constraints deletion: 11544 -> 5785
1467.09/1467.47	c learnt constraints deletion: 11438 -> 5726
1470.98/1471.34	c learnt constraints deletion: 11610 -> 5814
1475.38/1475.75	c learnt constraints deletion: 12518 -> 6268
1480.19/1480.53	c learnt constraints deletion: 12546 -> 6278
1484.08/1484.40	c learnt constraints deletion: 12584 -> 6306
1487.68/1488.03	c learnt constraints deletion: 12633 -> 6342
1491.48/1491.80	c learnt constraints deletion: 12601 -> 6316
1495.18/1495.54	c learnt constraints deletion: 12469 -> 6250
1499.18/1499.52	c learnt constraints deletion: 12581 -> 6297
1503.17/1503.53	c learnt constraints deletion: 12565 -> 6290
1507.28/1507.69	c learnt constraints deletion: 12588 -> 6310
1510.98/1511.39	c learnt constraints deletion: 12514 -> 6274
1514.98/1515.32	c learnt constraints deletion: 12553 -> 6296
1518.87/1519.25	c learnt constraints deletion: 12584 -> 6314
1523.08/1523.45	c learnt constraints deletion: 12372 -> 6192
1528.37/1528.79	c learnt constraints deletion: 12584 -> 6301
1532.98/1533.40	c learnt constraints deletion: 12549 -> 6282
1538.37/1538.70	c learnt constraints deletion: 12518 -> 6273
1542.67/1543.00	c learnt constraints deletion: 12539 -> 6285
1547.07/1547.48	c learnt constraints deletion: 12483 -> 6258
1551.68/1552.07	c learnt constraints deletion: 12635 -> 6342
1555.57/1555.93	c learnt constraints deletion: 12592 -> 6327
1559.67/1560.00	c learnt constraints deletion: 12645 -> 6358
1563.76/1564.13	c learnt constraints deletion: 12527 -> 6271
1568.95/1569.33	c learnt constraints deletion: 12604 -> 6310
1573.46/1573.87	c learnt constraints deletion: 12571 -> 6306
1577.55/1577.91	c learnt constraints deletion: 12522 -> 6279
1581.95/1582.31	c learnt constraints deletion: 12611 -> 6326
1585.86/1586.21	c learnt constraints deletion: 12543 -> 6305
1589.65/1590.07	c learnt constraints deletion: 12511 -> 6264
1594.15/1594.58	c learnt constraints deletion: 12618 -> 6318
1598.45/1598.81	c learnt constraints deletion: 12522 -> 6271
1603.26/1603.63	c learnt constraints deletion: 12548 -> 6287
1608.05/1608.40	c learnt constraints deletion: 12610 -> 6331
1612.45/1612.86	c learnt constraints deletion: 12650 -> 6352
1617.25/1617.69	c learnt constraints deletion: 12504 -> 6261
1622.06/1622.41	c learnt constraints deletion: 12630 -> 6325
1626.85/1627.27	c learnt constraints deletion: 12964 -> 6482
1631.85/1632.22	c learnt constraints deletion: 13694 -> 6853
1636.45/1636.84	c learnt constraints deletion: 13734 -> 6872
1642.14/1642.51	c learnt constraints deletion: 13700 -> 6856
1648.04/1648.45	c learnt constraints deletion: 13644 -> 6828
1654.25/1654.67	c learnt constraints deletion: 13695 -> 6856
1659.74/1660.12	c learnt constraints deletion: 13678 -> 6846
1665.14/1665.50	c learnt constraints deletion: 13666 -> 6842
1670.24/1670.63	c learnt constraints deletion: 13705 -> 6864
1675.34/1675.76	c learnt constraints deletion: 13717 -> 6874
1681.14/1681.57	c learnt constraints deletion: 13737 -> 6887
1686.64/1687.08	c learnt constraints deletion: 13669 -> 6842
1691.74/1692.14	c learnt constraints deletion: 13731 -> 6880
1696.44/1696.84	c learnt constraints deletion: 13752 -> 6892
1701.44/1701.90	c learnt constraints deletion: 13633 -> 6832
1705.74/1706.15	c learnt constraints deletion: 13744 -> 6881
1710.34/1710.78	c learnt constraints deletion: 13697 -> 6861
1715.04/1715.45	c learnt constraints deletion: 13714 -> 6869
1719.53/1719.91	c learnt constraints deletion: 13675 -> 6850
1724.04/1724.42	c learnt constraints deletion: 13630 -> 6827
1728.64/1729.07	c learnt constraints deletion: 13728 -> 6876
1733.03/1733.41	c learnt constraints deletion: 13695 -> 6861
1738.03/1738.46	c learnt constraints deletion: 13687 -> 6856
1743.04/1743.46	c learnt constraints deletion: 13726 -> 6876
1747.83/1748.24	c learnt constraints deletion: 13763 -> 6897
1752.53/1752.97	c learnt constraints deletion: 13691 -> 6863
1757.44/1757.86	c learnt constraints deletion: 13737 -> 6891
1763.12/1763.50	c learnt constraints deletion: 13663 -> 6841
1769.12/1769.51	c learnt constraints deletion: 13622 -> 6819
1775.42/1775.87	c learnt constraints deletion: 13593 -> 6806
1781.22/1781.61	c learnt constraints deletion: 13760 -> 6896
1786.33/1786.75	c learnt constraints deletion: 13663 -> 6842
1792.63/1793.05	c learnt constraints deletion: 13694 -> 6861
1797.82/1798.24	c learnt constraints deletion: 13647 -> 6847

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-3725617-1338639529/watcher-3725617-1338639529 -o /tmp/evaluation-result-3725617-1338639529/solver-3725617-1338639529 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725617-1338639529.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2791
/proc/meminfo: memFree=28629848/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 805 0 0 0 0 0 0 0 20 0 1 0 330077737 6373376 726 33554432000 4194304 8989770 140735039571408 140736541562264 7874608 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/2791/statm: 1556 727 428 1171 0 333 0

[startup+0.082401 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2791
/proc/meminfo: memFree=28629848/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=11344 CPUtime=0.07 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 2015 0 0 0 7 0 0 0 20 0 1 0 330077737 11616256 1936 33554432000 4194304 8989770 140735039571408 140736541562264 4209439 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/2791/statm: 2836 1942 459 1171 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11344

[startup+0.100245 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2791
/proc/meminfo: memFree=28629848/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 2160 0 0 0 9 0 0 0 20 0 1 0 330077737 12664832 2081 33554432000 4194304 8989770 140735039571408 140736541562264 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/2791/statm: 3092 2081 459 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.300215 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2791
/proc/meminfo: memFree=28629848/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=13392 CPUtime=0.29 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 2667 0 0 0 29 0 0 0 20 0 1 0 330077737 13713408 2588 33554432000 4194304 8989770 140735039571408 140735039570672 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/2791/statm: 3348 2588 470 1171 0 2125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13392

[startup+0.700224 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2791
/proc/meminfo: memFree=28629848/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=13392 CPUtime=0.69 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 2667 0 0 0 69 0 0 0 20 0 1 0 330077737 13713408 2588 33554432000 4194304 8989770 140735039571408 140735039570904 4209234 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/2791/statm: 3348 2588 470 1171 0 2125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13392

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2792
/proc/meminfo: memFree=28621260/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=14416 CPUtime=1.48 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 2923 0 0 0 148 0 0 0 20 0 1 0 330077737 14761984 2844 33554432000 4194304 8989770 140735039571408 140735039570672 4208870 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/2791/statm: 3604 2844 470 1171 0 2381 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14416

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2792
/proc/meminfo: memFree=28619904/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=16464 CPUtime=3.09 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 3435 0 0 0 308 1 0 0 20 0 1 0 330077737 16859136 3356 33554432000 4194304 8989770 140735039571408 140735039570904 4209168 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/2791/statm: 4116 3356 470 1171 0 2893 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16464

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2792
/proc/meminfo: memFree=28612324/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=20560 CPUtime=6.29 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 4465 0 0 0 626 3 0 0 20 0 1 0 330077737 21053440 4386 33554432000 4194304 8989770 140735039571408 140735039570672 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 5140 4386 472 1171 0 3917 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20560

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2792
/proc/meminfo: memFree=28597948/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=32848 CPUtime=12.69 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 7537 0 0 0 1263 6 0 0 20 0 1 0 330077737 33636352 7458 33554432000 4194304 8989770 140735039571408 140735039570672 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 8212 7458 472 1171 0 6989 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32848

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2792
/proc/meminfo: memFree=28583200/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=46160 CPUtime=25.48 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 11633 0 0 0 2536 12 0 0 20 0 1 0 330077737 47267840 10786 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 11540 10786 472 1171 0 10317 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46160

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2792
/proc/meminfo: memFree=28577124/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=50256 CPUtime=51.08 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 16241 0 0 0 5086 22 0 0 20 0 1 0 330077737 51462144 11810 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 12564 11810 472 1171 0 11341 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50256

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2796
/proc/meminfo: memFree=28563352/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=54352 CPUtime=102.27 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 22641 0 0 0 10182 45 0 0 20 0 1 0 330077737 55656448 12834 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 13588 12834 472 1171 0 12365 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 54352

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2796
/proc/meminfo: memFree=28550836/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=58448 CPUtime=162.26 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 28017 0 0 0 16155 71 0 0 20 0 1 0 330077737 59850752 13858 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 14612 13858 472 1171 0 13389 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 58448

[startup+222.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 2796
/proc/meminfo: memFree=28531832/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=66640 CPUtime=222.25 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 31857 0 0 0 22131 94 0 0 20 0 1 0 330077737 68239360 15906 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 16660 15906 472 1171 0 15437 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 66640

[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 2796
/proc/meminfo: memFree=28523968/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=58448 CPUtime=282.22 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 43648 0 0 0 28099 123 0 0 20 0 1 0 330077737 59850752 13863 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 14612 13863 472 1171 0 13389 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 58448

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 2796
/proc/meminfo: memFree=28497932/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=78928 CPUtime=342.22 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 54144 0 0 0 34074 148 0 0 20 0 1 0 330077737 80822272 18983 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 19732 18983 472 1171 0 18509 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 78928

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2797
/proc/meminfo: memFree=28490628/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=73808 CPUtime=402.21 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 59008 0 0 0 40051 170 0 0 20 0 1 0 330077737 75579392 17703 33554432000 4194304 8989770 140735039571408 140735039570672 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 18452 17703 472 1171 0 17229 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 73808

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2797
/proc/meminfo: memFree=28480408/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=72784 CPUtime=462.2 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 67200 0 0 0 46026 194 0 0 20 0 1 0 330077737 74530816 17447 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 18196 17447 472 1171 0 16973 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 72784

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2797
/proc/meminfo: memFree=28413200/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=78928 CPUtime=522.18 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 71040 0 0 0 52002 216 0 0 20 0 1 0 330077737 80822272 18983 33554432000 4194304 8989770 140735039571408 140735039570904 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 19732 18983 472 1171 0 18509 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 78928

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2797
/proc/meminfo: memFree=28401220/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=86096 CPUtime=582.17 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 81024 0 0 0 57974 243 0 0 20 0 1 0 330077737 88162304 20775 33554432000 4194304 8989770 140735039571408 140735039569344 4209212 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 21524 20775 472 1171 0 20301 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 86096

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 2801
/proc/meminfo: memFree=28392772/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=90192 CPUtime=822.11 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 117667 0 0 0 81869 342 0 0 20 0 1 0 330077737 92356608 21799 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 22548 21799 472 1171 0 21325 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 90192

[startup+882.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 2801
/proc/meminfo: memFree=28392904/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=90192 CPUtime=882.1 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 125347 0 0 0 87848 362 0 0 20 0 1 0 330077737 92356608 21799 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 22548 21799 472 1171 0 21325 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 90192

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2801
/proc/meminfo: memFree=28395632/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=83024 CPUtime=942.09 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 130467 0 0 0 93824 385 0 0 20 0 1 0 330077737 85016576 20007 33554432000 4194304 8989770 140735039571408 140735039570904 4214379 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 20756 20007 472 1171 0 19533 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 83024

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2802
/proc/meminfo: memFree=28395260/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=83024 CPUtime=1002.08 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 138660 0 0 0 99799 409 0 0 20 0 1 0 330077737 85016576 20007 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 20756 20007 472 1171 0 19533 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 83024

[startup+1062.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 2803
/proc/meminfo: memFree=28393696/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=85072 CPUtime=1062.05 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 144054 0 0 0 105770 435 0 0 20 0 1 0 330077737 87113728 20519 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 21268 20519 472 1171 0 20045 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 85072

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 2803
/proc/meminfo: memFree=28401896/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=76880 CPUtime=1122.04 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 149942 0 0 0 111745 459 0 0 20 0 1 0 330077737 78725120 18471 33554432000 4194304 8989770 140735039571408 140735039569344 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 19220 18471 472 1171 0 17997 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 76880

[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 2803
/proc/meminfo: memFree=28395100/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=83024 CPUtime=1182.04 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 158646 0 0 0 117720 484 0 0 20 0 1 0 330077737 85016576 20007 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 20756 20007 472 1171 0 19533 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 83024

[startup+1242.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 2803
/proc/meminfo: memFree=28412904/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=65616 CPUtime=1242.03 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 165558 0 0 0 123696 507 0 0 20 0 1 0 330077737 67190784 15655 33554432000 4194304 8989770 140735039571408 140735039554504 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 16404 15655 472 1171 0 15181 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 65616

[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 2806
/proc/meminfo: memFree=28398760/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=78928 CPUtime=1302.02 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 171958 0 0 0 129673 529 0 0 20 0 1 0 330077737 80822272 18983 33554432000 4194304 8989770 140735039571408 140735039554504 4209365 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 19732 18983 472 1171 0 18509 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 78928

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 2846
/proc/meminfo: memFree=28749748/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=82000 CPUtime=1362 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 175553 0 0 0 135647 553 0 0 20 0 1 0 330077737 83968000 19751 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 20500 19751 472 1171 0 19277 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 82000

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2846
/proc/meminfo: memFree=28726116/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=85072 CPUtime=1421.99 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 178625 0 0 0 141624 575 0 0 20 0 1 0 330077737 87113728 20519 33554432000 4194304 8989770 140735039571408 140735039570904 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 21268 20519 472 1171 0 20045 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 85072

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2846
/proc/meminfo: memFree=28690188/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=78928 CPUtime=1481.98 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 179137 0 0 0 147598 600 0 0 20 0 1 0 330077737 80822272 18983 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 19732 18983 472 1171 0 18509 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 78928

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2846
/proc/meminfo: memFree=28648604/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=91216 CPUtime=1541.97 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 187329 0 0 0 153568 629 0 0 20 0 1 0 330077737 93405184 22055 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 22804 22055 472 1171 0 21581 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 91216

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2846
/proc/meminfo: memFree=28624560/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=103504 CPUtime=1601.96 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 191433 0 0 0 159545 651 0 0 20 0 1 0 330077737 105988096 25127 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 25876 25127 472 1171 0 24653 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 103504

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2847
/proc/meminfo: memFree=28616084/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=95312 CPUtime=1661.94 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 197321 0 0 0 165523 671 0 0 20 0 1 0 330077737 97599488 23079 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 23828 23079 472 1171 0 22605 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 95312

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2847
/proc/meminfo: memFree=28585884/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=107600 CPUtime=1721.94 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 201417 0 0 0 171502 692 0 0 20 0 1 0 330077737 110182400 26151 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 26900 26151 472 1171 0 25677 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 107600

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2847
/proc/meminfo: memFree=28566776/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=103504 CPUtime=1781.93 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 202441 0 0 0 177475 718 0 0 20 0 1 0 330077737 105988096 25127 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 25876 25127 472 1171 0 24653 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 103504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2847
/proc/meminfo: memFree=28568276/32873844 swapFree=7380/7380
[pid=2791] ppid=2789 vsize=95312 CPUtime=1800.03 cores=0,2,4,6
/proc/2791/stat : 2791 (toysat) R 2789 2791 2131 0 -1 4202496 203977 0 0 0 179279 724 0 0 20 0 1 0 330077737 97599488 23079 33554432000 4194304 8989770 140735039571408 140735039570904 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/2791/statm: 23828 23079 472 1171 0 22605 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 95312

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.04
CPU user time (s): 1792.79
CPU system time (s): 7.2529
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 111696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.79
system time used= 7.2529
maximum resident set size= 108700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203977
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= 91
involuntary context switches= 2760

runsolver used 3.2705 second user time and 9.24459 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-02 14:18:49
IDJOB=3725617
IDBENCH=48251
IDSOLVER=2308
FILE ID=node133/3725617-1338639529
RUNJOBID= node133-1338631508-2147
PBS_JOBID= 14636447
Free space on /tmp= 70476 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_1.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725617-1338639529/watcher-3725617-1338639529 -o /tmp/evaluation-result-3725617-1338639529/solver-3725617-1338639529 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725617-1338639529.opb

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

MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de
RANDOM SEED=651687118

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28629848 kB
Buffers:          353496 kB
Cached:          2653168 kB
SwapCached:          676 kB
Active:          1679208 kB
Inactive:        1694148 kB
Active(anon):     357596 kB
Inactive(anon):    10240 kB
Active(file):    1321612 kB
Inactive(file):  1683908 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:              7396 kB
Writeback:             0 kB
AnonPages:        378292 kB
Mapped:            12508 kB
Shmem:                 0 kB
Slab:             731744 kB
SReclaimable:     173828 kB
SUnreclaim:       557916 kB
KernelStack:        1488 kB
PageTables:         4672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     480764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    356352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70468 MiB
End job on node133 at 2012-06-02 14:48:52