Trace number 3725637

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-01OPT-6 1711.18 1711.48

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_1.opb
MD5SUMe0d3a2bf2cd2b7e4b27d7033a7686e76
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-6
Best CPU time to get the best result obtained on this benchmark14.8577
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -6
Optimality of the best value was proved YES
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2996
Sum of products size (including duplicates)5992
Number of different products1498
Sum of products size2996

Quality of the solution as a function of time


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

Solver Data 

0.03/0.04	c 2012-06-02T14:18:21+0200
0.03/0.04	c arch = x86_64
0.03/0.04	c os = linux
0.03/0.04	c compiler = ghc 7.4
0.03/0.04	c packages:
0.03/0.04	c   OptDir-0.0.1
0.03/0.04	c   array-0.4.0.0
0.03/0.04	c   base-4.5.0.0
0.03/0.04	c   bytestring-0.9.2.1
0.03/0.04	c   containers-0.4.2.1
0.03/0.04	c   deepseq-1.3.0.0
0.03/0.04	c   mtl-2.1.1
0.03/0.04	c   old_locale-1.0.0.4
0.03/0.04	c   parse_dimacs-1.2
0.03/0.04	c   parsec-3.1.2
0.03/0.04	c   queue-0.1.2
0.03/0.04	c   stm-2.3
0.03/0.04	c   time-1.4
0.03/0.04	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725637-1338639501.opb"]
0.03/0.04	c #vars 100
0.03/0.04	c #constraints 151
0.03/0.04	c Solving starts ...
0.09/0.13	c solving time = 0.092s
0.09/0.13	c #decision = 1323
0.09/0.13	c #conflict = 151
0.09/0.13	c #restart = 1
0.09/0.13	o -4
0.09/0.13	c Solving starts ...
0.39/0.40	c solving time = 0.267s
0.39/0.40	c #decision = 3545
0.39/0.40	c #conflict = 915
0.39/0.40	c #restart = 4
0.39/0.40	o -5
0.39/0.40	c Solving starts ...
0.49/0.53	c solving time = 0.133s
0.49/0.53	c #decision = 5464
0.49/0.53	c #conflict = 1395
0.49/0.53	c #restart = 7
0.49/0.53	o -6
0.49/0.53	c Solving starts ...
1.49/1.58	c learnt constraints deletion: 4254 -> 2135
2.89/2.91	c learnt constraints deletion: 5952 -> 2999
3.89/3.93	c learnt constraints deletion: 5958 -> 2990
5.08/5.14	c learnt constraints deletion: 6318 -> 3173
6.19/6.20	c learnt constraints deletion: 6756 -> 3394
7.49/7.60	c learnt constraints deletion: 7284 -> 3655
8.89/8.92	c learnt constraints deletion: 7100 -> 3565
10.59/10.62	c learnt constraints deletion: 7581 -> 3791
12.28/12.31	c learnt constraints deletion: 7399 -> 3700
13.69/13.74	c learnt constraints deletion: 7500 -> 3763
14.98/15.00	c learnt constraints deletion: 7270 -> 3635
16.98/17.00	c learnt constraints deletion: 8724 -> 4378
18.28/18.37	c learnt constraints deletion: 8177 -> 4101
19.89/19.94	c learnt constraints deletion: 8050 -> 4041
21.28/21.39	c learnt constraints deletion: 8247 -> 4141
23.48/23.56	c learnt constraints deletion: 9498 -> 4773
25.19/25.24	c learnt constraints deletion: 9136 -> 4588
26.98/27.08	c learnt constraints deletion: 8841 -> 4441
28.78/28.80	c learnt constraints deletion: 9253 -> 4627
30.69/30.72	c learnt constraints deletion: 9396 -> 4708
32.28/32.37	c learnt constraints deletion: 8887 -> 4453
34.48/34.57	c learnt constraints deletion: 9972 -> 4986
36.29/36.38	c learnt constraints deletion: 9648 -> 4829
38.18/38.28	c learnt constraints deletion: 10170 -> 5114
40.08/40.12	c learnt constraints deletion: 10026 -> 5036
41.88/41.99	c learnt constraints deletion: 9737 -> 4889
44.08/44.18	c learnt constraints deletion: 10122 -> 5088
45.88/45.95	c learnt constraints deletion: 9745 -> 4893
47.88/47.95	c learnt constraints deletion: 9857 -> 4949
49.88/49.92	c learnt constraints deletion: 9816 -> 4928
52.38/52.49	c learnt constraints deletion: 11078 -> 5559
55.08/55.17	c learnt constraints deletion: 10853 -> 5447
57.98/58.03	c learnt constraints deletion: 10865 -> 5453
59.88/59.95	c learnt constraints deletion: 9678 -> 4839
62.07/62.11	c learnt constraints deletion: 10058 -> 5030
64.67/64.73	c learnt constraints deletion: 10794 -> 5401
66.88/66.97	c learnt constraints deletion: 10903 -> 5466
69.28/69.31	c learnt constraints deletion: 10596 -> 5304
71.78/71.87	c learnt constraints deletion: 10876 -> 5444
74.08/74.13	c learnt constraints deletion: 10927 -> 5470
76.57/76.64	c learnt constraints deletion: 11140 -> 5576
78.47/78.56	c learnt constraints deletion: 9734 -> 4867
81.47/81.57	c learnt constraints deletion: 12039 -> 6020
83.98/84.09	c learnt constraints deletion: 11915 -> 5986
86.27/86.38	c learnt constraints deletion: 11743 -> 5872
89.08/89.16	c learnt constraints deletion: 11184 -> 5592
91.97/92.02	c learnt constraints deletion: 11957 -> 5983
94.37/94.48	c learnt constraints deletion: 11536 -> 5774
97.17/97.22	c learnt constraints deletion: 12068 -> 6037
100.08/100.15	c learnt constraints deletion: 12011 -> 6009
102.67/102.77	c learnt constraints deletion: 11783 -> 5892
105.37/105.41	c learnt constraints deletion: 11834 -> 5918
108.17/108.24	c learnt constraints deletion: 12037 -> 6024
110.37/110.47	c learnt constraints deletion: 11436 -> 5729
113.17/113.21	c learnt constraints deletion: 11811 -> 5912
115.87/115.94	c learnt constraints deletion: 11939 -> 5993
118.17/118.24	c learnt constraints deletion: 11636 -> 5820
120.87/120.91	c learnt constraints deletion: 12032 -> 6025
123.36/123.42	c learnt constraints deletion: 12049 -> 6038
126.57/126.69	c learnt constraints deletion: 13113 -> 6557
129.67/129.74	c learnt constraints deletion: 12938 -> 6484
132.46/132.50	c learnt constraints deletion: 12318 -> 6161
135.67/135.79	c learnt constraints deletion: 12647 -> 6327
138.77/138.83	c learnt constraints deletion: 12847 -> 6435
141.96/142.09	c learnt constraints deletion: 13147 -> 6583
144.96/145.08	c learnt constraints deletion: 12846 -> 6434
148.37/148.42	c learnt constraints deletion: 12962 -> 6491
151.56/151.63	c learnt constraints deletion: 13098 -> 6549
155.17/155.21	c learnt constraints deletion: 12910 -> 6460
157.86/157.90	c learnt constraints deletion: 12316 -> 6158
161.66/161.72	c learnt constraints deletion: 13088 -> 6546
164.66/164.71	c learnt constraints deletion: 13084 -> 6542
167.26/167.39	c learnt constraints deletion: 13075 -> 6538
169.86/169.98	c learnt constraints deletion: 13115 -> 6558
172.46/172.56	c learnt constraints deletion: 12975 -> 6488
175.66/175.76	c learnt constraints deletion: 12762 -> 6383
178.56/178.67	c learnt constraints deletion: 12912 -> 6463
181.86/181.93	c learnt constraints deletion: 13121 -> 6568
185.46/185.58	c learnt constraints deletion: 12685 -> 6343
188.55/188.68	c learnt constraints deletion: 12694 -> 6353
191.66/191.77	c learnt constraints deletion: 13025 -> 6522
195.35/195.42	c learnt constraints deletion: 13652 -> 6827
199.15/199.24	c learnt constraints deletion: 13579 -> 6791
203.16/203.28	c learnt constraints deletion: 14252 -> 7126
206.76/206.87	c learnt constraints deletion: 13668 -> 6834
209.96/210.02	c learnt constraints deletion: 14070 -> 7040
213.46/213.53	c learnt constraints deletion: 14149 -> 7077
216.95/217.04	c learnt constraints deletion: 14262 -> 7133
220.05/220.16	c learnt constraints deletion: 14282 -> 7143
223.26/223.39	c learnt constraints deletion: 14060 -> 7032
226.85/226.98	c learnt constraints deletion: 14244 -> 7128
230.25/230.32	c learnt constraints deletion: 13573 -> 6793
233.95/234.07	c learnt constraints deletion: 14256 -> 7131
237.46/237.58	c learnt constraints deletion: 13863 -> 6938
241.15/241.22	c learnt constraints deletion: 13993 -> 7002
244.85/244.99	c learnt constraints deletion: 14285 -> 7148
248.35/248.42	c learnt constraints deletion: 14050 -> 7032
251.65/251.78	c learnt constraints deletion: 13497 -> 6757
254.94/255.08	c learnt constraints deletion: 14291 -> 7152
258.65/258.78	c learnt constraints deletion: 14068 -> 7054
262.55/262.69	c learnt constraints deletion: 13832 -> 6924
266.35/266.47	c learnt constraints deletion: 14257 -> 7137
269.46/269.52	c learnt constraints deletion: 13772 -> 6895
273.34/273.46	c learnt constraints deletion: 14177 -> 7103
276.65/276.71	c learnt constraints deletion: 13838 -> 6933
280.04/280.13	c learnt constraints deletion: 13949 -> 6994
283.24/283.35	c learnt constraints deletion: 13618 -> 6827
286.74/286.80	c learnt constraints deletion: 14128 -> 7083
290.14/290.21	c learnt constraints deletion: 14188 -> 7105
293.34/293.43	c learnt constraints deletion: 14167 -> 7084
296.74/296.81	c learnt constraints deletion: 14272 -> 7138
300.04/300.18	c learnt constraints deletion: 14056 -> 7030
303.24/303.39	c learnt constraints deletion: 14020 -> 7019
307.04/307.11	c learnt constraints deletion: 15414 -> 7708
310.44/310.50	c learnt constraints deletion: 15138 -> 7569
313.84/313.99	c learnt constraints deletion: 15349 -> 7675
317.64/317.73	c learnt constraints deletion: 14929 -> 7465
321.34/321.49	c learnt constraints deletion: 15581 -> 7791
325.24/325.31	c learnt constraints deletion: 15477 -> 7739
328.93/329.01	c learnt constraints deletion: 15500 -> 7750
332.34/332.47	c learnt constraints deletion: 15259 -> 7630
336.13/336.29	c learnt constraints deletion: 15454 -> 7727
339.93/340.09	c learnt constraints deletion: 15399 -> 7700
343.94/344.01	c learnt constraints deletion: 15542 -> 7780
347.94/348.00	c learnt constraints deletion: 15528 -> 7778
351.53/351.68	c learnt constraints deletion: 15229 -> 7615
355.23/355.35	c learnt constraints deletion: 14520 -> 7260
359.64/359.73	c learnt constraints deletion: 15509 -> 7763
363.23/363.32	c learnt constraints deletion: 14626 -> 7313
366.83/366.99	c learnt constraints deletion: 15266 -> 7650
370.33/370.40	c learnt constraints deletion: 15062 -> 7531
374.33/374.45	c learnt constraints deletion: 15341 -> 7693
377.93/378.07	c learnt constraints deletion: 15039 -> 7520
382.93/383.02	c learnt constraints deletion: 15370 -> 7693
386.73/386.83	c learnt constraints deletion: 15306 -> 7678
390.33/390.43	c learnt constraints deletion: 15468 -> 7759
393.93/394.09	c learnt constraints deletion: 15222 -> 7613
398.13/398.20	c learnt constraints deletion: 15602 -> 7827
401.53/401.65	c learnt constraints deletion: 15277 -> 7639
405.33/405.44	c learnt constraints deletion: 15590 -> 7795
409.22/409.38	c learnt constraints deletion: 15599 -> 7813
412.92/413.03	c learnt constraints deletion: 15270 -> 7656
416.52/416.66	c learnt constraints deletion: 15372 -> 7707
420.62/420.79	c learnt constraints deletion: 15465 -> 7754
424.72/424.87	c learnt constraints deletion: 15214 -> 7607
428.93/429.07	c learnt constraints deletion: 14967 -> 7484
432.62/432.74	c learnt constraints deletion: 15341 -> 7682
436.22/436.39	c learnt constraints deletion: 15143 -> 7603
440.52/440.63	c learnt constraints deletion: 15353 -> 7685
444.92/445.03	c learnt constraints deletion: 15174 -> 7587
449.32/449.44	c learnt constraints deletion: 15035 -> 7521
452.92/453.03	c learnt constraints deletion: 15156 -> 7583
456.51/456.61	c learnt constraints deletion: 15466 -> 7739
460.61/460.71	c learnt constraints deletion: 15518 -> 7766
463.91/464.04	c learnt constraints deletion: 14793 -> 7399
468.12/468.28	c learnt constraints deletion: 15129 -> 7570
472.52/472.64	c learnt constraints deletion: 15932 -> 7969
476.31/476.44	c learnt constraints deletion: 16308 -> 8154
480.52/480.67	c learnt constraints deletion: 16872 -> 8455
485.31/485.42	c learnt constraints deletion: 16869 -> 8438
489.71/489.84	c learnt constraints deletion: 16625 -> 8315
494.21/494.35	c learnt constraints deletion: 16890 -> 8446
498.91/499.01	c learnt constraints deletion: 16769 -> 8388
503.81/503.97	c learnt constraints deletion: 16796 -> 8401
509.22/509.36	c learnt constraints deletion: 16979 -> 8493
514.61/514.71	c learnt constraints deletion: 17022 -> 8514
520.61/520.71	c learnt constraints deletion: 16957 -> 8482
525.01/525.16	c learnt constraints deletion: 16961 -> 8484
529.02/529.13	c learnt constraints deletion: 16968 -> 8487
532.91/533.03	c learnt constraints deletion: 16878 -> 8442
536.50/536.68	c learnt constraints deletion: 16857 -> 8432
540.30/540.46	c learnt constraints deletion: 16987 -> 8497
544.41/544.55	c learnt constraints deletion: 17001 -> 8504
548.30/548.44	c learnt constraints deletion: 16982 -> 8494
552.21/552.37	c learnt constraints deletion: 17004 -> 8505
555.80/555.92	c learnt constraints deletion: 16890 -> 8448
559.20/559.38	c learnt constraints deletion: 16459 -> 8230
564.21/564.35	c learnt constraints deletion: 16561 -> 8281
567.80/567.99	c learnt constraints deletion: 16380 -> 8190
572.91/573.09	c learnt constraints deletion: 16511 -> 8256
576.90/577.06	c learnt constraints deletion: 16074 -> 8038
580.90/581.05	c learnt constraints deletion: 16859 -> 8433
585.50/585.64	c learnt constraints deletion: 16890 -> 8453
589.70/589.81	c learnt constraints deletion: 16793 -> 8399
593.90/594.05	c learnt constraints deletion: 16013 -> 8010
598.60/598.79	c learnt constraints deletion: 16218 -> 8114
602.19/602.36	c learnt constraints deletion: 16069 -> 8040
606.29/606.41	c learnt constraints deletion: 16454 -> 8233
610.49/610.69	c learnt constraints deletion: 16791 -> 8409
614.49/614.60	c learnt constraints deletion: 16828 -> 8425
619.10/619.24	c learnt constraints deletion: 16918 -> 8468
624.19/624.37	c learnt constraints deletion: 16819 -> 8419
629.09/629.26	c learnt constraints deletion: 16984 -> 8501
633.99/634.16	c learnt constraints deletion: 16582 -> 8300
638.19/638.30	c learnt constraints deletion: 16778 -> 8398
642.99/643.11	c learnt constraints deletion: 16275 -> 8147
647.58/647.77	c learnt constraints deletion: 16688 -> 8348
652.59/652.74	c learnt constraints deletion: 16767 -> 8391
656.59/656.74	c learnt constraints deletion: 16576 -> 8294
661.29/661.46	c learnt constraints deletion: 16824 -> 8414
665.18/665.33	c learnt constraints deletion: 16916 -> 8461
669.07/669.22	c learnt constraints deletion: 16724 -> 8362
673.97/674.14	c learnt constraints deletion: 16974 -> 8487
677.97/678.15	c learnt constraints deletion: 16943 -> 8478
681.28/681.49	c learnt constraints deletion: 15830 -> 7917
684.98/685.13	c learnt constraints deletion: 16875 -> 8442
688.77/688.95	c learnt constraints deletion: 16975 -> 8492
692.38/692.58	c learnt constraints deletion: 16953 -> 8481
695.87/696.04	c learnt constraints deletion: 16946 -> 8473
700.07/700.23	c learnt constraints deletion: 16589 -> 8295
703.97/704.12	c learnt constraints deletion: 16469 -> 8236
707.97/708.19	c learnt constraints deletion: 16975 -> 8507
711.47/711.68	c learnt constraints deletion: 16657 -> 8332
715.67/715.80	c learnt constraints deletion: 16710 -> 8366
719.57/719.79	c learnt constraints deletion: 16791 -> 8400
724.77/724.93	c learnt constraints deletion: 18559 -> 9284
729.97/730.13	c learnt constraints deletion: 17182 -> 8591
736.78/736.98	c learnt constraints deletion: 18556 -> 9278
742.87/743.06	c learnt constraints deletion: 18363 -> 9182
749.86/750.04	c learnt constraints deletion: 18500 -> 9250
755.06/755.23	c learnt constraints deletion: 18507 -> 9254
759.76/759.95	c learnt constraints deletion: 18030 -> 9015
765.67/765.80	c learnt constraints deletion: 18440 -> 9220
769.87/770.03	c learnt constraints deletion: 18155 -> 9078
774.76/774.95	c learnt constraints deletion: 18176 -> 9088
779.96/780.11	c learnt constraints deletion: 17834 -> 8917
785.36/785.52	c learnt constraints deletion: 18277 -> 9139
790.45/790.67	c learnt constraints deletion: 18359 -> 9180
795.25/795.45	c learnt constraints deletion: 18133 -> 9068
799.85/800.07	c learnt constraints deletion: 18248 -> 9124
805.25/805.46	c learnt constraints deletion: 18032 -> 9017
810.65/810.84	c learnt constraints deletion: 18240 -> 9120
815.66/815.82	c learnt constraints deletion: 18368 -> 9196
820.56/820.74	c learnt constraints deletion: 17985 -> 8993
826.15/826.39	c learnt constraints deletion: 18020 -> 9011
830.65/830.81	c learnt constraints deletion: 18527 -> 9267
835.86/836.01	c learnt constraints deletion: 17963 -> 8986
840.55/840.77	c learnt constraints deletion: 18178 -> 9093
844.75/844.97	c learnt constraints deletion: 18265 -> 9142
849.35/849.52	c learnt constraints deletion: 18369 -> 9197
854.95/855.14	c learnt constraints deletion: 18428 -> 9221
861.16/861.34	c learnt constraints deletion: 18158 -> 9086
865.74/865.94	c learnt constraints deletion: 18105 -> 9060
870.84/871.04	c learnt constraints deletion: 18570 -> 9292
876.04/876.22	c learnt constraints deletion: 17824 -> 8919
881.34/881.59	c learnt constraints deletion: 18286 -> 9151
886.84/887.09	c learnt constraints deletion: 18498 -> 9252
890.85/891.01	c learnt constraints deletion: 18488 -> 9249
894.34/894.58	c learnt constraints deletion: 18178 -> 9089
899.55/899.80	c learnt constraints deletion: 18095 -> 9048
903.84/904.09	c learnt constraints deletion: 17823 -> 8912
908.45/908.68	c learnt constraints deletion: 18532 -> 9284
912.94/913.19	c learnt constraints deletion: 18321 -> 9161
917.74/917.99	c learnt constraints deletion: 18319 -> 9163
922.54/922.78	c learnt constraints deletion: 17835 -> 8918
927.54/927.70	c learnt constraints deletion: 18346 -> 9175
932.04/932.27	c learnt constraints deletion: 18230 -> 9135
936.33/936.51	c learnt constraints deletion: 18339 -> 9170
941.35/941.60	c learnt constraints deletion: 18513 -> 9258
945.93/946.20	c learnt constraints deletion: 18144 -> 9089
951.03/951.29	c learnt constraints deletion: 18400 -> 9202
956.13/956.34	c learnt constraints deletion: 18348 -> 9178
961.24/961.40	c learnt constraints deletion: 18497 -> 9256
965.33/965.55	c learnt constraints deletion: 17897 -> 8959
969.83/970.10	c learnt constraints deletion: 18537 -> 9283
974.03/974.29	c learnt constraints deletion: 17728 -> 8866
978.74/978.96	c learnt constraints deletion: 18127 -> 9064
984.53/984.71	c learnt constraints deletion: 18443 -> 9222
990.02/990.21	c learnt constraints deletion: 18343 -> 9172
994.43/994.69	c learnt constraints deletion: 18250 -> 9126
999.53/999.77	c learnt constraints deletion: 18303 -> 9153
1004.93/1005.19	c learnt constraints deletion: 18011 -> 9007
1009.82/1010.06	c learnt constraints deletion: 18498 -> 9251
1014.62/1014.88	c learnt constraints deletion: 18514 -> 9258
1018.92/1019.16	c learnt constraints deletion: 18464 -> 9233
1023.03/1023.29	c learnt constraints deletion: 18422 -> 9212
1026.92/1027.18	c learnt constraints deletion: 18396 -> 9200
1031.52/1031.78	c learnt constraints deletion: 18512 -> 9258
1036.12/1036.33	c learnt constraints deletion: 18337 -> 9171
1040.62/1040.85	c learnt constraints deletion: 17623 -> 8814
1045.93/1046.14	c learnt constraints deletion: 17656 -> 8830
1051.82/1052.04	c learnt constraints deletion: 18531 -> 9269
1056.82/1057.00	c learnt constraints deletion: 18520 -> 9264
1061.22/1061.42	c learnt constraints deletion: 18476 -> 9259
1065.12/1065.35	c learnt constraints deletion: 17991 -> 8998
1069.41/1069.70	c learnt constraints deletion: 18363 -> 9185
1074.32/1074.60	c learnt constraints deletion: 18534 -> 9274
1079.41/1079.69	c learnt constraints deletion: 18428 -> 9224
1084.01/1084.22	c learnt constraints deletion: 18535 -> 9278
1089.42/1089.60	c learnt constraints deletion: 17854 -> 8933
1093.81/1094.07	c learnt constraints deletion: 18441 -> 9224
1099.92/1100.10	c learnt constraints deletion: 18546 -> 9278
1104.12/1104.33	c learnt constraints deletion: 18274 -> 9151
1108.81/1109.07	c learnt constraints deletion: 18253 -> 9137
1113.91/1114.16	c learnt constraints deletion: 18213 -> 9115
1118.41/1118.65	c learnt constraints deletion: 18106 -> 9061
1124.10/1124.39	c learnt constraints deletion: 18414 -> 9215
1129.60/1129.82	c learnt constraints deletion: 19946 -> 9977
1135.90/1136.15	c learnt constraints deletion: 20122 -> 10061
1140.69/1140.97	c learnt constraints deletion: 20171 -> 10099
1146.59/1146.89	c learnt constraints deletion: 20077 -> 10045
1151.90/1152.13	c learnt constraints deletion: 19902 -> 9951
1157.39/1157.63	c learnt constraints deletion: 19798 -> 9899
1162.50/1162.71	c learnt constraints deletion: 20171 -> 10092
1167.19/1167.49	c learnt constraints deletion: 19587 -> 9798
1172.68/1172.91	c learnt constraints deletion: 19916 -> 9971
1177.98/1178.22	c learnt constraints deletion: 20005 -> 10009
1182.99/1183.21	c learnt constraints deletion: 19831 -> 9916
1187.99/1188.23	c learnt constraints deletion: 19929 -> 9969
1193.29/1193.53	c learnt constraints deletion: 19994 -> 9997
1198.88/1199.16	c learnt constraints deletion: 20182 -> 10093
1203.48/1203.71	c learnt constraints deletion: 20084 -> 10042
1208.88/1209.11	c learnt constraints deletion: 20053 -> 10040
1214.48/1214.75	c learnt constraints deletion: 20088 -> 10045
1221.08/1221.35	c learnt constraints deletion: 20267 -> 10135
1227.28/1227.52	c learnt constraints deletion: 19868 -> 9934
1233.48/1233.77	c learnt constraints deletion: 19930 -> 9965
1239.67/1239.99	c learnt constraints deletion: 19721 -> 9861
1245.67/1245.93	c learnt constraints deletion: 19489 -> 9745
1250.38/1250.66	c learnt constraints deletion: 19821 -> 9912
1254.88/1255.17	c learnt constraints deletion: 19745 -> 9877
1260.08/1260.34	c learnt constraints deletion: 19992 -> 10005
1264.97/1265.24	c learnt constraints deletion: 20057 -> 10039
1269.57/1269.85	c learnt constraints deletion: 20135 -> 10087
1273.97/1274.24	c learnt constraints deletion: 19591 -> 9804
1279.86/1280.12	c learnt constraints deletion: 20128 -> 10065
1286.27/1286.52	c learnt constraints deletion: 20193 -> 10098
1291.27/1291.56	c learnt constraints deletion: 19919 -> 9963
1296.07/1296.33	c learnt constraints deletion: 19707 -> 9860
1301.87/1302.15	c learnt constraints deletion: 20212 -> 10111
1308.86/1309.19	c learnt constraints deletion: 19962 -> 9986
1314.76/1315.09	c learnt constraints deletion: 20188 -> 10096
1322.16/1322.48	c learnt constraints deletion: 20022 -> 10014
1327.16/1327.45	c learnt constraints deletion: 20233 -> 10128
1331.65/1331.94	c learnt constraints deletion: 20010 -> 10030
1336.45/1336.75	c learnt constraints deletion: 20085 -> 10050
1343.05/1343.30	c learnt constraints deletion: 20146 -> 10077
1348.05/1348.39	c learnt constraints deletion: 20184 -> 10098
1352.95/1353.20	c learnt constraints deletion: 19936 -> 9987
1358.75/1359.06	c learnt constraints deletion: 19616 -> 9812
1364.95/1365.20	c learnt constraints deletion: 19417 -> 9713
1369.15/1369.45	c learnt constraints deletion: 19749 -> 9886
1374.25/1374.52	c learnt constraints deletion: 20008 -> 10030
1379.35/1379.65	c learnt constraints deletion: 19834 -> 9926
1384.85/1385.12	c learnt constraints deletion: 20182 -> 10103
1389.54/1389.89	c learnt constraints deletion: 20200 -> 10116
1394.24/1394.54	c learnt constraints deletion: 19741 -> 9882
1398.94/1399.26	c learnt constraints deletion: 19955 -> 9983
1403.95/1404.20	c learnt constraints deletion: 19885 -> 9949
1409.14/1409.48	c learnt constraints deletion: 20149 -> 10085
1413.64/1413.97	c learnt constraints deletion: 20041 -> 10048
1418.14/1418.46	c learnt constraints deletion: 19820 -> 9916
1424.44/1424.72	c learnt constraints deletion: 20160 -> 10086
1430.64/1430.91	c learnt constraints deletion: 20197 -> 10107
1435.64/1435.92	c learnt constraints deletion: 20139 -> 10082
1440.43/1440.78	c learnt constraints deletion: 20135 -> 10085
1445.14/1445.47	c learnt constraints deletion: 19653 -> 9835
1450.84/1451.16	c learnt constraints deletion: 19981 -> 10003
1455.53/1455.83	c learnt constraints deletion: 19878 -> 9949
1461.93/1462.25	c learnt constraints deletion: 19735 -> 9878
1466.73/1467.00	c learnt constraints deletion: 19753 -> 9887
1472.54/1472.84	c learnt constraints deletion: 19728 -> 9874
1477.64/1477.94	c learnt constraints deletion: 20007 -> 10017
1482.44/1482.72	c learnt constraints deletion: 20120 -> 10071
1488.73/1489.04	c learnt constraints deletion: 19708 -> 9866
1493.33/1493.70	c learnt constraints deletion: 19923 -> 9977
1499.03/1499.37	c learnt constraints deletion: 20178 -> 10102
1504.03/1504.35	c learnt constraints deletion: 20162 -> 10094
1509.82/1510.15	c learnt constraints deletion: 20153 -> 10093
1515.22/1515.53	c learnt constraints deletion: 20120 -> 10077
1520.32/1520.63	c learnt constraints deletion: 20120 -> 10076
1525.12/1525.49	c learnt constraints deletion: 20170 -> 10105
1529.92/1530.21	c learnt constraints deletion: 20027 -> 10033
1535.12/1535.47	c learnt constraints deletion: 20091 -> 10066
1539.92/1540.22	c learnt constraints deletion: 20161 -> 10106
1544.02/1544.38	c learnt constraints deletion: 19785 -> 9908
1549.81/1550.10	c learnt constraints deletion: 19716 -> 9872
1555.61/1555.94	c learnt constraints deletion: 20239 -> 10121
1560.52/1560.84	c learnt constraints deletion: 20233 -> 10119
1565.71/1566.00	c learnt constraints deletion: 20034 -> 10021
1570.61/1570.93	c learnt constraints deletion: 19846 -> 9929
1575.81/1576.17	c learnt constraints deletion: 19981 -> 9998
1580.31/1580.67	c learnt constraints deletion: 20009 -> 10017
1585.30/1585.64	c learnt constraints deletion: 20223 -> 10134
1590.40/1590.79	c learnt constraints deletion: 20052 -> 10053
1595.91/1596.29	c learnt constraints deletion: 19886 -> 9952
1602.11/1602.48	c learnt constraints deletion: 20088 -> 10052
1608.81/1609.14	c learnt constraints deletion: 19542 -> 9772
1613.80/1614.14	c learnt constraints deletion: 19970 -> 10001
1618.81/1619.19	c learnt constraints deletion: 20118 -> 10061
1624.70/1625.03	c learnt constraints deletion: 20150 -> 10082
1629.91/1630.22	c learnt constraints deletion: 20104 -> 10056
1635.41/1635.70	c learnt constraints deletion: 20038 -> 10023
1641.00/1641.30	c learnt constraints deletion: 20227 -> 10130
1646.09/1646.41	c learnt constraints deletion: 20122 -> 10076
1651.29/1651.64	c learnt constraints deletion: 20205 -> 10114
1657.70/1658.09	c learnt constraints deletion: 20147 -> 10084
1664.01/1664.34	c learnt constraints deletion: 20134 -> 10077
1670.00/1670.36	c learnt constraints deletion: 19409 -> 9712
1675.00/1675.35	c learnt constraints deletion: 19416 -> 9708
1680.99/1681.30	c learnt constraints deletion: 19810 -> 9905
1687.00/1687.32	c learnt constraints deletion: 19673 -> 9837
1692.19/1692.53	c learnt constraints deletion: 19791 -> 9896
1696.69/1697.07	c learnt constraints deletion: 19882 -> 9941
1702.29/1702.64	c learnt constraints deletion: 20268 -> 10134
1707.39/1707.75	c learnt constraints deletion: 20223 -> 10112
1711.09/1711.47	c solving time = 1710.637s
1711.09/1711.47	c #decision = 5401020
1711.09/1711.47	c #conflict = 3329340
1711.09/1711.47	c #restart = 30
1711.09/1711.47	s OPTIMUM FOUND
1711.09/1711.47	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
1711.09/1711.47	v -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20
1711.09/1711.47	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
1711.09/1711.47	v -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
1711.09/1711.47	v -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 x49 x50
1711.09/1711.47	v -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60
1711.09/1711.47	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
1711.09/1711.47	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80
1711.09/1711.47	v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 x90
1711.09/1711.47	v -x91 -x92 -x93 x94 x95 -x96 -x97 -x98 -x99 -x100
1711.09/1711.47	c total time = 1711.172s

