Trace number 4101575

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
cdcl-cuttingplanes OPT binary search 2016-05-01? (TO) 1800.01 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum3.opb
MD5SUM7834f8d111acea7ee9f1805313462ca3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark407422
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 410088
Optimality of the best value was proved NO
Number of variables93400
Total number of constraints49197
Number of constraints which are clauses6081
Number of constraints which are cardinality constraints (but not clauses)450
Number of constraints which are nor clauses,nor cardinality constraints42666
Minimum length of a constraint1
Maximum length of a constraint1018
Number of terms in the objective function 87370
Biggest coefficient in the objective function 50629
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 602670
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 274082
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 602670
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
4.19/4.28	c * #variable= 93400 #constraint= 49197
7.98/8.01	c * #variable= 93400 #constraint= 49197
50.88/50.93	c S1->S2
50.88/50.93	c S2->S1
50.88/50.93	c S2->S1
50.88/50.93	c S1->S2
50.88/50.93	c #Conflicts:       1000 | #Learnt:        451 | 1.172
50.88/50.93	c total clause space: 206.656MB
50.88/50.93	c total #watches: 5162082
86.37/86.45	c total #propagations: 2611048 / total #impl: 38019694 (eff. 0.069)
86.37/86.45	c #Conflicts:       2000 | #Learnt:       1431 | 0.591
86.37/86.45	c total clause space: 335.816MB
86.37/86.45	c total #watches: 5340368
133.37/133.49	c total #propagations: 3510421 / total #impl: 54785861 (eff. 0.064)
133.37/133.49	c #Conflicts:       3000 | #Learnt:       1715 | 0.404
133.37/133.49	c total clause space: 335.816MB
133.37/133.49	c total #watches: 5405106
185.66/185.70	c total #propagations: 4541435 / total #impl: 79222032 (eff. 0.057)
185.66/185.70	c #Conflicts:       4000 | #Learnt:       2697 | 0.304
185.66/185.70	c total clause space: 335.816MB
185.66/185.71	c total #watches: 5468722
211.45/211.56	c total #propagations: 5533190 / total #impl: 105489175 (eff. 0.052)
211.45/211.56	c GC COLLECT
211.45/211.56	c #Conflicts:       5000 | #Learnt:       2188 | 0.276
211.45/211.56	c total clause space: 335.816MB
211.45/211.56	c total #watches: 5231489
221.45/221.52	c total #propagations: 6283513 / total #impl: 127926082 (eff. 0.049)
221.45/221.52	c #Conflicts:       6000 | #Learnt:       3177 | 0.230
221.45/221.52	c total clause space: 335.816MB
221.45/221.52	c total #watches: 5243368
230.35/230.50	c total #propagations: 6729456 / total #impl: 164615696 (eff. 0.041)
230.35/230.50	c GC COLLECT
230.35/230.50	c #Conflicts:       7000 | #Learnt:       2145 | 0.197
230.35/230.50	c total clause space: 335.816MB
230.35/230.50	c total #watches: 5145805
235.85/235.96	c total #propagations: 7090584 / total #impl: 194284451 (eff. 0.036)
235.85/235.96	c #Conflicts:       8000 | #Learnt:       3144 | 0.173
235.85/235.96	c total clause space: 335.816MB
235.85/235.96	c total #watches: 5153759
242.55/242.61	c total #propagations: 7417300 / total #impl: 222737640 (eff. 0.033)
242.55/242.61	c #Conflicts:       9000 | #Learnt:       4141 | 0.153
242.55/242.61	c total clause space: 335.816MB
242.55/242.61	c total #watches: 5160564
247.95/248.03	c total #propagations: 7821237 / total #impl: 257713351 (eff. 0.030)
247.95/248.03	c #Conflicts:      10000 | #Learnt:       2686 | 0.138
247.95/248.03	c total clause space: 335.816MB
247.95/248.03	c total #watches: 5152857
253.55/253.68	c total #propagations: 8134747 / total #impl: 281416877 (eff. 0.029)
253.55/253.68	c #Conflicts:      11000 | #Learnt:       3685 | 0.126
253.55/253.68	c total clause space: 335.816MB
253.55/253.68	c total #watches: 5156875
259.25/259.34	c total #propagations: 8461413 / total #impl: 313936368 (eff. 0.027)
259.25/259.34	c #Conflicts:      12000 | #Learnt:       4684 | 0.115
259.25/259.34	c total clause space: 335.816MB
259.25/259.34	c total #watches: 5161669
265.65/265.73	c total #propagations: 8786585 / total #impl: 344861675 (eff. 0.025)
265.65/265.73	c #Conflicts:      13000 | #Learnt:       5684 | 0.106
265.65/265.73	c total clause space: 335.816MB
265.65/265.74	c total #watches: 5169994
283.54/283.69	c total #propagations: 9166801 / total #impl: 386137443 (eff. 0.024)
283.54/283.69	c S2->S1
283.54/283.69	c S1->S2
283.54/283.69	c S1->S2
283.54/283.69	c #Conflicts:      14000 | #Learnt:        347 | 0.110
283.54/283.69	c total clause space: 335.816MB
283.54/283.69	c total #watches: 5247251
304.14/304.28	c total #propagations: 10099833 / total #impl: 437701904 (eff. 0.023)
304.14/304.28	c #Conflicts:      15000 | #Learnt:       1333 | 0.105
304.14/304.28	c total clause space: 335.816MB
304.14/304.28	c total #watches: 5302868
313.74/313.84	c total #propagations: 10776072 / total #impl: 452148061 (eff. 0.024)
313.74/313.84	c #Conflicts:      16000 | #Learnt:       2333 | 0.101
313.74/313.84	c total clause space: 335.816MB
313.74/313.84	c total #watches: 5351657
327.24/327.33	c total #propagations: 11099699 / total #impl: 459145959 (eff. 0.024)
327.24/327.33	c GC COLLECT
327.24/327.33	c #Conflicts:      17000 | #Learnt:       1931 | 0.099
327.24/327.33	c total clause space: 335.816MB
327.24/327.33	c total #watches: 5200205
328.24/328.35	c total #propagations: 11343538 / total #impl: 466423241 (eff. 0.024)
328.24/328.35	c #Conflicts:      18000 | #Learnt:       2931 | 0.094
328.24/328.35	c total clause space: 335.816MB
328.24/328.35	c total #watches: 5224336
340.23/340.37	c total #propagations: 11347487 / total #impl: 468408671 (eff. 0.024)
340.23/340.37	c #Conflicts:      19000 | #Learnt:       3930 | 0.091
340.23/340.37	c total clause space: 335.816MB
340.23/340.37	c total #watches: 5324702
375.04/375.10	c total #propagations: 11498244 / total #impl: 476692519 (eff. 0.024)
375.04/375.10	c #Conflicts:      20000 | #Learnt:       4921 | 0.087
375.04/375.10	c total clause space: 335.816MB
375.04/375.10	c total #watches: 5384374
388.93/389.06	c total #propagations: 12439927 / total #impl: 496304735 (eff. 0.025)
388.93/389.06	c #Conflicts:      21000 | #Learnt:       3326 | 0.088
388.93/389.06	c total clause space: 335.816MB
388.93/389.06	c total #watches: 5352746
417.83/417.96	c total #propagations: 12714111 / total #impl: 508173358 (eff. 0.025)
417.83/417.96	c #Conflicts:      22000 | #Learnt:       4319 | 0.087
417.83/417.96	c total clause space: 335.816MB
417.83/417.96	c total #watches: 5490869
458.32/458.44	c total #propagations: 13085945 / total #impl: 525190462 (eff. 0.025)
458.32/458.44	c #Conflicts:      23000 | #Learnt:       5313 | 0.084
458.32/458.44	c total clause space: 335.816MB
458.32/458.44	c total #watches: 5648527
512.01/512.19	c total #propagations: 13467776 / total #impl: 538913910 (eff. 0.025)
512.01/512.19	c #Conflicts:      24000 | #Learnt:       6305 | 0.081
512.01/512.19	c total clause space: 545.701MB
512.01/512.19	c total #watches: 5708060
548.71/548.88	c total #propagations: 14229323 / total #impl: 574823985 (eff. 0.025)
548.71/548.88	c GC COLLECT
548.71/548.88	c #Conflicts:      25000 | #Learnt:       3976 | 0.078
548.71/548.88	c total clause space: 545.701MB
548.71/548.88	c total #watches: 5559486
564.91/565.04	c total #propagations: 14751300 / total #impl: 599293219 (eff. 0.025)
564.91/565.04	c #Conflicts:      26000 | #Learnt:       4975 | 0.077
564.91/565.04	c total clause space: 545.701MB
564.91/565.04	c total #watches: 5600019
585.60/585.79	c total #propagations: 14850510 / total #impl: 607651682 (eff. 0.024)
585.60/585.79	c #Conflicts:      27000 | #Learnt:       5972 | 0.075
585.60/585.79	c total clause space: 545.701MB
585.60/585.79	c total #watches: 5656756
623.70/623.88	c total #propagations: 15081474 / total #impl: 625974982 (eff. 0.024)
623.70/623.88	c #Conflicts:      28000 | #Learnt:       6972 | 0.073
623.70/623.88	c total clause space: 545.701MB
623.70/623.88	c total #watches: 5788863
733.28/733.45	c total #propagations: 15539319 / total #impl: 644384148 (eff. 0.024)
733.28/733.45	c GC COLLECT
733.28/733.45	c #Conflicts:      29000 | #Learnt:       4101 | 0.070
733.28/733.45	c total clause space: 545.701MB
733.28/733.45	c total #watches: 5447872
749.18/749.37	c total #propagations: 16940593 / total #impl: 698554165 (eff. 0.024)
749.18/749.37	c #Conflicts:      30000 | #Learnt:       5101 | 0.069
749.18/749.37	c total clause space: 545.701MB
749.18/749.37	c total #watches: 5910360
759.18/759.32	c total #propagations: 17233848 / total #impl: 722187008 (eff. 0.024)
759.18/759.32	c #Conflicts:      31000 | #Learnt:       6101 | 0.073
759.18/759.32	c total clause space: 545.701MB
759.18/759.32	c total #watches: 5923661
808.97/809.14	c total #propagations: 17283123 / total #impl: 724031887 (eff. 0.024)
808.97/809.14	c #Conflicts:      32000 | #Learnt:       7094 | 0.076
808.97/809.14	c total clause space: 545.701MB
808.97/809.14	c total #watches: 5941822
848.66/848.82	c total #propagations: 17769439 / total #impl: 747446774 (eff. 0.024)
848.66/848.82	c S1->S2
848.66/848.82	c #Conflicts:      33000 | #Learnt:       8090 | 0.086
848.66/848.82	c total clause space: 545.701MB
848.66/848.82	c total #watches: 5986908
855.06/855.24	c total #propagations: 18273426 / total #impl: 788741906 (eff. 0.023)
855.06/855.24	c GC COLLECT
855.06/855.24	c #Conflicts:      34000 | #Learnt:       4813 | 0.086
855.06/855.24	c total clause space: 545.701MB
855.06/855.24	c total #watches: 5657977
861.06/861.21	c total #propagations: 18321121 / total #impl: 791343514 (eff. 0.023)
861.06/861.21	c #Conflicts:      35000 | #Learnt:       5812 | 0.086
861.06/861.21	c total clause space: 545.701MB
861.06/861.21	c total #watches: 5663363
871.35/871.50	c total #propagations: 18367282 / total #impl: 794228907 (eff. 0.023)
871.35/871.50	c #Conflicts:      36000 | #Learnt:       6812 | 0.093
871.35/871.50	c total clause space: 545.701MB
871.35/871.50	c total #watches: 5672068
878.65/878.89	c total #propagations: 18430910 / total #impl: 797301834 (eff. 0.023)
878.65/878.89	c #Conflicts:      37000 | #Learnt:       7812 | 0.094
878.65/878.89	c total clause space: 545.701MB
878.65/878.89	c total #watches: 5681038
886.05/886.28	c total #propagations: 18492021 / total #impl: 801255056 (eff. 0.023)
886.05/886.28	c #Conflicts:      38000 | #Learnt:       8812 | 0.097
886.05/886.28	c total clause space: 545.701MB
886.05/886.28	c total #watches: 5691351
892.75/892.96	c total #propagations: 18539630 / total #impl: 803126778 (eff. 0.023)
892.75/892.96	c GC COLLECT
892.75/892.96	c #Conflicts:      39000 | #Learnt:       5179 | 0.099
892.75/892.96	c total clause space: 545.701MB
892.75/892.96	c total #watches: 5246161
898.05/898.24	c total #propagations: 18587904 / total #impl: 805472334 (eff. 0.023)
898.05/898.24	c #Conflicts:      40000 | #Learnt:       6179 | 0.098
898.05/898.24	c total clause space: 545.701MB
898.05/898.24	c total #watches: 5256935
903.44/903.61	c total #propagations: 18636927 / total #impl: 807861952 (eff. 0.023)
903.44/903.61	c #Conflicts:      41000 | #Learnt:       7179 | 0.100
903.44/903.61	c total clause space: 545.701MB
903.44/903.62	c total #watches: 5268539
908.24/908.41	c total #propagations: 18676449 / total #impl: 809617121 (eff. 0.023)
908.24/908.41	c #Conflicts:      42000 | #Learnt:       8179 | 0.099
908.24/908.41	c total clause space: 545.701MB
908.24/908.41	c total #watches: 5278253
913.54/913.78	c total #propagations: 18712059 / total #impl: 811369283 (eff. 0.023)
913.54/913.78	c #Conflicts:      43000 | #Learnt:       9179 | 0.100
913.54/913.78	c total clause space: 545.701MB
913.54/913.78	c total #watches: 5288032
918.74/918.93	c total #propagations: 18753330 / total #impl: 813332927 (eff. 0.023)
918.74/918.93	c #Conflicts:      44000 | #Learnt:       5192 | 0.100
918.74/918.93	c total clause space: 545.701MB
918.74/918.93	c total #watches: 5272996
924.44/924.62	c total #propagations: 18796773 / total #impl: 815589379 (eff. 0.023)
924.44/924.62	c #Conflicts:      45000 | #Learnt:       6192 | 0.103
924.44/924.62	c total clause space: 545.701MB
924.44/924.62	c total #watches: 5270849
932.84/933.07	c total #propagations: 18841297 / total #impl: 817489423 (eff. 0.023)
932.84/933.07	c #Conflicts:      46000 | #Learnt:       7192 | 0.118
932.84/933.07	c total clause space: 545.701MB
932.84/933.07	c total #watches: 5279408
943.53/943.78	c total #propagations: 18931980 / total #impl: 822065492 (eff. 0.023)
943.53/943.78	c #Conflicts:      47000 | #Learnt:       8191 | 0.116
943.53/943.78	c total clause space: 545.701MB
943.53/943.78	c total #watches: 5300254
950.93/951.14	c total #propagations: 19106857 / total #impl: 835162962 (eff. 0.023)
950.93/951.14	c #Conflicts:      48000 | #Learnt:       9191 | 0.115
950.93/951.14	c total clause space: 545.701MB
950.93/951.14	c total #watches: 5350461
962.92/963.10	c total #propagations: 19232447 / total #impl: 848425746 (eff. 0.023)
962.92/963.10	c #Conflicts:      49000 | #Learnt:      10189 | 0.114
962.92/963.10	c total clause space: 545.701MB
962.92/963.10	c total #watches: 5371374
974.72/974.95	c total #propagations: 19412267 / total #impl: 866413751 (eff. 0.022)
974.72/974.95	c #Conflicts:      50000 | #Learnt:       5890 | 0.113
974.72/974.95	c total clause space: 545.701MB
974.72/974.95	c total #watches: 5322581
989.02/989.24	c total #propagations: 19524347 / total #impl: 876068260 (eff. 0.022)
989.02/989.24	c #Conflicts:      51000 | #Learnt:       6884 | 0.113
989.02/989.24	c total clause space: 545.701MB
989.02/989.25	c total #watches: 5334762
1004.92/1005.15	c total #propagations: 19705562 / total #impl: 888277719 (eff. 0.022)
1004.92/1005.15	c #Conflicts:      52000 | #Learnt:       7881 | 0.112
1004.92/1005.15	c total clause space: 545.701MB
1004.92/1005.15	c total #watches: 5351597
1010.72/1010.99	c total #propagations: 19846617 / total #impl: 901489678 (eff. 0.022)
1010.72/1010.99	c #Conflicts:      53000 | #Learnt:       8881 | 0.110
1010.72/1010.99	c total clause space: 545.701MB
1010.72/1010.99	c total #watches: 5361744
1017.81/1018.06	c total #propagations: 19890468 / total #impl: 906395104 (eff. 0.022)
1017.81/1018.06	c #Conflicts:      54000 | #Learnt:       9879 | 0.109
1017.81/1018.06	c total clause space: 545.701MB
1017.81/1018.06	c total #watches: 5371537
1027.01/1027.25	c total #propagations: 20039832 / total #impl: 921259931 (eff. 0.022)
1027.01/1027.25	c #Conflicts:      55000 | #Learnt:      10875 | 0.109
1027.01/1027.25	c total clause space: 545.701MB
1027.01/1027.25	c total #watches: 5380382
1036.91/1037.15	c total #propagations: 20210038 / total #impl: 932719445 (eff. 0.022)
1036.91/1037.15	c GC COLLECT
1036.91/1037.15	c #Conflicts:      56000 | #Learnt:       6306 | 0.107
1036.91/1037.15	c total clause space: 545.701MB
1036.91/1037.16	c total #watches: 5267052
1046.41/1046.69	c total #propagations: 20474256 / total #impl: 949454973 (eff. 0.022)
1046.41/1046.69	c #Conflicts:      57000 | #Learnt:       7297 | 0.105
1046.41/1046.69	c total clause space: 545.701MB
1046.41/1046.69	c total #watches: 5281461
1057.61/1057.81	c total #propagations: 20953519 / total #impl: 979847747 (eff. 0.021)
1057.61/1057.81	c #Conflicts:      58000 | #Learnt:       8296 | 0.103
1057.61/1057.81	c total clause space: 545.701MB
1057.61/1057.81	c total #watches: 5291522
1068.21/1068.42	c total #propagations: 21617557 / total #impl: 1042310709 (eff. 0.021)
1068.21/1068.42	c #Conflicts:      59000 | #Learnt:       9296 | 0.102
1068.21/1068.42	c total clause space: 545.701MB
1068.21/1068.42	c total #watches: 5298946
1078.71/1078.94	c total #propagations: 22039159 / total #impl: 1102913482 (eff. 0.020)
1078.71/1078.94	c #Conflicts:      60000 | #Learnt:      10295 | 0.100
1078.71/1078.94	c total clause space: 545.701MB
1078.71/1078.94	c total #watches: 5310386
1091.20/1091.40	c total #propagations: 22554360 / total #impl: 1164396470 (eff. 0.019)
1091.20/1091.40	c #Conflicts:      61000 | #Learnt:      11295 | 0.098
1091.20/1091.40	c total clause space: 545.701MB
1091.20/1091.40	c total #watches: 5321504
1101.60/1101.82	c total #propagations: 23057967 / total #impl: 1243406592 (eff. 0.019)
1101.60/1101.82	c #Conflicts:      62000 | #Learnt:       6402 | 0.097
1101.60/1101.82	c total clause space: 545.701MB
1101.60/1101.82	c total #watches: 5302383
1109.60/1109.86	c total #propagations: 23471253 / total #impl: 1300563305 (eff. 0.018)
1109.60/1109.86	c #Conflicts:      63000 | #Learnt:       7402 | 0.095
1109.60/1109.86	c total clause space: 545.701MB
1109.60/1109.86	c total #watches: 5308264
1118.51/1118.72	c total #propagations: 23790980 / total #impl: 1331616520 (eff. 0.018)
1118.51/1118.72	c #Conflicts:      64000 | #Learnt:       8402 | 0.094
1118.51/1118.72	c total clause space: 545.701MB
1118.51/1118.72	c total #watches: 5323208
1130.10/1130.31	c total #propagations: 24168282 / total #impl: 1376365335 (eff. 0.018)
1130.10/1130.31	c #Conflicts:      65000 | #Learnt:       9402 | 0.092
1130.10/1130.31	c total clause space: 545.701MB
1130.10/1130.31	c total #watches: 5317019
1139.80/1140.05	c total #propagations: 24620324 / total #impl: 1445674518 (eff. 0.017)
1139.80/1140.05	c #Conflicts:      66000 | #Learnt:      10402 | 0.091
1139.80/1140.05	c total clause space: 545.701MB
1139.80/1140.05	c total #watches: 5324514
1148.59/1148.88	c total #propagations: 24968073 / total #impl: 1491940675 (eff. 0.017)
1148.59/1148.88	c #Conflicts:      67000 | #Learnt:      11401 | 0.090
1148.59/1148.88	c total clause space: 545.701MB
1148.59/1148.88	c total #watches: 5330939
1159.99/1160.27	c total #propagations: 25283221 / total #impl: 1521990412 (eff. 0.017)
1159.99/1160.27	c #Conflicts:      68000 | #Learnt:      12391 | 0.088
1159.99/1160.27	c total clause space: 545.701MB
1159.99/1160.27	c total #watches: 5338130
1167.89/1168.19	c total #propagations: 25789048 / total #impl: 1571036671 (eff. 0.016)
1167.89/1168.19	c GC COLLECT
1167.89/1168.19	c #Conflicts:      69000 | #Learnt:       7189 | 0.087
1167.89/1168.19	c total clause space: 545.701MB
1167.89/1168.19	c total #watches: 5273837
1178.59/1178.81	c total #propagations: 26290378 / total #impl: 1599730450 (eff. 0.016)
1178.59/1178.81	c #Conflicts:      70000 | #Learnt:       8189 | 0.086
1178.59/1178.81	c total clause space: 545.701MB
1178.59/1178.81	c total #watches: 5283254
1190.00/1190.20	c total #propagations: 26970931 / total #impl: 1664531597 (eff. 0.016)
1190.00/1190.20	c #Conflicts:      71000 | #Learnt:       9189 | 0.085
1190.00/1190.20	c total clause space: 545.701MB
1190.00/1190.20	c total #watches: 5292622
1193.79/1194.05	c total #propagations: 27432637 / total #impl: 1696510580 (eff. 0.016)
1193.79/1194.05	c #Conflicts:      72000 | #Learnt:      10189 | 0.085
1193.79/1194.05	c total clause space: 545.701MB
1193.79/1194.05	c total #watches: 5305327
1204.39/1204.68	c total #propagations: 27439359 / total #impl: 1697555394 (eff. 0.016)
1204.39/1204.68	c #Conflicts:      73000 | #Learnt:      11189 | 0.084
1204.39/1204.68	c total clause space: 545.701MB
1204.39/1204.68	c total #watches: 5316102
1212.68/1212.95	c total #propagations: 27804828 / total #impl: 1741539632 (eff. 0.016)
1212.68/1212.95	c #Conflicts:      74000 | #Learnt:      12188 | 0.083
1212.68/1212.95	c total clause space: 545.701MB
1212.68/1212.95	c total #watches: 5325711
1222.58/1222.82	c total #propagations: 28188627 / total #impl: 1771672780 (eff. 0.016)
1222.58/1222.82	c #Conflicts:      75000 | #Learnt:       6697 | 0.082
1222.58/1222.82	c total clause space: 545.701MB
1222.58/1222.82	c total #watches: 5304587
1235.19/1235.45	c total #propagations: 28557131 / total #impl: 1810588848 (eff. 0.016)
1235.19/1235.45	c #Conflicts:      76000 | #Learnt:       7697 | 0.081
1235.19/1235.45	c total clause space: 545.701MB
1235.19/1235.45	c total #watches: 5289796
1252.48/1252.76	c total #propagations: 29132520 / total #impl: 1888101144 (eff. 0.015)
1252.48/1252.76	c #Conflicts:      77000 | #Learnt:       8697 | 0.080
1252.48/1252.76	c total clause space: 545.701MB
1252.48/1252.76	c total #watches: 5298952
1264.18/1264.44	c total #propagations: 30040617 / total #impl: 2019537433 (eff. 0.015)
1264.18/1264.44	c #Conflicts:      78000 | #Learnt:       9697 | 0.081
1264.18/1264.44	c total clause space: 545.701MB
1264.18/1264.44	c total #watches: 5312441
1280.37/1280.68	c total #propagations: 30506485 / total #impl: 2058267152 (eff. 0.015)
1280.37/1280.68	c #Conflicts:      79000 | #Learnt:      10697 | 0.080
1280.37/1280.68	c total clause space: 545.701MB
1280.37/1280.68	c total #watches: 5361378
1293.57/1293.86	c total #propagations: 30850989 / total #impl: 2097561545 (eff. 0.015)
1293.57/1293.86	c #Conflicts:      80000 | #Learnt:      11697 | 0.079
1293.57/1293.86	c total clause space: 545.701MB
1293.57/1293.86	c total #watches: 5378184
1302.77/1303.03	c total #propagations: 31025418 / total #impl: 2120547906 (eff. 0.015)
1302.77/1303.03	c #Conflicts:      81000 | #Learnt:      12697 | 0.078
1302.77/1303.03	c total clause space: 545.701MB
1302.77/1303.03	c total #watches: 5393639
1314.57/1314.86	c total #propagations: 31262249 / total #impl: 2145519712 (eff. 0.015)
1314.57/1314.86	c #Conflicts:      82000 | #Learnt:       6898 | 0.077
1314.57/1314.86	c total clause space: 545.701MB
1314.57/1314.87	c total #watches: 5369591
1325.97/1326.24	c total #propagations: 31858040 / total #impl: 2181466814 (eff. 0.015)
1325.97/1326.24	c #Conflicts:      83000 | #Learnt:       7898 | 0.076
1325.97/1326.24	c total clause space: 545.701MB
1325.97/1326.24	c total #watches: 5363679
1337.76/1338.09	c total #propagations: 32281616 / total #impl: 2231387778 (eff. 0.014)
1337.76/1338.09	c #Conflicts:      84000 | #Learnt:       8898 | 0.076
1337.76/1338.09	c total clause space: 545.701MB
1337.76/1338.09	c total #watches: 5356300
1349.16/1349.47	c total #propagations: 33080419 / total #impl: 2282578697 (eff. 0.014)
1349.16/1349.47	c #Conflicts:      85000 | #Learnt:       9896 | 0.075
1349.16/1349.47	c total clause space: 545.701MB
1349.16/1349.47	c total #watches: 5359698
1362.26/1362.59	c total #propagations: 33707765 / total #impl: 2330924267 (eff. 0.014)
1362.26/1362.59	c #Conflicts:      86000 | #Learnt:      10896 | 0.074
1362.26/1362.59	c total clause space: 545.701MB
1362.26/1362.59	c total #watches: 5367071
1378.07/1378.40	c total #propagations: 34307755 / total #impl: 2397968247 (eff. 0.014)
1378.07/1378.40	c #Conflicts:      87000 | #Learnt:      11896 | 0.073
1378.07/1378.40	c total clause space: 545.701MB
1378.07/1378.40	c total #watches: 5373531
1398.46/1398.70	c total #propagations: 35047879 / total #impl: 2495566865 (eff. 0.014)
1398.46/1398.70	c #Conflicts:      88000 | #Learnt:      12896 | 0.072
1398.46/1398.70	c total clause space: 545.701MB
1398.46/1398.70	c total #watches: 5378153
1426.25/1426.52	c total #propagations: 36039275 / total #impl: 2642330557 (eff. 0.014)
1426.25/1426.52	c #Conflicts:      89000 | #Learnt:      13896 | 0.071
1426.25/1426.52	c total clause space: 545.701MB
1426.25/1426.52	c total #watches: 5383433
1438.75/1439.06	c total #propagations: 37334863 / total #impl: 2867701770 (eff. 0.013)
1438.75/1439.06	c GC COLLECT
1438.75/1439.06	c #Conflicts:      90000 | #Learnt:       7802 | 0.071
1438.75/1439.06	c total clause space: 545.701MB
1438.75/1439.06	c total #watches: 5285170
1445.55/1445.83	c total #propagations: 37596958 / total #impl: 2910265971 (eff. 0.013)
1445.55/1445.83	c #Conflicts:      91000 | #Learnt:       8802 | 0.072
1445.55/1445.83	c total clause space: 545.701MB
1445.55/1445.83	c total #watches: 5296594
1451.95/1452.24	c total #propagations: 37749133 / total #impl: 2915749400 (eff. 0.013)
1451.95/1452.24	c #Conflicts:      92000 | #Learnt:       9802 | 0.071
1451.95/1452.24	c total clause space: 545.701MB
1451.95/1452.24	c total #watches: 5310417
1458.65/1458.96	c total #propagations: 37844838 / total #impl: 2927982409 (eff. 0.013)
1458.65/1458.96	c #Conflicts:      93000 | #Learnt:      10802 | 0.070
1458.65/1458.96	c total clause space: 545.701MB
1458.65/1458.96	c total #watches: 5358905
1465.25/1465.57	c total #propagations: 37953596 / total #impl: 2935231560 (eff. 0.013)
1465.25/1465.57	c #Conflicts:      94000 | #Learnt:      11802 | 0.070
1465.25/1465.57	c total clause space: 545.701MB
1465.25/1465.57	c total #watches: 5388336
1472.34/1472.68	c total #propagations: 38099905 / total #impl: 2953533581 (eff. 0.013)
1472.34/1472.68	c #Conflicts:      95000 | #Learnt:      12802 | 0.069
1472.34/1472.68	c total clause space: 545.701MB
1472.34/1472.68	c total #watches: 5419740
1481.84/1482.18	c total #propagations: 38228382 / total #impl: 2965323963 (eff. 0.013)
1481.84/1482.18	c #Conflicts:      96000 | #Learnt:      13802 | 0.072
1481.84/1482.18	c total clause space: 545.701MB
1481.84/1482.18	c total #watches: 5423810
1487.54/1487.83	c total #propagations: 38232174 / total #impl: 2967348167 (eff. 0.013)
1487.54/1487.83	c #Conflicts:      97000 | #Learnt:      14802 | 0.073
1487.54/1487.83	c total clause space: 545.701MB
1487.54/1487.83	c total #watches: 5427879
1496.95/1497.26	c total #propagations: 38235193 / total #impl: 2968506631 (eff. 0.013)
1496.95/1497.26	c #Conflicts:      98000 | #Learnt:       8416 | 0.074
1496.95/1497.26	c total clause space: 545.701MB
1496.95/1497.26	c total #watches: 5424002
1510.54/1510.89	c total #propagations: 38336629 / total #impl: 2971854849 (eff. 0.013)
1510.54/1510.89	c #Conflicts:      99000 | #Learnt:       9416 | 0.074
1510.54/1510.89	c total clause space: 545.701MB
1510.54/1510.89	c total #watches: 5376730
1517.84/1518.13	c total #propagations: 38623791 / total #impl: 2986964431 (eff. 0.013)
1517.84/1518.13	c #Conflicts:     100000 | #Learnt:      10416 | 0.073
1517.84/1518.13	c total clause space: 545.701MB
1517.84/1518.13	c total #watches: 5387970
1529.84/1530.13	c total #propagations: 38674584 / total #impl: 2993328250 (eff. 0.013)
1529.84/1530.13	c #Conflicts:     101000 | #Learnt:      11415 | 0.072
1529.84/1530.13	c total clause space: 545.701MB
1529.84/1530.13	c total #watches: 5347272
1542.33/1542.64	c total #propagations: 38754745 / total #impl: 3002547535 (eff. 0.013)
1542.33/1542.64	c #Conflicts:     102000 | #Learnt:      12415 | 0.072
1542.33/1542.64	c total clause space: 545.701MB
1542.33/1542.64	c total #watches: 5357603
1552.33/1552.68	c total #propagations: 38780210 / total #impl: 3007843435 (eff. 0.013)
1552.33/1552.68	c #Conflicts:     103000 | #Learnt:      13415 | 0.072
1552.33/1552.68	c total clause space: 545.701MB
1552.33/1552.68	c total #watches: 5359216
1559.93/1560.26	c total #propagations: 38820664 / total #impl: 3013878617 (eff. 0.013)
1559.93/1560.26	c #Conflicts:     104000 | #Learnt:      14415 | 0.071
1559.93/1560.26	c total clause space: 545.701MB
1559.93/1560.26	c total #watches: 5371873
1571.64/1571.99	c total #propagations: 38967413 / total #impl: 3029986518 (eff. 0.013)
1571.64/1571.99	c #Conflicts:     105000 | #Learnt:      15415 | 0.089
1571.64/1571.99	c total clause space: 545.701MB
1571.64/1571.99	c total #watches: 5385812
1591.73/1592.07	c total #propagations: 39028251 / total #impl: 3039842314 (eff. 0.013)
1591.73/1592.07	c #Conflicts:     106000 | #Learnt:       8703 | 0.121
1591.73/1592.07	c total clause space: 545.701MB
1591.73/1592.07	c total #watches: 5374381
1623.44/1623.77	c total #propagations: 39044692 / total #impl: 3045418415 (eff. 0.013)
1623.44/1623.77	c #Conflicts:     107000 | #Learnt:       9703 | 0.146
1623.44/1623.77	c total clause space: 545.701MB
1623.44/1623.78	c total #watches: 5386093
1635.33/1635.61	c total #propagations: 39070827 / total #impl: 3053478207 (eff. 0.013)
1635.33/1635.61	c #Conflicts:     108000 | #Learnt:      10703 | 0.147
1635.33/1635.61	c total clause space: 545.701MB
1635.33/1635.61	c total #watches: 5351604
1646.02/1646.32	c total #propagations: 39391799 / total #impl: 3086033489 (eff. 0.013)
1646.02/1646.32	c #Conflicts:     109000 | #Learnt:      11703 | 0.146
1646.02/1646.32	c total clause space: 545.701MB
1646.02/1646.32	c total #watches: 5357489
1655.62/1655.95	c total #propagations: 39823860 / total #impl: 3148436371 (eff. 0.013)
1655.62/1655.95	c #Conflicts:     110000 | #Learnt:      12703 | 0.144
1655.62/1655.95	c total clause space: 545.701MB
1655.62/1655.95	c total #watches: 5361946
1665.52/1665.83	c total #propagations: 40256376 / total #impl: 3196202175 (eff. 0.013)
1665.52/1665.83	c #Conflicts:     111000 | #Learnt:      13703 | 0.143
1665.52/1665.83	c total clause space: 545.701MB
1665.52/1665.83	c total #watches: 5366690
1678.22/1678.57	c total #propagations: 40728398 / total #impl: 3244849408 (eff. 0.013)
1678.22/1678.57	c #Conflicts:     112000 | #Learnt:      14703 | 0.142
1678.22/1678.57	c total clause space: 545.701MB
1678.22/1678.57	c total #watches: 5373834
1688.92/1689.26	c total #propagations: 41379955 / total #impl: 3318397299 (eff. 0.012)
1688.92/1689.26	c #Conflicts:     113000 | #Learnt:      15703 | 0.141
1688.92/1689.26	c total clause space: 545.701MB
1688.92/1689.26	c total #watches: 5379308
1699.32/1699.65	c total #propagations: 41909972 / total #impl: 3369443061 (eff. 0.012)
1699.32/1699.65	c GC COLLECT
1699.32/1699.65	c #Conflicts:     114000 | #Learnt:       8698 | 0.139
1699.32/1699.65	c total clause space: 545.701MB
1699.32/1699.65	c total #watches: 5284494
1710.32/1710.61	c total #propagations: 42537004 / total #impl: 3428269039 (eff. 0.012)
1710.32/1710.61	c #Conflicts:     115000 | #Learnt:       9698 | 0.138
1710.32/1710.61	c total clause space: 545.701MB
1710.32/1710.61	c total #watches: 5293760
1722.42/1722.78	c total #propagations: 43125686 / total #impl: 3479306893 (eff. 0.012)
1722.42/1722.78	c #Conflicts:     116000 | #Learnt:      10698 | 0.137
1722.42/1722.78	c total clause space: 545.701MB
1722.42/1722.78	c total #watches: 5304542
1738.92/1739.23	c total #propagations: 43782429 / total #impl: 3558638340 (eff. 0.012)
1738.92/1739.23	c #Conflicts:     117000 | #Learnt:      11698 | 0.136
1738.92/1739.23	c total clause space: 545.701MB
1738.92/1739.23	c total #watches: 5317154
1756.21/1756.51	c total #propagations: 44514418 / total #impl: 3672429548 (eff. 0.012)
1756.21/1756.51	c #Conflicts:     118000 | #Learnt:      12698 | 0.135
1756.21/1756.51	c total clause space: 545.701MB
1756.21/1756.51	c total #watches: 5326100
1770.00/1770.39	c total #propagations: 45268042 / total #impl: 3794353781 (eff. 0.012)
1770.00/1770.39	c #Conflicts:     119000 | #Learnt:      13698 | 0.134
1770.00/1770.39	c total clause space: 545.701MB
1770.00/1770.39	c total #watches: 5333286
1784.50/1784.88	c total #propagations: 45840917 / total #impl: 3890695653 (eff. 0.012)
1784.50/1784.88	c #Conflicts:     120000 | #Learnt:      14698 | 0.132
1784.50/1784.88	c total clause space: 545.701MB
1784.50/1784.88	c total #watches: 5343005

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4101575-1466255701/watcher-4101575-1466255701 -o /tmp/evaluation-result-4101575-1466255701/solver-4101575-1466255701 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466229299-21096 --watchdog 1960 --input HOME/instance-4101575-1466255701.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=24204
running on 4 cores: 1,3,5,7

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.16 2.18 2.18 3/176 24207
/proc/meminfo: memFree=29333352/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 259 0 0 0 0 0 0 0 20 0 1 0 27616275 57319424 8316 33554432000 4194304 6211289 140736697263296 140735619854888 4206551 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 13994 8316 98 493 0 13491 0

