Trace number 4101976

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 linear search 2016-05-01? (TO) 1800.02 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb
MD5SUMb55f7a8b0d45bfbc16cf27babcf41177
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark673
Best CPU time to get the best result obtained on this benchmark1800.58
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 474
Optimality of the best value was proved NO
Number of variables15504
Total number of constraints1416
Number of constraints which are clauses168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1248
Minimum length of a constraint2
Maximum length of a constraint311
Number of terms in the objective function 8784
Biggest coefficient in the objective function 1523
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 531096
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 531096
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
0.00/0.00	c * #variable= 15504 #constraint= 1416
1.79/1.88	c #Conflicts:       1000 | #Learnt:       1000 | 2.375
1.79/1.88	c total clause space: 29.637MB
1.79/1.88	c total #watches: 357508
10.69/10.77	c total #propagations: 652098 / total #impl: 18203656 (eff. 0.036)
10.69/10.77	c #Conflicts:       2000 | #Learnt:       2016 | 4.546
10.69/10.77	c total clause space: 48.1602MB
10.69/10.77	c total #watches: 826426
21.00/21.01	c total #propagations: 2032229 / total #impl: 57532638 (eff. 0.035)
21.00/21.01	c GC COLLECT
21.00/21.01	c #Conflicts:       3000 | #Learnt:       2052 | 3.541
21.00/21.01	c total clause space: 78.2603MB
21.00/21.01	c total #watches: 1010636
29.59/29.67	c total #propagations: 4458113 / total #impl: 90343626 (eff. 0.049)
29.59/29.67	c #Conflicts:       4000 | #Learnt:       3062 | 2.759
29.59/29.67	c total clause space: 127.173MB
29.59/29.67	c total #watches: 1191554
34.98/35.07	c total #propagations: 6880289 / total #impl: 112968392 (eff. 0.061)
34.98/35.07	c GC COLLECT
34.98/35.07	c #Conflicts:       5000 | #Learnt:       2435 | 2.352
34.98/35.07	c total clause space: 127.173MB
34.98/35.07	c total #watches: 1216047
42.69/42.72	c total #propagations: 8638286 / total #impl: 130451818 (eff. 0.066)
42.69/42.72	c #Conflicts:       6000 | #Learnt:       3434 | 2.207
42.69/42.72	c total clause space: 127.173MB
42.69/42.72	c total #watches: 1462347
50.19/50.23	c total #propagations: 10106942 / total #impl: 146352106 (eff. 0.069)
50.19/50.23	c GC COLLECT
50.19/50.23	c #Conflicts:       7000 | #Learnt:       2369 | 1.893
50.19/50.23	c total clause space: 127.173MB
50.19/50.23	c total #watches: 1054927
56.09/56.17	c total #propagations: 10156308 / total #impl: 152588047 (eff. 0.067)
56.09/56.17	c #Conflicts:       8000 | #Learnt:       3366 | 1.754
56.09/56.17	c total clause space: 127.173MB
56.09/56.17	c total #watches: 1104361
64.28/64.34	c total #propagations: 11219043 / total #impl: 166891251 (eff. 0.067)
64.28/64.34	c #Conflicts:       9000 | #Learnt:       4366 | 1.891
64.28/64.34	c total clause space: 127.173MB
64.28/64.34	c total #watches: 1262848
72.28/72.39	c total #propagations: 13159426 / total #impl: 182353979 (eff. 0.072)
72.28/72.39	c GC COLLECT
72.28/72.39	c #Conflicts:      10000 | #Learnt:       2883 | 2.089
72.28/72.39	c total clause space: 127.173MB
72.28/72.39	c total #watches: 1044749
79.18/79.26	c total #propagations: 14979307 / total #impl: 198655545 (eff. 0.075)
79.18/79.26	c #Conflicts:      11000 | #Learnt:       3883 | 1.955
79.18/79.26	c total clause space: 127.173MB
79.18/79.26	c total #watches: 1182036
81.38/81.47	c total #propagations: 18517247 / total #impl: 207110623 (eff. 0.089)
81.38/81.47	c #Conflicts:      12000 | #Learnt:       4880 | 1.869
81.38/81.47	c total clause space: 127.173MB
81.38/81.47	c total #watches: 1241664
83.87/83.99	c total #propagations: 19210512 / total #impl: 212883818 (eff. 0.090)
83.87/83.99	c #Conflicts:      13000 | #Learnt:       5880 | 2.017
83.87/83.99	c total clause space: 127.173MB
83.87/83.99	c total #watches: 1383587
90.87/90.93	c total #propagations: 20054425 / total #impl: 219323465 (eff. 0.091)
90.87/90.93	c GC COLLECT
90.87/90.93	c #Conflicts:      14000 | #Learnt:       4064 | 1.932
90.87/90.93	c total clause space: 127.173MB
90.87/90.93	c total #watches: 1203627
97.37/97.49	c total #propagations: 22264203 / total #impl: 236079598 (eff. 0.094)
97.37/97.49	c #Conflicts:      15000 | #Learnt:       5064 | 2.020
97.37/97.49	c total clause space: 127.173MB
97.37/97.49	c total #watches: 1252884
105.37/105.44	c total #propagations: 25060224 / total #impl: 250963512 (eff. 0.100)
105.37/105.44	c #Conflicts:      16000 | #Learnt:       6063 | 1.934
105.37/105.44	c total clause space: 206.656MB
105.37/105.44	c total #watches: 1366140
111.46/111.50	c total #propagations: 27924610 / total #impl: 269580405 (eff. 0.104)
111.46/111.50	c GC COLLECT
111.46/111.50	c #Conflicts:      17000 | #Learnt:       3897 | 2.249
111.46/111.50	c total clause space: 206.656MB
111.46/111.50	c total #watches: 1125856
117.46/117.52	c total #propagations: 30940115 / total #impl: 289989550 (eff. 0.107)
117.46/117.52	c #Conflicts:      18000 | #Learnt:       4897 | 2.129
117.46/117.52	c total clause space: 206.656MB
117.46/117.52	c total #watches: 1218783
124.06/124.10	c total #propagations: 34401687 / total #impl: 305910572 (eff. 0.112)
124.06/124.10	c #Conflicts:      19000 | #Learnt:       5896 | 2.208
124.06/124.10	c total clause space: 206.656MB
124.06/124.10	c total #watches: 1293039
130.16/130.27	c total #propagations: 37862787 / total #impl: 321455480 (eff. 0.118)
130.16/130.27	c #Conflicts:      20000 | #Learnt:       6896 | 2.101
130.16/130.27	c total clause space: 206.656MB
130.16/130.27	c total #watches: 1371237
137.26/137.33	c total #propagations: 40424158 / total #impl: 334215905 (eff. 0.121)
137.26/137.33	c GC COLLECT
137.26/137.33	c #Conflicts:      21000 | #Learnt:       4384 | 2.222
137.26/137.33	c total clause space: 206.656MB
137.26/137.33	c total #watches: 1153490
143.56/143.60	c total #propagations: 43083538 / total #impl: 354405552 (eff. 0.122)
143.56/143.60	c #Conflicts:      22000 | #Learnt:       5384 | 2.154
143.56/143.60	c total clause space: 206.656MB
143.56/143.60	c total #watches: 1347141
151.56/151.69	c total #propagations: 44839956 / total #impl: 363798152 (eff. 0.123)
151.56/151.69	c #Conflicts:      23000 | #Learnt:       6384 | 2.186
151.56/151.69	c total clause space: 206.656MB
151.56/151.69	c total #watches: 1601975
162.56/162.63	c total #propagations: 45995807 / total #impl: 378395179 (eff. 0.122)
162.56/162.63	c #Conflicts:      24000 | #Learnt:       7383 | 2.186
162.56/162.63	c total clause space: 206.656MB
162.56/162.63	c total #watches: 1834057
178.17/178.21	c total #propagations: 46256433 / total #impl: 405644727 (eff. 0.114)
178.17/178.21	c GC COLLECT
178.17/178.21	c #Conflicts:      25000 | #Learnt:       4578 | 2.224
178.17/178.21	c total clause space: 206.656MB
178.17/178.21	c total #watches: 1592523
193.75/193.83	c total #propagations: 48273781 / total #impl: 422098558 (eff. 0.114)
193.75/193.83	c #Conflicts:      26000 | #Learnt:       5578 | 2.171
193.75/193.83	c total clause space: 206.656MB
193.75/193.83	c total #watches: 1761260
208.05/208.12	c total #propagations: 49371764 / total #impl: 434327766 (eff. 0.114)
208.05/208.12	c #Conflicts:      27000 | #Learnt:       6578 | 2.148
208.05/208.12	c total clause space: 206.656MB
208.05/208.12	c total #watches: 1837348
224.95/225.04	c total #propagations: 52560286 / total #impl: 450034434 (eff. 0.117)
224.95/225.04	c #Conflicts:      28000 | #Learnt:       7577 | 2.597
224.95/225.04	c total clause space: 206.656MB
224.95/225.04	c total #watches: 1950918
239.24/239.37	c total #propagations: 54881828 / total #impl: 466882124 (eff. 0.118)
239.24/239.37	c GC COLLECT
239.24/239.37	c #Conflicts:      29000 | #Learnt:       4479 | 2.515
239.24/239.37	c total clause space: 335.816MB
239.24/239.37	c total #watches: 1422755
248.84/248.93	c total #propagations: 58225089 / total #impl: 499253887 (eff. 0.117)
248.84/248.93	c #Conflicts:      30000 | #Learnt:       5478 | 2.484
248.84/248.93	c total clause space: 335.816MB
248.84/248.93	c total #watches: 1560253
258.34/258.40	c total #propagations: 61822116 / total #impl: 517668507 (eff. 0.119)
258.34/258.40	c #Conflicts:      31000 | #Learnt:       6478 | 2.432
258.34/258.40	c total clause space: 335.816MB
258.34/258.40	c total #watches: 1638710
269.55/269.65	c total #propagations: 65250677 / total #impl: 527601202 (eff. 0.124)
269.55/269.65	c #Conflicts:      32000 | #Learnt:       7478 | 2.551
269.55/269.65	c total clause space: 335.816MB
269.55/269.65	c total #watches: 1697814
280.34/280.43	c total #propagations: 68825709 / total #impl: 540573774 (eff. 0.127)
280.34/280.43	c #Conflicts:      33000 | #Learnt:       8478 | 2.550
280.34/280.43	c total clause space: 335.816MB
280.34/280.43	c total #watches: 1863851
290.74/290.88	c total #propagations: 70868187 / total #impl: 552425573 (eff. 0.128)
290.74/290.88	c GC COLLECT
290.74/290.88	c #Conflicts:      34000 | #Learnt:       5074 | 2.492
290.74/290.88	c total clause space: 335.816MB
290.74/290.88	c total #watches: 1177602
299.24/299.37	c total #propagations: 71104629 / total #impl: 567424486 (eff. 0.125)
299.24/299.37	c #Conflicts:      35000 | #Learnt:       6074 | 2.432
299.24/299.37	c total clause space: 335.816MB
299.24/299.37	c total #watches: 1390584
308.74/308.84	c total #propagations: 71212162 / total #impl: 578588087 (eff. 0.123)
308.74/308.84	c #Conflicts:      36000 | #Learnt:       7074 | 2.367
308.74/308.84	c total clause space: 335.816MB
308.74/308.84	c total #watches: 1471984
319.83/319.92	c total #propagations: 71337989 / total #impl: 591435242 (eff. 0.121)
319.83/319.92	c #Conflicts:      37000 | #Learnt:       8074 | 2.304
319.83/319.92	c total clause space: 335.816MB
319.83/319.92	c total #watches: 1521549
330.53/330.65	c total #propagations: 71412226 / total #impl: 606269700 (eff. 0.118)
330.53/330.65	c #Conflicts:      38000 | #Learnt:       9074 | 2.247
330.53/330.65	c total clause space: 335.816MB
330.53/330.65	c total #watches: 1681603
344.24/344.34	c total #propagations: 71480514 / total #impl: 625423685 (eff. 0.114)
344.24/344.34	c GC COLLECT
344.24/344.34	c #Conflicts:      39000 | #Learnt:       5366 | 2.227
344.24/344.34	c total clause space: 335.816MB
344.24/344.34	c total #watches: 1477902
349.62/349.72	c total #propagations: 71593833 / total #impl: 643984473 (eff. 0.111)
349.62/349.72	c #Conflicts:      40000 | #Learnt:       6366 | 2.171
349.62/349.72	c total clause space: 335.816MB
349.62/349.72	c total #watches: 1695850
357.83/357.98	c total #propagations: 71603954 / total #impl: 652848030 (eff. 0.110)
357.83/357.98	c #Conflicts:      41000 | #Learnt:       7366 | 2.118
357.83/357.98	c total clause space: 335.816MB
357.83/357.98	c total #watches: 1911790
369.64/369.76	c total #propagations: 71615552 / total #impl: 678652670 (eff. 0.106)
369.64/369.76	c #Conflicts:      42000 | #Learnt:       8366 | 2.068
369.64/369.76	c total clause space: 335.816MB
369.64/369.76	c total #watches: 2126555
391.42/391.57	c total #propagations: 71630052 / total #impl: 720898489 (eff. 0.099)
391.42/391.57	c #Conflicts:      43000 | #Learnt:       9366 | 2.080
391.42/391.57	c total clause space: 335.816MB
391.42/391.57	c total #watches: 2350458
401.53/401.62	c total #propagations: 71640463 / total #impl: 753822051 (eff. 0.095)
401.53/401.62	c GC COLLECT
401.53/401.62	c #Conflicts:      44000 | #Learnt:       5376 | 2.207
401.53/401.62	c total clause space: 335.816MB
401.53/401.62	c total #watches: 1769589
431.92/432.06	c total #propagations: 71643981 / total #impl: 770807860 (eff. 0.093)
431.92/432.06	c #Conflicts:      45000 | #Learnt:       6376 | 2.411
431.92/432.06	c total clause space: 335.816MB
431.92/432.06	c total #watches: 1837157
492.11/492.21	c total #propagations: 71683443 / total #impl: 803302879 (eff. 0.089)
492.11/492.21	c #Conflicts:      46000 | #Learnt:       7376 | 2.634
492.11/492.21	c total clause space: 335.816MB
492.11/492.21	c total #watches: 2116946
531.80/531.94	c total #propagations: 73404053 / total #impl: 853093488 (eff. 0.086)
531.80/531.94	c #Conflicts:      47000 | #Learnt:       8376 | 2.580
531.80/531.94	c total clause space: 335.816MB
531.80/531.94	c total #watches: 2303464
565.89/566.06	c total #propagations: 76080794 / total #impl: 878423547 (eff. 0.087)
565.89/566.06	c #Conflicts:      48000 | #Learnt:       9376 | 2.539
565.89/566.06	c total clause space: 335.816MB
565.89/566.06	c total #watches: 2521986
627.89/628.07	c total #propagations: 78680299 / total #impl: 916861638 (eff. 0.086)
627.89/628.07	c #Conflicts:      49000 | #Learnt:      10375 | 2.559
627.89/628.07	c total clause space: 335.816MB
627.89/628.07	c total #watches: 2818947
674.19/674.32	c total #propagations: 80535331 / total #impl: 957618326 (eff. 0.084)
674.19/674.32	c GC COLLECT
674.19/674.32	c #Conflicts:      50000 | #Learnt:       6066 | 2.559
674.19/674.32	c total clause space: 335.816MB
674.19/674.32	c total #watches: 1807702
728.47/728.67	c total #propagations: 81722191 / total #impl: 987455773 (eff. 0.083)
728.47/728.67	c #Conflicts:      51000 | #Learnt:       7066 | 2.557
728.47/728.67	c total clause space: 335.816MB
728.47/728.67	c total #watches: 2084251
776.66/776.81	c total #propagations: 84122376 / total #impl: 1035507809 (eff. 0.081)
776.66/776.81	c #Conflicts:      52000 | #Learnt:       8066 | 2.508
776.66/776.81	c total clause space: 335.816MB
776.66/776.81	c total #watches: 2345529
820.86/821.03	c total #propagations: 87311766 / total #impl: 1070340219 (eff. 0.082)
820.86/821.03	c #Conflicts:      53000 | #Learnt:       9066 | 2.461
820.86/821.03	c total clause space: 335.816MB
820.86/821.03	c total #watches: 2567104
871.25/871.43	c total #propagations: 90587051 / total #impl: 1098926481 (eff. 0.082)
871.25/871.43	c #Conflicts:      54000 | #Learnt:      10066 | 2.509
871.25/871.43	c total clause space: 335.816MB
871.25/871.43	c total #watches: 2862427
947.44/947.62	c total #propagations: 92960670 / total #impl: 1125076484 (eff. 0.083)
947.44/947.62	c #Conflicts:      55000 | #Learnt:      11066 | 2.536
947.44/947.62	c total clause space: 335.816MB
947.44/947.62	c total #watches: 2982155
1011.94/1012.11	c total #propagations: 94126671 / total #impl: 1154390013 (eff. 0.082)
1011.94/1012.11	c GC COLLECT
1011.94/1012.11	c #Conflicts:      56000 | #Learnt:       6471 | 2.535
1011.94/1012.11	c total clause space: 335.816MB
1011.94/1012.11	c total #watches: 2095600
1074.82/1075.00	c total #propagations: 96838946 / total #impl: 1185199713 (eff. 0.082)
1074.82/1075.00	c #Conflicts:      57000 | #Learnt:       7471 | 2.701
1074.82/1075.00	c total clause space: 335.816MB
1074.82/1075.00	c total #watches: 2357084
1121.12/1121.39	c total #propagations: 98489723 / total #impl: 1218907321 (eff. 0.081)
1121.12/1121.39	c #Conflicts:      58000 | #Learnt:       8471 | 2.767
1121.12/1121.39	c total clause space: 335.816MB
1121.12/1121.39	c total #watches: 2588417
1153.31/1153.59	c total #propagations: 100849969 / total #impl: 1239754110 (eff. 0.081)
1153.31/1153.59	c #Conflicts:      59000 | #Learnt:       9471 | 2.745
1153.31/1153.59	c total clause space: 335.816MB
1153.31/1153.59	c total #watches: 2752798
1195.10/1195.32	c total #propagations: 101365697 / total #impl: 1247995724 (eff. 0.081)
1195.10/1195.32	c #Conflicts:      60000 | #Learnt:      10471 | 2.733
1195.10/1195.32	c total clause space: 335.816MB
1195.10/1195.32	c total #watches: 2843888
1239.20/1239.41	c total #propagations: 104364111 / total #impl: 1261573455 (eff. 0.083)
1239.20/1239.41	c #Conflicts:      61000 | #Learnt:      11471 | 2.728
1239.20/1239.41	c total clause space: 335.816MB
1239.20/1239.41	c total #watches: 2945433
1260.99/1261.25	c total #propagations: 107696098 / total #impl: 1280125793 (eff. 0.084)
1260.99/1261.25	c GC COLLECT
1260.99/1261.25	c #Conflicts:      62000 | #Learnt:       6564 | 2.838
1260.99/1261.25	c total clause space: 335.816MB
1260.99/1261.25	c total #watches: 1735123
1269.79/1270.06	c total #propagations: 110766626 / total #impl: 1292970435 (eff. 0.086)
1269.79/1270.06	c #Conflicts:      63000 | #Learnt:       7564 | 2.798
1269.79/1270.06	c total clause space: 335.816MB
1269.79/1270.06	c total #watches: 1847681
1282.59/1282.88	c total #propagations: 113251764 / total #impl: 1303360186 (eff. 0.087)
1282.59/1282.88	c #Conflicts:      64000 | #Learnt:       8564 | 2.756
1282.59/1282.88	c total clause space: 335.816MB
1282.59/1282.88	c total #watches: 1943470
1303.58/1303.81	c total #propagations: 113336268 / total #impl: 1317636671 (eff. 0.086)
1303.58/1303.81	c #Conflicts:      65000 | #Learnt:       9564 | 2.829
1303.58/1303.81	c total clause space: 335.816MB
1303.58/1303.81	c total #watches: 2161670
1328.69/1328.98	c total #propagations: 114733946 / total #impl: 1337165875 (eff. 0.086)
1328.69/1328.98	c #Conflicts:      66000 | #Learnt:      10564 | 2.838
1328.69/1328.98	c total clause space: 335.816MB
1328.69/1328.98	c total #watches: 2326247
1341.38/1341.68	c total #propagations: 116928708 / total #impl: 1356738168 (eff. 0.086)
1341.38/1341.68	c #Conflicts:      67000 | #Learnt:      11564 | 2.798
1341.38/1341.68	c total clause space: 335.816MB
1341.38/1341.68	c total #watches: 2479481
1355.18/1355.44	c total #propagations: 117412670 / total #impl: 1365349079 (eff. 0.086)
1355.18/1355.44	c #Conflicts:      68000 | #Learnt:      12564 | 2.833
1355.18/1355.44	c total clause space: 335.816MB
1355.18/1355.44	c total #watches: 2593342
1371.67/1371.93	c total #propagations: 119299903 / total #impl: 1373517487 (eff. 0.087)
1371.67/1371.93	c GC COLLECT
1371.67/1371.93	c #Conflicts:      69000 | #Learnt:       7362 | 3.027
1371.67/1371.93	c total clause space: 335.816MB
1371.67/1371.93	c total #watches: 1828739
1387.87/1388.13	c total #propagations: 121589368 / total #impl: 1390668810 (eff. 0.087)
1387.87/1388.13	c #Conflicts:      70000 | #Learnt:       8362 | 3.001
1387.87/1388.13	c total clause space: 335.816MB
1387.87/1388.13	c total #watches: 1982874
1396.57/1396.82	c total #propagations: 122664374 / total #impl: 1404548204 (eff. 0.087)
1396.57/1396.82	c #Conflicts:      71000 | #Learnt:       9362 | 2.960
1396.57/1396.82	c total clause space: 335.816MB
1396.57/1396.82	c total #watches: 2061205
1409.17/1409.43	c total #propagations: 123511138 / total #impl: 1410862138 (eff. 0.088)
1409.17/1409.43	c #Conflicts:      72000 | #Learnt:      10362 | 2.919
1409.17/1409.43	c total clause space: 335.816MB
1409.17/1409.43	c total #watches: 2142966
1431.76/1432.04	c total #propagations: 126748892 / total #impl: 1428633851 (eff. 0.089)
1431.76/1432.04	c #Conflicts:      73000 | #Learnt:      11362 | 2.918
1431.76/1432.04	c total clause space: 335.816MB
1431.76/1432.04	c total #watches: 2246061
1451.16/1451.46	c total #propagations: 129528470 / total #impl: 1456569089 (eff. 0.089)
1451.16/1451.46	c #Conflicts:      74000 | #Learnt:      12362 | 2.954
1451.16/1451.46	c total clause space: 335.816MB
1451.16/1451.46	c total #watches: 2370597
1463.76/1464.07	c total #propagations: 130964382 / total #impl: 1478209020 (eff. 0.089)
1463.76/1464.07	c GC COLLECT
1463.76/1464.07	c #Conflicts:      75000 | #Learnt:       6863 | 2.919
1463.76/1464.07	c total clause space: 335.816MB
1463.76/1464.07	c total #watches: 1610450
1477.96/1478.23	c total #propagations: 131177780 / total #impl: 1484733666 (eff. 0.088)
1477.96/1478.23	c #Conflicts:      76000 | #Learnt:       7863 | 2.896
1477.96/1478.23	c total clause space: 335.816MB
1477.96/1478.23	c total #watches: 1780657
1491.56/1491.86	c total #propagations: 131718594 / total #impl: 1495885081 (eff. 0.088)
1491.56/1491.86	c #Conflicts:      77000 | #Learnt:       8863 | 2.888
1491.56/1491.86	c total clause space: 335.816MB
1491.56/1491.86	c total #watches: 1921545
1508.96/1509.28	c total #propagations: 132960294 / total #impl: 1511384585 (eff. 0.088)
1508.96/1509.28	c #Conflicts:      78000 | #Learnt:       9863 | 3.536
1508.96/1509.28	c total clause space: 335.816MB
1508.96/1509.28	c total #watches: 2099094
1525.95/1526.20	c total #propagations: 135116281 / total #impl: 1532992314 (eff. 0.088)
1525.95/1526.20	c #Conflicts:      79000 | #Learnt:      10863 | 3.679
1525.95/1526.20	c total clause space: 335.816MB
1525.95/1526.20	c total #watches: 2191626
1544.74/1545.00	c total #propagations: 137679723 / total #impl: 1553111628 (eff. 0.089)
1544.74/1545.00	c #Conflicts:      80000 | #Learnt:      11863 | 3.913
1544.74/1545.00	c total clause space: 335.816MB
1544.74/1545.00	c total #watches: 2302731
1567.14/1567.46	c total #propagations: 140213264 / total #impl: 1572529433 (eff. 0.089)
1567.14/1567.46	c #Conflicts:      81000 | #Learnt:      12863 | 3.908
1567.14/1567.46	c total clause space: 335.816MB
1567.14/1567.46	c total #watches: 2383678
1587.84/1588.13	c total #propagations: 143337879 / total #impl: 1594038808 (eff. 0.090)
1587.84/1588.13	c GC COLLECT
1587.84/1588.13	c #Conflicts:      82000 | #Learnt:       7057 | 3.992
1587.84/1588.13	c total clause space: 335.816MB
1587.84/1588.13	c total #watches: 1567184
1603.14/1603.40	c total #propagations: 144991636 / total #impl: 1616617159 (eff. 0.090)
1603.14/1603.40	c #Conflicts:      83000 | #Learnt:       8057 | 3.953
1603.14/1603.40	c total clause space: 335.816MB
1603.14/1603.40	c total #watches: 1615696
1620.33/1620.69	c total #propagations: 147482843 / total #impl: 1640806943 (eff. 0.090)
1620.33/1620.69	c #Conflicts:      84000 | #Learnt:       9057 | 3.909
1620.33/1620.69	c total clause space: 335.816MB
1620.33/1620.69	c total #watches: 1692342
1632.43/1632.74	c total #propagations: 148491004 / total #impl: 1655942830 (eff. 0.090)
1632.43/1632.74	c #Conflicts:      85000 | #Learnt:      10057 | 3.863
1632.43/1632.74	c total clause space: 335.816MB
1632.43/1632.74	c total #watches: 1754163
1648.64/1648.94	c total #propagations: 148672076 / total #impl: 1664276128 (eff. 0.089)
1648.64/1648.94	c #Conflicts:      86000 | #Learnt:      11056 | 3.819
1648.64/1648.94	c total clause space: 335.816MB
1648.64/1648.94	c total #watches: 1825548
1656.33/1656.67	c total #propagations: 148868802 / total #impl: 1673947135 (eff. 0.089)
1656.33/1656.67	c #Conflicts:      87000 | #Learnt:      12056 | 3.775
1656.33/1656.67	c total clause space: 335.816MB
1656.33/1656.67	c total #watches: 1907569
1665.53/1665.83	c total #propagations: 148907665 / total #impl: 1684694687 (eff. 0.088)
1665.53/1665.83	c #Conflicts:      88000 | #Learnt:      13056 | 3.732
1665.53/1665.83	c total clause space: 335.816MB
1665.53/1665.83	c total #watches: 1989517
1675.82/1676.13	c total #propagations: 148940574 / total #impl: 1705128738 (eff. 0.087)
1675.82/1676.13	c #Conflicts:      89000 | #Learnt:      14056 | 3.690
1675.82/1676.13	c total clause space: 335.816MB
1675.82/1676.13	c total #watches: 2071582
1686.52/1686.86	c total #propagations: 148972598 / total #impl: 1734769565 (eff. 0.086)
1686.52/1686.86	c GC COLLECT
1686.52/1686.86	c #Conflicts:      90000 | #Learnt:       7978 | 3.650
1686.52/1686.86	c total clause space: 335.816MB
1686.52/1686.86	c total #watches: 1174161
1695.42/1695.79	c total #propagations: 149016161 / total #impl: 1763283921 (eff. 0.085)
1695.42/1695.79	c #Conflicts:      91000 | #Learnt:       8978 | 3.610
1695.42/1695.79	c total clause space: 335.816MB
1695.42/1695.79	c total #watches: 1237191
1708.32/1708.63	c total #propagations: 149086661 / total #impl: 1769483041 (eff. 0.084)
1708.32/1708.63	c #Conflicts:      92000 | #Learnt:       9978 | 3.571
1708.32/1708.63	c total clause space: 335.816MB
1708.32/1708.63	c total #watches: 1288299
1723.52/1723.86	c total #propagations: 149157043 / total #impl: 1776696736 (eff. 0.084)
1723.52/1723.86	c #Conflicts:      93000 | #Learnt:      10978 | 3.532
1723.52/1723.86	c total clause space: 335.816MB
1723.52/1723.86	c total #watches: 1334665
1739.41/1739.70	c total #propagations: 149218452 / total #impl: 1785277699 (eff. 0.084)
1739.41/1739.70	c #Conflicts:      94000 | #Learnt:      11978 | 3.495
1739.41/1739.70	c total clause space: 335.816MB
1739.41/1739.70	c total #watches: 1390958
1757.11/1757.43	c total #propagations: 149292313 / total #impl: 1795962084 (eff. 0.083)
1757.11/1757.43	c #Conflicts:      95000 | #Learnt:      12978 | 3.458
1757.11/1757.43	c total clause space: 335.816MB
1757.11/1757.43	c total #watches: 1437842
1768.01/1768.31	c total #propagations: 149366506 / total #impl: 1808947904 (eff. 0.083)
1768.01/1768.31	c #Conflicts:      96000 | #Learnt:      13978 | 3.422
1768.01/1768.31	c total clause space: 335.816MB
1768.01/1768.31	c total #watches: 1498965
1779.91/1780.29	c total #propagations: 149428024 / total #impl: 1818718451 (eff. 0.082)
1779.91/1780.29	c #Conflicts:      97000 | #Learnt:      14978 | 3.387
1779.91/1780.29	c total clause space: 335.816MB
1779.91/1780.29	c total #watches: 1539985
1789.11/1789.47	c total #propagations: 149502590 / total #impl: 1829606355 (eff. 0.082)
1789.11/1789.47	c GC COLLECT
1789.11/1789.47	c #Conflicts:      98000 | #Learnt:       8577 | 3.352
1789.11/1789.47	c total clause space: 335.816MB
1789.11/1789.47	c total #watches: 920382
1799.41/1799.72	c total #propagations: 149570017 / total #impl: 1841621507 (eff. 0.081)
1799.41/1799.72	c #Conflicts:      99000 | #Learnt:       9577 | 3.318
1799.41/1799.72	c total clause space: 335.816MB
1799.41/1799.72	c total #watches: 969287

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-4101976-1466257116/watcher-4101976-1466257116 -o /tmp/evaluation-result-4101976-1466257116/solver-4101976-1466257116 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466229594-24204 --watchdog 1960 --input HOME/instance-4101976-1466257116.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=27296
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.22 2.21 2.20 3/176 27299
/proc/meminfo: memFree=29891276/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 27759990 29810688 5268 33554432000 4194304 6201397 140735995737232 140737085712504 4211056 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 7278 5268 130 491 0 6777 0

