Trace number 3725639

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2012-06-01? (TO) 1800.05 1800.51

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_3.opb
MD5SUMe70f8e0da8fa345ba6e82dce1b0133d2
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.75052
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)2952
Sum of products size (including duplicates)5904
Number of different products1476
Sum of products size2952

Quality of the solution as a function of time


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

Solver Data 

0.02/0.03	c 2012-06-02T14:12:39+0200
0.02/0.03	c arch = x86_64
0.02/0.03	c os = linux
0.02/0.03	c compiler = ghc 7.4
0.02/0.03	c packages:
0.02/0.03	c   OptDir-0.0.1
0.02/0.03	c   array-0.4.0.0
0.02/0.03	c   base-4.5.0.0
0.02/0.03	c   bytestring-0.9.2.1
0.02/0.03	c   containers-0.4.2.1
0.02/0.03	c   deepseq-1.3.0.0
0.02/0.03	c   mtl-2.1.1
0.02/0.03	c   old_locale-1.0.0.4
0.02/0.03	c   parse_dimacs-1.2
0.02/0.03	c   parsec-3.1.2
0.02/0.03	c   queue-0.1.2
0.02/0.03	c   stm-2.3
0.02/0.03	c   time-1.4
0.02/0.03	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725639-1338639159.opb"]
0.02/0.03	c #vars 100
0.02/0.03	c #constraints 151
0.02/0.03	c Solving starts ...
0.08/0.11	c solving time = 0.078s
0.08/0.11	c #decision = 1248
0.08/0.11	c #conflict = 118
0.08/0.11	c #restart = 1
0.08/0.11	o -4
0.08/0.11	c Solving starts ...
0.08/0.12	c solving time = 0.007s
0.08/0.12	c #decision = 1298
0.08/0.12	c #conflict = 128
0.08/0.12	c #restart = 1
0.08/0.12	o -5
0.08/0.12	c Solving starts ...
1.29/1.38	c solving time = 1.257s
1.29/1.38	c #decision = 7327
1.29/1.38	c #conflict = 4535
1.29/1.38	c #restart = 8
1.29/1.38	o -6
1.29/1.38	c Solving starts ...
1.29/1.39	c learnt constraints deletion: 4527 -> 2264
1.39/1.44	c learnt constraints deletion: 2264 -> 1132
2.39/2.49	c learnt constraints deletion: 4348 -> 2174
3.68/3.79	c learnt constraints deletion: 5851 -> 2930
5.28/5.31	c learnt constraints deletion: 6347 -> 3180
6.50/6.52	c learnt constraints deletion: 5925 -> 2966
7.78/7.82	c learnt constraints deletion: 6501 -> 3261
8.98/9.03	c learnt constraints deletion: 6565 -> 3298
10.19/10.26	c learnt constraints deletion: 7153 -> 3593
11.69/11.76	c learnt constraints deletion: 7705 -> 3869
13.10/13.11	c learnt constraints deletion: 7194 -> 3597
14.48/14.55	c learnt constraints deletion: 6962 -> 3485
15.99/16.09	c learnt constraints deletion: 7327 -> 3671
17.79/17.87	c learnt constraints deletion: 7991 -> 3996
19.80/19.88	c learnt constraints deletion: 8500 -> 4253
22.08/22.12	c learnt constraints deletion: 8532 -> 4268
23.48/23.54	c learnt constraints deletion: 7872 -> 3937
25.48/25.55	c learnt constraints deletion: 8642 -> 4323
27.38/27.44	c learnt constraints deletion: 8761 -> 4383
29.28/29.32	c learnt constraints deletion: 8529 -> 4268
31.49/31.58	c learnt constraints deletion: 8827 -> 4416
33.58/33.65	c learnt constraints deletion: 8726 -> 4367
35.78/35.80	c learnt constraints deletion: 9259 -> 4630
37.58/37.62	c learnt constraints deletion: 9339 -> 4672
40.08/40.14	c learnt constraints deletion: 9917 -> 4959
42.48/42.52	c learnt constraints deletion: 10032 -> 5016
44.48/44.54	c learnt constraints deletion: 9613 -> 4807
47.07/47.14	c learnt constraints deletion: 10047 -> 5032
49.17/49.26	c learnt constraints deletion: 9886 -> 4943
51.68/51.71	c learnt constraints deletion: 10103 -> 5052
53.78/53.81	c learnt constraints deletion: 9979 -> 4990
56.07/56.14	c learnt constraints deletion: 9841 -> 4926
58.37/58.41	c learnt constraints deletion: 9656 -> 4828
60.77/60.81	c learnt constraints deletion: 10892 -> 5449
62.77/62.83	c learnt constraints deletion: 9993 -> 4997
64.97/65.07	c learnt constraints deletion: 10679 -> 5346
66.87/66.90	c solving time = 65.502s
66.87/66.90	c #decision = 265785
66.87/66.90	c #conflict = 157184
66.87/66.90	c #restart = 24
66.87/66.90	o -7
66.87/66.90	c Solving starts ...
66.98/67.04	c learnt constraints deletion: 10153 -> 5077
67.08/67.11	c learnt constraints deletion: 5077 -> 2539
67.08/67.13	c learnt constraints deletion: 2539 -> 1270
68.18/68.25	c learnt constraints deletion: 4486 -> 2243
69.28/69.32	c learnt constraints deletion: 4968 -> 2484
70.67/70.74	c learnt constraints deletion: 5813 -> 2907
72.47/72.57	c learnt constraints deletion: 6850 -> 3430
73.58/73.66	c learnt constraints deletion: 6116 -> 3059
75.67/75.80	c learnt constraints deletion: 7417 -> 3709
76.97/77.03	c learnt constraints deletion: 6441 -> 3221
78.97/79.06	c learnt constraints deletion: 7568 -> 3784
80.47/80.53	c learnt constraints deletion: 7472 -> 3743
82.07/82.10	c learnt constraints deletion: 7239 -> 3624
83.96/84.02	c learnt constraints deletion: 7813 -> 3907
85.86/85.92	c learnt constraints deletion: 8177 -> 4089
87.57/87.65	c learnt constraints deletion: 7962 -> 3981
89.07/89.11	c learnt constraints deletion: 7256 -> 3628
90.67/90.75	c learnt constraints deletion: 7830 -> 3925
91.96/92.04	c learnt constraints deletion: 7286 -> 3643
94.26/94.36	c learnt constraints deletion: 8879 -> 4458
96.27/96.37	c learnt constraints deletion: 9261 -> 4632
98.06/98.13	c learnt constraints deletion: 9272 -> 4659
99.97/100.05	c learnt constraints deletion: 9248 -> 4646
102.27/102.39	c learnt constraints deletion: 9152 -> 4576
104.16/104.22	c learnt constraints deletion: 8951 -> 4476
106.06/106.11	c learnt constraints deletion: 9860 -> 4942
107.86/107.93	c learnt constraints deletion: 9360 -> 4694
109.87/109.99	c learnt constraints deletion: 9785 -> 4907
111.86/111.90	c learnt constraints deletion: 9307 -> 4668
113.66/113.75	c learnt constraints deletion: 9394 -> 4697
115.86/115.97	c learnt constraints deletion: 9657 -> 4830
117.67/117.74	c learnt constraints deletion: 9366 -> 4692
119.86/119.96	c learnt constraints deletion: 9930 -> 4972
122.36/122.44	c learnt constraints deletion: 10033 -> 5034
124.56/124.61	c learnt constraints deletion: 10732 -> 5366
126.46/126.57	c learnt constraints deletion: 10490 -> 5274
128.56/128.70	c learnt constraints deletion: 10843 -> 5422
130.65/130.70	c learnt constraints deletion: 10325 -> 5166
132.76/132.80	c learnt constraints deletion: 10901 -> 5483
134.76/134.81	c learnt constraints deletion: 10844 -> 5440
137.25/137.33	c learnt constraints deletion: 10710 -> 5373
139.35/139.47	c learnt constraints deletion: 9890 -> 4946
141.65/141.79	c learnt constraints deletion: 10393 -> 5202
144.45/144.51	c learnt constraints deletion: 10757 -> 5385
146.55/146.69	c learnt constraints deletion: 9756 -> 4880
148.95/149.00	c learnt constraints deletion: 10505 -> 5256
151.55/151.65	c learnt constraints deletion: 10983 -> 5495
154.25/154.30	c learnt constraints deletion: 11444 -> 5739
157.04/157.15	c learnt constraints deletion: 11937 -> 5969
159.74/159.82	c learnt constraints deletion: 11934 -> 5967
161.94/162.08	c learnt constraints deletion: 11515 -> 5758
164.24/164.33	c learnt constraints deletion: 11720 -> 5870
166.74/166.80	c learnt constraints deletion: 11711 -> 5857
169.04/169.14	c learnt constraints deletion: 11846 -> 5942
171.34/171.44	c learnt constraints deletion: 11424 -> 5719
173.64/173.76	c learnt constraints deletion: 11254 -> 5627
176.04/176.16	c learnt constraints deletion: 11765 -> 5902
178.14/178.22	c learnt constraints deletion: 11794 -> 5899
180.53/180.64	c learnt constraints deletion: 11488 -> 5751
183.04/183.16	c learnt constraints deletion: 11877 -> 5942
185.23/185.32	c learnt constraints deletion: 10949 -> 5478
187.94/188.03	c learnt constraints deletion: 11282 -> 5647
190.15/190.30	c learnt constraints deletion: 11177 -> 5596
192.34/192.46	c learnt constraints deletion: 11658 -> 5829
195.84/195.96	c learnt constraints deletion: 11882 -> 5941
198.63/198.73	c learnt constraints deletion: 12731 -> 6376
201.34/201.40	c learnt constraints deletion: 12425 -> 6237
204.34/204.49	c learnt constraints deletion: 12475 -> 6239
207.64/207.80	c learnt constraints deletion: 12660 -> 6330
210.04/210.17	c learnt constraints deletion: 12647 -> 6333
212.73/212.80	c learnt constraints deletion: 12654 -> 6331
215.32/215.43	c learnt constraints deletion: 12371 -> 6188
218.12/218.26	c learnt constraints deletion: 12833 -> 6419
220.73/220.89	c learnt constraints deletion: 12272 -> 6138
223.13/223.22	c learnt constraints deletion: 12133 -> 6067
225.63/225.77	c learnt constraints deletion: 12657 -> 6332
228.02/228.16	c learnt constraints deletion: 12765 -> 6384
230.62/230.78	c learnt constraints deletion: 12837 -> 6420
233.53/233.63	c learnt constraints deletion: 12849 -> 6426
236.43/236.56	c learnt constraints deletion: 12819 -> 6411
239.22/239.38	c learnt constraints deletion: 12812 -> 6407
241.93/242.07	c learnt constraints deletion: 12949 -> 6485
244.42/244.57	c learnt constraints deletion: 12774 -> 6395
247.12/247.27	c learnt constraints deletion: 12868 -> 6435
249.92/250.09	c learnt constraints deletion: 12961 -> 6482
252.62/252.77	c learnt constraints deletion: 12903 -> 6455
256.02/256.13	c learnt constraints deletion: 14073 -> 7037
259.92/260.00	c learnt constraints deletion: 13615 -> 6808
263.42/263.52	c learnt constraints deletion: 14072 -> 7058
266.13/266.20	c learnt constraints deletion: 13119 -> 6562
269.11/269.23	c learnt constraints deletion: 13348 -> 6680
272.22/272.33	c learnt constraints deletion: 14113 -> 7057
275.12/275.22	c learnt constraints deletion: 13508 -> 6754
278.22/278.34	c learnt constraints deletion: 13455 -> 6732
281.12/281.27	c learnt constraints deletion: 13375 -> 6691
284.52/284.66	c learnt constraints deletion: 13790 -> 6898
288.02/288.17	c learnt constraints deletion: 14135 -> 7068
291.71/291.89	c learnt constraints deletion: 13898 -> 6949
295.11/295.25	c learnt constraints deletion: 14072 -> 7036
298.81/298.98	c learnt constraints deletion: 14016 -> 7008
301.91/302.00	c learnt constraints deletion: 13809 -> 6905
305.11/305.29	c learnt constraints deletion: 14098 -> 7056
308.11/308.25	c learnt constraints deletion: 13316 -> 6658
311.51/311.64	c learnt constraints deletion: 13343 -> 6672
315.11/315.25	c learnt constraints deletion: 13930 -> 6965
318.21/318.30	c learnt constraints deletion: 13678 -> 6839
321.01/321.18	c learnt constraints deletion: 13741 -> 6877
324.20/324.36	c learnt constraints deletion: 13359 -> 6680
327.11/327.22	c learnt constraints deletion: 14106 -> 7075
330.01/330.11	c learnt constraints deletion: 13974 -> 6992
333.11/333.24	c learnt constraints deletion: 13923 -> 6963
336.30/336.46	c learnt constraints deletion: 14029 -> 7025
339.40/339.52	c learnt constraints deletion: 14100 -> 7052
343.01/343.13	c learnt constraints deletion: 13177 -> 6593
345.90/346.09	c learnt constraints deletion: 13907 -> 6960
348.51/348.62	c learnt constraints deletion: 13549 -> 6781
352.00/352.13	c learnt constraints deletion: 14066 -> 7039
355.70/355.89	c learnt constraints deletion: 13802 -> 6907
359.60/359.75	c learnt constraints deletion: 15280 -> 7646
363.79/363.97	c learnt constraints deletion: 14763 -> 7384
368.00/368.13	c learnt constraints deletion: 14877 -> 7440
371.80/371.97	c learnt constraints deletion: 14418 -> 7209
375.89/376.00	c learnt constraints deletion: 15148 -> 7574
379.60/379.76	c learnt constraints deletion: 15288 -> 7646
384.10/384.25	c learnt constraints deletion: 15325 -> 7667
387.99/388.13	c learnt constraints deletion: 14835 -> 7425
391.79/391.96	c learnt constraints deletion: 14496 -> 7253
395.58/395.73	c learnt constraints deletion: 14965 -> 7486
398.89/399.00	c learnt constraints deletion: 15246 -> 7624
402.08/402.23	c learnt constraints deletion: 15169 -> 7588
405.69/405.84	c learnt constraints deletion: 15162 -> 7584
409.19/409.31	c learnt constraints deletion: 15157 -> 7582
412.69/412.86	c learnt constraints deletion: 14728 -> 7367
416.18/416.38	c learnt constraints deletion: 15023 -> 7515
419.49/419.63	c learnt constraints deletion: 15151 -> 7580
423.29/423.44	c learnt constraints deletion: 14711 -> 7359
426.59/426.79	c learnt constraints deletion: 14859 -> 7433
430.18/430.33	c learnt constraints deletion: 14931 -> 7469
434.18/434.31	c learnt constraints deletion: 15277 -> 7642
437.38/437.59	c learnt constraints deletion: 14976 -> 7491
440.68/440.83	c learnt constraints deletion: 15178 -> 7595
443.98/444.14	c learnt constraints deletion: 15137 -> 7600
447.59/447.74	c learnt constraints deletion: 15242 -> 7626
450.68/450.89	c learnt constraints deletion: 14782 -> 7401
454.38/454.50	c learnt constraints deletion: 15324 -> 7669
457.57/457.78	c learnt constraints deletion: 15370 -> 7697
461.28/461.40	c learnt constraints deletion: 15304 -> 7666
465.27/465.45	c learnt constraints deletion: 15375 -> 7700
468.87/469.08	c learnt constraints deletion: 15381 -> 7703
472.27/472.48	c learnt constraints deletion: 15358 -> 7691
475.37/475.58	c learnt constraints deletion: 15344 -> 7684
478.87/479.00	c learnt constraints deletion: 15198 -> 7609
482.77/482.98	c learnt constraints deletion: 15317 -> 7667
486.17/486.38	c learnt constraints deletion: 15042 -> 7532
489.06/489.27	c learnt constraints deletion: 14659 -> 7340
492.58/492.75	c learnt constraints deletion: 15077 -> 7552
496.06/496.25	c learnt constraints deletion: 15218 -> 7612
500.37/500.52	c learnt constraints deletion: 15188 -> 7599
503.67/503.88	c learnt constraints deletion: 15170 -> 7594
507.16/507.30	c learnt constraints deletion: 15271 -> 7644
510.86/511.00	c learnt constraints deletion: 15158 -> 7596
514.06/514.22	c learnt constraints deletion: 15076 -> 7551
518.36/518.51	c learnt constraints deletion: 16242 -> 8129
523.36/523.51	c learnt constraints deletion: 16682 -> 8341
527.45/527.67	c learnt constraints deletion: 16669 -> 8345
530.75/530.94	c learnt constraints deletion: 16308 -> 8154
534.75/534.96	c learnt constraints deletion: 16220 -> 8110
539.05/539.22	c learnt constraints deletion: 16775 -> 8388
543.25/543.41	c learnt constraints deletion: 16690 -> 8347
547.45/547.67	c learnt constraints deletion: 16692 -> 8350
551.35/551.55	c learnt constraints deletion: 15911 -> 7956
556.24/556.41	c learnt constraints deletion: 16587 -> 8294
560.55/560.75	c learnt constraints deletion: 16579 -> 8295
564.35/564.54	c learnt constraints deletion: 16419 -> 8210
568.45/568.67	c learnt constraints deletion: 16649 -> 8330
572.14/572.36	c learnt constraints deletion: 16598 -> 8315
576.14/576.38	c learnt constraints deletion: 16636 -> 8323
579.94/580.10	c learnt constraints deletion: 16419 -> 8219
583.43/583.66	c learnt constraints deletion: 16691 -> 8357
587.53/587.72	c learnt constraints deletion: 16589 -> 8319
591.23/591.47	c learnt constraints deletion: 16597 -> 8310
596.13/596.36	c learnt constraints deletion: 16701 -> 8358
600.83/601.04	c learnt constraints deletion: 16428 -> 8227
604.73/604.91	c learnt constraints deletion: 16746 -> 8373
608.93/609.11	c learnt constraints deletion: 16548 -> 8274
612.44/612.61	c learnt constraints deletion: 15941 -> 7971
617.03/617.24	c learnt constraints deletion: 16632 -> 8318
621.24/621.46	c learnt constraints deletion: 16541 -> 8289
625.22/625.47	c learnt constraints deletion: 16432 -> 8216
629.42/629.65	c learnt constraints deletion: 16630 -> 8335
633.02/633.27	c learnt constraints deletion: 16687 -> 8344
637.32/637.50	c learnt constraints deletion: 16744 -> 8391
640.72/640.96	c learnt constraints deletion: 16284 -> 8142
644.72/644.97	c learnt constraints deletion: 16515 -> 8265
648.92/649.13	c learnt constraints deletion: 16437 -> 8237
652.91/653.17	c learnt constraints deletion: 16321 -> 8161
656.71/656.92	c learnt constraints deletion: 16414 -> 8230
660.51/660.74	c learnt constraints deletion: 16188 -> 8095
664.41/664.61	c learnt constraints deletion: 16461 -> 8248
667.90/668.17	c learnt constraints deletion: 16605 -> 8308
671.71/671.92	c learnt constraints deletion: 16599 -> 8305
675.50/675.71	c learnt constraints deletion: 16376 -> 8203
679.20/679.47	c learnt constraints deletion: 16262 -> 8137
682.70/682.91	c learnt constraints deletion: 16545 -> 8293
686.70/686.99	c learnt constraints deletion: 16509 -> 8265
690.40/690.64	c learnt constraints deletion: 16575 -> 8307
693.91/694.14	c learnt constraints deletion: 16365 -> 8197
697.60/697.83	c learnt constraints deletion: 16639 -> 8333
701.70/701.95	c learnt constraints deletion: 16595 -> 8311
706.20/706.44	c learnt constraints deletion: 16655 -> 8341
710.19/710.40	c learnt constraints deletion: 16689 -> 8365
714.09/714.30	c learnt constraints deletion: 16565 -> 8298
718.09/718.38	c learnt constraints deletion: 16738 -> 8373
722.29/722.55	c learnt constraints deletion: 16394 -> 8199
726.99/727.24	c learnt constraints deletion: 16422 -> 8226
730.59/730.87	c learnt constraints deletion: 16634 -> 8320
734.29/734.53	c learnt constraints deletion: 15854 -> 7929
738.19/738.45	c learnt constraints deletion: 16640 -> 8324
741.69/741.94	c learnt constraints deletion: 15971 -> 7990
745.78/746.02	c learnt constraints deletion: 16465 -> 8241
749.48/749.78	c learnt constraints deletion: 16462 -> 8237
753.29/753.54	c learnt constraints deletion: 16614 -> 8317
757.88/758.11	c learnt constraints deletion: 17807 -> 8913
762.09/762.33	c learnt constraints deletion: 18014 -> 9012
767.18/767.47	c learnt constraints deletion: 18221 -> 9111
771.58/771.87	c learnt constraints deletion: 17707 -> 8855
775.68/775.97	c learnt constraints deletion: 18232 -> 9122
780.18/780.47	c learnt constraints deletion: 18120 -> 9065
785.27/785.60	c learnt constraints deletion: 18076 -> 9051
789.87/790.12	c learnt constraints deletion: 18100 -> 9054
794.47/794.73	c learnt constraints deletion: 17796 -> 8913
798.46/798.73	c learnt constraints deletion: 18049 -> 9038
802.86/803.10	c learnt constraints deletion: 18041 -> 9031
807.17/807.48	c learnt constraints deletion: 17958 -> 8995
811.66/811.92	c learnt constraints deletion: 17545 -> 8783
816.16/816.46	c learnt constraints deletion: 18009 -> 9017
820.16/820.49	c learnt constraints deletion: 18097 -> 9070
824.46/824.78	c learnt constraints deletion: 18177 -> 9108
829.66/829.91	c learnt constraints deletion: 18226 -> 9130
834.86/835.18	c learnt constraints deletion: 18215 -> 9120
839.06/839.31	c learnt constraints deletion: 17595 -> 8800
843.66/843.91	c learnt constraints deletion: 17973 -> 8998
847.66/847.98	c learnt constraints deletion: 18167 -> 9084
852.46/852.75	c learnt constraints deletion: 17806 -> 8905
857.95/858.23	c learnt constraints deletion: 17643 -> 8822
863.75/864.02	c learnt constraints deletion: 18150 -> 9075
868.44/868.70	c learnt constraints deletion: 17825 -> 8913
872.65/872.94	c learnt constraints deletion: 17547 -> 8774
877.64/877.96	c learnt constraints deletion: 17869 -> 8937
881.45/881.77	c learnt constraints deletion: 18163 -> 9092
885.64/885.90	c learnt constraints deletion: 17780 -> 8898
889.84/890.13	c learnt constraints deletion: 17955 -> 8983
894.64/894.95	c learnt constraints deletion: 17746 -> 8878
899.45/899.75	c learnt constraints deletion: 17816 -> 8913
903.64/903.96	c learnt constraints deletion: 18230 -> 9120
908.35/908.69	c learnt constraints deletion: 18129 -> 9070
913.14/913.43	c learnt constraints deletion: 17704 -> 8857
918.15/918.48	c learnt constraints deletion: 18144 -> 9075
923.04/923.39	c learnt constraints deletion: 18004 -> 9008
927.63/927.98	c learnt constraints deletion: 18083 -> 9067
931.44/931.79	c learnt constraints deletion: 18229 -> 9115
936.23/936.52	c learnt constraints deletion: 18103 -> 9055
941.24/941.55	c learnt constraints deletion: 18057 -> 9048
945.23/945.50	c learnt constraints deletion: 18052 -> 9026
949.64/949.90	c learnt constraints deletion: 18209 -> 9107
953.44/953.70	c learnt constraints deletion: 17407 -> 8704
957.13/957.41	c learnt constraints deletion: 18039 -> 9020
961.43/961.78	c learnt constraints deletion: 18051 -> 9026
967.13/967.43	c learnt constraints deletion: 18120 -> 9060
973.14/973.47	c learnt constraints deletion: 18170 -> 9088
977.43/977.74	c learnt constraints deletion: 18048 -> 9025
981.73/982.02	c learnt constraints deletion: 18002 -> 9002
986.03/986.38	c learnt constraints deletion: 17992 -> 8996
991.03/991.33	c learnt constraints deletion: 17995 -> 9002
994.83/995.14	c learnt constraints deletion: 17923 -> 8962
999.23/999.50	c learnt constraints deletion: 17717 -> 8859
1004.03/1004.32	c learnt constraints deletion: 18093 -> 9052
1008.02/1008.32	c learnt constraints deletion: 18123 -> 9078
1012.32/1012.61	c learnt constraints deletion: 17754 -> 8877
1017.12/1017.45	c learnt constraints deletion: 18175 -> 9094
1021.12/1021.46	c learnt constraints deletion: 18157 -> 9098
1025.32/1025.68	c learnt constraints deletion: 18187 -> 9094
1030.22/1030.54	c learnt constraints deletion: 17975 -> 8992
1034.21/1034.58	c learnt constraints deletion: 17992 -> 9007
1038.71/1039.04	c learnt constraints deletion: 17884 -> 8942
1043.41/1043.71	c learnt constraints deletion: 18044 -> 9030
1047.32/1047.64	c learnt constraints deletion: 18074 -> 9047
1051.32/1051.64	c learnt constraints deletion: 17953 -> 8987
1055.11/1055.45	c learnt constraints deletion: 18185 -> 9093
1060.12/1060.44	c learnt constraints deletion: 17845 -> 8927
1064.61/1064.93	c learnt constraints deletion: 17621 -> 8814
1068.71/1069.03	c learnt constraints deletion: 18018 -> 9019
1072.81/1073.16	c learnt constraints deletion: 18188 -> 9101
1077.11/1077.48	c learnt constraints deletion: 18199 -> 9115
1081.11/1081.47	c learnt constraints deletion: 17930 -> 8965
1085.61/1085.91	c learnt constraints deletion: 18263 -> 9137
1089.40/1089.73	c learnt constraints deletion: 18221 -> 9117
1093.21/1093.56	c learnt constraints deletion: 18178 -> 9108
1097.10/1097.45	c learnt constraints deletion: 18149 -> 9075
1102.70/1103.01	c learnt constraints deletion: 18023 -> 9013
1107.00/1107.31	c learnt constraints deletion: 18174 -> 9094
1111.20/1111.52	c learnt constraints deletion: 18112 -> 9070
1115.11/1115.48	c learnt constraints deletion: 17931 -> 8973
1120.10/1120.41	c learnt constraints deletion: 17683 -> 8849
1124.10/1124.43	c learnt constraints deletion: 18041 -> 9021
1129.59/1129.98	c learnt constraints deletion: 19696 -> 9849
1133.80/1134.14	c learnt constraints deletion: 19234 -> 9617
1138.49/1138.83	c learnt constraints deletion: 19875 -> 9956
1142.89/1143.26	c learnt constraints deletion: 19308 -> 9654
1148.39/1148.71	c learnt constraints deletion: 18812 -> 9407
1153.69/1154.08	c learnt constraints deletion: 19934 -> 9970
1158.68/1159.10	c learnt constraints deletion: 19722 -> 9863
1163.49/1163.85	c learnt constraints deletion: 19857 -> 9932
1168.18/1168.56	c learnt constraints deletion: 19680 -> 9846
1172.78/1173.11	c learnt constraints deletion: 19769 -> 9899
1177.58/1177.98	c learnt constraints deletion: 19850 -> 9931
1183.58/1183.97	c learnt constraints deletion: 19377 -> 9695
1188.78/1189.11	c learnt constraints deletion: 19504 -> 9758
1194.57/1194.94	c learnt constraints deletion: 19747 -> 9880
1200.48/1200.86	c learnt constraints deletion: 19759 -> 9885
1206.08/1206.45	c learnt constraints deletion: 19268 -> 9639
1211.37/1211.70	c learnt constraints deletion: 19841 -> 9937
1215.88/1216.26	c learnt constraints deletion: 19834 -> 9928
1220.87/1221.23	c learnt constraints deletion: 19622 -> 9811
1226.27/1226.60	c learnt constraints deletion: 19207 -> 9604
1230.77/1231.12	c learnt constraints deletion: 19834 -> 9921
1235.97/1236.35	c learnt constraints deletion: 19864 -> 9933
1241.57/1241.99	c learnt constraints deletion: 19783 -> 9893
1247.36/1247.70	c learnt constraints deletion: 19327 -> 9665
1252.97/1253.38	c learnt constraints deletion: 19897 -> 9950
1258.86/1259.21	c learnt constraints deletion: 19782 -> 9892
1264.67/1265.07	c learnt constraints deletion: 19531 -> 9767
1270.47/1270.87	c learnt constraints deletion: 19834 -> 9925
1276.06/1276.48	c learnt constraints deletion: 19567 -> 9785
1281.86/1282.27	c learnt constraints deletion: 19765 -> 9883
1286.45/1286.85	c learnt constraints deletion: 19755 -> 9886
1291.26/1291.66	c learnt constraints deletion: 19749 -> 9888
1297.65/1298.08	c learnt constraints deletion: 19884 -> 9944
1303.45/1303.87	c learnt constraints deletion: 19895 -> 9953
1307.75/1308.10	c learnt constraints deletion: 19731 -> 9874
1312.24/1312.61	c learnt constraints deletion: 19649 -> 9829
1316.35/1316.77	c learnt constraints deletion: 19086 -> 9548
1321.14/1321.52	c learnt constraints deletion: 19864 -> 9939
1325.85/1326.28	c learnt constraints deletion: 19629 -> 9821
1330.95/1331.30	c learnt constraints deletion: 19739 -> 9881
1335.94/1336.35	c learnt constraints deletion: 19922 -> 9975
1341.65/1342.01	c learnt constraints deletion: 19915 -> 9969
1345.95/1346.34	c learnt constraints deletion: 19788 -> 9913
1351.34/1351.72	c learnt constraints deletion: 19486 -> 9756
1356.25/1356.67	c learnt constraints deletion: 19888 -> 9947
1361.45/1361.83	c learnt constraints deletion: 19362 -> 9684
1366.23/1366.66	c learnt constraints deletion: 19768 -> 9898
1371.24/1371.70	c learnt constraints deletion: 19694 -> 9854
1375.94/1376.35	c learnt constraints deletion: 19932 -> 9994
1380.33/1380.71	c learnt constraints deletion: 19632 -> 9820
1386.54/1386.93	c learnt constraints deletion: 19652 -> 9827
1391.33/1391.78	c learnt constraints deletion: 19519 -> 9762
1396.03/1396.48	c learnt constraints deletion: 19645 -> 9829
1401.43/1401.83	c learnt constraints deletion: 19574 -> 9792
1406.63/1407.03	c learnt constraints deletion: 19561 -> 9786
1412.73/1413.17	c learnt constraints deletion: 19340 -> 9673
1417.73/1418.18	c learnt constraints deletion: 19661 -> 9835
1423.63/1424.01	c learnt constraints deletion: 19835 -> 9923
1428.72/1429.12	c learnt constraints deletion: 19870 -> 9941
1433.53/1433.94	c learnt constraints deletion: 19203 -> 9609
1438.62/1439.03	c learnt constraints deletion: 19498 -> 9751
1443.51/1443.93	c learnt constraints deletion: 19689 -> 9849
1448.12/1448.52	c learnt constraints deletion: 19279 -> 9644
1453.91/1454.30	c learnt constraints deletion: 19171 -> 9590
1459.32/1459.70	c learnt constraints deletion: 19525 -> 9767
1464.11/1464.54	c learnt constraints deletion: 19925 -> 9967
1471.32/1471.76	c learnt constraints deletion: 19888 -> 9951
1475.81/1476.24	c learnt constraints deletion: 19720 -> 9874
1480.81/1481.29	c learnt constraints deletion: 19591 -> 9818
1485.51/1485.94	c learnt constraints deletion: 19741 -> 9877
1491.11/1491.56	c learnt constraints deletion: 19455 -> 9740
1495.61/1496.05	c learnt constraints deletion: 19901 -> 9960
1500.31/1500.79	c learnt constraints deletion: 19852 -> 9938
1504.60/1505.09	c learnt constraints deletion: 19724 -> 9891
1509.19/1509.66	c learnt constraints deletion: 19519 -> 9773
1514.39/1514.87	c learnt constraints deletion: 19622 -> 9816
1518.49/1518.96	c learnt constraints deletion: 19379 -> 9696
1522.79/1523.23	c learnt constraints deletion: 19393 -> 9704
1527.69/1528.16	c learnt constraints deletion: 19706 -> 9866
1532.49/1532.91	c learnt constraints deletion: 19756 -> 9889
1537.40/1537.88	c learnt constraints deletion: 19797 -> 9921
1542.29/1542.72	c learnt constraints deletion: 19809 -> 9917
1548.30/1548.78	c learnt constraints deletion: 19579 -> 9797
1553.69/1554.19	c learnt constraints deletion: 19742 -> 9878
1558.29/1558.73	c learnt constraints deletion: 19764 -> 9896
1563.18/1563.69	c learnt constraints deletion: 19254 -> 9635
1567.69/1568.14	c learnt constraints deletion: 19659 -> 9848
1572.49/1572.91	c learnt constraints deletion: 19577 -> 9801
1577.39/1577.83	c learnt constraints deletion: 19237 -> 9626
1581.99/1582.43	c learnt constraints deletion: 19746 -> 9881
1586.79/1587.22	c learnt constraints deletion: 19528 -> 9781
1591.99/1592.48	c learnt constraints deletion: 19878 -> 9948
1596.38/1596.88	c learnt constraints deletion: 19723 -> 9874
1600.78/1601.28	c learnt constraints deletion: 19843 -> 9952
1605.28/1605.72	c learnt constraints deletion: 19897 -> 9959
1610.78/1611.24	c learnt constraints deletion: 19669 -> 9853
1615.28/1615.70	c learnt constraints deletion: 19598 -> 9811
1619.67/1620.13	c learnt constraints deletion: 19793 -> 9911
1624.28/1624.74	c learnt constraints deletion: 19660 -> 9852
1628.67/1629.12	c learnt constraints deletion: 19449 -> 9742
1634.47/1634.96	c learnt constraints deletion: 19706 -> 9866
1640.26/1640.73	c learnt constraints deletion: 19593 -> 9810
1644.87/1645.31	c learnt constraints deletion: 19885 -> 9957
1649.26/1649.74	c learnt constraints deletion: 19734 -> 9882
1653.77/1654.22	c learnt constraints deletion: 19577 -> 9805
1658.77/1659.24	c learnt constraints deletion: 19829 -> 9932
1662.97/1663.49	c learnt constraints deletion: 19816 -> 9925
1667.66/1668.10	c learnt constraints deletion: 19889 -> 9964
1671.67/1672.11	c learnt constraints deletion: 19836 -> 9937
1677.16/1677.62	c learnt constraints deletion: 19554 -> 9797
1681.56/1682.05	c learnt constraints deletion: 19828 -> 9937
1686.16/1686.63	c learnt constraints deletion: 19780 -> 9913
1690.45/1690.96	c learnt constraints deletion: 19679 -> 9865
1694.76/1695.25	c learnt constraints deletion: 19730 -> 9889
1701.26/1701.71	c learnt constraints deletion: 21476 -> 10746
1707.95/1708.45	c learnt constraints deletion: 21236 -> 10627
1713.65/1714.11	c learnt constraints deletion: 21725 -> 10863
1719.65/1720.13	c learnt constraints deletion: 21464 -> 10732
1727.36/1727.89	c learnt constraints deletion: 21061 -> 10531
1734.75/1735.21	c learnt constraints deletion: 21390 -> 10695
1740.55/1741.02	c learnt constraints deletion: 21571 -> 10786
1745.95/1746.41	c learnt constraints deletion: 21460 -> 10730
1751.95/1752.48	c learnt constraints deletion: 21674 -> 10837
1757.25/1757.78	c learnt constraints deletion: 21740 -> 10870
1763.45/1763.95	c learnt constraints deletion: 21293 -> 10647
1769.85/1770.34	c learnt constraints deletion: 21765 -> 10888
1775.54/1776.06	c learnt constraints deletion: 21708 -> 10854
1782.04/1782.57	c learnt constraints deletion: 21749 -> 10875
1787.04/1787.58	c learnt constraints deletion: 21587 -> 10794
1793.13/1793.68	c learnt constraints deletion: 21527 -> 10765
1798.43/1798.93	c learnt constraints deletion: 21481 -> 10745

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3725639-1338639159/watcher-3725639-1338639159 -o /tmp/evaluation-result-3725639-1338639159/solver-3725639-1338639159 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725639-1338639159.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 21890
/proc/meminfo: memFree=30163320/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 815 0 0 0 0 0 0 0 20 0 1 0 330044467 6373376 736 33554432000 4194304 8989770 140735636167504 140733686620856 7874608 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 1556 736 429 1171 0 333 0