[startup+0.100169 s]
/proc/loadavg: 2.16 2.18 2.18 3/176 24207
/proc/meminfo: memFree=29333352/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=62944 CPUtime=0.09 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 1860 0 0 0 9 0 0 0 20 0 1 0 27616275 64454656 12350 33554432000 4194304 6211289 140736697263296 140735619854888 5252520 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 15736 12350 121 493 0 15233 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62944

[startup+0.20035 s]
/proc/loadavg: 2.16 2.18 2.18 3/176 24207
/proc/meminfo: memFree=29333352/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=66328 CPUtime=0.19 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 2362 0 0 0 18 1 0 0 20 0 1 0 27616275 67919872 13029 33554432000 4194304 6211289 140736697263296 140735619854888 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 16582 13029 121 493 0 16079 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 66328

[startup+0.300309 s]
/proc/loadavg: 2.16 2.18 2.18 3/176 24207
/proc/meminfo: memFree=29333352/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=73096 CPUtime=0.29 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 3268 0 0 0 28 1 0 0 20 0 1 0 27616275 74850304 13777 33554432000 4194304 6211289 140736697263296 140735619854888 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 18274 13777 121 493 0 17771 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73096

[startup+0.700241 s]
/proc/loadavg: 2.16 2.18 2.18 3/176 24207
/proc/meminfo: memFree=29333352/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=86628 CPUtime=0.69 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 3700 0 0 0 67 2 0 0 20 0 1 0 27616275 88707072 16448 33554432000 4194304 6211289 140736697263296 140735619854888 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 21657 16448 121 493 0 21154 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86628