Verifier Data 

OK	-6

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-3725637-1338639501/watcher-3725637-1338639501 -o /tmp/evaluation-result-3725637-1338639501/solver-3725637-1338639501 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725637-1338639501.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: 1.97 2.00 1.99 3/176 15589
/proc/meminfo: memFree=31377704/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 802 0 0 0 0 0 0 0 20 0 1 0 330078670 6373376 722 33554432000 4194304 8989770 140735810947472 140734249191960 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15589/statm: 1556 723 428 1171 0 333 0

[startup+0.0404719 s]
/proc/loadavg: 1.97 2.00 1.99 3/176 15589
/proc/meminfo: memFree=31377704/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=9296 CPUtime=0.03 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 1481 0 0 0 3 0 0 0 20 0 1 0 330078670 9519104 1401 33554432000 4194304 8989770 140735810947472 140734249191960 7617090 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15589/statm: 2324 1401 441 1171 0 1101 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9296

[startup+0.100224 s]
/proc/loadavg: 1.97 2.00 1.99 3/176 15589
/proc/meminfo: memFree=31377704/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 2398 0 0 0 9 0 0 0 20 0 1 0 330078670 12664832 2318 33554432000 4194304 8989770 140735810947472 140734249191960 7688475 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15589/statm: 3092 2318 459 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.300199 s]
/proc/loadavg: 1.97 2.00 1.99 3/176 15589
/proc/meminfo: memFree=31377704/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=13392 CPUtime=0.29 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 2665 0 0 0 29 0 0 0 20 0 1 0 330078670 13713408 2585 33554432000 4194304 8989770 140735810947472 140734249191960 4205055 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15589/statm: 3348 2585 470 1171 0 2125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13392