[startup+0.100146 s]
/proc/loadavg: 2.22 2.21 2.20 3/176 27299
/proc/meminfo: memFree=29891276/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=34760 CPUtime=0.09 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 1343 0 0 0 8 1 0 0 20 0 1 0 27759990 35594240 7042 33554432000 4194304 6201397 140735995737232 140737085712504 4198109 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 8690 7042 146 491 0 8189 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34760

[startup+0.200335 s]
/proc/loadavg: 2.22 2.21 2.20 3/176 27299
/proc/meminfo: memFree=29891276/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=34884 CPUtime=0.19 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 1426 0 0 0 18 1 0 0 20 0 1 0 27759990 35721216 7617 33554432000 4194304 6201397 140735995737232 140737085712504 4238893 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 8721 7617 146 491 0 8220 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34884

[startup+0.300268 s]
/proc/loadavg: 2.22 2.21 2.20 3/176 27299
/proc/meminfo: memFree=29891276/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=35520 CPUtime=0.29 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 1599 0 0 0 28 1 0 0 20 0 1 0 27759990 36372480 7788 33554432000 4194304 6201397 140735995737232 140737085712504 4213365 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 8880 7788 146 491 0 8379 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35520

[startup+0.700275 s]
/proc/loadavg: 2.22 2.21 2.20 3/176 27299
/proc/meminfo: memFree=29891276/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=43848 CPUtime=0.69 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 2484 0 0 0 68 1 0 0 20 0 1 0 27759990 44900352 9006 33554432000 4194304 6201397 140735995737232 140737085712504 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 10962 9006 147 491 0 10461 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43848

