Trace number 3707267

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-7 1690.32 1690.65

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_4.opb
MD5SUM0c3fb28b3ecb8f1eba2bffa356ef5364
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-7
Best CPU time to get the best result obtained on this benchmark9.47556
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7
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)2932
Sum of products size (including duplicates)5864
Number of different products1466
Sum of products size2932

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.03	c 2012-05-27T18:21:35+0200
0.00/0.03	c arch = x86_64
0.00/0.03	c os = linux
0.00/0.03	c compiler = ghc 7.4
0.00/0.03	c packages:
0.00/0.03	c   OptDir-0.0.1
0.00/0.03	c   array-0.4.0.0
0.00/0.03	c   base-4.5.0.0
0.00/0.03	c   bytestring-0.9.2.1
0.00/0.03	c   containers-0.4.2.1
0.00/0.03	c   deepseq-1.3.0.0
0.00/0.03	c   mtl-2.1.1
0.00/0.03	c   old_locale-1.0.0.4
0.00/0.03	c   parse_dimacs-1.2
0.00/0.03	c   parsec-3.1.2
0.00/0.03	c   queue-0.1.2
0.00/0.03	c   stm-2.3
0.00/0.03	c   time-1.4
0.00/0.03	c command line = ["--pb","HOME/instance-3707267-1338135695.opb"]
0.00/0.03	c #vars 100
0.00/0.03	c #constraints 151
0.00/0.03	c Solving starts ...
0.09/0.11	c solving time = 0.082s
0.09/0.11	c #decision = 1426
0.09/0.11	c #conflict = 138
0.09/0.11	c #restart = 1
0.09/0.11	o -4
0.09/0.11	c Solving starts ...
0.29/0.35	c solving time = 0.239s
0.29/0.35	c #decision = 2349
0.29/0.35	c #conflict = 908
0.29/0.35	c #restart = 4
0.29/0.35	o -5
0.29/0.35	c Solving starts ...
0.89/0.95	c solving time = 0.600s
0.89/0.95	c #decision = 6227
0.89/0.95	c #conflict = 2964
0.89/0.95	c #restart = 9
0.89/0.95	o -6
0.89/0.95	c Solving starts ...
0.89/0.96	c learnt constraints deletion: 2955 -> 1478
1.99/2.02	c learnt constraints deletion: 4694 -> 2347
3.30/3.39	c learnt constraints deletion: 5826 -> 2921
4.69/4.73	c learnt constraints deletion: 6214 -> 3116
5.88/5.93	c learnt constraints deletion: 6347 -> 3174
7.09/7.19	c learnt constraints deletion: 6810 -> 3424
8.39/8.42	c learnt constraints deletion: 7253 -> 3633
9.39/9.42	c learnt constraints deletion: 6774 -> 3404
11.10/11.11	c learnt constraints deletion: 7801 -> 3930
12.49/12.52	c solving time = 11.565s
12.49/12.52	c #decision = 65325
12.49/12.52	c #conflict = 34809
12.49/12.52	c #restart = 21
12.49/12.52	o -7
12.49/12.52	c Solving starts ...
12.49/12.55	c learnt constraints deletion: 7541 -> 3771
12.49/12.59	c learnt constraints deletion: 3771 -> 1886
13.09/13.13	c learnt constraints deletion: 3201 -> 1601
13.98/14.00	c learnt constraints deletion: 4553 -> 2277
14.79/14.87	c learnt constraints deletion: 4982 -> 2492
15.69/15.72	c learnt constraints deletion: 5217 -> 2612
17.18/17.20	c learnt constraints deletion: 6506 -> 3268
18.49/18.57	c learnt constraints deletion: 6680 -> 3355
19.99/20.07	c learnt constraints deletion: 6827 -> 3429
21.58/21.66	c learnt constraints deletion: 7230 -> 3630
23.09/23.16	c learnt constraints deletion: 7867 -> 3934
24.38/24.48	c learnt constraints deletion: 7647 -> 3838
25.79/25.89	c learnt constraints deletion: 7897 -> 3961
27.68/27.70	c learnt constraints deletion: 8576 -> 4299
29.09/29.11	c learnt constraints deletion: 8321 -> 4178
30.68/30.70	c learnt constraints deletion: 8237 -> 4140
32.69/32.76	c learnt constraints deletion: 8428 -> 4232
34.38/34.45	c learnt constraints deletion: 8340 -> 4187
36.39/36.49	c learnt constraints deletion: 8722 -> 4377
38.29/38.31	c learnt constraints deletion: 8823 -> 4428
39.98/40.05	c learnt constraints deletion: 9270 -> 4653
41.48/41.59	c learnt constraints deletion: 9214 -> 4622
42.89/42.97	c learnt constraints deletion: 9254 -> 4643
44.18/44.29	c learnt constraints deletion: 9222 -> 4627
46.19/46.25	c learnt constraints deletion: 9987 -> 4994
48.18/48.25	c learnt constraints deletion: 10071 -> 5054
50.18/50.26	c learnt constraints deletion: 9933 -> 4999
51.98/52.02	c learnt constraints deletion: 9620 -> 4831
54.18/54.20	c learnt constraints deletion: 9696 -> 4848
56.18/56.21	c learnt constraints deletion: 9831 -> 4932
58.08/58.11	c learnt constraints deletion: 9900 -> 4950
59.98/60.06	c learnt constraints deletion: 9880 -> 4944
61.98/62.05	c learnt constraints deletion: 9831 -> 4917
64.08/64.12	c learnt constraints deletion: 10173 -> 5087
66.28/66.32	c learnt constraints deletion: 10840 -> 5448
68.38/68.45	c learnt constraints deletion: 10924 -> 5483
70.58/70.67	c learnt constraints deletion: 10840 -> 5439
72.68/72.71	c learnt constraints deletion: 10886 -> 5462
74.79/74.89	c learnt constraints deletion: 10476 -> 5238
77.18/77.27	c learnt constraints deletion: 10459 -> 5231
79.47/79.54	c learnt constraints deletion: 10334 -> 5168
81.97/82.07	c learnt constraints deletion: 10579 -> 5291
84.18/84.27	c learnt constraints deletion: 9922 -> 4962
86.77/86.86	c learnt constraints deletion: 10865 -> 5434
88.98/89.09	c learnt constraints deletion: 10765 -> 5403
91.58/91.60	c learnt constraints deletion: 10612 -> 5306
94.18/94.21	c learnt constraints deletion: 11792 -> 5902
96.78/96.85	c learnt constraints deletion: 11794 -> 5897
98.87/98.92	c learnt constraints deletion: 11208 -> 5614
101.58/101.61	c learnt constraints deletion: 11823 -> 5945
104.07/104.17	c learnt constraints deletion: 11186 -> 5597
106.68/106.71	c learnt constraints deletion: 11787 -> 5903
109.08/109.14	c learnt constraints deletion: 11713 -> 5877
111.47/111.50	c learnt constraints deletion: 11825 -> 5938
113.66/113.77	c learnt constraints deletion: 11812 -> 5939
116.68/116.78	c learnt constraints deletion: 11803 -> 5906
119.07/119.13	c learnt constraints deletion: 11597 -> 5809
121.37/121.42	c learnt constraints deletion: 11858 -> 5951
123.97/124.02	c learnt constraints deletion: 11775 -> 5896
126.36/126.40	c learnt constraints deletion: 11850 -> 5933
128.47/128.54	c learnt constraints deletion: 11375 -> 5692
130.87/130.96	c learnt constraints deletion: 11342 -> 5695
133.77/133.84	c learnt constraints deletion: 12091 -> 6046
136.86/136.91	c learnt constraints deletion: 12378 -> 6190
139.67/139.74	c learnt constraints deletion: 12781 -> 6400
142.06/142.14	c learnt constraints deletion: 12611 -> 6306
144.66/144.80	c learnt constraints deletion: 12805 -> 6409
147.27/147.37	c learnt constraints deletion: 12766 -> 6385
149.67/149.79	c learnt constraints deletion: 12691 -> 6348
152.16/152.24	c learnt constraints deletion: 12753 -> 6379
154.67/154.75	c learnt constraints deletion: 12602 -> 6306
156.76/156.82	c learnt constraints deletion: 11639 -> 5821
159.36/159.50	c learnt constraints deletion: 12618 -> 6315
161.86/161.99	c learnt constraints deletion: 12597 -> 6302
164.76/164.80	c learnt constraints deletion: 12561 -> 6284
167.46/167.59	c learnt constraints deletion: 12093 -> 6050
170.56/170.61	c learnt constraints deletion: 12507 -> 6257
173.65/173.80	c learnt constraints deletion: 12729 -> 6368
176.76/176.81	c learnt constraints deletion: 12634 -> 6320
179.36/179.46	c learnt constraints deletion: 11997 -> 6002
182.26/182.39	c learnt constraints deletion: 12739 -> 6373
185.16/185.24	c learnt constraints deletion: 12894 -> 6450
187.96/188.01	c learnt constraints deletion: 12631 -> 6329
190.75/190.88	c learnt constraints deletion: 12851 -> 6429
193.85/193.96	c learnt constraints deletion: 12759 -> 6396
197.15/197.22	c learnt constraints deletion: 13377 -> 6692
200.65/200.75	c learnt constraints deletion: 13925 -> 6963
204.05/204.16	c learnt constraints deletion: 13952 -> 6983
207.45/207.52	c learnt constraints deletion: 13907 -> 6954
210.66/210.76	c learnt constraints deletion: 13542 -> 6771
213.45/213.52	c learnt constraints deletion: 13912 -> 6956
216.75/216.84	c learnt constraints deletion: 13761 -> 6881
220.15/220.22	c learnt constraints deletion: 13675 -> 6847
222.95/223.05	c learnt constraints deletion: 13782 -> 6900
226.05/226.18	c learnt constraints deletion: 13952 -> 6976
229.15/229.25	c learnt constraints deletion: 13669 -> 6838
232.25/232.30	c learnt constraints deletion: 13303 -> 6652
235.36/235.43	c learnt constraints deletion: 13858 -> 6945
238.14/238.20	c learnt constraints deletion: 13876 -> 6939
241.34/241.47	c learnt constraints deletion: 13958 -> 6994
244.34/244.44	c learnt constraints deletion: 13817 -> 6910
247.55/247.61	c learnt constraints deletion: 13320 -> 6660
250.45/250.55	c learnt constraints deletion: 13830 -> 6926
253.55/253.69	c learnt constraints deletion: 13335 -> 6668
256.64/256.71	c learnt constraints deletion: 13986 -> 6993
259.44/259.50	c learnt constraints deletion: 13157 -> 6579
262.54/262.65	c learnt constraints deletion: 13961 -> 6993
265.75/265.85	c learnt constraints deletion: 13945 -> 6992
268.46/268.60	c learnt constraints deletion: 13611 -> 6806
271.75/271.86	c learnt constraints deletion: 13950 -> 7003
274.74/274.80	c learnt constraints deletion: 14025 -> 7027
277.64/277.75	c learnt constraints deletion: 13403 -> 6702
280.94/281.03	c learnt constraints deletion: 13806 -> 6917
283.85/283.95	c learnt constraints deletion: 13981 -> 7014
286.94/287.00	c learnt constraints deletion: 13804 -> 6921
289.54/289.68	c learnt constraints deletion: 13221 -> 6611
292.74/292.82	c learnt constraints deletion: 13871 -> 6953
296.04/296.13	c learnt constraints deletion: 14392 -> 7196
300.03/300.10	c learnt constraints deletion: 15216 -> 7616
303.24/303.32	c learnt constraints deletion: 15042 -> 7536
307.04/307.12	c learnt constraints deletion: 14939 -> 7490
310.14/310.30	c learnt constraints deletion: 15013 -> 7532
313.32/313.46	c learnt constraints deletion: 14937 -> 7469
316.63/316.75	c learnt constraints deletion: 14941 -> 7478
320.62/320.71	c learnt constraints deletion: 15157 -> 7579
324.02/324.18	c learnt constraints deletion: 15197 -> 7615
327.93/328.04	c learnt constraints deletion: 15265 -> 7661
331.22/331.37	c learnt constraints deletion: 15276 -> 7638
335.33/335.45	c learnt constraints deletion: 14857 -> 7429
338.62/338.77	c learnt constraints deletion: 14565 -> 7296
342.23/342.38	c learnt constraints deletion: 15163 -> 7606
345.92/346.02	c learnt constraints deletion: 15266 -> 7655
349.12/349.28	c learnt constraints deletion: 15220 -> 7632
352.22/352.37	c learnt constraints deletion: 15016 -> 7513
355.82/355.98	c learnt constraints deletion: 14873 -> 7457
359.42/359.51	c learnt constraints deletion: 15274 -> 7637
363.02/363.15	c learnt constraints deletion: 14115 -> 7058
366.92/367.03	c learnt constraints deletion: 15205 -> 7603
369.41/369.54	c learnt constraints deletion: 13876 -> 6938
373.42/373.50	c learnt constraints deletion: 15203 -> 7605
376.42/376.52	c learnt constraints deletion: 14240 -> 7120
379.92/380.07	c learnt constraints deletion: 15208 -> 7605
383.52/383.61	c learnt constraints deletion: 15124 -> 7563
386.62/386.78	c learnt constraints deletion: 15147 -> 7575
389.92/390.00	c learnt constraints deletion: 14633 -> 7317
393.51/393.67	c learnt constraints deletion: 14505 -> 7253
396.81/396.99	c learnt constraints deletion: 15100 -> 7550
400.01/400.16	c learnt constraints deletion: 15090 -> 7545
403.81/403.97	c learnt constraints deletion: 14926 -> 7463
407.52/407.67	c learnt constraints deletion: 14428 -> 7214
411.42/411.53	c learnt constraints deletion: 14489 -> 7245
414.81/414.98	c learnt constraints deletion: 15050 -> 7525
418.31/418.43	c learnt constraints deletion: 14818 -> 7420
421.71/421.84	c learnt constraints deletion: 14961 -> 7506
425.31/425.44	c learnt constraints deletion: 14538 -> 7269
428.61/428.75	c learnt constraints deletion: 14349 -> 7175
433.21/433.39	c learnt constraints deletion: 15196 -> 7599
436.31/436.49	c learnt constraints deletion: 14532 -> 7266
440.31/440.41	c learnt constraints deletion: 14992 -> 7500
444.32/444.46	c learnt constraints deletion: 14962 -> 7481
448.20/448.34	c learnt constraints deletion: 14630 -> 7315
451.90/452.00	c learnt constraints deletion: 14301 -> 7151
455.20/455.34	c learnt constraints deletion: 15828 -> 7914
459.00/459.11	c learnt constraints deletion: 15874 -> 7949
463.20/463.37	c learnt constraints deletion: 16081 -> 8061
467.10/467.23	c learnt constraints deletion: 16204 -> 8103
471.10/471.21	c learnt constraints deletion: 16400 -> 8207
475.10/475.21	c learnt constraints deletion: 16051 -> 8026
479.61/479.74	c learnt constraints deletion: 16107 -> 8054
484.01/484.11	c learnt constraints deletion: 16616 -> 8308
488.30/488.46	c learnt constraints deletion: 16454 -> 8227
492.70/492.83	c learnt constraints deletion: 16354 -> 8177
496.69/496.86	c learnt constraints deletion: 16194 -> 8105
500.89/501.06	c learnt constraints deletion: 15941 -> 7971
504.99/505.13	c learnt constraints deletion: 16199 -> 8100
509.39/509.53	c learnt constraints deletion: 16441 -> 8221
513.28/513.42	c learnt constraints deletion: 15805 -> 7903
518.10/518.25	c learnt constraints deletion: 16464 -> 8243
521.89/522.01	c learnt constraints deletion: 16301 -> 8151
526.89/527.01	c learnt constraints deletion: 16526 -> 8263
531.19/531.34	c learnt constraints deletion: 16577 -> 8302
535.48/535.66	c learnt constraints deletion: 16366 -> 8183
540.28/540.49	c learnt constraints deletion: 16111 -> 8056
544.38/544.60	c learnt constraints deletion: 15961 -> 7981
548.89/549.01	c learnt constraints deletion: 16542 -> 8271
552.68/552.89	c learnt constraints deletion: 16648 -> 8324
555.88/556.05	c learnt constraints deletion: 15927 -> 7964
559.48/559.65	c learnt constraints deletion: 16171 -> 8104
563.67/563.88	c learnt constraints deletion: 16466 -> 8234
567.88/568.09	c learnt constraints deletion: 16178 -> 8097
572.28/572.43	c learnt constraints deletion: 16537 -> 8270
576.07/576.22	c learnt constraints deletion: 16567 -> 8298
580.18/580.35	c learnt constraints deletion: 16631 -> 8316
584.78/584.97	c learnt constraints deletion: 16177 -> 8089
589.08/589.20	c learnt constraints deletion: 16581 -> 8293
592.67/592.82	c learnt constraints deletion: 16585 -> 8299
596.38/596.59	c learnt constraints deletion: 16621 -> 8321
600.28/600.45	c learnt constraints deletion: 16258 -> 8133
604.48/604.65	c learnt constraints deletion: 16560 -> 8285
607.87/608.07	c learnt constraints deletion: 16388 -> 8201
611.58/611.75	c learnt constraints deletion: 16267 -> 8140
615.67/615.87	c learnt constraints deletion: 16404 -> 8208
620.07/620.29	c learnt constraints deletion: 16113 -> 8063
624.57/624.78	c learnt constraints deletion: 16544 -> 8288
628.77/628.91	c learnt constraints deletion: 16601 -> 8307
633.27/633.46	c learnt constraints deletion: 16534 -> 8273
638.17/638.30	c learnt constraints deletion: 16412 -> 8212
642.47/642.67	c learnt constraints deletion: 16348 -> 8179
647.06/647.22	c learnt constraints deletion: 16359 -> 8184
651.36/651.50	c learnt constraints deletion: 16595 -> 8300
655.17/655.39	c learnt constraints deletion: 16551 -> 8278
659.56/659.76	c learnt constraints deletion: 16568 -> 8286
663.87/664.06	c learnt constraints deletion: 16567 -> 8298
667.96/668.17	c learnt constraints deletion: 16556 -> 8278
671.16/671.39	c learnt constraints deletion: 16138 -> 8071
674.87/675.04	c learnt constraints deletion: 16561 -> 8308
678.96/679.18	c learnt constraints deletion: 16574 -> 8287
683.66/683.87	c learnt constraints deletion: 15736 -> 7873
687.66/687.84	c learnt constraints deletion: 16642 -> 8335
691.26/691.44	c learnt constraints deletion: 16546 -> 8274
695.16/695.33	c learnt constraints deletion: 15993 -> 8004
698.86/699.09	c learnt constraints deletion: 16347 -> 8177
703.76/703.99	c learnt constraints deletion: 18117 -> 9075
707.56/707.79	c learnt constraints deletion: 17038 -> 8519
712.36/712.58	c learnt constraints deletion: 17859 -> 8940
717.06/717.27	c learnt constraints deletion: 18028 -> 9014
722.46/722.64	c learnt constraints deletion: 18000 -> 9010
727.55/727.75	c learnt constraints deletion: 18040 -> 9022
731.64/731.85	c learnt constraints deletion: 17278 -> 8639
736.45/736.69	c learnt constraints deletion: 17708 -> 8859
741.64/741.88	c learnt constraints deletion: 17354 -> 8681
746.14/746.32	c learnt constraints deletion: 17807 -> 8904
750.74/750.94	c learnt constraints deletion: 17521 -> 8761
755.04/755.25	c learnt constraints deletion: 17940 -> 8970
759.14/759.30	c learnt constraints deletion: 17632 -> 8831
763.74/763.92	c learnt constraints deletion: 17803 -> 8916
769.13/769.36	c learnt constraints deletion: 17500 -> 8755
774.34/774.53	c learnt constraints deletion: 18034 -> 9027
778.74/778.91	c learnt constraints deletion: 17765 -> 8883
783.73/783.95	c learnt constraints deletion: 17954 -> 8977
788.03/788.23	c learnt constraints deletion: 17950 -> 8980
792.34/792.51	c learnt constraints deletion: 18050 -> 9025
797.44/797.68	c learnt constraints deletion: 18027 -> 9014
802.63/802.83	c learnt constraints deletion: 18002 -> 9001
807.13/807.39	c learnt constraints deletion: 17762 -> 8881
811.43/811.61	c learnt constraints deletion: 17990 -> 9006
815.23/815.44	c learnt constraints deletion: 18085 -> 9043
819.73/819.96	c learnt constraints deletion: 17766 -> 8883
823.74/823.99	c learnt constraints deletion: 17748 -> 8874
828.03/828.29	c learnt constraints deletion: 17809 -> 8905
832.92/833.12	c learnt constraints deletion: 18045 -> 9031
837.03/837.28	c learnt constraints deletion: 18054 -> 9027
841.92/842.14	c learnt constraints deletion: 18172 -> 9101
846.63/846.82	c learnt constraints deletion: 17748 -> 8884
851.12/851.39	c learnt constraints deletion: 18027 -> 9033
854.82/855.06	c learnt constraints deletion: 17529 -> 8765
860.13/860.34	c learnt constraints deletion: 18008 -> 9004
865.02/865.23	c learnt constraints deletion: 18074 -> 9051
869.12/869.38	c learnt constraints deletion: 18021 -> 9011
874.12/874.30	c learnt constraints deletion: 18045 -> 9023
878.52/878.76	c learnt constraints deletion: 18073 -> 9044
882.52/882.74	c learnt constraints deletion: 16964 -> 8482
886.21/886.49	c learnt constraints deletion: 17137 -> 8569
890.62/890.88	c learnt constraints deletion: 17418 -> 8709
894.52/894.74	c learnt constraints deletion: 18055 -> 9032
898.42/898.62	c learnt constraints deletion: 17832 -> 8923
902.82/903.00	c learnt constraints deletion: 18037 -> 9023
908.42/908.62	c learnt constraints deletion: 17869 -> 8939
913.62/913.87	c learnt constraints deletion: 17478 -> 8743
918.21/918.46	c learnt constraints deletion: 18048 -> 9029
923.01/923.29	c learnt constraints deletion: 17003 -> 8502
928.61/928.84	c learnt constraints deletion: 17967 -> 8986
932.91/933.16	c learnt constraints deletion: 17709 -> 8856
938.91/939.13	c learnt constraints deletion: 17940 -> 8971
944.31/944.55	c learnt constraints deletion: 17782 -> 8892
949.01/949.28	c learnt constraints deletion: 18006 -> 9005
953.71/953.98	c learnt constraints deletion: 18000 -> 9001
959.11/959.32	c learnt constraints deletion: 18054 -> 9031
963.20/963.40	c learnt constraints deletion: 18053 -> 9028
968.10/968.37	c learnt constraints deletion: 18034 -> 9018
973.51/973.76	c learnt constraints deletion: 18065 -> 9035
978.30/978.57	c learnt constraints deletion: 18139 -> 9070
982.50/982.72	c learnt constraints deletion: 18140 -> 9070
986.40/986.63	c learnt constraints deletion: 18092 -> 9046
990.19/990.49	c learnt constraints deletion: 18162 -> 9081
994.09/994.36	c learnt constraints deletion: 17783 -> 8892
998.40/998.60	c learnt constraints deletion: 17459 -> 8732
1002.78/1003.06	c learnt constraints deletion: 17918 -> 8961
1006.79/1007.06	c learnt constraints deletion: 17818 -> 8922
1011.38/1011.64	c learnt constraints deletion: 18047 -> 9028
1016.89/1017.10	c learnt constraints deletion: 17869 -> 8939
1022.39/1022.66	c learnt constraints deletion: 17749 -> 8879
1027.39/1027.68	c learnt constraints deletion: 17940 -> 8974
1032.39/1032.60	c learnt constraints deletion: 17873 -> 8941
1037.88/1038.18	c learnt constraints deletion: 17949 -> 8983
1042.08/1042.38	c learnt constraints deletion: 17630 -> 8818
1046.68/1046.91	c learnt constraints deletion: 17699 -> 8850
1050.98/1051.24	c learnt constraints deletion: 17943 -> 8974
1054.78/1055.06	c learnt constraints deletion: 17286 -> 8647
1059.38/1059.62	c learnt constraints deletion: 18080 -> 9050
1063.28/1063.55	c learnt constraints deletion: 17663 -> 8842
1067.38/1067.61	c learnt constraints deletion: 17723 -> 8869
1072.08/1072.37	c learnt constraints deletion: 17479 -> 8747
1077.38/1077.68	c learnt constraints deletion: 18039 -> 9027
1082.47/1082.73	c learnt constraints deletion: 18043 -> 9029
1088.27/1088.58	c learnt constraints deletion: 18028 -> 9015
1093.47/1093.76	c learnt constraints deletion: 19716 -> 9861
1098.17/1098.46	c learnt constraints deletion: 19318 -> 9659
1104.18/1104.47	c learnt constraints deletion: 19481 -> 9741
1108.47/1108.77	c learnt constraints deletion: 19279 -> 9646
1112.87/1113.15	c learnt constraints deletion: 19741 -> 9886
1117.58/1117.80	c learnt constraints deletion: 19628 -> 9825
1122.47/1122.70	c learnt constraints deletion: 19325 -> 9683
1128.37/1128.63	c learnt constraints deletion: 19748 -> 9887
1134.97/1135.28	c learnt constraints deletion: 19567 -> 9792
1141.86/1142.18	c learnt constraints deletion: 19527 -> 9764
1146.67/1146.91	c learnt constraints deletion: 19706 -> 9857
1151.57/1151.82	c learnt constraints deletion: 19393 -> 9698
1156.56/1156.86	c learnt constraints deletion: 19792 -> 9897
1162.36/1162.63	c learnt constraints deletion: 19317 -> 9660
1167.56/1167.83	c learnt constraints deletion: 19531 -> 9767
1173.06/1173.34	c learnt constraints deletion: 19133 -> 9568
1179.46/1179.72	c learnt constraints deletion: 19503 -> 9753
1185.57/1185.84	c learnt constraints deletion: 19723 -> 9863
1191.66/1191.91	c learnt constraints deletion: 19169 -> 9585
1197.86/1198.17	c learnt constraints deletion: 19401 -> 9701
1202.06/1202.37	c learnt constraints deletion: 19735 -> 9871
1206.76/1207.07	c learnt constraints deletion: 19425 -> 9715
1212.85/1213.14	c learnt constraints deletion: 19318 -> 9660
1219.56/1219.82	c learnt constraints deletion: 19162 -> 9582
1225.16/1225.41	c learnt constraints deletion: 19729 -> 9866
1230.45/1230.76	c learnt constraints deletion: 19303 -> 9653
1235.16/1235.47	c learnt constraints deletion: 19605 -> 9804
1240.45/1240.75	c learnt constraints deletion: 19762 -> 9883
1244.44/1244.70	c learnt constraints deletion: 19076 -> 9538
1249.65/1249.97	c learnt constraints deletion: 19324 -> 9664
1255.24/1255.59	c learnt constraints deletion: 19513 -> 9760
1260.65/1260.99	c learnt constraints deletion: 19801 -> 9908
1265.74/1266.03	c learnt constraints deletion: 19803 -> 9902
1271.85/1272.19	c learnt constraints deletion: 19581 -> 9791
1277.55/1277.85	c learnt constraints deletion: 19798 -> 9900
1283.24/1283.55	c learnt constraints deletion: 19512 -> 9759
1288.74/1289.02	c learnt constraints deletion: 19304 -> 9655
1293.84/1294.15	c learnt constraints deletion: 19778 -> 9893
1299.54/1299.87	c learnt constraints deletion: 19706 -> 9857
1304.34/1304.61	c learnt constraints deletion: 19632 -> 9822
1308.94/1309.21	c learnt constraints deletion: 19698 -> 9856
1313.33/1313.63	c learnt constraints deletion: 19768 -> 9891
1317.64/1317.93	c learnt constraints deletion: 19661 -> 9831
1323.63/1323.94	c learnt constraints deletion: 19797 -> 9901
1329.03/1329.37	c learnt constraints deletion: 19826 -> 9915
1334.53/1334.80	c learnt constraints deletion: 19779 -> 9892
1338.92/1339.21	c learnt constraints deletion: 18965 -> 9485
1343.23/1343.56	c learnt constraints deletion: 19456 -> 9728
1347.92/1348.29	c learnt constraints deletion: 19676 -> 9841
1352.83/1353.17	c learnt constraints deletion: 19634 -> 9828
1357.42/1357.75	c learnt constraints deletion: 19628 -> 9824
1362.32/1362.66	c learnt constraints deletion: 19586 -> 9793
1368.62/1368.90	c learnt constraints deletion: 19698 -> 9850
1373.92/1374.27	c learnt constraints deletion: 19508 -> 9754
1379.72/1380.07	c learnt constraints deletion: 19726 -> 9863
1385.11/1385.44	c learnt constraints deletion: 19531 -> 9766
1390.12/1390.48	c learnt constraints deletion: 19396 -> 9698
1395.12/1395.48	c learnt constraints deletion: 19297 -> 9649
1400.31/1400.64	c learnt constraints deletion: 19290 -> 9645
1405.92/1406.26	c learnt constraints deletion: 19791 -> 9912
1410.31/1410.67	c learnt constraints deletion: 19525 -> 9767
1416.02/1416.32	c learnt constraints deletion: 19697 -> 9850
1420.42/1420.72	c learnt constraints deletion: 19605 -> 9825
1424.81/1425.19	c learnt constraints deletion: 19630 -> 9819
1429.82/1430.13	c learnt constraints deletion: 19697 -> 9850
1435.91/1436.20	c learnt constraints deletion: 19808 -> 9905
1442.01/1442.35	c learnt constraints deletion: 19578 -> 9789
1446.81/1447.19	c learnt constraints deletion: 19658 -> 9829
1452.11/1452.42	c learnt constraints deletion: 19730 -> 9873
1456.41/1456.70	c learnt constraints deletion: 19554 -> 9784
1461.11/1461.49	c learnt constraints deletion: 19737 -> 9881
1466.21/1466.54	c learnt constraints deletion: 19570 -> 9792
1472.21/1472.57	c learnt constraints deletion: 19328 -> 9664
1478.22/1478.58	c learnt constraints deletion: 19666 -> 9833
1483.41/1483.73	c learnt constraints deletion: 19616 -> 9809
1488.20/1488.59	c learnt constraints deletion: 19789 -> 9910
1493.00/1493.35	c learnt constraints deletion: 19659 -> 9843
1497.80/1498.18	c learnt constraints deletion: 19766 -> 9899
1502.89/1503.26	c learnt constraints deletion: 19702 -> 9860
1509.30/1509.64	c learnt constraints deletion: 19458 -> 9729
1514.50/1514.83	c learnt constraints deletion: 19619 -> 9810
1519.29/1519.60	c learnt constraints deletion: 19399 -> 9702
1524.19/1524.50	c learnt constraints deletion: 19698 -> 9857
1528.69/1529.02	c learnt constraints deletion: 19469 -> 9735
1533.19/1533.59	c learnt constraints deletion: 19405 -> 9703
1538.19/1538.50	c learnt constraints deletion: 19739 -> 9870
1543.79/1544.16	c learnt constraints deletion: 19371 -> 9686
1549.19/1549.50	c learnt constraints deletion: 19354 -> 9677
1554.99/1555.38	c learnt constraints deletion: 19727 -> 9869
1560.08/1560.45	c learnt constraints deletion: 19676 -> 9839
1565.19/1565.57	c learnt constraints deletion: 19172 -> 9586
1570.49/1570.89	c learnt constraints deletion: 19808 -> 9905
1575.08/1575.43	c learnt constraints deletion: 19587 -> 9795
1580.39/1580.78	c learnt constraints deletion: 19713 -> 9857
1586.58/1586.93	c learnt constraints deletion: 19743 -> 9872
1591.48/1591.85	c learnt constraints deletion: 19732 -> 9874
1595.89/1596.28	c learnt constraints deletion: 19726 -> 9863
1602.38/1602.72	c learnt constraints deletion: 19585 -> 9794
1607.08/1607.45	c learnt constraints deletion: 19363 -> 9690
1611.28/1611.68	c learnt constraints deletion: 19638 -> 9821
1617.27/1617.67	c learnt constraints deletion: 19607 -> 9811
1621.78/1622.19	c learnt constraints deletion: 19542 -> 9774
1628.27/1628.65	c learnt constraints deletion: 19510 -> 9770
1632.58/1632.97	c learnt constraints deletion: 19687 -> 9848
1637.37/1637.73	c learnt constraints deletion: 19728 -> 9870
1642.38/1642.72	c learnt constraints deletion: 19577 -> 9795
1646.67/1647.08	c learnt constraints deletion: 19378 -> 9696
1651.37/1651.76	c learnt constraints deletion: 19537 -> 9778
1655.27/1655.66	c learnt constraints deletion: 19475 -> 9743
1660.87/1661.29	c learnt constraints deletion: 19483 -> 9752
1665.96/1666.31	c learnt constraints deletion: 19759 -> 9880
1670.36/1670.74	c learnt constraints deletion: 19817 -> 9912
1674.36/1674.79	c learnt constraints deletion: 19244 -> 9622
1679.57/1679.97	c learnt constraints deletion: 19777 -> 9890
1686.46/1686.82	c learnt constraints deletion: 21307 -> 10654
1690.26/1690.65	c solving time = 1677.798s
1690.26/1690.65	c #decision = 5509425
1690.26/1690.65	c #conflict = 3402563
1690.26/1690.65	c #restart = 44
1690.26/1690.65	s OPTIMUM FOUND
1690.26/1690.65	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10
1690.26/1690.65	v -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
1690.26/1690.65	v -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30
1690.26/1690.65	v -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 x39 x40
1690.26/1690.65	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50
1690.26/1690.65	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
1690.26/1690.65	v -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70
1690.26/1690.65	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80
1690.26/1690.65	v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
1690.26/1690.65	v x91 x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 x100
1690.26/1690.65	c total time = 1690.321s

