Trace number 3707244

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.06 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.03	c 2012-05-27T18:10:04+0200
0.00/0.03	c arch = x86_64
0.00/0.03	c os = linux
0.00/0.03	c compiler = ghc 7.4
0.00/0.03	c packages:
0.00/0.03	c   OptDir-0.0.1
0.00/0.03	c   array-0.4.0.0
0.00/0.03	c   base-4.5.0.0
0.00/0.03	c   bytestring-0.9.2.1
0.00/0.03	c   containers-0.4.2.1
0.00/0.03	c   deepseq-1.3.0.0
0.00/0.03	c   mtl-2.1.1
0.00/0.03	c   old_locale-1.0.0.4
0.00/0.03	c   parse_dimacs-1.2
0.00/0.03	c   parsec-3.1.2
0.00/0.03	c   queue-0.1.2
0.00/0.03	c   stm-2.3
0.00/0.03	c   time-1.4
0.00/0.03	c command line = ["--pb","HOME/instance-3707244-1338135004.opb"]
0.00/0.03	c #vars 200
0.00/0.03	c #constraints 301
0.00/0.03	c Solving starts ...
0.19/0.23	c solving time = 0.200s
0.19/0.23	c #decision = 2669
0.19/0.23	c #conflict = 408
0.19/0.23	c #restart = 2
0.19/0.23	o -18
0.19/0.23	c Solving starts ...
5.09/5.17	c learnt constraints deletion: 3622 -> 1811
7.98/8.09	c learnt constraints deletion: 5200 -> 2636
9.59/9.69	c learnt constraints deletion: 5622 -> 2845
11.29/11.32	c learnt constraints deletion: 5992 -> 3030
12.78/12.87	c learnt constraints deletion: 5839 -> 2948
14.88/14.97	c learnt constraints deletion: 6488 -> 3272
16.89/16.91	c learnt constraints deletion: 6589 -> 3325
18.08/18.14	c learnt constraints deletion: 5406 -> 2708
21.39/21.46	c learnt constraints deletion: 7101 -> 3560
23.59/23.66	c learnt constraints deletion: 7107 -> 3575
26.88/26.97	c learnt constraints deletion: 7102 -> 3555
28.99/29.00	c learnt constraints deletion: 6422 -> 3211
32.59/32.69	c learnt constraints deletion: 7660 -> 3833
35.68/35.72	c learnt constraints deletion: 7660 -> 3838
38.18/38.27	c learnt constraints deletion: 7710 -> 3867
40.88/40.99	c learnt constraints deletion: 7659 -> 3836
43.38/43.49	c learnt constraints deletion: 7415 -> 3708
46.89/46.90	c learnt constraints deletion: 8259 -> 4134
49.79/49.82	c learnt constraints deletion: 8222 -> 4119
52.58/52.60	c learnt constraints deletion: 8275 -> 4148
55.19/55.25	c learnt constraints deletion: 8295 -> 4164
57.88/57.91	c learnt constraints deletion: 8315 -> 4182
60.08/60.14	c learnt constraints deletion: 7715 -> 3860
63.88/63.94	c learnt constraints deletion: 8513 -> 4257
67.38/67.48	c learnt constraints deletion: 8964 -> 4485
70.39/70.45	c learnt constraints deletion: 8989 -> 4501
73.69/73.76	c learnt constraints deletion: 8993 -> 4500
76.67/76.73	c learnt constraints deletion: 8929 -> 4470
79.58/79.61	c learnt constraints deletion: 9055 -> 4537
82.39/82.41	c learnt constraints deletion: 9039 -> 4534
85.18/85.29	c learnt constraints deletion: 8993 -> 4515
87.98/88.06	c learnt constraints deletion: 9023 -> 4518
90.67/90.75	c learnt constraints deletion: 9028 -> 4521
94.18/94.23	c learnt constraints deletion: 9810 -> 4926
97.68/97.74	c learnt constraints deletion: 9739 -> 4874
100.87/100.99	c learnt constraints deletion: 9758 -> 4887
103.87/103.96	c learnt constraints deletion: 9774 -> 4894
106.97/107.02	c learnt constraints deletion: 9788 -> 4901
110.37/110.48	c learnt constraints deletion: 9765 -> 4891
113.57/113.64	c learnt constraints deletion: 9753 -> 4892
116.77/116.81	c learnt constraints deletion: 9783 -> 4915
119.88/119.98	c learnt constraints deletion: 9766 -> 4890
122.77/122.87	c learnt constraints deletion: 9793 -> 4905
125.47/125.50	c learnt constraints deletion: 9767 -> 4893
128.37/128.43	c learnt constraints deletion: 9846 -> 4933
131.47/131.58	c learnt constraints deletion: 9803 -> 4920
134.67/134.75	c learnt constraints deletion: 10199 -> 5100
139.17/139.27	c learnt constraints deletion: 10640 -> 5320
142.77/142.83	c learnt constraints deletion: 10582 -> 5297
146.07/146.19	c learnt constraints deletion: 10577 -> 5296
149.67/149.72	c learnt constraints deletion: 10599 -> 5313
153.07/153.17	c learnt constraints deletion: 10615 -> 5322
156.47/156.56	c learnt constraints deletion: 10592 -> 5311
160.26/160.37	c learnt constraints deletion: 10627 -> 5322
163.87/163.99	c learnt constraints deletion: 10596 -> 5305
167.26/167.36	c learnt constraints deletion: 10578 -> 5300
170.86/170.94	c learnt constraints deletion: 10669 -> 5351
174.46/174.57	c learnt constraints deletion: 10648 -> 5331
177.96/178.05	c learnt constraints deletion: 10613 -> 5316
181.66/181.73	c learnt constraints deletion: 10687 -> 5358
184.95/185.02	c learnt constraints deletion: 10627 -> 5324
188.55/188.65	c learnt constraints deletion: 10682 -> 5358
192.05/192.14	c learnt constraints deletion: 10636 -> 5328
195.85/195.95	c learnt constraints deletion: 10638 -> 5334
199.54/199.67	c learnt constraints deletion: 10666 -> 5352
204.04/204.18	c learnt constraints deletion: 11612 -> 5827
208.65/208.79	c learnt constraints deletion: 11518 -> 5763
213.25/213.36	c learnt constraints deletion: 11531 -> 5771
217.95/218.08	c learnt constraints deletion: 11515 -> 5765
222.24/222.33	c learnt constraints deletion: 11477 -> 5745
226.55/226.62	c learnt constraints deletion: 11465 -> 5748
230.44/230.53	c learnt constraints deletion: 11573 -> 5804
234.34/234.41	c learnt constraints deletion: 11616 -> 5831
237.84/237.95	c learnt constraints deletion: 11552 -> 5782
241.34/241.44	c learnt constraints deletion: 11615 -> 5818
244.63/244.70	c learnt constraints deletion: 11507 -> 5761
248.34/248.48	c learnt constraints deletion: 11564 -> 5799
251.93/252.03	c learnt constraints deletion: 11513 -> 5765
255.53/255.63	c learnt constraints deletion: 11551 -> 5786
259.04/259.13	c learnt constraints deletion: 11569 -> 5794
262.53/262.66	c learnt constraints deletion: 11612 -> 5825
266.04/266.19	c learnt constraints deletion: 11621 -> 5823
269.53/269.69	c learnt constraints deletion: 11587 -> 5811
273.43/273.55	c learnt constraints deletion: 11602 -> 5815
277.23/277.34	c learnt constraints deletion: 11475 -> 5742
280.93/281.08	c learnt constraints deletion: 11483 -> 5748
284.63/284.71	c learnt constraints deletion: 11482 -> 5749
288.63/288.78	c learnt constraints deletion: 11593 -> 5806
292.33/292.48	c learnt constraints deletion: 11533 -> 5791
295.93/296.03	c learnt constraints deletion: 11580 -> 5800
299.93/300.04	c learnt constraints deletion: 12546 -> 6288
304.43/304.52	c learnt constraints deletion: 12481 -> 6245
308.43/308.55	c learnt constraints deletion: 12617 -> 6324
312.63/312.76	c learnt constraints deletion: 12632 -> 6332
316.93/317.08	c learnt constraints deletion: 12627 -> 6333
321.03/321.16	c learnt constraints deletion: 12643 -> 6328
325.23/325.38	c learnt constraints deletion: 12557 -> 6286
329.22/329.39	c learnt constraints deletion: 12542 -> 6289
333.03/333.20	c learnt constraints deletion: 12599 -> 6321
337.02/337.19	c learnt constraints deletion: 12425 -> 6221
341.32/341.49	c learnt constraints deletion: 12547 -> 6285
345.12/345.21	c learnt constraints deletion: 12534 -> 6278
349.53/349.62	c learnt constraints deletion: 12602 -> 6312
353.33/353.42	c learnt constraints deletion: 12600 -> 6324
357.63/357.74	c learnt constraints deletion: 12504 -> 6264
362.02/362.14	c learnt constraints deletion: 12560 -> 6296
365.92/366.08	c learnt constraints deletion: 12508 -> 6270
371.02/371.14	c learnt constraints deletion: 12577 -> 6311
375.12/375.26	c learnt constraints deletion: 12594 -> 6324
379.81/379.97	c learnt constraints deletion: 12657 -> 6361
385.02/385.19	c learnt constraints deletion: 12652 -> 6368
389.52/389.67	c learnt constraints deletion: 12616 -> 6315
393.82/393.91	c learnt constraints deletion: 12516 -> 6265
398.52/398.64	c learnt constraints deletion: 12572 -> 6299
403.11/403.23	c learnt constraints deletion: 12641 -> 6346
407.31/407.40	c learnt constraints deletion: 12611 -> 6336
411.11/411.29	c learnt constraints deletion: 12558 -> 6287
415.51/415.62	c learnt constraints deletion: 12558 -> 6289
420.12/420.21	c learnt constraints deletion: 12643 -> 6345
423.82/423.94	c learnt constraints deletion: 12524 -> 6273
428.21/428.30	c learnt constraints deletion: 12627 -> 6337
432.31/432.40	c learnt constraints deletion: 12625 -> 6326
436.81/436.96	c learnt constraints deletion: 12582 -> 6307
441.91/442.03	c learnt constraints deletion: 12609 -> 6332
447.21/447.32	c learnt constraints deletion: 12648 -> 6361
452.61/452.73	c learnt constraints deletion: 13667 -> 6846
458.52/458.65	c learnt constraints deletion: 13764 -> 6885
463.61/463.73	c learnt constraints deletion: 13690 -> 6849
468.41/468.60	c learnt constraints deletion: 13696 -> 6852
473.40/473.51	c learnt constraints deletion: 13688 -> 6850
477.91/478.08	c learnt constraints deletion: 13720 -> 6864
482.80/482.99	c learnt constraints deletion: 13678 -> 6851
487.31/487.44	c learnt constraints deletion: 13750 -> 6879
492.40/492.54	c learnt constraints deletion: 13673 -> 6841
497.60/497.74	c learnt constraints deletion: 13731 -> 6874
502.40/502.50	c learnt constraints deletion: 13676 -> 6842
507.10/507.26	c learnt constraints deletion: 13680 -> 6845
511.80/511.96	c learnt constraints deletion: 13694 -> 6851
516.49/516.63	c learnt constraints deletion: 13724 -> 6868
521.20/521.34	c learnt constraints deletion: 13739 -> 6876
525.99/526.15	c learnt constraints deletion: 13713 -> 6865
531.19/531.32	c learnt constraints deletion: 13664 -> 6837
536.08/536.21	c learnt constraints deletion: 13597 -> 6804
540.88/541.07	c learnt constraints deletion: 13627 -> 6820
545.68/545.88	c learnt constraints deletion: 13732 -> 6876
550.38/550.55	c learnt constraints deletion: 13778 -> 6913
554.98/555.16	c learnt constraints deletion: 13719 -> 6890
559.18/559.31	c learnt constraints deletion: 13650 -> 6831
562.99/563.19	c learnt constraints deletion: 13663 -> 6838
567.68/567.88	c learnt constraints deletion: 13694 -> 6860
571.79/571.92	c learnt constraints deletion: 13675 -> 6846
575.97/576.16	c learnt constraints deletion: 13636 -> 6825
580.98/581.14	c learnt constraints deletion: 13669 -> 6840
585.88/586.06	c learnt constraints deletion: 13709 -> 6861
591.07/591.21	c learnt constraints deletion: 13726 -> 6869
596.27/596.42	c learnt constraints deletion: 13776 -> 6904
601.28/601.46	c learnt constraints deletion: 13745 -> 6895
606.77/606.97	c learnt constraints deletion: 13690 -> 6853
612.07/612.21	c learnt constraints deletion: 13728 -> 6873
617.37/617.57	c learnt constraints deletion: 13724 -> 6880
622.88/623.04	c learnt constraints deletion: 13733 -> 6892
628.07/628.24	c learnt constraints deletion: 13657 -> 6834
632.77/632.93	c learnt constraints deletion: 13652 -> 6832
637.47/637.67	c learnt constraints deletion: 13656 -> 6834
642.27/642.46	c learnt constraints deletion: 13730 -> 6879
646.87/647.09	c learnt constraints deletion: 13721 -> 6876
652.17/652.33	c learnt constraints deletion: 13706 -> 6872
656.36/656.55	c learnt constraints deletion: 13662 -> 6838
661.07/661.28	c learnt constraints deletion: 13681 -> 6849
666.47/666.62	c learnt constraints deletion: 13766 -> 6897
671.16/671.35	c learnt constraints deletion: 13615 -> 6813
675.97/676.19	c learnt constraints deletion: 13689 -> 6854
680.56/680.75	c learnt constraints deletion: 13582 -> 6797
685.17/685.37	c learnt constraints deletion: 13604 -> 6809
690.26/690.41	c learnt constraints deletion: 13932 -> 6966
696.36/696.56	c learnt constraints deletion: 14963 -> 7493
701.76/701.92	c learnt constraints deletion: 14950 -> 7479
707.17/707.31	c learnt constraints deletion: 14931 -> 7471
712.05/712.23	c learnt constraints deletion: 14895 -> 7454
717.76/717.90	c learnt constraints deletion: 14958 -> 7490
723.66/723.83	c learnt constraints deletion: 14950 -> 7495
729.65/729.83	c learnt constraints deletion: 14968 -> 7509
734.36/734.54	c learnt constraints deletion: 14157 -> 7080
740.26/740.47	c learnt constraints deletion: 14958 -> 7481
745.76/745.99	c learnt constraints deletion: 14875 -> 7444
751.55/751.74	c learnt constraints deletion: 14850 -> 7434
756.56/756.71	c learnt constraints deletion: 14925 -> 7471
761.55/761.76	c learnt constraints deletion: 14908 -> 7466
766.95/767.18	c learnt constraints deletion: 14994 -> 7521
771.65/771.80	c learnt constraints deletion: 14973 -> 7495
776.55/776.79	c learnt constraints deletion: 14918 -> 7468
781.25/781.46	c learnt constraints deletion: 14918 -> 7467
786.45/786.63	c learnt constraints deletion: 14906 -> 7462
791.15/791.39	c learnt constraints deletion: 14983 -> 7503
797.35/797.50	c learnt constraints deletion: 14977 -> 7499
802.54/802.73	c learnt constraints deletion: 14965 -> 7496
808.25/808.50	c learnt constraints deletion: 14894 -> 7458
813.24/813.49	c learnt constraints deletion: 14944 -> 7480
819.14/819.40	c learnt constraints deletion: 14980 -> 7499
824.44/824.67	c learnt constraints deletion: 14912 -> 7465
830.14/830.35	c learnt constraints deletion: 14847 -> 7435
835.85/836.00	c learnt constraints deletion: 14901 -> 7471
841.64/841.81	c learnt constraints deletion: 14900 -> 7462
846.63/846.89	c learnt constraints deletion: 14989 -> 7507
852.14/852.39	c learnt constraints deletion: 14994 -> 7517
857.43/857.68	c learnt constraints deletion: 14857 -> 7438
862.53/862.78	c learnt constraints deletion: 14829 -> 7428
868.03/868.26	c learnt constraints deletion: 14934 -> 7480
872.63/872.86	c learnt constraints deletion: 14826 -> 7428
877.93/878.13	c learnt constraints deletion: 14913 -> 7472
882.53/882.79	c learnt constraints deletion: 14933 -> 7484
887.82/888.08	c learnt constraints deletion: 14943 -> 7492
893.12/893.33	c learnt constraints deletion: 14916 -> 7471
898.32/898.50	c learnt constraints deletion: 14875 -> 7452
902.73/902.99	c learnt constraints deletion: 14995 -> 7513
907.52/907.79	c learnt constraints deletion: 14897 -> 7464
912.72/912.91	c learnt constraints deletion: 14907 -> 7470
917.82/918.00	c learnt constraints deletion: 14958 -> 7497
923.21/923.44	c learnt constraints deletion: 14993 -> 7518
928.61/928.84	c learnt constraints deletion: 14990 -> 7523
934.61/934.83	c learnt constraints deletion: 14928 -> 7478
939.61/939.85	c learnt constraints deletion: 14861 -> 7445
944.51/944.74	c learnt constraints deletion: 14939 -> 7485
949.30/949.53	c learnt constraints deletion: 14945 -> 7488
955.00/955.23	c learnt constraints deletion: 14998 -> 7526
959.60/959.83	c learnt constraints deletion: 14977 -> 7505
964.80/965.07	c learnt constraints deletion: 14985 -> 7512
969.91/970.18	c learnt constraints deletion: 14953 -> 7494
976.10/976.32	c learnt constraints deletion: 14968 -> 7511
981.60/981.88	c learnt constraints deletion: 14993 -> 7516
986.70/986.98	c learnt constraints deletion: 14959 -> 7489
991.40/991.64	c learnt constraints deletion: 14954 -> 7487
996.30/996.55	c learnt constraints deletion: 14976 -> 7498
1001.09/1001.36	c learnt constraints deletion: 14964 -> 7492
1005.90/1006.19	c learnt constraints deletion: 14844 -> 7432
1010.70/1010.98	c learnt constraints deletion: 14984 -> 7503
1015.29/1015.52	c learnt constraints deletion: 14987 -> 7505
1020.10/1020.30	c learnt constraints deletion: 14937 -> 7479
1024.59/1024.85	c learnt constraints deletion: 14977 -> 7499
1028.99/1029.27	c learnt constraints deletion: 14924 -> 7472
1034.90/1035.12	c learnt constraints deletion: 16292 -> 8156
1040.79/1041.03	c learnt constraints deletion: 16211 -> 8113
1046.29/1046.55	c learnt constraints deletion: 16257 -> 8138
1051.89/1052.12	c learnt constraints deletion: 16309 -> 8162
1057.89/1058.20	c learnt constraints deletion: 16317 -> 8169
1063.09/1063.34	c learnt constraints deletion: 16281 -> 8150
1068.69/1068.90	c learnt constraints deletion: 16319 -> 8170
1073.78/1074.04	c learnt constraints deletion: 16315 -> 8167
1079.58/1079.82	c learnt constraints deletion: 16285 -> 8155
1085.18/1085.41	c learnt constraints deletion: 16334 -> 8192
1090.38/1090.60	c learnt constraints deletion: 16287 -> 8159
1095.97/1096.29	c learnt constraints deletion: 16284 -> 8151
1101.78/1102.09	c learnt constraints deletion: 16209 -> 8117
1107.18/1107.43	c learnt constraints deletion: 16320 -> 8171
1112.77/1113.09	c learnt constraints deletion: 16295 -> 8159
1118.27/1118.55	c learnt constraints deletion: 16329 -> 8177
1122.97/1123.29	c learnt constraints deletion: 15650 -> 7830
1129.27/1129.56	c learnt constraints deletion: 16161 -> 8087
1134.77/1135.03	c learnt constraints deletion: 16174 -> 8095
1139.77/1140.03	c learnt constraints deletion: 16299 -> 8159
1145.17/1145.46	c learnt constraints deletion: 16280 -> 8149
1150.97/1151.25	c learnt constraints deletion: 16300 -> 8163
1156.16/1156.47	c learnt constraints deletion: 16183 -> 8099
1161.76/1162.07	c learnt constraints deletion: 16224 -> 8122
1167.37/1167.60	c learnt constraints deletion: 16256 -> 8143
1172.86/1173.19	c learnt constraints deletion: 16244 -> 8132
1178.26/1178.55	c learnt constraints deletion: 16294 -> 8158
1183.16/1183.49	c learnt constraints deletion: 16308 -> 8167
1187.96/1188.24	c learnt constraints deletion: 16263 -> 8143
1193.76/1194.05	c learnt constraints deletion: 16315 -> 8171
1198.56/1198.89	c learnt constraints deletion: 16342 -> 8183
1202.76/1203.06	c solving time = 1202.595s
1202.76/1203.06	c #decision = 14566465
1202.76/1203.06	c #conflict = 1745010
1202.76/1203.06	c #restart = 24
1202.76/1203.06	o -19
1202.76/1203.06	c Solving starts ...
1204.17/1204.50	c learnt constraints deletion: 15408 -> 7704
1204.27/1204.52	c learnt constraints deletion: 7704 -> 3852
1204.27/1204.53	c learnt constraints deletion: 3852 -> 1926
1204.36/1204.61	c learnt constraints deletion: 1926 -> 963
1206.46/1206.74	c learnt constraints deletion: 3648 -> 1824
1207.76/1208.01	c learnt constraints deletion: 4067 -> 2034
1209.16/1209.49	c learnt constraints deletion: 4603 -> 2302
1211.16/1211.43	c learnt constraints deletion: 5538 -> 2769
1213.07/1213.34	c learnt constraints deletion: 6150 -> 3094
1214.75/1215.02	c learnt constraints deletion: 6113 -> 3057
1216.76/1217.02	c learnt constraints deletion: 6571 -> 3296
1218.46/1218.79	c learnt constraints deletion: 6496 -> 3254
1220.67/1220.94	c learnt constraints deletion: 7075 -> 3545
1222.65/1222.90	c learnt constraints deletion: 7033 -> 3524
1224.55/1224.83	c learnt constraints deletion: 7090 -> 3566
1226.27/1226.50	c learnt constraints deletion: 7156 -> 3616
1228.66/1228.95	c learnt constraints deletion: 7707 -> 3861
1230.95/1231.26	c learnt constraints deletion: 7713 -> 3869
1233.05/1233.34	c learnt constraints deletion: 7623 -> 3825
1235.35/1235.62	c learnt constraints deletion: 7707 -> 3869
1237.45/1237.77	c learnt constraints deletion: 7667 -> 3854
1239.86/1240.17	c learnt constraints deletion: 8287 -> 4152
1242.36/1242.62	c learnt constraints deletion: 8294 -> 4155
1244.76/1245.07	c learnt constraints deletion: 8186 -> 4099
1247.16/1247.46	c learnt constraints deletion: 8273 -> 4145
1249.35/1249.66	c learnt constraints deletion: 8322 -> 4170
1251.75/1252.03	c learnt constraints deletion: 8335 -> 4185
1253.85/1254.13	c learnt constraints deletion: 8219 -> 4128
1256.55/1256.89	c learnt constraints deletion: 9007 -> 4533
1259.15/1259.46	c learnt constraints deletion: 8918 -> 4468
1261.84/1262.15	c learnt constraints deletion: 8962 -> 4490
1264.55/1264.85	c learnt constraints deletion: 8888 -> 4455
1266.86/1267.14	c learnt constraints deletion: 8976 -> 4507
1269.25/1269.55	c learnt constraints deletion: 9054 -> 4557
1272.14/1272.47	c learnt constraints deletion: 8943 -> 4492
1274.65/1274.99	c learnt constraints deletion: 9017 -> 4521
1277.24/1277.52	c learnt constraints deletion: 9051 -> 4537
1279.54/1279.80	c learnt constraints deletion: 8563 -> 4282
1282.93/1283.23	c learnt constraints deletion: 9675 -> 4844
1285.94/1286.26	c learnt constraints deletion: 9793 -> 4904
1289.03/1289.39	c learnt constraints deletion: 9678 -> 4856
1291.83/1292.12	c learnt constraints deletion: 9676 -> 4857
1294.43/1294.72	c learnt constraints deletion: 9663 -> 4851
1297.43/1297.76	c learnt constraints deletion: 9823 -> 4934
1299.84/1300.17	c learnt constraints deletion: 9814 -> 4947
1302.53/1302.83	c learnt constraints deletion: 9770 -> 4906
1305.13/1305.48	c learnt constraints deletion: 9657 -> 4834
1308.13/1308.46	c learnt constraints deletion: 9621 -> 4818
1311.23/1311.50	c learnt constraints deletion: 9668 -> 4843
1314.03/1314.32	c learnt constraints deletion: 9733 -> 4876
1316.83/1317.13	c learnt constraints deletion: 9818 -> 4924
1319.93/1320.22	c learnt constraints deletion: 10661 -> 5353
1322.83/1323.14	c learnt constraints deletion: 10533 -> 5274
1327.23/1327.52	c learnt constraints deletion: 10533 -> 5278
1330.73/1331.07	c learnt constraints deletion: 10679 -> 5359
1334.22/1334.53	c learnt constraints deletion: 10540 -> 5284
1338.13/1338.44	c learnt constraints deletion: 10648 -> 5340
1343.02/1343.35	c learnt constraints deletion: 10600 -> 5308
1348.02/1348.38	c learnt constraints deletion: 10624 -> 5322
1352.63/1352.99	c learnt constraints deletion: 10501 -> 5261
1357.72/1358.04	c learnt constraints deletion: 10662 -> 5344
1361.83/1362.12	c learnt constraints deletion: 10613 -> 5318
1365.73/1366.01	c learnt constraints deletion: 10618 -> 5322
1369.02/1369.35	c learnt constraints deletion: 10531 -> 5281
1372.22/1372.53	c learnt constraints deletion: 10603 -> 5323
1375.52/1375.81	c learnt constraints deletion: 10691 -> 5374
1378.62/1378.95	c learnt constraints deletion: 10564 -> 5291
1382.12/1382.48	c learnt constraints deletion: 10520 -> 5270
1385.82/1386.10	c learnt constraints deletion: 10485 -> 5254
1389.42/1389.74	c learnt constraints deletion: 10935 -> 5468
1393.22/1393.57	c learnt constraints deletion: 11474 -> 5741
1397.02/1397.33	c learnt constraints deletion: 11478 -> 5751
1400.62/1400.91	c learnt constraints deletion: 11499 -> 5758
1404.02/1404.36	c learnt constraints deletion: 11571 -> 5796
1408.12/1408.44	c learnt constraints deletion: 11457 -> 5745
1411.31/1411.64	c learnt constraints deletion: 11539 -> 5799
1414.92/1415.21	c learnt constraints deletion: 11491 -> 5774
1418.52/1418.81	c learnt constraints deletion: 11455 -> 5735
1421.92/1422.26	c learnt constraints deletion: 11536 -> 5776
1425.52/1425.83	c learnt constraints deletion: 11555 -> 5788
1429.62/1429.92	c learnt constraints deletion: 11553 -> 5784
1433.41/1433.75	c learnt constraints deletion: 11584 -> 5807
1437.12/1437.48	c learnt constraints deletion: 11570 -> 5801
1440.62/1440.94	c learnt constraints deletion: 11626 -> 5837
1444.01/1444.36	c learnt constraints deletion: 11530 -> 5773
1447.81/1448.13	c learnt constraints deletion: 11555 -> 5790
1451.21/1451.52	c learnt constraints deletion: 11534 -> 5787
1454.92/1455.25	c learnt constraints deletion: 11483 -> 5748
1459.31/1459.62	c learnt constraints deletion: 11539 -> 5777
1463.31/1463.69	c learnt constraints deletion: 11496 -> 5758
1467.11/1467.48	c learnt constraints deletion: 11580 -> 5803
1470.71/1471.06	c learnt constraints deletion: 11573 -> 5799
1474.30/1474.64	c learnt constraints deletion: 11544 -> 5785
1478.00/1478.36	c learnt constraints deletion: 11438 -> 5726
1481.89/1482.22	c learnt constraints deletion: 11610 -> 5814
1486.29/1486.61	c learnt constraints deletion: 12518 -> 6268
1490.99/1491.36	c learnt constraints deletion: 12546 -> 6278
1494.90/1495.20	c learnt constraints deletion: 12584 -> 6306
1498.49/1498.82	c learnt constraints deletion: 12633 -> 6342
1502.19/1502.57	c learnt constraints deletion: 12601 -> 6316
1505.89/1506.29	c learnt constraints deletion: 12469 -> 6250
1509.90/1510.28	c learnt constraints deletion: 12581 -> 6297
1513.89/1514.29	c learnt constraints deletion: 12565 -> 6290
1518.09/1518.44	c learnt constraints deletion: 12588 -> 6310
1521.79/1522.13	c learnt constraints deletion: 12514 -> 6274
1525.69/1526.05	c learnt constraints deletion: 12553 -> 6296
1529.59/1529.98	c learnt constraints deletion: 12584 -> 6314
1533.79/1534.19	c learnt constraints deletion: 12372 -> 6192
1539.19/1539.55	c learnt constraints deletion: 12584 -> 6301
1543.78/1544.16	c learnt constraints deletion: 12549 -> 6282
1549.09/1549.46	c learnt constraints deletion: 12518 -> 6273
1553.39/1553.78	c learnt constraints deletion: 12539 -> 6285
1557.88/1558.29	c learnt constraints deletion: 12483 -> 6258
1562.59/1562.90	c learnt constraints deletion: 12635 -> 6342
1566.49/1566.84	c learnt constraints deletion: 12592 -> 6327
1570.58/1570.97	c learnt constraints deletion: 12645 -> 6358
1574.79/1575.18	c learnt constraints deletion: 12527 -> 6271
1580.18/1580.51	c learnt constraints deletion: 12604 -> 6310
1584.79/1585.16	c learnt constraints deletion: 12571 -> 6306
1588.98/1589.30	c learnt constraints deletion: 12522 -> 6279
1593.38/1593.78	c learnt constraints deletion: 12611 -> 6326
1597.38/1597.77	c learnt constraints deletion: 12543 -> 6305
1601.38/1601.72	c learnt constraints deletion: 12511 -> 6264
1605.87/1606.29	c learnt constraints deletion: 12618 -> 6318
1610.28/1610.63	c learnt constraints deletion: 12522 -> 6271
1615.17/1615.56	c learnt constraints deletion: 12548 -> 6287
1620.08/1620.46	c learnt constraints deletion: 12610 -> 6331
1624.67/1625.00	c learnt constraints deletion: 12650 -> 6352
1629.58/1629.93	c learnt constraints deletion: 12504 -> 6261
1634.38/1634.73	c learnt constraints deletion: 12630 -> 6325
1639.28/1639.69	c learnt constraints deletion: 12964 -> 6482
1644.37/1644.75	c learnt constraints deletion: 13694 -> 6853
1649.07/1649.46	c learnt constraints deletion: 13734 -> 6872
1654.87/1655.26	c learnt constraints deletion: 13700 -> 6856
1660.97/1661.31	c learnt constraints deletion: 13644 -> 6828
1667.27/1667.64	c learnt constraints deletion: 13695 -> 6856
1672.77/1673.12	c learnt constraints deletion: 13678 -> 6846
1678.17/1678.52	c learnt constraints deletion: 13666 -> 6842
1683.27/1683.63	c learnt constraints deletion: 13705 -> 6864
1688.36/1688.77	c learnt constraints deletion: 13717 -> 6874
1694.16/1694.56	c learnt constraints deletion: 13737 -> 6887
1699.66/1700.03	c learnt constraints deletion: 13669 -> 6842
1704.66/1705.05	c learnt constraints deletion: 13731 -> 6880
1709.35/1709.71	c learnt constraints deletion: 13752 -> 6892
1714.35/1714.70	c learnt constraints deletion: 13633 -> 6832
1718.56/1718.92	c learnt constraints deletion: 13744 -> 6881
1723.15/1723.50	c learnt constraints deletion: 13697 -> 6861
1727.66/1728.09	c learnt constraints deletion: 13714 -> 6869
1732.16/1732.51	c learnt constraints deletion: 13675 -> 6850
1736.56/1736.98	c learnt constraints deletion: 13630 -> 6827
1741.15/1741.59	c learnt constraints deletion: 13728 -> 6876
1745.45/1745.89	c learnt constraints deletion: 13695 -> 6861
1750.45/1750.88	c learnt constraints deletion: 13687 -> 6856
1755.45/1755.81	c learnt constraints deletion: 13726 -> 6876
1760.05/1760.49	c learnt constraints deletion: 13763 -> 6897
1764.75/1765.16	c learnt constraints deletion: 13691 -> 6863
1769.56/1769.99	c learnt constraints deletion: 13737 -> 6891
1775.15/1775.55	c learnt constraints deletion: 13663 -> 6841
1781.15/1781.52	c learnt constraints deletion: 13622 -> 6819
1787.44/1787.83	c learnt constraints deletion: 13593 -> 6806
1793.14/1793.53	c learnt constraints deletion: 13760 -> 6896
1798.24/1798.61	c learnt constraints deletion: 13663 -> 6842

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-3707244-1338135004/watcher-3707244-1338135004 -o /tmp/evaluation-result-3707244-1338135004/solver-3707244-1338135004 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707244-1338135004.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.04 2.03 2.00 3/177 5512
/proc/meminfo: memFree=30931280/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 809 0 0 0 0 0 0 0 20 0 1 0 279625327 6356992 730 33554432000 4194304 8973514 140733352078832 140734190404680 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 1552 730 415 1167 0 333 0

