Trace number 3707264

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-17OPT-6 1702.58 1702.96

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.00/0.04	c 2012-05-27T18:09:31+0200
0.00/0.04	c arch = x86_64
0.00/0.04	c os = linux
0.00/0.04	c compiler = ghc 7.4
0.00/0.04	c packages:
0.00/0.04	c   OptDir-0.0.1
0.00/0.04	c   array-0.4.0.0
0.00/0.04	c   base-4.5.0.0
0.00/0.04	c   bytestring-0.9.2.1
0.00/0.04	c   containers-0.4.2.1
0.00/0.04	c   deepseq-1.3.0.0
0.00/0.04	c   mtl-2.1.1
0.00/0.04	c   old_locale-1.0.0.4
0.00/0.04	c   parse_dimacs-1.2
0.00/0.04	c   parsec-3.1.2
0.00/0.04	c   queue-0.1.2
0.00/0.04	c   stm-2.3
0.00/0.04	c   time-1.4
0.00/0.04	c command line = ["--pb","HOME/instance-3707264-1338134971.opb"]
0.00/0.04	c #vars 100
0.00/0.04	c #constraints 151
0.00/0.04	c Solving starts ...
0.08/0.13	c solving time = 0.091s
0.08/0.13	c #decision = 1323
0.08/0.13	c #conflict = 151
0.08/0.13	c #restart = 1
0.08/0.13	o -4
0.08/0.13	c Solving starts ...
0.38/0.40	c solving time = 0.264s
0.38/0.40	c #decision = 3545
0.38/0.40	c #conflict = 915
0.38/0.40	c #restart = 4
0.38/0.40	o -5
0.38/0.40	c Solving starts ...
0.48/0.53	c solving time = 0.131s
0.48/0.53	c #decision = 5464
0.48/0.53	c #conflict = 1395
0.48/0.53	c #restart = 7
0.48/0.53	o -6
0.48/0.53	c Solving starts ...
1.49/1.56	c learnt constraints deletion: 4254 -> 2135
2.78/2.86	c learnt constraints deletion: 5952 -> 2999
3.78/3.84	c learnt constraints deletion: 5958 -> 2990
4.88/4.98	c learnt constraints deletion: 6318 -> 3173
5.88/5.99	c learnt constraints deletion: 6756 -> 3394
7.28/7.31	c learnt constraints deletion: 7284 -> 3655
8.48/8.56	c learnt constraints deletion: 7100 -> 3565
10.08/10.17	c learnt constraints deletion: 7581 -> 3791
11.68/11.77	c learnt constraints deletion: 7399 -> 3700
13.09/13.11	c learnt constraints deletion: 7500 -> 3763
14.28/14.32	c learnt constraints deletion: 7270 -> 3635
16.18/16.21	c learnt constraints deletion: 8724 -> 4378
17.48/17.51	c learnt constraints deletion: 8177 -> 4101
18.87/18.99	c learnt constraints deletion: 8050 -> 4041
20.38/20.44	c learnt constraints deletion: 8247 -> 4141
22.48/22.59	c learnt constraints deletion: 9498 -> 4773
24.18/24.29	c learnt constraints deletion: 9136 -> 4588
26.08/26.12	c learnt constraints deletion: 8841 -> 4441
27.78/27.84	c learnt constraints deletion: 9253 -> 4627
29.68/29.76	c learnt constraints deletion: 9396 -> 4708
31.37/31.41	c learnt constraints deletion: 8887 -> 4453
33.58/33.65	c learnt constraints deletion: 9972 -> 4986
35.38/35.46	c learnt constraints deletion: 9648 -> 4829
37.28/37.37	c learnt constraints deletion: 10170 -> 5114
39.18/39.21	c learnt constraints deletion: 10026 -> 5036
40.97/41.09	c learnt constraints deletion: 9737 -> 4889
43.27/43.30	c learnt constraints deletion: 10122 -> 5088
44.98/45.07	c learnt constraints deletion: 9745 -> 4893
46.97/47.09	c learnt constraints deletion: 9857 -> 4949
48.97/49.06	c learnt constraints deletion: 9816 -> 4928
51.58/51.64	c learnt constraints deletion: 11078 -> 5559
54.27/54.34	c learnt constraints deletion: 10853 -> 5447
57.18/57.21	c learnt constraints deletion: 10865 -> 5453
59.08/59.14	c learnt constraints deletion: 9678 -> 4839
61.27/61.30	c learnt constraints deletion: 10058 -> 5030
63.88/63.92	c learnt constraints deletion: 10794 -> 5401
66.07/66.14	c learnt constraints deletion: 10903 -> 5466
68.37/68.48	c learnt constraints deletion: 10596 -> 5304
70.97/71.03	c learnt constraints deletion: 10876 -> 5444
73.16/73.29	c learnt constraints deletion: 10927 -> 5470
75.67/75.73	c learnt constraints deletion: 11140 -> 5576
77.57/77.61	c learnt constraints deletion: 9734 -> 4867
80.46/80.53	c learnt constraints deletion: 12039 -> 6020
82.96/83.02	c learnt constraints deletion: 11915 -> 5986
85.16/85.23	c learnt constraints deletion: 11743 -> 5872
87.76/87.88	c learnt constraints deletion: 11184 -> 5592
90.55/90.63	c learnt constraints deletion: 11957 -> 5983
92.96/93.00	c learnt constraints deletion: 11536 -> 5774
95.45/95.59	c learnt constraints deletion: 12068 -> 6037
98.25/98.35	c learnt constraints deletion: 12011 -> 6009
100.75/100.85	c learnt constraints deletion: 11783 -> 5892
103.26/103.37	c learnt constraints deletion: 11834 -> 5918
105.95/106.07	c learnt constraints deletion: 12037 -> 6024
108.15/108.22	c learnt constraints deletion: 11436 -> 5729
110.75/110.85	c learnt constraints deletion: 11811 -> 5912
113.35/113.46	c learnt constraints deletion: 11939 -> 5993
115.55/115.69	c learnt constraints deletion: 11636 -> 5820
118.15/118.28	c learnt constraints deletion: 12032 -> 6025
120.65/120.70	c learnt constraints deletion: 12049 -> 6038
123.75/123.88	c learnt constraints deletion: 13113 -> 6557
126.75/126.86	c learnt constraints deletion: 12938 -> 6484
129.45/129.57	c learnt constraints deletion: 12318 -> 6161
132.75/132.80	c learnt constraints deletion: 12647 -> 6327
135.65/135.78	c learnt constraints deletion: 12847 -> 6435
138.85/138.99	c learnt constraints deletion: 13147 -> 6583
141.85/141.93	c learnt constraints deletion: 12846 -> 6434
145.15/145.23	c learnt constraints deletion: 12962 -> 6491
148.35/148.41	c learnt constraints deletion: 13098 -> 6549
151.85/151.98	c learnt constraints deletion: 12910 -> 6460
154.55/154.66	c learnt constraints deletion: 12316 -> 6158
158.35/158.48	c learnt constraints deletion: 13088 -> 6546
161.34/161.47	c learnt constraints deletion: 13084 -> 6542
164.05/164.17	c learnt constraints deletion: 13075 -> 6538
166.64/166.77	c learnt constraints deletion: 13115 -> 6558
169.25/169.35	c learnt constraints deletion: 12975 -> 6488
172.44/172.54	c learnt constraints deletion: 12762 -> 6383
175.35/175.45	c learnt constraints deletion: 12912 -> 6463
178.64/178.71	c learnt constraints deletion: 13121 -> 6568
182.24/182.36	c learnt constraints deletion: 12685 -> 6343
185.34/185.45	c learnt constraints deletion: 12694 -> 6353
188.44/188.53	c learnt constraints deletion: 13025 -> 6522
192.04/192.18	c learnt constraints deletion: 13652 -> 6827
195.84/195.99	c learnt constraints deletion: 13579 -> 6791
199.94/200.02	c learnt constraints deletion: 14252 -> 7126
203.54/203.61	c learnt constraints deletion: 13668 -> 6834
206.65/206.71	c learnt constraints deletion: 14070 -> 7040
210.05/210.19	c learnt constraints deletion: 14149 -> 7077
213.53/213.67	c learnt constraints deletion: 14262 -> 7133
216.65/216.74	c learnt constraints deletion: 14282 -> 7143
219.84/219.91	c learnt constraints deletion: 14060 -> 7032
223.33/223.46	c learnt constraints deletion: 14244 -> 7128
226.54/226.67	c learnt constraints deletion: 13573 -> 6793
230.14/230.27	c learnt constraints deletion: 14256 -> 7131
233.53/233.67	c learnt constraints deletion: 13863 -> 6938
237.03/237.12	c learnt constraints deletion: 13993 -> 7002
240.62/240.74	c learnt constraints deletion: 14285 -> 7148
243.92/244.05	c learnt constraints deletion: 14050 -> 7032
247.12/247.23	c learnt constraints deletion: 13497 -> 6757
250.22/250.38	c learnt constraints deletion: 14291 -> 7152
253.82/253.92	c learnt constraints deletion: 14068 -> 7054
257.52/257.64	c learnt constraints deletion: 13832 -> 6924
261.12/261.28	c learnt constraints deletion: 14257 -> 7137
264.12/264.22	c learnt constraints deletion: 13772 -> 6895
267.92/268.03	c learnt constraints deletion: 14177 -> 7103
271.02/271.18	c learnt constraints deletion: 13838 -> 6933
274.41/274.52	c learnt constraints deletion: 13949 -> 6994
277.51/277.66	c learnt constraints deletion: 13618 -> 6827
280.92/281.02	c learnt constraints deletion: 14128 -> 7083
284.22/284.37	c learnt constraints deletion: 14188 -> 7105
287.41/287.54	c learnt constraints deletion: 14167 -> 7084
290.71/290.87	c learnt constraints deletion: 14272 -> 7138
294.12/294.20	c learnt constraints deletion: 14056 -> 7030
297.21/297.39	c learnt constraints deletion: 14020 -> 7019
300.91/301.09	c learnt constraints deletion: 15414 -> 7708
304.31/304.48	c learnt constraints deletion: 15138 -> 7569
307.82/307.96	c learnt constraints deletion: 15349 -> 7675
311.61/311.70	c learnt constraints deletion: 14929 -> 7465
315.31/315.44	c learnt constraints deletion: 15581 -> 7791
319.11/319.24	c learnt constraints deletion: 15477 -> 7739
322.81/322.92	c learnt constraints deletion: 15500 -> 7750
326.21/326.37	c learnt constraints deletion: 15259 -> 7630
330.01/330.17	c learnt constraints deletion: 15454 -> 7727
333.80/333.95	c learnt constraints deletion: 15399 -> 7700
337.71/337.86	c learnt constraints deletion: 15542 -> 7780
341.71/341.84	c learnt constraints deletion: 15528 -> 7778
345.41/345.50	c learnt constraints deletion: 15229 -> 7615
349.00/349.15	c learnt constraints deletion: 14520 -> 7260
353.40/353.52	c learnt constraints deletion: 15509 -> 7763
356.91/357.09	c learnt constraints deletion: 14626 -> 7313
360.61/360.74	c learnt constraints deletion: 15266 -> 7650
364.00/364.15	c learnt constraints deletion: 15062 -> 7531
368.11/368.20	c learnt constraints deletion: 15341 -> 7693
371.71/371.83	c learnt constraints deletion: 15039 -> 7520
376.60/376.76	c learnt constraints deletion: 15370 -> 7693
380.40/380.56	c learnt constraints deletion: 15306 -> 7678
384.00/384.15	c learnt constraints deletion: 15468 -> 7759
387.70/387.83	c learnt constraints deletion: 15222 -> 7613
391.79/391.93	c learnt constraints deletion: 15602 -> 7827
395.20/395.36	c learnt constraints deletion: 15277 -> 7639
399.00/399.13	c learnt constraints deletion: 15590 -> 7795
402.90/403.03	c learnt constraints deletion: 15599 -> 7813
406.39/406.59	c learnt constraints deletion: 15270 -> 7656
410.00/410.14	c learnt constraints deletion: 15372 -> 7707
413.99/414.15	c learnt constraints deletion: 15465 -> 7754
417.89/418.08	c learnt constraints deletion: 15214 -> 7607
421.98/422.12	c learnt constraints deletion: 14967 -> 7484
425.49/425.65	c learnt constraints deletion: 15341 -> 7682
428.98/429.11	c learnt constraints deletion: 15143 -> 7603
432.98/433.18	c learnt constraints deletion: 15353 -> 7685
437.28/437.42	c learnt constraints deletion: 15174 -> 7587
441.58/441.71	c learnt constraints deletion: 15035 -> 7521
445.08/445.22	c learnt constraints deletion: 15156 -> 7583
448.59/448.72	c learnt constraints deletion: 15466 -> 7739
452.58/452.70	c learnt constraints deletion: 15518 -> 7766
455.78/455.99	c learnt constraints deletion: 14793 -> 7399
459.97/460.12	c learnt constraints deletion: 15129 -> 7570
464.18/464.39	c learnt constraints deletion: 15932 -> 7969
467.98/468.11	c learnt constraints deletion: 16308 -> 8154
472.08/472.24	c learnt constraints deletion: 16872 -> 8455
476.77/476.91	c learnt constraints deletion: 16869 -> 8438
481.07/481.22	c learnt constraints deletion: 16625 -> 8315
485.47/485.68	c learnt constraints deletion: 16890 -> 8446
490.07/490.28	c learnt constraints deletion: 16769 -> 8388
495.08/495.22	c learnt constraints deletion: 16796 -> 8401
500.48/500.64	c learnt constraints deletion: 16979 -> 8493
505.87/506.01	c learnt constraints deletion: 17022 -> 8514
511.87/512.00	c learnt constraints deletion: 16957 -> 8482
516.27/516.46	c learnt constraints deletion: 16961 -> 8484
520.27/520.44	c learnt constraints deletion: 16968 -> 8487
524.17/524.36	c learnt constraints deletion: 16878 -> 8442
527.87/528.03	c learnt constraints deletion: 16857 -> 8432
531.67/531.83	c learnt constraints deletion: 16987 -> 8497
535.76/535.94	c learnt constraints deletion: 17001 -> 8504
539.67/539.86	c learnt constraints deletion: 16982 -> 8494
543.66/543.81	c learnt constraints deletion: 17004 -> 8505
547.16/547.39	c learnt constraints deletion: 16890 -> 8448
550.67/550.84	c learnt constraints deletion: 16459 -> 8230
555.67/555.80	c learnt constraints deletion: 16561 -> 8281
559.27/559.44	c learnt constraints deletion: 16380 -> 8190
564.25/564.47	c learnt constraints deletion: 16511 -> 8256
568.15/568.33	c learnt constraints deletion: 16074 -> 8038
571.95/572.18	c learnt constraints deletion: 16859 -> 8433
576.35/576.55	c learnt constraints deletion: 16890 -> 8453
580.35/580.55	c learnt constraints deletion: 16793 -> 8399
584.45/584.60	c learnt constraints deletion: 16013 -> 8010
588.85/589.06	c learnt constraints deletion: 16218 -> 8114
592.24/592.45	c learnt constraints deletion: 16069 -> 8040
596.14/596.31	c learnt constraints deletion: 16454 -> 8233
600.15/600.35	c learnt constraints deletion: 16791 -> 8409
603.84/604.04	c learnt constraints deletion: 16828 -> 8425
608.34/608.50	c learnt constraints deletion: 16918 -> 8468
613.24/613.46	c learnt constraints deletion: 16819 -> 8419
618.05/618.21	c learnt constraints deletion: 16984 -> 8501
622.74/622.97	c learnt constraints deletion: 16582 -> 8300
626.85/627.02	c learnt constraints deletion: 16778 -> 8398
631.54/631.73	c learnt constraints deletion: 16275 -> 8147
636.14/636.34	c learnt constraints deletion: 16688 -> 8348
641.05/641.28	c learnt constraints deletion: 16767 -> 8391
645.04/645.28	c learnt constraints deletion: 16576 -> 8294
649.85/650.09	c learnt constraints deletion: 16824 -> 8414
653.84/654.01	c learnt constraints deletion: 16916 -> 8461
657.84/658.02	c learnt constraints deletion: 16724 -> 8362
662.93/663.13	c learnt constraints deletion: 16974 -> 8487
667.14/667.33	c learnt constraints deletion: 16943 -> 8478
670.64/670.85	c learnt constraints deletion: 15830 -> 7917
674.54/674.70	c learnt constraints deletion: 16875 -> 8442
678.54/678.73	c learnt constraints deletion: 16975 -> 8492
682.33/682.58	c learnt constraints deletion: 16953 -> 8481
685.93/686.19	c learnt constraints deletion: 16946 -> 8473
690.33/690.55	c learnt constraints deletion: 16589 -> 8295
694.43/694.61	c learnt constraints deletion: 16469 -> 8236
698.63/698.83	c learnt constraints deletion: 16975 -> 8507
702.23/702.47	c learnt constraints deletion: 16657 -> 8332
706.53/706.75	c learnt constraints deletion: 16710 -> 8366
710.63/710.85	c learnt constraints deletion: 16791 -> 8400
715.93/716.18	c learnt constraints deletion: 18559 -> 9284
721.33/721.51	c learnt constraints deletion: 17182 -> 8591
728.22/728.43	c learnt constraints deletion: 18556 -> 9278
734.32/734.53	c learnt constraints deletion: 18363 -> 9182
741.32/741.52	c learnt constraints deletion: 18500 -> 9250
746.41/746.65	c learnt constraints deletion: 18507 -> 9254
751.12/751.30	c learnt constraints deletion: 18030 -> 9015
756.81/757.02	c learnt constraints deletion: 18440 -> 9220
760.92/761.15	c learnt constraints deletion: 18155 -> 9078
765.71/765.91	c learnt constraints deletion: 18176 -> 9088
770.61/770.87	c learnt constraints deletion: 17834 -> 8917
775.91/776.11	c learnt constraints deletion: 18277 -> 9139
780.91/781.13	c learnt constraints deletion: 18359 -> 9180
785.51/785.75	c learnt constraints deletion: 18133 -> 9068
790.00/790.21	c learnt constraints deletion: 18248 -> 9124
795.21/795.43	c learnt constraints deletion: 18032 -> 9017
800.40/800.63	c learnt constraints deletion: 18240 -> 9120
805.31/805.50	c learnt constraints deletion: 18368 -> 9196
810.00/810.27	c learnt constraints deletion: 17985 -> 8993
815.60/815.80	c learnt constraints deletion: 18020 -> 9011
819.90/820.15	c learnt constraints deletion: 18527 -> 9267
825.00/825.24	c learnt constraints deletion: 17963 -> 8986
829.70/829.94	c learnt constraints deletion: 18178 -> 9093
833.80/834.06	c learnt constraints deletion: 18265 -> 9142
838.30/838.54	c learnt constraints deletion: 18369 -> 9197
843.89/844.11	c learnt constraints deletion: 18428 -> 9221
850.00/850.29	c learnt constraints deletion: 18158 -> 9086
854.60/854.85	c learnt constraints deletion: 18105 -> 9060
859.70/859.93	c learnt constraints deletion: 18570 -> 9292
864.90/865.12	c learnt constraints deletion: 17824 -> 8919
870.29/870.51	c learnt constraints deletion: 18286 -> 9151
875.69/876.00	c learnt constraints deletion: 18498 -> 9252
879.59/879.88	c learnt constraints deletion: 18488 -> 9249
883.19/883.43	c learnt constraints deletion: 18178 -> 9089
888.29/888.52	c learnt constraints deletion: 18095 -> 9048
892.49/892.70	c learnt constraints deletion: 17823 -> 8912
896.89/897.11	c learnt constraints deletion: 18532 -> 9284
901.18/901.42	c learnt constraints deletion: 18321 -> 9161
905.68/905.98	c learnt constraints deletion: 18319 -> 9163
910.28/910.55	c learnt constraints deletion: 17835 -> 8918
914.99/915.24	c learnt constraints deletion: 18346 -> 9175
919.39/919.64	c learnt constraints deletion: 18230 -> 9135
923.47/923.74	c learnt constraints deletion: 18339 -> 9170
928.38/928.67	c learnt constraints deletion: 18513 -> 9258
932.87/933.14	c learnt constraints deletion: 18144 -> 9089
937.87/938.18	c learnt constraints deletion: 18400 -> 9202
942.88/943.16	c learnt constraints deletion: 18348 -> 9178
947.98/948.20	c learnt constraints deletion: 18497 -> 9256
952.07/952.35	c learnt constraints deletion: 17897 -> 8959
956.68/956.91	c learnt constraints deletion: 18537 -> 9283
960.77/961.09	c learnt constraints deletion: 17728 -> 8866
965.48/965.74	c learnt constraints deletion: 18127 -> 9064
971.27/971.50	c learnt constraints deletion: 18443 -> 9222
976.77/977.02	c learnt constraints deletion: 18343 -> 9172
981.26/981.55	c learnt constraints deletion: 18250 -> 9126
986.38/986.68	c learnt constraints deletion: 18303 -> 9153
991.87/992.14	c learnt constraints deletion: 18011 -> 9007
996.76/997.03	c learnt constraints deletion: 18498 -> 9251
1001.57/1001.89	c learnt constraints deletion: 18514 -> 9258
1005.96/1006.22	c learnt constraints deletion: 18464 -> 9233
1010.06/1010.39	c learnt constraints deletion: 18422 -> 9212
1014.06/1014.30	c learnt constraints deletion: 18396 -> 9200
1018.66/1018.93	c learnt constraints deletion: 18512 -> 9258
1023.26/1023.54	c learnt constraints deletion: 18337 -> 9171
1027.86/1028.11	c learnt constraints deletion: 17623 -> 8814
1033.16/1033.43	c learnt constraints deletion: 17656 -> 8830
1039.06/1039.39	c learnt constraints deletion: 18531 -> 9269
1044.06/1044.39	c learnt constraints deletion: 18520 -> 9264
1048.56/1048.87	c learnt constraints deletion: 18476 -> 9259
1052.56/1052.82	c learnt constraints deletion: 17991 -> 8998
1056.96/1057.20	c learnt constraints deletion: 18363 -> 9185
1061.85/1062.12	c learnt constraints deletion: 18534 -> 9274
1066.96/1067.25	c learnt constraints deletion: 18428 -> 9224
1071.55/1071.83	c learnt constraints deletion: 18535 -> 9278
1076.95/1077.21	c learnt constraints deletion: 17854 -> 8933
1081.35/1081.63	c learnt constraints deletion: 18441 -> 9224
1087.25/1087.55	c learnt constraints deletion: 18546 -> 9278
1091.34/1091.67	c learnt constraints deletion: 18274 -> 9151
1095.93/1096.22	c learnt constraints deletion: 18253 -> 9137
1100.84/1101.11	c learnt constraints deletion: 18213 -> 9115
1105.13/1105.49	c learnt constraints deletion: 18106 -> 9061
1110.73/1111.07	c learnt constraints deletion: 18414 -> 9215
1116.14/1116.42	c learnt constraints deletion: 19946 -> 9977
1122.43/1122.73	c learnt constraints deletion: 20122 -> 10061
1127.24/1127.58	c learnt constraints deletion: 20171 -> 10099
1133.23/1133.57	c learnt constraints deletion: 20077 -> 10045
1138.62/1138.95	c learnt constraints deletion: 19902 -> 9951
1144.23/1144.55	c learnt constraints deletion: 19798 -> 9899
1149.43/1149.75	c learnt constraints deletion: 20171 -> 10092
1154.23/1154.58	c learnt constraints deletion: 19587 -> 9798
1159.82/1160.15	c learnt constraints deletion: 19916 -> 9971
1165.22/1165.59	c learnt constraints deletion: 20005 -> 10009
1170.42/1170.71	c learnt constraints deletion: 19831 -> 9916
1175.52/1175.87	c learnt constraints deletion: 19929 -> 9969
1181.02/1181.31	c learnt constraints deletion: 19994 -> 9997
1186.72/1187.09	c learnt constraints deletion: 20182 -> 10093
1191.41/1191.76	c learnt constraints deletion: 20084 -> 10042
1197.01/1197.31	c learnt constraints deletion: 20053 -> 10040
1202.72/1203.08	c learnt constraints deletion: 20088 -> 10045
1209.51/1209.82	c learnt constraints deletion: 20267 -> 10135
1215.81/1216.14	c learnt constraints deletion: 19868 -> 9934
1222.32/1222.62	c learnt constraints deletion: 19930 -> 9965
1228.81/1229.17	c learnt constraints deletion: 19721 -> 9861
1235.12/1235.47	c learnt constraints deletion: 19489 -> 9745
1240.11/1240.46	c learnt constraints deletion: 19821 -> 9912
1244.91/1245.22	c learnt constraints deletion: 19745 -> 9877
1250.32/1250.63	c learnt constraints deletion: 19992 -> 10005
1255.41/1255.77	c learnt constraints deletion: 20057 -> 10039
1260.21/1260.59	c learnt constraints deletion: 20135 -> 10087
1264.81/1265.15	c learnt constraints deletion: 19591 -> 9804
1270.70/1271.09	c learnt constraints deletion: 20128 -> 10065
1277.20/1277.53	c learnt constraints deletion: 20193 -> 10098
1282.20/1282.57	c learnt constraints deletion: 19919 -> 9963
1286.90/1287.25	c learnt constraints deletion: 19707 -> 9860
1292.60/1292.91	c learnt constraints deletion: 20212 -> 10111
1299.39/1299.73	c learnt constraints deletion: 19962 -> 9986
1305.10/1305.47	c learnt constraints deletion: 20188 -> 10096
1312.50/1312.81	c learnt constraints deletion: 20022 -> 10014
1317.40/1317.75	c learnt constraints deletion: 20233 -> 10128
1321.99/1322.32	c learnt constraints deletion: 20010 -> 10030
1326.79/1327.18	c learnt constraints deletion: 20085 -> 10050
1333.59/1333.91	c learnt constraints deletion: 20146 -> 10077
1338.79/1339.13	c learnt constraints deletion: 20184 -> 10098
1343.69/1344.08	c learnt constraints deletion: 19936 -> 9987
1349.69/1350.06	c learnt constraints deletion: 19616 -> 9812
1355.99/1356.36	c learnt constraints deletion: 19417 -> 9713
1360.39/1360.77	c learnt constraints deletion: 19749 -> 9886
1365.68/1366.02	c learnt constraints deletion: 20008 -> 10030
1370.99/1371.31	c learnt constraints deletion: 19834 -> 9926
1376.59/1376.93	c learnt constraints deletion: 20182 -> 10103
1381.48/1381.83	c learnt constraints deletion: 20200 -> 10116
1386.28/1386.60	c learnt constraints deletion: 19741 -> 9882
1391.09/1391.42	c learnt constraints deletion: 19955 -> 9983
1396.08/1396.41	c learnt constraints deletion: 19885 -> 9949
1401.38/1401.75	c learnt constraints deletion: 20149 -> 10085
1405.98/1406.32	c learnt constraints deletion: 20041 -> 10048
1410.48/1410.85	c learnt constraints deletion: 19820 -> 9916
1416.77/1417.16	c learnt constraints deletion: 20160 -> 10086
1423.08/1423.42	c learnt constraints deletion: 20197 -> 10107
1428.18/1428.51	c learnt constraints deletion: 20139 -> 10082
1433.07/1433.43	c learnt constraints deletion: 20135 -> 10085
1437.77/1438.16	c learnt constraints deletion: 19653 -> 9835
1443.58/1443.91	c learnt constraints deletion: 19981 -> 10003
1448.28/1448.61	c learnt constraints deletion: 19878 -> 9949
1454.66/1455.06	c learnt constraints deletion: 19735 -> 9878
1459.37/1459.77	c learnt constraints deletion: 19753 -> 9887
1465.16/1465.56	c learnt constraints deletion: 19728 -> 9874
1470.06/1470.49	c learnt constraints deletion: 20007 -> 10017
1474.76/1475.12	c learnt constraints deletion: 20120 -> 10071
1480.85/1481.22	c learnt constraints deletion: 19708 -> 9866
1485.25/1485.67	c learnt constraints deletion: 19923 -> 9977
1490.64/1491.08	c learnt constraints deletion: 20178 -> 10102
1495.45/1495.80	c learnt constraints deletion: 20162 -> 10094
1500.95/1501.39	c learnt constraints deletion: 20153 -> 10093
1506.24/1506.62	c learnt constraints deletion: 20120 -> 10077
1511.24/1511.62	c learnt constraints deletion: 20120 -> 10076
1516.04/1516.41	c learnt constraints deletion: 20170 -> 10105
1520.74/1521.15	c learnt constraints deletion: 20027 -> 10033
1526.04/1526.47	c learnt constraints deletion: 20091 -> 10066
1530.94/1531.31	c learnt constraints deletion: 20161 -> 10106
1535.15/1535.56	c learnt constraints deletion: 19785 -> 9908
1540.94/1541.39	c learnt constraints deletion: 19716 -> 9872
1546.94/1547.35	c learnt constraints deletion: 20239 -> 10121
1551.94/1552.35	c learnt constraints deletion: 20233 -> 10119
1557.24/1557.62	c learnt constraints deletion: 20034 -> 10021
1562.24/1562.65	c learnt constraints deletion: 19846 -> 9929
1567.54/1567.98	c learnt constraints deletion: 19981 -> 9998
1572.13/1572.55	c learnt constraints deletion: 20009 -> 10017
1577.13/1577.57	c learnt constraints deletion: 20223 -> 10134
1582.44/1582.82	c learnt constraints deletion: 20052 -> 10053
1588.04/1588.43	c learnt constraints deletion: 19886 -> 9952
1594.33/1594.72	c learnt constraints deletion: 20088 -> 10052
1601.14/1601.52	c learnt constraints deletion: 19542 -> 9772
1606.23/1606.65	c learnt constraints deletion: 19970 -> 10001
1611.33/1611.79	c learnt constraints deletion: 20118 -> 10061
1617.33/1617.79	c learnt constraints deletion: 20150 -> 10082
1622.63/1623.03	c learnt constraints deletion: 20104 -> 10056
1628.13/1628.58	c learnt constraints deletion: 20038 -> 10023
1633.82/1634.25	c learnt constraints deletion: 20227 -> 10130
1639.03/1639.45	c learnt constraints deletion: 20122 -> 10076
1644.32/1644.74	c learnt constraints deletion: 20205 -> 10114
1650.82/1651.20	c learnt constraints deletion: 20147 -> 10084
1656.91/1657.36	c learnt constraints deletion: 20134 -> 10077
1662.82/1663.26	c learnt constraints deletion: 19409 -> 9712
1667.61/1668.02	c learnt constraints deletion: 19416 -> 9708
1673.31/1673.77	c learnt constraints deletion: 19810 -> 9905
1679.11/1679.55	c learnt constraints deletion: 19673 -> 9837
1684.10/1684.54	c learnt constraints deletion: 19791 -> 9896
1688.51/1688.91	c learnt constraints deletion: 19882 -> 9941
1693.90/1694.32	c learnt constraints deletion: 20268 -> 10134
1698.80/1699.27	c learnt constraints deletion: 20223 -> 10112
1702.50/1702.96	c solving time = 1702.046s
1702.50/1702.96	c #decision = 5401020
1702.50/1702.96	c #conflict = 3329340
1702.50/1702.96	c #restart = 30
1702.50/1702.96	s OPTIMUM FOUND
1702.50/1702.96	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
1702.50/1702.96	v -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20
1702.50/1702.96	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
1702.50/1702.96	v -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
1702.50/1702.96	v -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 x49 x50
1702.50/1702.96	v -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60
1702.50/1702.96	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
1702.50/1702.96	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80
1702.50/1702.96	v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 x90
1702.50/1702.96	v -x91 -x92 -x93 x94 x95 -x96 -x97 -x98 -x99 -x100
1702.50/1702.96	c total time = 1702.572s

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-3707264-1338134971/watcher-3707264-1338134971 -o /tmp/evaluation-result-3707264-1338134971/solver-3707264-1338134971 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707264-1338134971.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