[startup+1.50025 s]
/proc/loadavg: 2.20 2.21 2.20 3/177 27300
/proc/meminfo: memFree=29851736/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=52120 CPUtime=1.49 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 3081 0 0 0 148 1 0 0 20 0 1 0 27759990 53370880 10509 33554432000 4194304 6201397 140735995737232 140735995735928 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 13030 10509 147 491 0 12529 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52120

[startup+3.10023 s]
/proc/loadavg: 2.20 2.21 2.20 3/177 27300
/proc/meminfo: memFree=29844044/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=66352 CPUtime=3.09 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 3931 0 0 0 308 1 0 0 20 0 1 0 27759990 67944448 12336 33554432000 4194304 6201397 140735995737232 140735995736072 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 16588 12336 160 491 0 16087 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66352

[startup+6.30026 s]
/proc/loadavg: 2.20 2.21 2.20 3/177 27300
/proc/meminfo: memFree=29835124/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=85704 CPUtime=6.29 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 4559 0 0 0 628 1 0 0 20 0 1 0 27759990 87760896 14696 33554432000 4194304 6201397 140735995737232 140735995736184 4200908 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 21426 14696 160 491 0 20925 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85704

[startup+12.7002 s]
/proc/loadavg: 2.25 2.22 2.20 4/177 27300
/proc/meminfo: memFree=29805656/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=91028 CPUtime=12.69 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 8900 0 0 0 1267 2 0 0 20 0 1 0 27759990 93212672 21189 33554432000 4194304 6201397 140735995737232 140735995736184 4214911 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 22757 21189 160 491 0 22256 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 91028