[startup+0.0955419 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 5512
/proc/meminfo: memFree=30931280/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 2143 0 0 0 9 0 0 0 20 0 1 0 279625327 12648448 2064 33554432000 4194304 8973514 140733352078832 140734190404680 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 3088 2064 446 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.100306 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 5512
/proc/meminfo: memFree=30931280/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 2143 0 0 0 9 0 0 0 20 0 1 0 279625327 12648448 2064 33554432000 4194304 8973514 140733352078832 140734190404680 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 3088 2064 446 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300266 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 5512
/proc/meminfo: memFree=30931280/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=13376 CPUtime=0.29 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 2651 0 0 0 29 0 0 0 20 0 1 0 279625327 13697024 2572 33554432000 4194304 8973514 140733352078832 140734190404680 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 3344 2572 456 1167 0 2125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13376

[startup+0.700279 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 5512
/proc/meminfo: memFree=30931280/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=13376 CPUtime=0.69 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 2651 0 0 0 69 0 0 0 20 0 1 0 279625327 13697024 2572 33554432000 4194304 8973514 140733352078832 140733352076800 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 3344 2572 456 1167 0 2125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13376

[startup+1.50029 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 5513
/proc/meminfo: memFree=30921816/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=14400 CPUtime=1.48 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 2907 0 0 0 148 0 0 0 20 0 1 0 279625327 14745600 2828 33554432000 4194304 8973514 140733352078832 140733352076800 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 3600 2828 456 1167 0 2381 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14400

[startup+3.1003 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 5513
/proc/meminfo: memFree=30921444/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=16448 CPUtime=3.09 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 3419 0 0 0 308 1 0 0 20 0 1 0 279625327 16842752 3340 33554432000 4194304 8973514 140733352078832 140733352076800 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 4112 3340 456 1167 0 2893 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16448

[startup+6.3003 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 5513
/proc/meminfo: memFree=30915244/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=20544 CPUtime=6.29 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 4448 0 0 0 627 2 0 0 20 0 1 0 279625327 21037056 4369 33554432000 4194304 8973514 140733352078832 140733352078096 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 5136 4369 457 1167 0 3917 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20544

[startup+12.7003 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 5513
/proc/meminfo: memFree=30900636/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=32832 CPUtime=12.68 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 7520 0 0 0 1264 4 0 0 20 0 1 0 279625327 33619968 7441 33554432000 4194304 8973514 140733352078832 140733352078328 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 8208 7441 457 1167 0 6989 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32832

[startup+25.5003 s]
/proc/loadavg: 2.11 2.04 2.01 3/178 5513
/proc/meminfo: memFree=30884152/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=46144 CPUtime=25.48 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 11360 0 0 0 2538 10 0 0 20 0 1 0 279625327 47251456 10769 33554432000 4194304 8973514 140733352078832 140733352076800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 11536 10769 457 1167 0 10317 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46144

[startup+51.1003 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 5513
/proc/meminfo: memFree=30872992/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=50240 CPUtime=51.08 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 16224 0 0 0 5087 21 0 0 20 0 1 0 279625327 51445760 11793 33554432000 4194304 8973514 140733352078832 140733352060800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 12560 11793 457 1167 0 11341 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50240

[startup+102.307 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 5513
/proc/meminfo: memFree=30807476/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=54336 CPUtime=102.28 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 22624 0 0 0 10186 42 0 0 20 0 1 0 279625327 55640064 12817 33554432000 4194304 8973514 140733352078832 140733352078328 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 13584 12817 457 1167 0 12365 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 54336

[startup+162.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 5513
/proc/meminfo: memFree=30801268/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=58432 CPUtime=162.26 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 28004 0 0 0 16162 64 0 0 20 0 1 0 279625327 59834368 13841 33554432000 4194304 8973514 140733352078832 140733352078328 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 14608 13841 457 1167 0 13389 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 58432

[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 5513
/proc/meminfo: memFree=30793648/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=66624 CPUtime=222.24 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 31856 0 0 0 22138 86 0 0 20 0 1 0 279625327 68222976 15889 33554432000 4194304 8973514 140733352078832 140733352078328 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 16656 15889 457 1167 0 15437 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 66624

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 5514
/proc/meminfo: memFree=30794852/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=58432 CPUtime=282.24 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 43632 0 0 0 28114 110 0 0 20 0 1 0 279625327 59834368 13841 33554432000 4194304 8973514 140733352078832 140733352060800 4382140 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 14608 13841 457 1167 0 13389 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 58432

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 5514
/proc/meminfo: memFree=30779232/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=78912 CPUtime=342.23 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 54128 0 0 0 34090 133 0 0 20 0 1 0 279625327 80805888 18961 33554432000 4194304 8973514 140733352078832 140733352076800 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 19728 18961 457 1167 0 18509 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 78912

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5514
/proc/meminfo: memFree=30784068/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=73792 CPUtime=402.22 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 58992 0 0 0 40069 153 0 0 20 0 1 0 279625327 75563008 17681 33554432000 4194304 8973514 140733352078832 140733352078328 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 18448 17681 457 1167 0 17229 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 73792

[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 5514
/proc/meminfo: memFree=30786920/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=70720 CPUtime=462.2 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 66672 0 0 0 46043 177 0 0 20 0 1 0 279625327 72417280 16913 33554432000 4194304 8973514 140733352078832 140733352060800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 17680 16913 457 1167 0 16461 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 70720

[startup+522.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 5514
/proc/meminfo: memFree=30773280/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=84032 CPUtime=522.2 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 70776 0 0 0 52024 196 0 0 20 0 1 0 279625327 86048768 20241 33554432000 4194304 8973514 140733352078832 140733352060800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 21008 20241 457 1167 0 19789 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 84032

[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 5514
/proc/meminfo: memFree=30777388/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=78912 CPUtime=582.18 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 79232 0 0 0 58001 217 0 0 20 0 1 0 279625327 80805888 18961 33554432000 4194304 8973514 140733352078832 140733352078328 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 19728 18961 457 1167 0 18509 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 78912

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 5518
/proc/meminfo: memFree=30779396/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=78912 CPUtime=822.14 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 115584 0 0 0 81907 307 0 0 20 0 1 0 279625327 80805888 18961 33554432000 4194304 8973514 140733352078832 140733352060800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 19728 18961 457 1167 0 18509 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 78912

[startup+882.3 s]
/proc/loadavg: 1.94 2.00 1.99 3/177 5595
/proc/meminfo: memFree=31119916/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=89152 CPUtime=882.12 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 125828 0 0 0 87886 326 0 0 20 0 1 0 279625327 91291648 21517 33554432000 4194304 8973514 140733352078832 140733352060800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 22288 21517 457 1167 0 21069 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 89152

[startup+942.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 5596
/proc/meminfo: memFree=31124776/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=74816 CPUtime=942.1 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 130204 0 0 0 93862 348 0 0 20 0 1 0 279625327 76611584 17937 33554432000 4194304 8973514 140733352078832 140733352078328 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 18704 17937 457 1167 0 17485 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 74816

[startup+1002.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 5596
/proc/meminfo: memFree=31089420/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=89152 CPUtime=1002.1 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 140444 0 0 0 99843 367 0 0 20 0 1 0 279625327 91291648 21521 33554432000 4194304 8973514 140733352078832 140733352078328 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 22288 21521 457 1167 0 21069 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 89152

[startup+1062.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 5596
/proc/meminfo: memFree=31087420/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=83008 CPUtime=1062.09 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 145052 0 0 0 105821 388 0 0 20 0 1 0 279625327 85000192 19985 33554432000 4194304 8973514 140733352078832 140733352078328 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 20752 19985 457 1167 0 19533 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 83008

[startup+1122.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/176 5596
/proc/meminfo: memFree=31083708/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=88128 CPUtime=1122.07 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 149930 0 0 0 111800 407 0 0 20 0 1 0 279625327 90243072 21265 33554432000 4194304 8973514 140733352078832 140733352078096 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 22032 21265 457 1167 0 20813 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 88128

[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 5597
/proc/meminfo: memFree=31085080/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=83008 CPUtime=1182.06 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 158890 0 0 0 117779 427 0 0 20 0 1 0 279625327 85000192 19985 33554432000 4194304 8973514 140733352078832 140733352078328 4543688 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 20752 19985 457 1167 0 19533 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 83008

[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/178 5601
/proc/meminfo: memFree=31102400/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=65600 CPUtime=1242.06 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 165802 0 0 0 123757 449 0 0 20 0 1 0 279625327 67174400 15633 33554432000 4194304 8973514 140733352078832 140733352060800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 16400 15633 457 1167 0 15181 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 65600

[startup+1302.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 5601
/proc/meminfo: memFree=31080216/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=83008 CPUtime=1302.04 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 172219 0 0 0 129733 471 0 0 20 0 1 0 279625327 85000192 19985 33554432000 4194304 8973514 140733352078832 140733352078328 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 20752 19985 457 1167 0 19533 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 83008

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 5601
/proc/meminfo: memFree=31071544/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=79936 CPUtime=1362.03 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 175291 0 0 0 135711 492 0 0 20 0 1 0 279625327 81854464 19217 33554432000 4194304 8973514 140733352078832 140733352078328 4213743 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 19984 19217 457 1167 0 18765 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 79936

[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 5601
/proc/meminfo: memFree=31066384/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=83008 CPUtime=1422.02 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 178107 0 0 0 141691 511 0 0 20 0 1 0 279625327 85000192 19985 33554432000 4194304 8973514 140733352078832 140733352078328 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 20752 19985 457 1167 0 19533 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 83008

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 5601
/proc/meminfo: memFree=31053824/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=87104 CPUtime=1481.99 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 179147 0 0 0 147667 532 0 0 20 0 1 0 279625327 89194496 21009 33554432000 4194304 8973514 140733352078832 140733352078328 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 21776 21009 457 1167 0 20557 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 87104

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5602
/proc/meminfo: memFree=31053344/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=83008 CPUtime=1541.99 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 185035 0 0 0 153643 556 0 0 20 0 1 0 279625327 85000192 19985 33554432000 4194304 8973514 140733352078832 140733352078096 4213708 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 20752 19985 457 1167 0 19533 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 83008

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5602
/proc/meminfo: memFree=31028236/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=103488 CPUtime=1601.98 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 191179 0 0 0 159621 577 0 0 20 0 1 0 279625327 105971712 25105 33554432000 4194304 8973514 140733352078832 140733352078328 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 25872 25105 457 1167 0 24653 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 103488

[startup+1662.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 5602
/proc/meminfo: memFree=31023072/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=103488 CPUtime=1661.97 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 197069 0 0 0 165602 595 0 0 20 0 1 0 279625327 105971712 25105 33554432000 4194304 8973514 140733352078832 140733352076800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 25872 25105 457 1167 0 24653 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 103488

[startup+1722.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 5602
/proc/meminfo: memFree=31016996/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=109632 CPUtime=1721.96 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 200659 0 0 0 171581 615 0 0 20 0 1 0 279625327 112263168 26641 33554432000 4194304 8973514 140733352078832 140733352078328 4208833 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 27408 26641 457 1167 0 26189 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 109632

[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 5602
/proc/meminfo: memFree=31020852/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=103488 CPUtime=1781.94 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 202195 0 0 0 177559 635 0 0 20 0 1 0 279625327 105971712 25105 33554432000 4194304 8973514 140733352078832 140733352078328 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 25872 25105 457 1167 0 24653 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 103488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.04 2.01 3/178 5605
/proc/meminfo: memFree=31023700/32873844 swapFree=7112/7112
[pid=5512] ppid=5510 vsize=99392 CPUtime=1800.05 cores=0,2,4,6
/proc/5512/stat : 5512 (toysat) R 5510 5512 4109 0 -1 4202496 202195 0 0 0 179364 641 0 0 20 0 1 0 279625327 101777408 24081 33554432000 4194304 8973514 140733352078832 140733352076800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/5512/statm: 24848 24081 457 1167 0 23629 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 99392

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.06
CPU user time (s): 1793.65
CPU system time (s): 6.41502
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 111680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.65
system time used= 6.41502
maximum resident set size= 108612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202195
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= 118
involuntary context switches= 1891

runsolver used 3.52246 second user time and 9.09262 second system time

The end

Launcher Data 

Begin job on node142 at 2012-05-27 18:10:04
IDJOB=3707244
IDBENCH=48251
IDSOLVER=2285
FILE ID=node142/3707244-1338135004
RUNJOBID= node142-1338115130-4125
PBS_JOBID= 14624473
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_1.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707244-1338135004/watcher-3707244-1338135004 -o /tmp/evaluation-result-3707244-1338135004/solver-3707244-1338135004 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3707244-1338135004.opb

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

MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de
RANDOM SEED=779452415

node142.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.776
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.55
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.776
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.776
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	: 5391.91
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.776
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.92
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.776
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.90
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.776
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.91
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.776
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.776
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:        30931644 kB
Buffers:          320336 kB
Cached:           357760 kB
SwapCached:            0 kB
Active:           902352 kB
Inactive:         217728 kB
Active(anon):     432792 kB
Inactive(anon):    11212 kB
Active(file):     469560 kB
Inactive(file):   206516 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7416 kB
Writeback:             0 kB
AnonPages:        448848 kB
Mapped:            13432 kB
Shmem:               200 kB
Slab:             681568 kB
SReclaimable:     123740 kB
SUnreclaim:       557828 kB
KernelStack:        1464 kB
PageTables:         4844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     555948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    376832 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= 71680 MiB
End job on node142 at 2012-05-27 18:40:07