[startup+1.50019 s]
/proc/loadavg: 2.16 2.18 2.18 4/177 24208
/proc/meminfo: memFree=29260524/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=113692 CPUtime=1.49 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 4054 0 0 0 146 3 0 0 20 0 1 0 27616275 116420608 22301 33554432000 4194304 6211289 140736697263296 140736697262136 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 28423 22301 121 493 0 27920 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 113692

[startup+3.10024 s]
/proc/loadavg: 2.16 2.18 2.18 4/177 24208
/proc/meminfo: memFree=29229308/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=167820 CPUtime=3.09 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 4760 0 0 0 303 6 0 0 20 0 1 0 27616275 171847680 32982 33554432000 4194304 6211289 140736697263296 140736697262136 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 41955 32982 121 493 0 41452 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 167820

[startup+6.3003 s]
/proc/loadavg: 2.23 2.20 2.18 4/177 24208
/proc/meminfo: memFree=28962308/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=560064 CPUtime=6.29 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 12621 0 0 0 615 14 0 0 20 0 1 0 27616275 573505536 105096 33554432000 4194304 6211289 140736697263296 140736697261176 4216601 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 140016 105096 144 493 0 139513 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 560064

[startup+12.7003 s]
/proc/loadavg: 2.21 2.19 2.18 3/177 24208
/proc/meminfo: memFree=28732836/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=812488 CPUtime=12.69 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 30085 0 0 0 1246 23 0 0 20 0 1 0 27616275 831987712 151732 33554432000 4194304 6211289 140736697263296 140736697262232 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 203122 151732 204 493 0 202619 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 812488