[startup+25.5003 s]
/proc/loadavg: 2.29 2.23 2.20 4/177 27300
/proc/meminfo: memFree=29771168/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=122632 CPUtime=25.49 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 10491 0 0 0 2546 3 0 0 20 0 1 0 27759990 125575168 27262 33554432000 4194304 6201397 140735995737232 140735995735800 4216049 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 30658 27262 166 491 0 30157 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 122632

[startup+51.1003 s]
/proc/loadavg: 2.19 2.21 2.19 4/177 27300
/proc/meminfo: memFree=29711852/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=183772 CPUtime=51.08 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 15718 0 0 0 5103 5 0 0 20 0 1 0 27759990 188182528 41927 33554432000 4194304 6201397 140735995737232 140735995736024 4214933 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 45943 41927 166 491 0 45442 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 183772

[startup+102.3 s]
/proc/loadavg: 2.33 2.25 2.20 4/178 27304
/proc/meminfo: memFree=29679592/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=188104 CPUtime=102.28 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 23568 0 0 0 10219 9 0 0 20 0 1 0 27759990 192618496 45644 33554432000 4194304 6201397 140735995737232 140735995735944 4213387 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 47026 45644 166 491 0 46525 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 188104

[startup+162.3 s]
/proc/loadavg: 2.30 2.25 2.20 3/177 27305
/proc/meminfo: memFree=29601528/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=277828 CPUtime=162.26 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 38122 0 0 0 16209 17 0 0 20 0 1 0 27759990 284495872 61817 33554432000 4194304 6201397 140735995737232 140735995736024 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 69457 61817 166 491 0 68956 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 277828