[startup+0.700214 s]
/proc/loadavg: 1.97 2.00 1.99 3/176 15589
/proc/meminfo: memFree=31377704/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=15440 CPUtime=0.69 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 3177 0 0 0 69 0 0 0 20 0 1 0 330078670 15810560 3097 33554432000 4194304 8989770 140735810947472 140735810946736 4209187 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15589/statm: 3860 3097 470 1171 0 2637 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15440

[startup+1.50023 s]
/proc/loadavg: 1.97 2.00 1.99 3/177 15590
/proc/meminfo: memFree=31366040/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=20560 CPUtime=1.49 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 4457 0 0 0 148 1 0 0 20 0 1 0 330078670 21053440 4377 33554432000 4194304 8989770 140735810947472 140735810946968 7733233 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15589/statm: 5140 4377 470 1171 0 3917 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20560

[startup+3.10023 s]
/proc/loadavg: 1.97 2.00 1.99 3/177 15590
/proc/meminfo: memFree=31359708/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=24656 CPUtime=3.09 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 5488 0 0 0 307 2 0 0 20 0 1 0 330078670 25247744 5408 33554432000 4194304 8989770 140735810947472 140735810946968 7732735 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15589/statm: 6164 5408 472 1171 0 4941 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24656

[startup+6.30022 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 15590
/proc/meminfo: memFree=31353632/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=28752 CPUtime=6.29 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 6512 0 0 0 625 4 0 0 20 0 1 0 330078670 29442048 6432 33554432000 4194304 8989770 140735810947472 140735810946968 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15589/statm: 7188 6432 472 1171 0 5965 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28752

[startup+12.7002 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15590
/proc/meminfo: memFree=31353020/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=29776 CPUtime=12.68 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 6768 0 0 0 1262 6 0 0 20 0 1 0 330078670 30490624 6688 33554432000 4194304 8989770 140735810947472 140735810946968 6581000 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15589/statm: 7444 6688 472 1171 0 6221 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29776

[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 15590
/proc/meminfo: memFree=31348440/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=33872 CPUtime=25.48 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 7792 0 0 0 2539 9 0 0 20 0 1 0 330078670 34684928 7712 33554432000 4194304 8989770 140735810947472 140735810946968 4204320 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 8468 7712 472 1171 0 7245 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33872

[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15590
/proc/meminfo: memFree=31340256/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=36944 CPUtime=51.08 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 9584 0 0 0 5090 18 0 0 20 0 1 0 330078670 37830656 8480 33554432000 4194304 8989770 140735810947472 140735810946968 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 9236 8480 472 1171 0 8013 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36944

[startup+102.306 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 15593
/proc/meminfo: memFree=31316912/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=46160 CPUtime=102.27 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 14704 0 0 0 10197 30 0 0 20 0 1 0 330078670 47267840 10784 33554432000 4194304 8989770 140735810947472 140735810946968 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 11540 10784 472 1171 0 10317 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 46160

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 15593
/proc/meminfo: memFree=31264524/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=42064 CPUtime=162.26 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 22640 0 0 0 16179 47 0 0 20 0 1 0 330078670 43073536 9760 33554432000 4194304 8989770 140735810947472 140735810946968 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 10516 9760 472 1171 0 9293 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 42064

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15593
/proc/meminfo: memFree=31296616/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=50256 CPUtime=222.25 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 31344 0 0 0 22159 66 0 0 20 0 1 0 330078670 51462144 11808 33554432000 4194304 8989770 140735810947472 140735810946736 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 12564 11808 472 1171 0 11341 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 50256

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15594
/proc/meminfo: memFree=31305860/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=50256 CPUtime=282.24 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 41584 0 0 0 28141 83 0 0 20 0 1 0 330078670 51462144 11808 33554432000 4194304 8989770 140735810947472 140735810946968 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 12564 11808 472 1171 0 11341 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 50256

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15594
/proc/meminfo: memFree=31250720/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=50256 CPUtime=342.24 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 46192 0 0 0 34124 100 0 0 20 0 1 0 330078670 51462144 11808 33554432000 4194304 8989770 140735810947472 140735810946736 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 12564 11808 472 1171 0 11341 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 50256

[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 15594
/proc/meminfo: memFree=31259924/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=46160 CPUtime=402.23 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 56688 0 0 0 40107 116 0 0 20 0 1 0 330078670 47267840 10784 33554432000 4194304 8989770 140735810947472 140735810946736 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 11540 10784 472 1171 0 10317 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 46160

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15594
/proc/meminfo: memFree=31293792/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=58448 CPUtime=462.22 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 65904 0 0 0 46090 132 0 0 20 0 1 0 330078670 59850752 13856 33554432000 4194304 8989770 140735810947472 140735810946968 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 14612 13856 472 1171 0 13389 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 58448

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15594
/proc/meminfo: memFree=31316100/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=54352 CPUtime=522.2 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 76656 0 0 0 52072 148 0 0 20 0 1 0 330078670 55656448 12832 33554432000 4194304 8989770 140735810947472 140735810945408 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 13588 12832 472 1171 0 12365 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 54352

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15595
/proc/meminfo: memFree=31305532/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=54352 CPUtime=582.19 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 78960 0 0 0 58054 165 0 0 20 0 1 0 330078670 55656448 12832 33554432000 4194304 8989770 140735810947472 140735810946968 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 13588 12832 472 1171 0 12365 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 54352

[startup+642.3 s]

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

/proc/meminfo: memFree=31668100/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=50256 CPUtime=1122.1 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 148612 0 0 0 111904 306 0 0 20 0 1 0 330078670 51462144 11813 33554432000 4194304 8989770 140735810947472 140735810946968 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 12564 11813 472 1171 0 11341 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 50256

[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 15639
/proc/meminfo: memFree=31668212/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=50256 CPUtime=1182.09 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 155790 0 0 0 117889 320 0 0 20 0 1 0 330078670 51462144 11813 33554432000 4194304 8989770 140735810947472 140735810946968 6587776 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 12564 11813 472 1171 0 11341 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 50256

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15639
/proc/meminfo: memFree=31668272/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=50256 CPUtime=1242.07 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 161174 0 0 0 123875 332 0 0 20 0 1 0 330078670 51462144 11813 33554432000 4194304 8989770 140735810947472 140735810946968 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 12564 11813 472 1171 0 11341 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 50256

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 15642
/proc/meminfo: memFree=31659924/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=58448 CPUtime=1302.07 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 169622 0 0 0 129862 345 0 0 20 0 1 0 330078670 59850752 13861 33554432000 4194304 8989770 140735810947472 140735810946968 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 14612 13861 472 1171 0 13389 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 58448

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15642
/proc/meminfo: memFree=31616732/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=50256 CPUtime=1362.04 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 176799 0 0 0 135846 358 0 0 20 0 1 0 330078670 51462144 11813 33554432000 4194304 8989770 140735810947472 140735810946968 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 12564 11813 472 1171 0 11341 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 50256

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15642
/proc/meminfo: memFree=31540016/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=50256 CPUtime=1422.05 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 184735 0 0 0 141832 373 0 0 20 0 1 0 330078670 51462144 11813 33554432000 4194304 8989770 140735810947472 140735810946968 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 12564 11813 472 1171 0 11341 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 50256

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15644
/proc/meminfo: memFree=31503704/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=56400 CPUtime=1482.03 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 192671 0 0 0 147817 386 0 0 20 0 1 0 330078670 57753600 13349 33554432000 4194304 8989770 140735810947472 140735810945408 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 14100 13349 472 1171 0 12877 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 56400

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15644
/proc/meminfo: memFree=31490924/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=58448 CPUtime=1542.01 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 196779 0 0 0 153804 397 0 0 20 0 1 0 330078670 59850752 13861 33554432000 4194304 8989770 140735810947472 140735810946968 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 14612 13861 472 1171 0 13389 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 58448

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15644
/proc/meminfo: memFree=31495088/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=54352 CPUtime=1602.01 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 201131 0 0 0 159789 412 0 0 20 0 1 0 330078670 55656448 12837 33554432000 4194304 8989770 140735810947472 140735810946736 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 13588 12837 472 1171 0 12365 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 54352

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15644
/proc/meminfo: memFree=31492248/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=57424 CPUtime=1662 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 209579 0 0 0 165775 425 0 0 20 0 1 0 330078670 58802176 13605 33554432000 4194304 8989770 140735810947472 140735810946968 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 14356 13605 472 1171 0 13133 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 57424

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

[startup+1663.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15644
/proc/meminfo: memFree=31492248/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=57424 CPUtime=1663.59 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 209579 0 0 0 165934 425 0 0 20 0 1 0 330078670 58802176 13605 33554432000 4194304 8989770 140735810947472 140735810946968 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 14356 13605 472 1171 0 13133 0
Current children cumulated CPU time (s) 1663.59
Current children cumulated vsize (KiB) 57424

[startup+1689.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15644
/proc/meminfo: memFree=31494236/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=55376 CPUtime=1689.2 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 211883 0 0 0 168488 432 0 0 20 0 1 0 330078670 56705024 13093 33554432000 4194304 8989770 140735810947472 140735810946736 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 13844 13093 472 1171 0 12621 0
Current children cumulated CPU time (s) 1689.2
Current children cumulated vsize (KiB) 55376

[startup+1702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15644
/proc/meminfo: memFree=31493180/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=60496 CPUtime=1701.99 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 214443 0 0 0 169765 434 0 0 20 0 1 0 330078670 61947904 14373 33554432000 4194304 8989770 140735810947472 140735810945408 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 15124 14373 472 1171 0 13901 0
Current children cumulated CPU time (s) 1701.99
Current children cumulated vsize (KiB) 60496

[startup+1705.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15644
/proc/meminfo: memFree=31490452/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=58448 CPUtime=1705.19 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 214443 0 0 0 170084 435 0 0 20 0 1 0 330078670 59850752 13861 33554432000 4194304 8989770 140735810947472 140735810946736 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 14612 13861 472 1171 0 13389 0
Current children cumulated CPU time (s) 1705.19
Current children cumulated vsize (KiB) 58448

[startup+1708.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15644
/proc/meminfo: memFree=31490564/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=58448 CPUtime=1708.39 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 214446 0 0 0 170403 436 0 0 20 0 1 0 330078670 59850752 13861 33554432000 4194304 8989770 140735810947472 140735810946736 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 14612 13861 472 1171 0 13389 0
Current children cumulated CPU time (s) 1708.39
Current children cumulated vsize (KiB) 58448

[startup+1710.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15644
/proc/meminfo: memFree=31494596/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=54352 CPUtime=1709.99 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 214446 0 0 0 170563 436 0 0 20 0 1 0 330078670 55656448 12837 33554432000 4194304 8989770 140735810947472 140735810946968 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 13588 12837 472 1171 0 12365 0
Current children cumulated CPU time (s) 1709.99
Current children cumulated vsize (KiB) 54352

[startup+1711.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15644
/proc/meminfo: memFree=31494596/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=54352 CPUtime=1710.79 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 214446 0 0 0 170643 436 0 0 20 0 1 0 330078670 55656448 12837 33554432000 4194304 8989770 140735810947472 140735810946968 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 13588 12837 472 1171 0 12365 0
Current children cumulated CPU time (s) 1710.79
Current children cumulated vsize (KiB) 54352

[startup+1711.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15644
/proc/meminfo: memFree=31494596/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=54352 CPUtime=1710.99 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 214446 0 0 0 170662 437 0 0 20 0 1 0 330078670 55656448 12837 33554432000 4194304 8989770 140735810947472 140735810946968 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 13588 12837 472 1171 0 12365 0
Current children cumulated CPU time (s) 1710.99
Current children cumulated vsize (KiB) 54352

[startup+1711.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15644
/proc/meminfo: memFree=31494596/32873844 swapFree=8656/8656
[pid=15589] ppid=15587 vsize=54352 CPUtime=1711.09 cores=0,2,4,6
/proc/15589/stat : 15589 (toysat) R 15587 15589 14738 0 -1 4202496 214446 0 0 0 170672 437 0 0 20 0 1 0 330078670 55656448 12837 33554432000 4194304 8989770 140735810947472 140735810946968 7857787 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15589/statm: 13588 12837 472 1171 0 12365 0
Current children cumulated CPU time (s) 1711.09
Current children cumulated vsize (KiB) 54352

Child status: 0
Real time (s): 1711.48
CPU time (s): 1711.18
CPU user time (s): 1706.8
CPU system time (s): 4.37333
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 92240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1706.8
system time used= 4.37333
maximum resident set size= 89236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214450
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= 65
involuntary context switches= 1838

runsolver used 2.43163 second user time and 6.93994 second system time

The end

Launcher Data 

Begin job on node102 at 2012-06-02 14:18:21
IDJOB=3725637
IDBENCH=48250
IDSOLVER=2308
FILE ID=node102/3725637-1338639501
RUNJOBID= node102-1338631509-14754
PBS_JOBID= 14636478
Free space on /tmp= 71184 MiB

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

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

MD5SUM BENCH= e0d3a2bf2cd2b7e4b27d7033a7686e76
RANDOM SEED=211915840

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
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		: 2667.178
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:        31377720 kB
Buffers:          109280 kB
Cached:           186448 kB
SwapCached:         5544 kB
Active:           520408 kB
Inactive:         226800 kB
Active(anon):     448736 kB
Inactive(anon):     5524 kB
Active(file):      71672 kB
Inactive(file):   221276 kB
Unevictable:        8656 kB
Mlocked:            8656 kB
SwapTotal:      67108856 kB
SwapFree:       67097164 kB
Dirty:              7380 kB
Writeback:             0 kB
AnonPages:        455288 kB
Mapped:            10768 kB
Shmem:                 0 kB
Slab:             606344 kB
SReclaimable:      47548 kB
SUnreclaim:       558796 kB
KernelStack:        1456 kB
PageTables:         4900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     569660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    354304 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= 71176 MiB
End job on node102 at 2012-06-02 14:46:53