[startup+25.5004 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 24208
/proc/meminfo: memFree=28716888/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=813168 CPUtime=25.48 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 30212 0 0 0 2525 23 0 0 20 0 1 0 27616275 832684032 154925 33554432000 4194304 6211289 140736697263296 140736697261288 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 203292 154925 204 493 0 202789 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 813168

[startup+51.1003 s]
/proc/loadavg: 2.25 2.20 2.18 4/177 24208
/proc/meminfo: memFree=28693680/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=815380 CPUtime=51.08 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 30859 0 0 0 5084 24 0 0 20 0 1 0 27616275 834949120 160682 33554432000 4194304 6211289 140736697263296 140736697261640 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 203845 160682 214 493 0 203342 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 815380

[startup+102.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/177 24209
/proc/meminfo: memFree=28642348/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=949052 CPUtime=102.28 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 31384 0 0 0 10204 24 0 0 20 0 1 0 27616275 971829248 170375 33554432000 4194304 6211289 140736697263296 140736697261640 4209484 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 237263 170375 214 493 0 236760 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 949052

[startup+162.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 24210
/proc/meminfo: memFree=28566492/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=952036 CPUtime=162.26 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 32177 0 0 0 16200 26 0 0 20 0 1 0 27616275 974884864 188542 33554432000 4194304 6211289 140736697263296 140736697261288 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 238009 188542 219 493 0 237506 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 952036

[startup+222.307 s]
/proc/loadavg: 2.27 2.22 2.19 3/177 24211
/proc/meminfo: memFree=28550084/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=952624 CPUtime=222.26 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 32707 0 0 0 22200 26 0 0 20 0 1 0 27616275 975486976 192115 33554432000 4194304 6211289 140736697263296 140736697261640 4243466 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 238156 192115 219 493 0 237653 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 952624

[startup+282.3 s]
/proc/loadavg: 2.32 2.24 2.19 3/176 24212
/proc/meminfo: memFree=28541636/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=955456 CPUtime=282.24 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 33462 0 0 0 28198 26 0 0 20 0 1 0 27616275 978386944 193892 33554432000 4194304 6211289 140736697263296 140736697261016 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 238864 193892 219 493 0 238361 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 955456

[startup+342.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/178 24217
/proc/meminfo: memFree=28537904/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=956108 CPUtime=342.23 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 33608 0 0 0 34197 26 0 0 20 0 1 0 27616275 979054592 194038 33554432000 4194304 6211289 140736697263296 140736697261640 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 239027 194038 219 493 0 238524 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 956108

[startup+402.3 s]
/proc/loadavg: 2.15 2.21 2.18 3/177 24218
/proc/meminfo: memFree=28482232/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=957164 CPUtime=402.23 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 33893 0 0 0 40196 27 0 0 20 0 1 0 27616275 980135936 194323 33554432000 4194304 6211289 140736697263296 140736697261288 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 239291 194323 219 493 0 238788 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 957164

[startup+462.3 s]
/proc/loadavg: 2.20 2.21 2.18 4/177 24219
/proc/meminfo: memFree=28480844/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=958360 CPUtime=462.22 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 34184 0 0 0 46195 27 0 0 20 0 1 0 27616275 981360640 194614 33554432000 4194304 6211289 140736697263296 140736697261288 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 239590 194614 219 493 0 239087 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 958360

[startup+522.3 s]
/proc/loadavg: 2.28 2.23 2.19 3/177 24220
/proc/meminfo: memFree=28432044/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1175060 CPUtime=522.21 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 34907 0 0 0 52192 29 0 0 20 0 1 0 27616275 1203261440 202952 33554432000 4194304 6211289 140736697263296 140736697261640 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 293765 202952 219 493 0 293262 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1175060

[startup+582.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 24221
/proc/meminfo: memFree=28408996/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1175704 CPUtime=582.2 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 35408 0 0 0 58190 30 0 0 20 0 1 0 27616275 1203920896 205143 33554432000 4194304 6211289 140736697263296 140736697261288 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 293926 205143 219 493 0 293423 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1175704


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


[startup+942.3 s]
/proc/loadavg: 2.33 2.25 2.19 3/178 24277
/proc/meminfo: memFree=28803604/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1320592 CPUtime=942.13 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 39244 0 0 0 94182 31 0 0 20 0 1 0 27616275 1352286208 234004 33554432000 4194304 6211289 140736697263296 140736697261288 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 330148 234004 219 493 0 329645 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 1320592

[startup+1002.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/177 24278
/proc/meminfo: memFree=28750184/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1320592 CPUtime=1002.12 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 39265 0 0 0 100181 31 0 0 20 0 1 0 27616275 1352286208 234019 33554432000 4194304 6211289 140736697263296 140736697261640 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 330148 234019 219 493 0 329645 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1320592

[startup+1062.3 s]
/proc/loadavg: 2.26 2.25 2.19 3/177 24279
/proc/meminfo: memFree=28728244/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1320984 CPUtime=1062.11 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 39359 0 0 0 106180 31 0 0 20 0 1 0 27616275 1352687616 234113 33554432000 4194304 6211289 140736697263296 140736697261640 4209497 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 330246 234113 219 493 0 329743 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1320984

[startup+1122.3 s]
/proc/loadavg: 2.14 2.22 2.18 3/177 24280
/proc/meminfo: memFree=28676380/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1321328 CPUtime=1122.1 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 39425 0 0 0 112179 31 0 0 20 0 1 0 27616275 1353039872 234179 33554432000 4194304 6211289 140736697263296 140736697261640 4209503 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 330332 234179 219 493 0 329829 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1321328

[startup+1182.3 s]
/proc/loadavg: 2.41 2.27 2.20 3/177 24281
/proc/meminfo: memFree=28675156/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1321496 CPUtime=1182.09 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 39491 0 0 0 118178 31 0 0 20 0 1 0 27616275 1353211904 234245 33554432000 4194304 6211289 140736697263296 140736697261640 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 330374 234245 219 493 0 329871 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1321496

[startup+1242.3 s]
/proc/loadavg: 2.26 2.25 2.19 4/177 24283
/proc/meminfo: memFree=28665516/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1321700 CPUtime=1242.08 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 39546 0 0 0 124177 31 0 0 20 0 1 0 27616275 1353420800 234763 33554432000 4194304 6211289 140736697263296 140736697261640 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 330425 234763 219 493 0 329922 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1321700

[startup+1302.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/177 24284
/proc/meminfo: memFree=28659588/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1321700 CPUtime=1302.07 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 39546 0 0 0 130176 31 0 0 20 0 1 0 27616275 1353420800 235779 33554432000 4194304 6211289 140736697263296 140736697261640 4209497 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 330425 235779 219 493 0 329922 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1321700

[startup+1362.3 s]
/proc/loadavg: 2.34 2.27 2.20 3/177 24285
/proc/meminfo: memFree=28651120/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1321700 CPUtime=1362.06 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 39546 0 0 0 136175 31 0 0 20 0 1 0 27616275 1353420800 235988 33554432000 4194304 6211289 140736697263296 140736697261640 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 330425 235988 219 493 0 329922 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1321700

[startup+1422.3 s]
/proc/loadavg: 2.29 2.27 2.20 3/177 24286
/proc/meminfo: memFree=28649460/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1321900 CPUtime=1422.06 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 39594 0 0 0 142175 31 0 0 20 0 1 0 27616275 1353625600 236036 33554432000 4194304 6211289 140736697263296 140736697261640 4209484 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 330475 236036 219 493 0 329972 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1321900

[startup+1482.3 s]
/proc/loadavg: 2.15 2.23 2.18 3/177 24287
/proc/meminfo: memFree=28648084/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1322508 CPUtime=1482.04 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 39730 0 0 0 148173 31 0 0 20 0 1 0 27616275 1354248192 236172 33554432000 4194304 6211289 140736697263296 140736697261640 4209384 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 330627 236172 219 493 0 330124 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1322508

[startup+1542.31 s]
/proc/loadavg: 2.20 2.23 2.18 3/178 24292
/proc/meminfo: memFree=28647692/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1323148 CPUtime=1542.04 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 39862 0 0 0 154173 31 0 0 20 0 1 0 27616275 1354903552 236304 33554432000 4194304 6211289 140736697263296 140736697261640 4209507 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 330787 236304 219 493 0 330284 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1323148

[startup+1602.3 s]
/proc/loadavg: 2.14 2.20 2.18 4/177 24293
/proc/meminfo: memFree=28645804/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1323148 CPUtime=1602.03 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 39908 0 0 0 160171 32 0 0 20 0 1 0 27616275 1354903552 236350 33554432000 4194304 6211289 140736697263296 140736697261640 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 330787 236350 219 493 0 330284 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1323148

[startup+1662.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/177 24294
/proc/meminfo: memFree=28636084/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1323832 CPUtime=1662.02 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 40063 0 0 0 166170 32 0 0 20 0 1 0 27616275 1355603968 236505 33554432000 4194304 6211289 140736697263296 140736697261640 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 330958 236505 219 493 0 330455 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1323832

[startup+1722.3 s]
/proc/loadavg: 2.27 2.23 2.18 3/177 24295
/proc/meminfo: memFree=28635640/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1324152 CPUtime=1722.01 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 40122 0 0 0 172169 32 0 0 20 0 1 0 27616275 1355931648 236564 33554432000 4194304 6211289 140736697263296 140736697261640 4209221 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 331038 236564 219 493 0 330535 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1324152

[startup+1782.3 s]
/proc/loadavg: 2.34 2.26 2.19 3/177 24296
/proc/meminfo: memFree=28633200/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1324152 CPUtime=1782 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 40134 0 0 0 178168 32 0 0 20 0 1 0 27616275 1355931648 236576 33554432000 4194304 6211289 140736697263296 140736697261640 4209380 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 331038 236576 219 493 0 330535 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1324152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.31 2.26 2.19 3/177 24297
/proc/meminfo: memFree=28633436/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1324152 CPUtime=1800 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 40134 0 0 0 179968 32 0 0 20 0 1 0 27616275 1355931648 236576 33554432000 4194304 6211289 140736697263296 140736697261640 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 331038 236576 219 493 0 330535 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1324152

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24207 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.31 2.26 2.19 3/177 24297
/proc/meminfo: memFree=28633436/32872528 swapFree=1499884/1696108
[pid=24207] ppid=24204 vsize=1324152 CPUtime=1800 cores=1,3,5,7
/proc/24207/stat : 24207 (cdcl-cuttingpla) R 24204 24207 21079 0 -1 4202496 40134 0 0 0 179968 32 0 0 20 0 1 0 27616275 1355931648 236576 33554432000 4194304 6211289 140736697263296 140736697261640 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24207/statm: 331038 236576 219 493 0 330535 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1324152

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.68
CPU system time (s): 0.32695
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1324152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.32695
maximum resident set size= 946304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40134
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= 40
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48632 second user time and 6.99394 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 15:15:05
IDJOB=4101575
IDBENCH=1767
IDSOLVER=2549
FILE ID=node137/4101575-1466255701
RUNJOBID= node137-1466229299-21096
PBS_JOBID= 19918171
Free space on /tmp= 71588 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum3.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101575-1466255701/watcher-4101575-1466255701 -o /tmp/evaluation-result-4101575-1466255701/solver-4101575-1466255701 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466229299-21096 --watchdog 1960 --input HOME/instance-4101575-1466255701.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 7834f8d111acea7ee9f1805313462ca3
RANDOM SEED=1859420642

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29333128 kB
Buffers:          136324 kB
Cached:           319524 kB
SwapCached:         1268 kB
Active:           851660 kB
Inactive:         242556 kB
Active(anon):     639692 kB
Inactive(anon):     1024 kB
Active(file):     211968 kB
Inactive(file):   241532 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100004 kB
Dirty:            118012 kB
Writeback:             0 kB
AnonPages:       2333892 kB
Mapped:             8000 kB
Shmem:                 0 kB
Slab:             615312 kB
SReclaimable:      55920 kB
SUnreclaim:       559392 kB
KernelStack:        1424 kB
PageTables:         8536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2473240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    806912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71584 MiB
End job on node137 at 2016-06-18 15:45:06