[startup+0 s]
/proc/loadavg: 1.95 1.99 1.99 3/178 23920
/proc/meminfo: memFree=29835624/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/23920/stat : 23920 (runsolver) R 23918 21797 21797 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 1 0 279621937 12095488 23 33554432000 4194304 5436572 140735037443120 140735037439312 4873605 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0
/proc/23920/statm: 2953 23 3 304 0 2645 0
Current StackSize limit: 10240 KiB


[startup+0.088103 s]
/proc/loadavg: 1.95 1.99 1.99 3/178 23920
/proc/meminfo: memFree=29835624/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=12352 CPUtime=0.07 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 2284 0 0 0 7 0 0 0 20 0 1 0 279621937 12648448 2205 33554432000 4194304 8973514 140733624364560 140735037439304 4209325 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23920/statm: 3088 2218 445 1167 0 1869 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12352

[startup+0.100286 s]
/proc/loadavg: 1.95 1.99 1.99 3/178 23920
/proc/meminfo: memFree=29835624/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=12352 CPUtime=0.08 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 2384 0 0 0 8 0 0 0 20 0 1 0 279621937 12648448 2305 33554432000 4194304 8973514 140733624364560 140735037439304 4208820 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23920/statm: 3088 2305 445 1167 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12352

[startup+0.300217 s]
/proc/loadavg: 1.95 1.99 1.99 3/178 23920
/proc/meminfo: memFree=29835624/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=13376 CPUtime=0.28 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 2653 0 0 0 28 0 0 0 20 0 1 0 279621937 13697024 2574 33554432000 4194304 8973514 140733624364560 140733624363824 7707296 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23920/statm: 3344 2574 458 1167 0 2125 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13376