[startup+0.037627 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 21890
/proc/meminfo: memFree=30163320/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=9296 CPUtime=0.02 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 1486 0 0 0 2 0 0 0 20 0 1 0 330044467 9519104 1407 33554432000 4194304 8989770 140735636167504 140735636167000 6571968 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 2324 1407 442 1171 0 1101 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9296

[startup+0.10028 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 21890
/proc/meminfo: memFree=30163320/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=12368 CPUtime=0.08 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 2398 0 0 0 8 0 0 0 20 0 1 0 330044467 12664832 2319 33554432000 4194304 8989770 140735636167504 140735636167000 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 3092 2319 460 1171 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12368

[startup+0.300266 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 21890
/proc/meminfo: memFree=30163320/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=13392 CPUtime=0.28 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 2665 0 0 0 28 0 0 0 20 0 1 0 330044467 13713408 2586 33554432000 4194304 8989770 140735636167504 140735636167000 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 3348 2586 471 1171 0 2125 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13392

[startup+0.700276 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 21890
/proc/meminfo: memFree=30163320/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=16464 CPUtime=0.69 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 3188 0 0 0 68 1 0 0 20 0 1 0 330044467 16859136 3109 33554432000 4194304 8989770 140735636167504 140735636167000 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 4116 3109 471 1171 0 2893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16464

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21891
/proc/meminfo: memFree=30151292/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=21584 CPUtime=1.49 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 4720 0 0 0 147 2 0 0 20 0 1 0 330044467 22102016 4641 33554432000 4194304 8989770 140735636167504 140735636167000 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 5396 4641 473 1171 0 4173 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21584

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21891
/proc/meminfo: memFree=30146448/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=21584 CPUtime=3.09 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 4720 0 0 0 307 2 0 0 20 0 1 0 330044467 22102016 4641 33554432000 4194304 8989770 140735636167504 140735636167000 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 5396 4641 473 1171 0 4173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21584

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21891
/proc/meminfo: memFree=30137272/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=29776 CPUtime=6.29 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 7024 0 0 0 625 4 0 0 20 0 1 0 330044467 30490624 6689 33554432000 4194304 8989770 140735636167504 140735636166768 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 7444 6689 473 1171 0 6221 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29776

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21891
/proc/meminfo: memFree=30137544/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=29776 CPUtime=12.69 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 7024 0 0 0 1263 6 0 0 20 0 1 0 330044467 30490624 6689 33554432000 4194304 8989770 140735636167504 140735636166768 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 7444 6689 473 1171 0 6221 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29776

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21891
/proc/meminfo: memFree=30133032/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=36944 CPUtime=25.48 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 9074 0 0 0 2538 10 0 0 20 0 1 0 330044467 37830656 8486 33554432000 4194304 8989770 140735636167504 140735636165440 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 9236 8486 473 1171 0 8013 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36944

[startup+51.1003 s]
/proc/loadavg: 2.08 2.02 1.98 3/177 21891
/proc/meminfo: memFree=30131268/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=42064 CPUtime=51.07 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 13431 0 0 0 5088 19 0 0 20 0 1 0 330044467 43073536 9766 33554432000 4194304 8989770 140735636167504 140735636166768 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 10516 9766 473 1171 0 9293 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42064

[startup+102.306 s]
/proc/loadavg: 2.03 2.01 1.98 3/177 21891
/proc/meminfo: memFree=30128968/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=40016 CPUtime=102.27 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 20860 0 0 0 10188 39 0 0 20 0 1 0 330044467 40976384 9254 33554432000 4194304 8989770 140735636167504 140735636167000 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 10004 9254 473 1171 0 8781 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40016

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 21891
/proc/meminfo: memFree=30121564/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=46160 CPUtime=162.24 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 28551 0 0 0 16165 59 0 0 20 0 1 0 330044467 47267840 10790 33554432000 4194304 8989770 140735636167504 140735636167000 4213655 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 11540 10790 473 1171 0 10317 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 46160

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21891
/proc/meminfo: memFree=30121364/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=46160 CPUtime=222.22 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 34701 0 0 0 22146 76 0 0 20 0 1 0 330044467 47267840 10790 33554432000 4194304 8989770 140735636167504 140735636167000 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 11540 10790 473 1171 0 10317 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 46160

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21892
/proc/meminfo: memFree=30118572/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=42064 CPUtime=282.21 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 37264 0 0 0 28128 93 0 0 20 0 1 0 330044467 43073536 9766 33554432000 4194304 8989770 140735636167504 140735636166768 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 10516 9766 473 1171 0 9293 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 42064

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21892
/proc/meminfo: memFree=30119740/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=49232 CPUtime=342.2 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 45049 0 0 0 34109 111 0 0 20 0 1 0 330044467 50413568 11404 33554432000 4194304 8989770 140735636167504 140735636167000 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 12308 11404 473 1171 0 11085 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49232

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21892
/proc/meminfo: memFree=30118808/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=51280 CPUtime=402.19 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 53145 0 0 0 40090 129 0 0 20 0 1 0 330044467 52510720 12070 33554432000 4194304 8989770 140735636167504 140735636167000 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 12820 12070 473 1171 0 11597 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 51280

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21895
/proc/meminfo: memFree=30118052/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=56400 CPUtime=462.17 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 61083 0 0 0 46071 146 0 0 20 0 1 0 330044467 57753600 13350 33554432000 4194304 8989770 140735636167504 140735636167000 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 14100 13350 473 1171 0 12877 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 56400

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21895
/proc/meminfo: memFree=30127352/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=50256 CPUtime=522.16 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 67748 0 0 0 52053 163 0 0 20 0 1 0 330044467 51462144 11814 33554432000 4194304 8989770 140735636167504 140735636167000 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 12564 11814 473 1171 0 11341 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 50256

[startup+582.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 21896
/proc/meminfo: memFree=30125228/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=50256 CPUtime=582.14 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 78504 0 0 0 58034 180 0 0 20 0 1 0 330044467 51462144 11814 33554432000 4194304 8989770 140735636167504 140735636167000 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 12564 11814 473 1171 0 11341 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 50256

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21897
/proc/meminfo: memFree=30105916/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=56400 CPUtime=882.05 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 119765 0 0 0 87951 254 0 0 20 0 1 0 330044467 57753600 13350 33554432000 4194304 8989770 140735636167504 140735636167000 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 14100 13350 473 1171 0 12877 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 56400

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21897
/proc/meminfo: memFree=30107580/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=54352 CPUtime=942.04 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 125655 0 0 0 93935 269 0 0 20 0 1 0 330044467 55656448 12838 33554432000 4194304 8989770 140735636167504 140735636166768 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 13588 12838 473 1171 0 12365 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 54352

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21897
/proc/meminfo: memFree=30091520/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=70736 CPUtime=1002.03 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 130778 0 0 0 99917 286 0 0 20 0 1 0 330044467 72433664 16934 33554432000 4194304 8989770 140735636167504 140735636167000 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 17684 16934 473 1171 0 16461 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 70736

[startup+1062.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 21900
/proc/meminfo: memFree=30089952/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=70736 CPUtime=1062.01 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 136411 0 0 0 105900 301 0 0 20 0 1 0 330044467 72433664 16934 33554432000 4194304 8989770 140735636167504 140735636167000 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 17684 16934 473 1171 0 16461 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 70736

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21900
/proc/meminfo: memFree=30097820/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=62544 CPUtime=1121.99 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 139743 0 0 0 111885 314 0 0 20 0 1 0 330044467 64045056 14886 33554432000 4194304 8989770 140735636167504 140735636167000 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 15636 14886 473 1171 0 14413 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 62544

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21901
/proc/meminfo: memFree=30101464/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=58448 CPUtime=1181.97 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 145130 0 0 0 117870 327 0 0 20 0 1 0 330044467 59850752 13862 33554432000 4194304 8989770 140735636167504 140735636167000 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 14612 13862 473 1171 0 13389 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 58448

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21901
/proc/meminfo: memFree=30104432/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=58448 CPUtime=1241.97 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 152813 0 0 0 123856 341 0 0 20 0 1 0 330044467 59850752 13862 33554432000 4194304 8989770 140735636167504 140735636166768 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 14612 13862 473 1171 0 13389 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 58448

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21901
/proc/meminfo: memFree=30109832/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=51280 CPUtime=1301.95 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 156147 0 0 0 129841 354 0 0 20 0 1 0 330044467 52510720 12070 33554432000 4194304 8989770 140735636167504 140735636165440 4451817 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 12820 12070 473 1171 0 11597 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 51280

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21903
/proc/meminfo: memFree=30098292/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=58448 CPUtime=1361.94 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 165876 0 0 0 135824 370 0 0 20 0 1 0 330044467 59850752 13862 33554432000 4194304 8989770 140735636167504 140735636167000 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 14612 13862 473 1171 0 13389 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 58448

[startup+1422.31 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 21942
/proc/meminfo: memFree=30052184/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=62544 CPUtime=1421.93 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 174329 0 0 0 141807 386 0 0 20 0 1 0 330044467 64045056 14886 33554432000 4194304 8989770 140735636167504 140735636167000 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 15636 14886 473 1171 0 14413 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 62544

[startup+1482.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 21981
/proc/meminfo: memFree=30123720/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=50256 CPUtime=1481.91 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 180994 0 0 0 147790 401 0 0 20 0 1 0 330044467 51462144 11814 33554432000 4194304 8989770 140735636167504 140735636167000 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 12564 11814 473 1171 0 11341 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 50256

[startup+1542.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 21981
/proc/meminfo: memFree=30125636/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=51280 CPUtime=1541.89 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 191243 0 0 0 153769 420 0 0 20 0 1 0 330044467 52510720 12070 33554432000 4194304 8989770 140735636167504 140735636167000 4438180 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 12820 12070 473 1171 0 11597 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 51280

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21981
/proc/meminfo: memFree=30121468/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=46160 CPUtime=1601.88 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 198924 0 0 0 159752 436 0 0 20 0 1 0 330044467 47267840 10790 33554432000 4194304 8989770 140735636167504 140735636167000 4438244 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 11540 10790 473 1171 0 10317 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 46160

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21984
/proc/meminfo: memFree=30118520/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=57424 CPUtime=1661.87 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 205329 0 0 0 165735 452 0 0 20 0 1 0 330044467 58802176 13606 33554432000 4194304 8989770 140735636167504 140735636167000 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 14356 13606 473 1171 0 13133 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 57424

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21984
/proc/meminfo: memFree=30116544/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=59472 CPUtime=1721.86 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 211221 0 0 0 171722 464 0 0 20 0 1 0 330044467 60899328 14118 33554432000 4194304 8989770 140735636167504 140735636166768 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 14868 14118 473 1171 0 13645 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 59472

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21985
/proc/meminfo: memFree=30108720/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=66640 CPUtime=1781.84 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 217113 0 0 0 177708 476 0 0 20 0 1 0 330044467 68239360 15910 33554432000 4194304 8989770 140735636167504 140735636149504 4438168 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 16660 15910 473 1171 0 15437 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 66640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21985
/proc/meminfo: memFree=30112924/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=62544 CPUtime=1800.04 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 219165 0 0 0 179523 481 0 0 20 0 1 0 330044467 64045056 14886 33554432000 4194304 8989770 140735636167504 140735636167000 4437707 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 15636 14886 473 1171 0 14413 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 62544

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21985
/proc/meminfo: memFree=30112924/32873844 swapFree=7372/7372
[pid=21890] ppid=21888 vsize=62544 CPUtime=1800.04 cores=0,2,4,6
/proc/21890/stat : 21890 (toysat) R 21888 21890 21194 0 -1 4202496 219165 0 0 0 179523 481 0 0 20 0 1 0 330044467 64045056 14886 33554432000 4194304 8989770 140735636167504 140735636167000 4437707 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21890/statm: 15636 14886 473 1171 0 14413 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 62544

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1795.24
CPU system time (s): 4.81327
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 72784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.24
system time used= 4.81327
maximum resident set size= 69784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219165
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= 183
involuntary context switches= 2209

runsolver used 3.32249 second user time and 8.73267 second system time

The end

Launcher Data 

Begin job on node109 at 2012-06-02 14:12:39
IDJOB=3725639
IDBENCH=48231
IDSOLVER=2308
FILE ID=node109/3725639-1338639159
RUNJOBID= node109-1338631506-21210
PBS_JOBID= 14636471
Free space on /tmp= 70708 MiB

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

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

MD5SUM BENCH= e70f8e0da8fa345ba6e82dce1b0133d2
RANDOM SEED=211915840

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30163748 kB
Buffers:          304956 kB
Cached:          1493096 kB
SwapCached:          944 kB
Active:           912568 kB
Inactive:         921944 kB
Active(anon):      30620 kB
Inactive(anon):     7800 kB
Active(file):     881948 kB
Inactive(file):   914144 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67105492 kB
Dirty:              7404 kB
Writeback:             0 kB
AnonPages:         42216 kB
Mapped:            11908 kB
Shmem:                 4 kB
Slab:             734648 kB
SReclaimable:     177088 kB
SUnreclaim:       557560 kB
KernelStack:        1456 kB
PageTables:         4084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     152188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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= 70700 MiB
End job on node109 at 2012-06-02 14:42:41