[startup+222.307 s]
/proc/loadavg: 2.23 2.23 2.20 3/177 27306
/proc/meminfo: memFree=29546036/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=287100 CPUtime=222.26 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 42292 0 0 0 22205 21 0 0 20 0 1 0 27759990 293990400 66440 33554432000 4194304 6201397 140735995737232 140735995736184 4213249 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 71775 66440 166 491 0 71274 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 287100

[startup+282.3 s]
/proc/loadavg: 2.30 2.25 2.20 4/177 27308
/proc/meminfo: memFree=29504348/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=420880 CPUtime=282.24 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 44472 0 0 0 28202 22 0 0 20 0 1 0 27759990 430981120 72806 33554432000 4194304 6201397 140735995737232 140735995736360 4213348 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 105220 72806 166 491 0 104719 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 420880

[startup+342.3 s]
/proc/loadavg: 2.31 2.25 2.20 3/177 27309
/proc/meminfo: memFree=29489204/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=423832 CPUtime=342.23 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 47296 0 0 0 34198 25 0 0 20 0 1 0 27759990 434003968 75590 33554432000 4194304 6201397 140735995737232 140735995736024 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 105958 75590 166 491 0 105457 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 423832

[startup+402.3 s]
/proc/loadavg: 2.22 2.23 2.19 3/177 27310
/proc/meminfo: memFree=29450476/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=431324 CPUtime=402.23 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 49880 0 0 0 40196 27 0 0 20 0 1 0 27759990 441675776 85042 33554432000 4194304 6201397 140735995737232 140735995736360 4214872 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 107831 85042 166 491 0 107330 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 431324