[startup+0.700249 s]
/proc/loadavg: 1.95 1.99 1.99 3/178 23920
/proc/meminfo: memFree=29835624/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=15424 CPUtime=0.68 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 3165 0 0 0 68 0 0 0 20 0 1 0 279621937 15794176 3086 33554432000 4194304 8973514 140733624364560 140733624364056 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23920/statm: 3856 3086 458 1167 0 2637 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15424

[startup+1.50023 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 23921
/proc/meminfo: memFree=29823968/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=20544 CPUtime=1.49 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 4311 0 0 0 148 1 0 0 20 0 1 0 279621937 21037056 4232 33554432000 4194304 8973514 140733624364560 140733624364056 7716772 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23920/statm: 5136 4232 458 1167 0 3917 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20544

[startup+3.1002 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 23921
/proc/meminfo: memFree=29817636/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=24640 CPUtime=3.08 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 5475 0 0 0 307 1 0 0 20 0 1 0 279621937 25231360 5396 33554432000 4194304 8973514 140733624364560 140733624364056 4441196 0 0 0 34082818 0 0 0 17 6 0 0 0 0 0
/proc/23920/statm: 6160 5396 459 1167 0 4941 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 24640

[startup+6.30024 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 23921
/proc/meminfo: memFree=29806444/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=28736 CPUtime=6.28 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 6499 0 0 0 626 2 0 0 20 0 1 0 279621937 29425664 6420 33554432000 4194304 8973514 140733624364560 140733624347656 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 7184 6420 459 1167 0 5965 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28736

[startup+12.7003 s]
/proc/loadavg: 1.96 1.99 1.99 3/179 23921
/proc/meminfo: memFree=29803672/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=29760 CPUtime=12.68 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 6755 0 0 0 1264 4 0 0 20 0 1 0 279621937 30474240 6676 33554432000 4194304 8973514 140733624364560 140733624364056 4357076 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 7440 6676 459 1167 0 6221 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29760

[startup+25.5003 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 23921
/proc/meminfo: memFree=29812016/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=33856 CPUtime=25.47 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 7779 0 0 0 2540 7 0 0 20 0 1 0 279621937 34668544 7700 33554432000 4194304 8973514 140733624364560 140733624363824 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 8464 7700 459 1167 0 7245 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 33856

[startup+51.1003 s]
/proc/loadavg: 1.98 1.99 1.99 3/180 23925
/proc/meminfo: memFree=29781352/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=36928 CPUtime=51.07 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 9571 0 0 0 5093 14 0 0 20 0 1 0 279621937 37814272 8468 33554432000 4194304 8973514 140733624364560 140733624364056 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 9232 8468 459 1167 0 8013 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 36928

[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 23925
/proc/meminfo: memFree=29750088/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=42048 CPUtime=102.26 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 14705 0 0 0 10197 29 0 0 20 0 1 0 279621937 43057152 9748 33554432000 4194304 8973514 140733624364560 140733624364056 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 10512 9748 459 1167 0 9293 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 42048

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 23925
/proc/meminfo: memFree=29742812/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=42048 CPUtime=162.25 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 22641 0 0 0 16177 48 0 0 20 0 1 0 279621937 43057152 9748 33554432000 4194304 8973514 140733624364560 140733624347656 4459352 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 10512 9748 459 1167 0 9293 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 42048

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 4/179 23925
/proc/meminfo: memFree=29743520/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=50240 CPUtime=222.24 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 31346 0 0 0 22159 65 0 0 20 0 1 0 279621937 51445760 11796 33554432000 4194304 8973514 140733624364560 140733624363824 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 12560 11796 459 1167 0 11341 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 50240

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 23925
/proc/meminfo: memFree=29736336/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=48192 CPUtime=282.21 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 42109 0 0 0 28137 84 0 0 20 0 1 0 279621937 49348608 11284 33554432000 4194304 8973514 140733624364560 140733624364056 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 12048 11284 459 1167 0 10829 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 48192

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 23925
/proc/meminfo: memFree=29730236/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=50240 CPUtime=342.21 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 47229 0 0 0 34122 99 0 0 20 0 1 0 279621937 51445760 11796 33554432000 4194304 8973514 140733624364560 140733624363824 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 12560 11796 459 1167 0 11341 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 50240

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 23926
/proc/meminfo: memFree=29714992/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=49216 CPUtime=402.2 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 57469 0 0 0 40104 116 0 0 20 0 1 0 279621937 50397184 11540 33554432000 4194304 8973514 140733624364560 140733624363824 6839793 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 12304 11540 459 1167 0 11085 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 49216

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 23926
/proc/meminfo: memFree=29722800/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=46144 CPUtime=462.18 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 65928 0 0 0 46084 134 0 0 20 0 1 0 279621937 47251456 10772 33554432000 4194304 8973514 140733624364560 140733624364056 4441196 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 11536 10772 459 1167 0 10317 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 46144

[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 23926
/proc/meminfo: memFree=29708828/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=54336 CPUtime=522.16 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 76680 0 0 0 52066 150 0 0 20 0 1 0 279621937 55640064 12820 33554432000 4194304 8973514 140733624364560 140733624364056 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 13584 12820 459 1167 0 12365 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 54336

[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 23926
/proc/meminfo: memFree=29695956/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=58432 CPUtime=582.15 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 80529 0 0 0 58048 167 0 0 20 0 1 0 279621937 59834368 13844 33554432000 4194304 8973514 140733624364560 140733624363824 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 14608 13844 459 1167 0 13389 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 58432

[startup+642.3 s]

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

/proc/meminfo: memFree=29690892/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=59456 CPUtime=1062.05 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 144293 0 0 0 105902 303 0 0 20 0 1 0 279621937 60882944 14100 33554432000 4194304 8973514 140733624364560 140733624347656 6839776 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 14864 14100 459 1167 0 13645 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 59456

[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 23931
/proc/meminfo: memFree=29666112/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=60480 CPUtime=1122.03 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 150452 0 0 0 111884 319 0 0 20 0 1 0 279621937 61931520 14356 33554432000 4194304 8973514 140733624364560 140733624363824 7717156 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 15120 14356 459 1167 0 13901 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 60480

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23931
/proc/meminfo: memFree=29691156/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=50240 CPUtime=1182.01 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 157620 0 0 0 117868 333 0 0 20 0 1 0 279621937 51445760 11796 33554432000 4194304 8973514 140733624364560 140733624363824 4204638 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 12560 11796 459 1167 0 11341 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 50240

[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/180 23934
/proc/meminfo: memFree=29651768/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=57408 CPUtime=1242.01 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 164020 0 0 0 123855 346 0 0 20 0 1 0 279621937 58785792 13588 33554432000 4194304 8973514 140733624364560 140733624364056 4442944 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 14352 13588 459 1167 0 13133 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 57408

[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 23935
/proc/meminfo: memFree=29673868/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=56384 CPUtime=1302 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 170426 0 0 0 129841 359 0 0 20 0 1 0 279621937 57737216 13332 33554432000 4194304 8973514 140733624364560 140733624363824 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 14096 13332 459 1167 0 12877 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 56384

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 23935
/proc/meminfo: memFree=29677928/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=56384 CPUtime=1361.98 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 178618 0 0 0 135825 373 0 0 20 0 1 0 279621937 57737216 13332 33554432000 4194304 8973514 140733624364560 140733624364056 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 14096 13332 459 1167 0 12877 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 56384

[startup+1422.31 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 23935
/proc/meminfo: memFree=29647208/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=63552 CPUtime=1421.98 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 188346 0 0 0 141811 387 0 0 20 0 1 0 279621937 65077248 15124 33554432000 4194304 8973514 140733624364560 140733624363824 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 15888 15124 459 1167 0 14669 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 63552

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 23935
/proc/meminfo: memFree=29667160/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=58432 CPUtime=1481.95 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 194247 0 0 0 147796 399 0 0 20 0 1 0 279621937 59834368 13844 33554432000 4194304 8973514 140733624364560 140733624362496 4208857 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 14608 13844 459 1167 0 13389 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 58432

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 23936
/proc/meminfo: memFree=29659052/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=58432 CPUtime=1541.94 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 197066 0 0 0 153782 412 0 0 20 0 1 0 279621937 59834368 13844 33554432000 4194304 8973514 140733624364560 140733624347656 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 14608 13844 459 1167 0 13389 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 58432

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23937
/proc/meminfo: memFree=29676196/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=50240 CPUtime=1601.93 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 201418 0 0 0 159768 425 0 0 20 0 1 0 279621937 51445760 11796 33554432000 4194304 8973514 140733624364560 140733624347656 4427744 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 12560 11796 459 1167 0 11341 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 50240

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23937
/proc/meminfo: memFree=29621288/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=54336 CPUtime=1661.92 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 209873 0 0 0 165752 440 0 0 20 0 1 0 279621937 55640064 12820 33554432000 4194304 8973514 140733624364560 140733624364056 4441196 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 13584 12820 459 1167 0 12365 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 54336

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

[startup+1663.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23937
/proc/meminfo: memFree=29621288/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=46144 CPUtime=1663.51 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 209877 0 0 0 165911 440 0 0 20 0 1 0 279621937 47251456 10772 33554432000 4194304 8973514 140733624364560 140733624346560 4209456 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 11536 10772 459 1167 0 10317 0
Current children cumulated CPU time (s) 1663.51
Current children cumulated vsize (KiB) 46144

[startup+1689.5 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 23937
/proc/meminfo: memFree=29651996/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=54336 CPUtime=1689.11 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 214230 0 0 0 168464 447 0 0 20 0 1 0 279621937 55640064 12820 33554432000 4194304 8973514 140733624364560 140733624362496 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 13584 12820 459 1167 0 12365 0
Current children cumulated CPU time (s) 1689.11
Current children cumulated vsize (KiB) 54336

[startup+1695.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 23937
/proc/meminfo: memFree=29659820/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=58432 CPUtime=1695.5 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 215766 0 0 0 169101 449 0 0 20 0 1 0 279621937 59834368 13844 33554432000 4194304 8973514 140733624364560 140733624364056 4209332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 14608 13844 459 1167 0 13389 0
Current children cumulated CPU time (s) 1695.5
Current children cumulated vsize (KiB) 58432

[startup+1699.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 23937
/proc/meminfo: memFree=29659820/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=58432 CPUtime=1698.7 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 215766 0 0 0 169420 450 0 0 20 0 1 0 279621937 59834368 13844 33554432000 4194304 8973514 140733624364560 140733624364056 6847225 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 14608 13844 459 1167 0 13389 0
Current children cumulated CPU time (s) 1698.7
Current children cumulated vsize (KiB) 58432

[startup+1700.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 23937
/proc/meminfo: memFree=29659696/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=54336 CPUtime=1700.31 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 215766 0 0 0 169580 451 0 0 20 0 1 0 279621937 55640064 12820 33554432000 4194304 8973514 140733624364560 140733624364056 4204261 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 13584 12820 459 1167 0 12365 0
Current children cumulated CPU time (s) 1700.31
Current children cumulated vsize (KiB) 54336

[startup+1702.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 23937
/proc/meminfo: memFree=29663792/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=54336 CPUtime=1701.9 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 215766 0 0 0 169739 451 0 0 20 0 1 0 279621937 55640064 12820 33554432000 4194304 8973514 140733624364560 140733624363824 4206108 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 13584 12820 459 1167 0 12365 0
Current children cumulated CPU time (s) 1701.9
Current children cumulated vsize (KiB) 54336

[startup+1702.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 23937
/proc/meminfo: memFree=29663916/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=54336 CPUtime=1702.31 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 215766 0 0 0 169780 451 0 0 20 0 1 0 279621937 55640064 12820 33554432000 4194304 8973514 140733624364560 140733624364056 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 13584 12820 459 1167 0 12365 0
Current children cumulated CPU time (s) 1702.31
Current children cumulated vsize (KiB) 54336

[startup+1702.9 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 23937
/proc/meminfo: memFree=29663916/32873844 swapFree=7372/7372
[pid=23920] ppid=23918 vsize=54336 CPUtime=1702.5 cores=0,2,4,6
/proc/23920/stat : 23920 (toysat) R 23918 23920 21797 0 -1 4202496 215766 0 0 0 169799 451 0 0 20 0 1 0 279621937 55640064 12820 33554432000 4194304 8973514 140733624364560 140733624364056 4427536 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23920/statm: 13584 12820 459 1167 0 12365 0
Current children cumulated CPU time (s) 1702.5
Current children cumulated vsize (KiB) 54336

Child status: 0
Real time (s): 1702.96
CPU time (s): 1702.58
CPU user time (s): 1698.06
CPU system time (s): 4.51631
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 92224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1698.06
system time used= 4.51631
maximum resident set size= 89168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215770
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= 2218

runsolver used 2.56861 second user time and 6.74997 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-27 18:09:31
IDJOB=3707264
IDBENCH=48250
IDSOLVER=2285
FILE ID=node133/3707264-1338134971
RUNJOBID= node133-1338109544-21813
PBS_JOBID= 14624470
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= e0d3a2bf2cd2b7e4b27d7033a7686e76
RANDOM SEED=572145464

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29836376 kB
Buffers:          356868 kB
Cached:          1783836 kB
SwapCached:          104 kB
Active:           685652 kB
Inactive:        1526884 kB
Active(anon):      62328 kB
Inactive(anon):    11368 kB
Active(file):     623324 kB
Inactive(file):  1515516 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:              7392 kB
Writeback:             0 kB
AnonPages:         78488 kB
Mapped:            16228 kB
Shmem:               212 kB
Slab:             685740 kB
SReclaimable:     127960 kB
SUnreclaim:       557780 kB
KernelStack:        1472 kB
PageTables:         4468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     183296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71716 MiB
End job on node133 at 2012-05-27 18:37:54