Verifier Data 

OK	-7

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

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 2464
/proc/meminfo: memFree=28817024/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 827 0 0 0 0 0 0 0 20 0 1 0 279695331 7405568 747 33554432000 4194304 8973514 140735530966576 140733415169768 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 1808 747 416 1167 0 589 0

[startup+0.05977 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 2464
/proc/meminfo: memFree=28817024/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=11328 CPUtime=0.05 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 2001 0 0 0 5 0 0 0 20 0 1 0 279695331 11599872 1921 33554432000 4194304 8973514 140735530966576 140733415169768 6575950 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 2832 1921 447 1167 0 1613 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11328

[startup+0.10024 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 2464
/proc/meminfo: memFree=28817024/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 2274 0 0 0 9 0 0 0 20 0 1 0 279695331 12648448 2194 33554432000 4194304 8973514 140735530966576 140733415169768 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 3088 2194 447 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300213 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 2464
/proc/meminfo: memFree=28817024/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=13376 CPUtime=0.29 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 2653 0 0 0 29 0 0 0 20 0 1 0 279695331 13697024 2573 33554432000 4194304 8973514 140735530966576 140733415169768 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 3344 2573 458 1167 0 2125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13376

[startup+0.700221 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 2464
/proc/meminfo: memFree=28817024/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=15424 CPUtime=0.69 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 3165 0 0 0 69 0 0 0 20 0 1 0 279695331 15794176 3085 33554432000 4194304 8973514 140735530966576 140735530966072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 3856 3085 458 1167 0 2637 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15424

[startup+1.50023 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2465
/proc/meminfo: memFree=28804748/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=17472 CPUtime=1.49 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 3683 0 0 0 148 1 0 0 20 0 1 0 279695331 17891328 3603 33554432000 4194304 8973514 140735530966576 140735530965840 4208870 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 4368 3603 459 1167 0 3149 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17472

[startup+3.10022 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2465
/proc/meminfo: memFree=28800168/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=24640 CPUtime=3.08 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 5430 0 0 0 307 1 0 0 20 0 1 0 279695331 25231360 5350 33554432000 4194304 8973514 140735530966576 140735530966072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 6160 5350 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: 2.02 2.01 2.00 3/177 2465
/proc/meminfo: memFree=28792848/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=28736 CPUtime=6.28 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 6499 0 0 0 626 2 0 0 20 0 1 0 279695331 29425664 6419 33554432000 4194304 8973514 140735530966576 140735530966072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 7184 6419 459 1167 0 5965 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28736

[startup+12.7011 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2465
/proc/meminfo: memFree=28789044/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=33856 CPUtime=12.69 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 7779 0 0 0 1265 4 0 0 20 0 1 0 279695331 34668544 7699 33554432000 4194304 8973514 140735530966576 140735530966072 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 8464 7699 459 1167 0 7245 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33856

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2465
/proc/meminfo: memFree=28792020/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=29760 CPUtime=25.48 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 8803 0 0 0 2540 8 0 0 20 0 1 0 279695331 30474240 6675 33554432000 4194304 8973514 140735530966576 140735530966072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 7440 6675 459 1167 0 6221 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29760

[startup+51.1011 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2465
/proc/meminfo: memFree=28786192/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=35904 CPUtime=51.08 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 11107 0 0 0 5091 17 0 0 20 0 1 0 279695331 36765696 8211 33554432000 4194304 8973514 140735530966576 140735530966072 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 8976 8211 459 1167 0 7757 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35904

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2465
/proc/meminfo: memFree=28783340/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=37952 CPUtime=102.28 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 18275 0 0 0 10196 32 0 0 20 0 1 0 279695331 38862848 8723 33554432000 4194304 8973514 140735530966576 140735530966072 4441376 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 9488 8723 459 1167 0 8269 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 37952

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2466
/proc/meminfo: memFree=28768784/32873648 swapFree=6848/6848
[pid=2464] ppid=2462 vsize=49216 CPUtime=162.26 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 32360 0 0 0 16175 51 0 0 20 0 1 0 279695331 50397184 11544 33554432000 4194304 8973514 140735530966576 140735530966072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 12304 11544 459 1167 0 11085 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 49216

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2466
/proc/meminfo: memFree=28758600/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=46144 CPUtime=222.25 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 37224 0 0 0 22157 68 0 0 20 0 1 0 279695331 47251456 10776 33554432000 4194304 8973514 140735530966576 140735530966072 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 11536 10776 459 1167 0 10317 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 46144

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2466
/proc/meminfo: memFree=28748628/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=49216 CPUtime=282.24 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 46952 0 0 0 28136 88 0 0 20 0 1 0 279695331 50397184 11544 33554432000 4194304 8973514 140735530966576 140735530966072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 12304 11544 459 1167 0 11085 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 49216

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2467
/proc/meminfo: memFree=28735744/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=46144 CPUtime=342.23 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 56949 0 0 0 34118 105 0 0 20 0 1 0 279695331 47251456 10776 33554432000 4194304 8973514 140735530966576 140735530965840 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 11536 10776 459 1167 0 10317 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 46144

[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2467
/proc/meminfo: memFree=28719528/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=50240 CPUtime=402.21 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 68981 0 0 0 40098 123 0 0 20 0 1 0 279695331 51445760 11800 33554432000 4194304 8973514 140735530966576 140735530966072 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 12560 11800 459 1167 0 11341 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 50240

[startup+462.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 2468
/proc/meminfo: memFree=28704460/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=50240 CPUtime=462.2 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 74357 0 0 0 46081 139 0 0 20 0 1 0 279695331 51445760 11800 33554432000 4194304 8973514 140735530966576 140735530965840 4427684 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 12560 11800 459 1167 0 11341 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 50240

[startup+522.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/178 2471
/proc/meminfo: memFree=28690236/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=50240 CPUtime=522.19 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 80511 0 0 0 52065 154 0 0 20 0 1 0 279695331 51445760 11800 33554432000 4194304 8973514 140735530966576 140735530966072 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 12560 11800 459 1167 0 11341 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 50240

[startup+582.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 2471
/proc/meminfo: memFree=28679016/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=50240 CPUtime=582.18 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 89983 0 0 0 58048 170 0 0 20 0 1 0 279695331 51445760 11800 33554432000 4194304 8973514 140735530966576 140735530965840 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 12560 11800 459 1167 0 11341 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 50240

[startup+642.301 s]

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

/proc/meminfo: memFree=28606604/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=50240 CPUtime=1062.08 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 143002 0 0 0 105909 299 0 0 20 0 1 0 279695331 51445760 11800 33554432000 4194304 8973514 140735530966576 140735530966072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 12560 11800 459 1167 0 11341 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 50240

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2476
/proc/meminfo: memFree=28587492/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=61504 CPUtime=1122.07 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 147866 0 0 0 111895 312 0 0 20 0 1 0 279695331 62980096 14616 33554432000 4194304 8973514 140735530966576 140735530966072 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 15376 14616 459 1167 0 14157 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 61504

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2515
/proc/meminfo: memFree=28830108/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=50240 CPUtime=1182.06 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 150429 0 0 0 117882 324 0 0 20 0 1 0 279695331 51445760 11800 33554432000 4194304 8973514 140735530966576 140735530964544 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 12560 11800 459 1167 0 11341 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 50240

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2515
/proc/meminfo: memFree=28818776/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=55360 CPUtime=1242.05 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 156829 0 0 0 123868 337 0 0 20 0 1 0 279695331 56688640 13080 33554432000 4194304 8973514 140735530966576 140735530966072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 13840 13080 459 1167 0 12621 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 55360

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2515
/proc/meminfo: memFree=28761444/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=66624 CPUtime=1302.03 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 168866 0 0 0 129850 353 0 0 20 0 1 0 279695331 68222976 15896 33554432000 4194304 8973514 140735530966576 140735530966072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 16656 15896 459 1167 0 15437 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 66624

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2516
/proc/meminfo: memFree=28742160/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=54336 CPUtime=1362.02 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 175527 0 0 0 135833 369 0 0 20 0 1 0 279695331 55640064 12824 33554432000 4194304 8973514 140735530966576 140735530965840 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 13584 12824 459 1167 0 12365 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 54336

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2516
/proc/meminfo: memFree=28742520/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=54336 CPUtime=1422.02 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 180647 0 0 0 141819 383 0 0 20 0 1 0 279695331 55640064 12824 33554432000 4194304 8973514 140735530966576 140735530965840 4427649 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 13584 12824 459 1167 0 12365 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 54336

[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 2516
/proc/meminfo: memFree=28771984/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=58432 CPUtime=1482 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 187815 0 0 0 147806 394 0 0 20 0 1 0 279695331 59834368 13848 33554432000 4194304 8973514 140735530966576 140735530964544 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 14608 13848 459 1167 0 13389 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 58432

[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2516
/proc/meminfo: memFree=28821392/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=54336 CPUtime=1542 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 193966 0 0 0 153793 407 0 0 20 0 1 0 279695331 55640064 12824 33554432000 4194304 8973514 140735530966576 140735530966072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 13584 12824 459 1167 0 12365 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 54336

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2516
/proc/meminfo: memFree=28787300/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=49216 CPUtime=1601.98 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 203694 0 0 0 159777 421 0 0 20 0 1 0 279695331 50397184 11544 33554432000 4194304 8973514 140735530966576 140735530966072 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 12304 11544 459 1167 0 11085 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 49216

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 2516
/proc/meminfo: memFree=28760412/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=46144 CPUtime=1661.97 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 213682 0 0 0 165762 435 0 0 20 0 1 0 279695331 47251456 10776 33554432000 4194304 8973514 140735530966576 140735530965840 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 11536 10776 459 1167 0 10317 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 46144

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

[startup+1664 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 2516
/proc/meminfo: memFree=28760536/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=46144 CPUtime=1663.67 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 213682 0 0 0 165932 435 0 0 20 0 1 0 279695331 47251456 10776 33554432000 4194304 8973514 140735530966576 140735530965840 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 11536 10776 459 1167 0 10317 0
Current children cumulated CPU time (s) 1663.67
Current children cumulated vsize (KiB) 46144

[startup+1676.8 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2517
/proc/meminfo: memFree=28772124/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=50240 CPUtime=1676.47 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 215731 0 0 0 167209 438 0 0 20 0 1 0 279695331 51445760 11800 33554432000 4194304 8973514 140735530966576 140735530965840 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 12560 11800 459 1167 0 11341 0
Current children cumulated CPU time (s) 1676.47
Current children cumulated vsize (KiB) 50240

[startup+1683.2 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2517
/proc/meminfo: memFree=28795500/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=50240 CPUtime=1682.86 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 215735 0 0 0 167847 439 0 0 20 0 1 0 279695331 51445760 11800 33554432000 4194304 8973514 140735530966576 140735530964544 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 12560 11800 459 1167 0 11341 0
Current children cumulated CPU time (s) 1682.86
Current children cumulated vsize (KiB) 50240

[startup+1686.41 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2517
/proc/meminfo: memFree=28798292/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=52288 CPUtime=1686.07 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 216247 0 0 0 168167 440 0 0 20 0 1 0 279695331 53542912 12312 33554432000 4194304 8973514 140735530966576 140735530966072 4212992 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 13072 12312 459 1167 0 11853 0
Current children cumulated CPU time (s) 1686.07
Current children cumulated vsize (KiB) 52288

[startup+1688 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2517
/proc/meminfo: memFree=28798540/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=52288 CPUtime=1687.66 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 216247 0 0 0 168326 440 0 0 20 0 1 0 279695331 53542912 12312 33554432000 4194304 8973514 140735530966576 140735530966072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 13072 12312 459 1167 0 11853 0
Current children cumulated CPU time (s) 1687.66
Current children cumulated vsize (KiB) 52288

[startup+1689.6 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2517
/proc/meminfo: memFree=28802944/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=52288 CPUtime=1689.27 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 216247 0 0 0 168486 441 0 0 20 0 1 0 279695331 53542912 12312 33554432000 4194304 8973514 140735530966576 140735530966072 4441196 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 13072 12312 459 1167 0 11853 0
Current children cumulated CPU time (s) 1689.27
Current children cumulated vsize (KiB) 52288

[startup+1690.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2517
/proc/meminfo: memFree=28802944/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=52288 CPUtime=1690.06 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 216248 0 0 0 168565 441 0 0 20 0 1 0 279695331 53542912 12312 33554432000 4194304 8973514 140735530966576 140735530966072 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 13072 12312 459 1167 0 11853 0
Current children cumulated CPU time (s) 1690.06
Current children cumulated vsize (KiB) 52288

[startup+1690.6 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2517
/proc/meminfo: memFree=28802944/32873648 swapFree=6844/6844
[pid=2464] ppid=2462 vsize=52288 CPUtime=1690.26 cores=0,2,4,6
/proc/2464/stat : 2464 (toysat) R 2462 2464 32696 0 -1 4202496 216248 0 0 0 168585 441 0 0 20 0 1 0 279695331 53542912 12312 33554432000 4194304 8973514 140735530966576 140735530966072 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/2464/statm: 13072 12312 459 1167 0 11853 0
Current children cumulated CPU time (s) 1690.26
Current children cumulated vsize (KiB) 52288

Child status: 0
Real time (s): 1690.65
CPU time (s): 1690.32
CPU user time (s): 1685.91
CPU system time (s): 4.41433
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 73792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1685.91
system time used= 4.41433
maximum resident set size= 70752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216252
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= 88
involuntary context switches= 1766

runsolver used 2.6486 second user time and 6.63999 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-27 18:21:35
IDJOB=3707267
IDBENCH=48259
IDSOLVER=2285
FILE ID=node124/3707267-1338135695
RUNJOBID= node124-1338107934-32712
PBS_JOBID= 14624469
Free space on /tmp= 71424 MiB

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

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

MD5SUM BENCH= 0c3fb28b3ecb8f1eba2bffa356ef5364
RANDOM SEED=964961298

node124.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.325
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.65
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5357.53
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5385.03
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.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28817916 kB
Buffers:          344780 kB
Cached:          2696548 kB
SwapCached:            0 kB
Active:          1121964 kB
Inactive:        2127476 kB
Active(anon):     210352 kB
Inactive(anon):        0 kB
Active(file):     911612 kB
Inactive(file):  2127476 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7408 kB
Writeback:             0 kB
AnonPages:        213984 kB
Mapped:            16220 kB
Shmem:               200 kB
Slab:             668420 kB
SReclaimable:     112952 kB
SUnreclaim:       555468 kB
KernelStack:        1464 kB
PageTables:         4504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     319488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71416 MiB
End job on node124 at 2012-05-27 18:49:45