[startup+462.3 s]
/proc/loadavg: 2.22 2.23 2.19 4/177 27311
/proc/meminfo: memFree=29433976/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=445184 CPUtime=462.22 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 52563 0 0 0 46194 28 0 0 20 0 1 0 27759990 455868416 87725 33554432000 4194304 6201397 140735995737232 140735995735896 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 111296 87725 166 491 0 110795 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 445184

[startup+522.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/177 27312
/proc/meminfo: memFree=29420736/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=454916 CPUtime=522.2 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 54365 0 0 0 52192 28 0 0 20 0 1 0 27759990 465833984 89527 33554432000 4194304 6201397 140735995737232 140735995735896 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 113729 89527 166 491 0 113228 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 454916

[startup+582.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/177 27314
/proc/meminfo: memFree=29412540/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=458372 CPUtime=582.2 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 55314 0 0 0 58191 29 0 0 20 0 1 0 27759990 469372928 90476 33554432000 4194304 6201397 140735995737232 140735995735896 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 114593 90476 166 491 0 114092 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 458372


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


[startup+942.3 s]
/proc/loadavg: 2.33 2.24 2.19 3/177 27324
/proc/meminfo: memFree=29340500/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=466448 CPUtime=942.14 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 57576 0 0 0 94184 30 0 0 20 0 1 0 27759990 477642752 98676 33554432000 4194304 6201397 140735995737232 140735995735896 4213276 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 116612 98676 166 491 0 116111 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 466448

[startup+1002.3 s]
/proc/loadavg: 2.27 2.24 2.19 4/177 27325
/proc/meminfo: memFree=29315196/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=466576 CPUtime=1002.13 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 57596 0 0 0 100183 30 0 0 20 0 1 0 27759990 477773824 100229 33554432000 4194304 6201397 140735995737232 140735995736360 4213365 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 116644 100229 166 491 0 116143 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 466576

[startup+1062.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/177 27326
/proc/meminfo: memFree=29315176/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=466576 CPUtime=1062.12 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 57596 0 0 0 106182 30 0 0 20 0 1 0 27759990 477773824 100229 33554432000 4194304 6201397 140735995737232 140735995736360 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 116644 100229 166 491 0 116143 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 466576

[startup+1122.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/177 27327
/proc/meminfo: memFree=29308380/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=467600 CPUtime=1122.12 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 57775 0 0 0 112182 30 0 0 20 0 1 0 27759990 478822400 100408 33554432000 4194304 6201397 140735995737232 140735995736360 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 116900 100408 166 491 0 116399 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 467600

[startup+1182.3 s]
/proc/loadavg: 2.30 2.27 2.20 3/177 27328
/proc/meminfo: memFree=29307396/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=467728 CPUtime=1182.11 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 57846 0 0 0 118181 30 0 0 20 0 1 0 27759990 478953472 100479 33554432000 4194304 6201397 140735995737232 140735995736360 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 116932 100479 166 491 0 116431 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 467728

[startup+1242.3 s]
/proc/loadavg: 2.33 2.29 2.21 4/177 27330
/proc/meminfo: memFree=29305632/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=467856 CPUtime=1242.1 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 57897 0 0 0 124180 30 0 0 20 0 1 0 27759990 479084544 100530 33554432000 4194304 6201397 140735995737232 140735995736360 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 116964 100530 166 491 0 116463 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 467856

[startup+1302.3 s]
/proc/loadavg: 2.36 2.30 2.21 3/178 27334
/proc/meminfo: memFree=29285152/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=468500 CPUtime=1302.09 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 58035 0 0 0 130179 30 0 0 20 0 1 0 27759990 479744000 102712 33554432000 4194304 6201397 140735995737232 140735995735896 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 117125 102712 166 491 0 116624 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 468500

[startup+1362.3 s]
/proc/loadavg: 2.36 2.30 2.21 3/178 27358
/proc/meminfo: memFree=29275300/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=469364 CPUtime=1362.07 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 58329 0 0 0 136177 30 0 0 20 0 1 0 27759990 480628736 104461 33554432000 4194304 6201397 140735995737232 140735995736360 4214832 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 117341 104461 166 491 0 116840 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 469364

[startup+1422.3 s]
/proc/loadavg: 2.28 2.29 2.21 3/177 27359
/proc/meminfo: memFree=29246336/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=470040 CPUtime=1422.07 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 58700 0 0 0 142176 31 0 0 20 0 1 0 27759990 481320960 104629 33554432000 4194304 6201397 140735995737232 140735995736024 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 117510 104629 166 491 0 117009 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 470040

[startup+1482.3 s]
/proc/loadavg: 2.38 2.31 2.22 3/177 27360
/proc/meminfo: memFree=29243956/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=471320 CPUtime=1482.06 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 59403 0 0 0 148174 32 0 0 20 0 1 0 27759990 482631680 104941 33554432000 4194304 6201397 140735995737232 140735995736184 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 117830 104941 166 491 0 117329 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 471320

[startup+1542.31 s]
/proc/loadavg: 2.33 2.31 2.23 4/177 27592
/proc/meminfo: memFree=29651072/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=472280 CPUtime=1542.05 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 61426 0 0 0 154172 33 0 0 20 0 1 0 27759990 483614720 105186 33554432000 4194304 6201397 140735995737232 140735995736024 4213348 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 118070 105186 166 491 0 117569 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 472280

[startup+1602.3 s]
/proc/loadavg: 2.33 2.31 2.23 3/177 27592
/proc/meminfo: memFree=29122400/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=473096 CPUtime=1602.04 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 61698 0 0 0 160170 34 0 0 20 0 1 0 27759990 484450304 109155 33554432000 4194304 6201397 140735995737232 140735995736360 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 118274 109155 166 491 0 117773 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 473096

[startup+1662.3 s]
/proc/loadavg: 2.24 2.28 2.22 3/177 27593
/proc/meminfo: memFree=29118520/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=476052 CPUtime=1662.03 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 62231 0 0 0 166169 34 0 0 20 0 1 0 27759990 487477248 110158 33554432000 4194304 6201397 140735995737232 140735995735944 4215962 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 119013 110158 166 491 0 118512 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 476052

[startup+1722.3 s]
/proc/loadavg: 2.13 2.24 2.21 3/177 27594
/proc/meminfo: memFree=29116200/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=479484 CPUtime=1722.02 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 62892 0 0 0 172168 34 0 0 20 0 1 0 27759990 490991616 110819 33554432000 4194304 6201397 140735995737232 140735995735944 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 119871 110819 166 491 0 119370 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 479484

[startup+1782.3 s]
/proc/loadavg: 2.19 2.24 2.21 3/177 27595
/proc/meminfo: memFree=29114256/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=481200 CPUtime=1782.01 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 63244 0 0 0 178167 34 0 0 20 0 1 0 27759990 492748800 111171 33554432000 4194304 6201397 140735995737232 140735995736360 4240291 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 120300 111171 166 491 0 119799 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 481200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.15 2.23 2.20 3/176 27596
/proc/meminfo: memFree=29114484/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=481200 CPUtime=1800 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 63244 0 0 0 179966 34 0 0 20 0 1 0 27759990 492748800 111171 33554432000 4194304 6201397 140735995737232 140735995736360 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 120300 111171 166 491 0 119799 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 481200

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 27299 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.15 2.23 2.20 3/176 27596
/proc/meminfo: memFree=29114484/32872528 swapFree=1534436/1655032
[pid=27299] ppid=27296 vsize=481200 CPUtime=1800 cores=0,2,4,6
/proc/27299/stat : 27299 (cdcl-cuttingpla) R 27296 27299 24188 0 -1 4202496 63244 0 0 0 179966 34 0 0 20 0 1 0 27759990 492748800 111171 33554432000 4194304 6201397 140735995737232 140735995736360 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/27299/statm: 120300 111171 166 491 0 119799 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 481200

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.67
CPU system time (s): 0.351946
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 481200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.351946
maximum resident set size= 444684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63244
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= 15
involuntary context switches= 1925

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48832 second user time and 6.97694 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-18 15:38:36
IDJOB=4101976
IDBENCH=1829
IDSOLVER=2550
FILE ID=node122/4101976-1466257116
RUNJOBID= node122-1466229594-24204
PBS_JOBID= 19918176
Free space on /tmp= 71740 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101976-1466257116/watcher-4101976-1466257116 -o /tmp/evaluation-result-4101976-1466257116/solver-4101976-1466257116 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466229594-24204 --watchdog 1960 --input HOME/instance-4101976-1466257116.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= b55f7a8b0d45bfbc16cf27babcf41177
RANDOM SEED=994236570

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29891928 kB
Buffers:          132272 kB
Cached:           211352 kB
SwapCached:            0 kB
Active:           332636 kB
Inactive:         251256 kB
Active(anon):     232936 kB
Inactive(anon):     9916 kB
Active(file):      99700 kB
Inactive(file):   241340 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2744 kB
Writeback:             0 kB
AnonPages:       1894664 kB
Mapped:            13544 kB
Shmem:               204 kB
Slab:             608780 kB
SReclaimable:      52884 kB
SUnreclaim:       555896 kB
KernelStack:        1464 kB
PageTables:         7792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2045320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    342016 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= 71740 MiB
End job on node122 at 2016-06-18 16:08:36