Trace number 4118823

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.04 1800.4

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-13.lin.opb
MD5SUMaab1aa19ee49ed77df3100abf5070097
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-5712
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4457
Total number of constraints8814
Number of constraints which are clauses4407
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4407
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 4457
Biggest coefficient in the objective function 1072
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 385472
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1072
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 385472
Number of bits of the biggest sum of numbers19
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.02	c * #variable= 4457 #constraint= 8814
0.00/0.05	c * #variable= 4457 #constraint= 8814
1.89/1.99	c S1->S2
1.89/1.99	c #Conflicts:       1000 | #Learnt:       1000 | 0.000
1.89/1.99	c total clause space: 78.2603MB
1.89/1.99	c total #watches: 88137
8.29/8.33	c total #propagations: 240435 / total #impl: 2523732 (eff. 0.095)
8.29/8.33	c #Conflicts:       2000 | #Learnt:       2000 | 0.000
8.29/8.33	c total clause space: 127.173MB
8.29/8.33	c total #watches: 155972
18.08/18.16	c total #propagations: 555550 / total #impl: 5694105 (eff. 0.098)
18.08/18.16	c GC COLLECT
18.08/18.16	c #Conflicts:       3000 | #Learnt:       2004 | 0.000
18.08/18.16	c total clause space: 127.173MB
18.08/18.16	c total #watches: 221808
34.48/34.56	c total #propagations: 846581 / total #impl: 8539676 (eff. 0.099)
34.48/34.56	c #Conflicts:       4000 | #Learnt:       3004 | 0.000
34.48/34.56	c total clause space: 206.656MB
34.48/34.56	c total #watches: 271015
44.89/44.93	c total #propagations: 1151689 / total #impl: 12650394 (eff. 0.091)
44.89/44.93	c GC COLLECT
44.89/44.93	c #Conflicts:       5000 | #Learnt:       2354 | 0.000
44.89/44.93	c total clause space: 206.656MB
44.89/44.93	c total #watches: 217834
54.78/54.80	c total #propagations: 1449096 / total #impl: 17087227 (eff. 0.085)
54.78/54.80	c #Conflicts:       6000 | #Learnt:       3354 | 0.000
54.78/54.80	c total clause space: 206.656MB
54.78/54.80	c total #watches: 251477
68.18/68.28	c total #propagations: 1750770 / total #impl: 19945139 (eff. 0.088)
68.18/68.28	c GC COLLECT
68.18/68.28	c #Conflicts:       7000 | #Learnt:       2230 | 0.000
68.18/68.28	c total clause space: 206.656MB
68.18/68.28	c total #watches: 167723
77.76/77.85	c total #propagations: 2051474 / total #impl: 23706531 (eff. 0.087)
77.76/77.85	c #Conflicts:       8000 | #Learnt:       3230 | 0.000
77.76/77.85	c total clause space: 206.656MB
77.76/77.85	c total #watches: 216193
87.56/87.60	c total #propagations: 2363159 / total #impl: 26477436 (eff. 0.089)
87.56/87.60	c #Conflicts:       9000 | #Learnt:       4230 | 0.000
87.56/87.60	c total clause space: 206.656MB
87.56/87.60	c total #watches: 246101
97.46/97.51	c total #propagations: 2676659 / total #impl: 30458931 (eff. 0.088)
97.46/97.51	c GC COLLECT
97.46/97.51	c #Conflicts:      10000 | #Learnt:       2714 | 0.000
97.46/97.51	c total clause space: 335.816MB
97.46/97.51	c total #watches: 172665
105.56/105.64	c total #propagations: 2991088 / total #impl: 32646578 (eff. 0.092)
105.56/105.64	c #Conflicts:      11000 | #Learnt:       3714 | 0.000
105.56/105.64	c total clause space: 335.816MB
105.56/105.64	c total #watches: 200367
114.86/114.96	c total #propagations: 3269425 / total #impl: 34729786 (eff. 0.094)
114.86/114.96	c #Conflicts:      12000 | #Learnt:       4714 | 0.000
114.86/114.96	c total clause space: 335.816MB
114.86/114.96	c total #watches: 220634
125.66/125.71	c total #propagations: 3588902 / total #impl: 37254248 (eff. 0.096)
125.66/125.71	c #Conflicts:      13000 | #Learnt:       5714 | 0.000
125.66/125.71	c total clause space: 335.816MB
125.66/125.71	c total #watches: 244719
133.26/133.39	c total #propagations: 3960613 / total #impl: 40212516 (eff. 0.098)
133.26/133.39	c GC COLLECT
133.26/133.39	c #Conflicts:      14000 | #Learnt:       3853 | 0.000
133.26/133.39	c total clause space: 335.816MB
133.26/133.39	c total #watches: 167423
142.25/142.36	c total #propagations: 4286089 / total #impl: 43895893 (eff. 0.098)
142.25/142.36	c #Conflicts:      15000 | #Learnt:       4853 | 0.000
142.25/142.36	c total clause space: 335.816MB
142.25/142.36	c total #watches: 197355
151.25/151.34	c total #propagations: 4624009 / total #impl: 45339988 (eff. 0.102)
151.25/151.34	c #Conflicts:      16000 | #Learnt:       5853 | 0.000
151.25/151.34	c total clause space: 335.816MB
151.25/151.34	c total #watches: 227199
158.46/158.58	c total #propagations: 4934329 / total #impl: 47408375 (eff. 0.104)
158.46/158.58	c GC COLLECT
158.46/158.58	c #Conflicts:      17000 | #Learnt:       3676 | 0.000
158.46/158.58	c total clause space: 335.816MB
158.46/158.58	c total #watches: 156363
165.15/165.21	c total #propagations: 5263191 / total #impl: 49808123 (eff. 0.106)
165.15/165.21	c #Conflicts:      18000 | #Learnt:       4676 | 0.000
165.15/165.21	c total clause space: 335.816MB
165.15/165.21	c total #watches: 170688
171.45/171.58	c total #propagations: 5618786 / total #impl: 55312179 (eff. 0.102)
171.45/171.58	c #Conflicts:      19000 | #Learnt:       5676 | 0.000
171.45/171.58	c total clause space: 335.816MB
171.45/171.58	c total #watches: 182081
179.75/179.84	c total #propagations: 5961437 / total #impl: 57411803 (eff. 0.104)
179.75/179.84	c #Conflicts:      20000 | #Learnt:       6676 | 0.000
179.75/179.84	c total clause space: 335.816MB
179.75/179.84	c total #watches: 201609
186.14/186.24	c total #propagations: 6266512 / total #impl: 60130353 (eff. 0.104)
186.14/186.24	c GC COLLECT
186.14/186.24	c #Conflicts:      21000 | #Learnt:       4184 | 0.000
186.14/186.24	c total clause space: 335.816MB
186.14/186.24	c total #watches: 127869
190.14/190.25	c total #propagations: 6604310 / total #impl: 63034975 (eff. 0.105)
190.14/190.25	c #Conflicts:      22000 | #Learnt:       5184 | 0.000
190.14/190.25	c total clause space: 335.816MB
190.14/190.25	c total #watches: 181964
200.04/200.11	c total #propagations: 6892570 / total #impl: 65371742 (eff. 0.105)
200.04/200.11	c #Conflicts:      23000 | #Learnt:       6184 | 0.000
200.04/200.11	c total clause space: 335.816MB
200.04/200.11	c total #watches: 238201
211.24/211.38	c total #propagations: 7169933 / total #impl: 67889115 (eff. 0.106)
211.24/211.38	c #Conflicts:      24000 | #Learnt:       7184 | 0.000
211.24/211.38	c total clause space: 335.816MB
211.24/211.38	c total #watches: 269351
224.54/224.60	c total #propagations: 7484103 / total #impl: 71423874 (eff. 0.105)
224.54/224.60	c GC COLLECT
224.54/224.60	c #Conflicts:      25000 | #Learnt:       4388 | 0.000
224.54/224.60	c total clause space: 545.701MB
224.54/224.60	c total #watches: 275956
238.65/238.77	c total #propagations: 7766138 / total #impl: 75208968 (eff. 0.103)
238.65/238.77	c #Conflicts:      26000 | #Learnt:       5388 | 0.000
238.65/238.77	c total clause space: 545.701MB
238.65/238.77	c total #watches: 302924
256.64/256.76	c total #propagations: 8051831 / total #impl: 80862961 (eff. 0.100)
256.64/256.76	c #Conflicts:      27000 | #Learnt:       6388 | 0.000
256.64/256.76	c total clause space: 545.701MB
256.64/256.76	c total #watches: 346161
276.63/276.76	c total #propagations: 8328699 / total #impl: 86441976 (eff. 0.096)
276.63/276.76	c #Conflicts:      28000 | #Learnt:       7388 | 0.000
276.63/276.76	c total clause space: 545.701MB
276.63/276.76	c total #watches: 388754
294.53/294.62	c total #propagations: 8609120 / total #impl: 92829010 (eff. 0.093)
294.53/294.62	c GC COLLECT
294.53/294.62	c #Conflicts:      29000 | #Learnt:       4292 | 0.000
294.53/294.62	c total clause space: 545.701MB
294.53/294.62	c total #watches: 238980
305.03/305.10	c total #propagations: 8906325 / total #impl: 96142515 (eff. 0.093)
305.03/305.10	c #Conflicts:      30000 | #Learnt:       5292 | 0.000
305.03/305.10	c total clause space: 545.701MB
305.03/305.10	c total #watches: 284271
321.93/322.03	c total #propagations: 9178970 / total #impl: 98718893 (eff. 0.093)
321.93/322.03	c #Conflicts:      31000 | #Learnt:       6292 | 0.000
321.93/322.03	c total clause space: 545.701MB
321.93/322.03	c total #watches: 306777
335.72/335.82	c total #propagations: 9506260 / total #impl: 103298670 (eff. 0.092)
335.72/335.82	c #Conflicts:      32000 | #Learnt:       7292 | 0.000
335.72/335.82	c total clause space: 545.701MB
335.72/335.82	c total #watches: 358077
354.52/354.66	c total #propagations: 9749827 / total #impl: 105251155 (eff. 0.093)
354.52/354.66	c #Conflicts:      33000 | #Learnt:       8292 | 0.000
354.52/354.66	c total clause space: 545.701MB
354.52/354.66	c total #watches: 403532
367.42/367.53	c total #propagations: 10048877 / total #impl: 108021258 (eff. 0.093)
367.42/367.53	c GC COLLECT
367.42/367.53	c #Conflicts:      34000 | #Learnt:       4896 | 0.000
367.42/367.53	c total clause space: 545.701MB
367.42/367.53	c total #watches: 246476
381.22/381.39	c total #propagations: 10328223 / total #impl: 110663470 (eff. 0.093)
381.22/381.39	c #Conflicts:      35000 | #Learnt:       5896 | 0.000
381.22/381.39	c total clause space: 545.701MB
381.22/381.39	c total #watches: 274223
393.91/394.02	c total #propagations: 10604811 / total #impl: 114496863 (eff. 0.093)
393.91/394.02	c #Conflicts:      36000 | #Learnt:       6896 | 0.000
393.91/394.02	c total clause space: 545.701MB
393.91/394.02	c total #watches: 316350
410.61/410.76	c total #propagations: 10831975 / total #impl: 116945899 (eff. 0.093)
410.61/410.76	c #Conflicts:      37000 | #Learnt:       7896 | 0.000
410.61/410.76	c total clause space: 545.701MB
410.61/410.76	c total #watches: 371685
430.01/430.19	c total #propagations: 11079526 / total #impl: 121430813 (eff. 0.091)
430.01/430.19	c #Conflicts:      38000 | #Learnt:       8896 | 0.000
430.01/430.19	c total clause space: 545.701MB
430.01/430.19	c total #watches: 463304
448.81/448.97	c total #propagations: 11330813 / total #impl: 124783053 (eff. 0.091)
448.81/448.97	c GC COLLECT
448.81/448.97	c #Conflicts:      39000 | #Learnt:       5200 | 0.000
448.81/448.97	c total clause space: 545.701MB
448.81/448.97	c total #watches: 355294
464.00/464.19	c total #propagations: 11583159 / total #impl: 128687991 (eff. 0.090)
464.00/464.19	c #Conflicts:      40000 | #Learnt:       6200 | 0.000
464.00/464.19	c total clause space: 545.701MB
464.00/464.19	c total #watches: 379805
479.40/479.54	c total #propagations: 11841872 / total #impl: 132199383 (eff. 0.090)
479.40/479.54	c #Conflicts:      41000 | #Learnt:       7200 | 0.000
479.40/479.54	c total clause space: 545.701MB
479.40/479.54	c total #watches: 412330
493.19/493.36	c total #propagations: 12093441 / total #impl: 134541596 (eff. 0.090)
493.19/493.36	c #Conflicts:      42000 | #Learnt:       8200 | 0.000
493.19/493.36	c total clause space: 545.701MB
493.19/493.36	c total #watches: 429761
507.29/507.45	c total #propagations: 12353858 / total #impl: 137907109 (eff. 0.090)
507.29/507.45	c #Conflicts:      43000 | #Learnt:       9200 | 0.000
507.29/507.45	c total clause space: 545.701MB
507.29/507.45	c total #watches: 455237
521.20/521.30	c total #propagations: 12607726 / total #impl: 139992453 (eff. 0.090)
521.20/521.30	c GC COLLECT
521.20/521.30	c #Conflicts:      44000 | #Learnt:       5198 | 0.000
521.20/521.30	c total clause space: 545.701MB
521.20/521.30	c total #watches: 240256
531.30/531.49	c total #propagations: 12834030 / total #impl: 143150821 (eff. 0.090)
531.30/531.49	c #Conflicts:      45000 | #Learnt:       6198 | 0.000
531.30/531.49	c total clause space: 545.701MB
531.30/531.49	c total #watches: 271153
544.79/544.95	c total #propagations: 13068774 / total #impl: 145559870 (eff. 0.090)
544.79/544.95	c #Conflicts:      46000 | #Learnt:       7198 | 0.000
544.79/544.95	c total clause space: 545.701MB
544.79/544.95	c total #watches: 303573
561.19/561.32	c total #propagations: 13318350 / total #impl: 149253101 (eff. 0.089)
561.19/561.32	c #Conflicts:      47000 | #Learnt:       8198 | 0.000
561.19/561.32	c total clause space: 545.701MB
561.19/561.32	c total #watches: 334750
578.78/578.99	c total #propagations: 13580497 / total #impl: 152046515 (eff. 0.089)
578.78/578.99	c #Conflicts:      48000 | #Learnt:       9198 | 0.000
578.78/578.99	c total clause space: 545.701MB
578.78/578.99	c total #watches: 363884
598.18/598.39	c total #propagations: 13841282 / total #impl: 154632647 (eff. 0.090)
598.18/598.39	c #Conflicts:      49000 | #Learnt:      10198 | 0.000
598.18/598.39	c total clause space: 545.701MB
598.18/598.39	c total #watches: 377692
616.07/616.23	c total #propagations: 14182082 / total #impl: 157295252 (eff. 0.090)
616.07/616.23	c GC COLLECT
616.07/616.23	c #Conflicts:      50000 | #Learnt:       5893 | 0.000
616.07/616.23	c total clause space: 545.701MB
616.07/616.23	c total #watches: 239106
628.96/629.20	c total #propagations: 14502903 / total #impl: 160192789 (eff. 0.091)
628.96/629.20	c #Conflicts:      51000 | #Learnt:       6893 | 0.000
628.96/629.20	c total clause space: 545.701MB
628.96/629.20	c total #watches: 274481
642.36/642.57	c total #propagations: 14758673 / total #impl: 163603936 (eff. 0.090)
642.36/642.57	c #Conflicts:      52000 | #Learnt:       7893 | 0.000
642.36/642.57	c total clause space: 545.701MB
642.36/642.57	c total #watches: 311530
655.95/656.10	c total #propagations: 15036586 / total #impl: 166810491 (eff. 0.090)
655.95/656.10	c #Conflicts:      53000 | #Learnt:       8893 | 0.000
655.95/656.10	c total clause space: 545.701MB
655.95/656.10	c total #watches: 342448
668.94/669.13	c total #propagations: 15317495 / total #impl: 169919597 (eff. 0.090)
668.94/669.13	c #Conflicts:      54000 | #Learnt:       9893 | 0.000
668.94/669.13	c total clause space: 545.701MB
668.94/669.13	c total #watches: 359539
685.74/685.98	c total #propagations: 15652760 / total #impl: 172861495 (eff. 0.091)
685.74/685.98	c #Conflicts:      55000 | #Learnt:      10893 | 0.000
685.74/685.98	c total clause space: 545.701MB
685.74/685.98	c total #watches: 378579
700.83/701.02	c total #propagations: 15986692 / total #impl: 176092167 (eff. 0.091)
700.83/701.02	c GC COLLECT
700.83/701.02	c #Conflicts:      56000 | #Learnt:       6297 | 0.000
700.83/701.02	c total clause space: 545.701MB
700.83/701.02	c total #watches: 242267
712.83/713.05	c total #propagations: 16247457 / total #impl: 178694384 (eff. 0.091)
712.83/713.05	c #Conflicts:      57000 | #Learnt:       7297 | 0.000
712.83/713.05	c total clause space: 545.701MB
712.83/713.05	c total #watches: 261991
724.13/724.36	c total #propagations: 16580049 / total #impl: 182560388 (eff. 0.091)
724.13/724.36	c #Conflicts:      58000 | #Learnt:       8297 | 0.000
724.13/724.36	c total clause space: 545.701MB
724.13/724.36	c total #watches: 284685
738.52/738.78	c total #propagations: 16896462 / total #impl: 184825597 (eff. 0.091)
738.52/738.78	c #Conflicts:      59000 | #Learnt:       9297 | 0.000
738.52/738.78	c total clause space: 545.701MB
738.52/738.78	c total #watches: 306420
753.82/754.01	c total #propagations: 17224269 / total #impl: 187762750 (eff. 0.092)
753.82/754.01	c #Conflicts:      60000 | #Learnt:      10297 | 0.000
753.82/754.01	c total clause space: 545.701MB
753.82/754.01	c total #watches: 324326
767.63/767.86	c total #propagations: 17596232 / total #impl: 192760419 (eff. 0.091)
767.63/767.86	c #Conflicts:      61000 | #Learnt:      11297 | 0.000
767.63/767.86	c total clause space: 545.701MB
767.63/767.86	c total #watches: 352196
780.12/780.30	c total #propagations: 17938445 / total #impl: 196281336 (eff. 0.091)
780.12/780.30	c GC COLLECT
780.12/780.30	c #Conflicts:      62000 | #Learnt:       6395 | 0.000
780.12/780.30	c total clause space: 545.701MB
780.12/780.30	c total #watches: 229292
790.73/790.95	c total #propagations: 18272008 / total #impl: 199631282 (eff. 0.092)
790.73/790.95	c #Conflicts:      63000 | #Learnt:       7395 | 0.000
790.73/790.95	c total clause space: 545.701MB
790.73/790.95	c total #watches: 253844
801.02/801.28	c total #propagations: 18576666 / total #impl: 201939933 (eff. 0.092)
801.02/801.28	c #Conflicts:      64000 | #Learnt:       8395 | 0.000
801.02/801.28	c total clause space: 545.701MB
801.02/801.28	c total #watches: 265135
814.22/814.44	c total #propagations: 18875640 / total #impl: 204028654 (eff. 0.093)
814.22/814.44	c #Conflicts:      65000 | #Learnt:       9395 | 0.000
814.22/814.44	c total clause space: 545.701MB
814.22/814.44	c total #watches: 290123
827.82/828.09	c total #propagations: 19202135 / total #impl: 208208400 (eff. 0.092)
827.82/828.09	c #Conflicts:      66000 | #Learnt:      10395 | 0.000
827.82/828.09	c total clause space: 545.701MB
827.82/828.09	c total #watches: 322036
841.32/841.52	c total #propagations: 19488350 / total #impl: 210866933 (eff. 0.092)
841.32/841.52	c #Conflicts:      67000 | #Learnt:      11395 | 0.000
841.32/841.52	c total clause space: 545.701MB
841.32/841.52	c total #watches: 345243
853.81/854.06	c total #propagations: 19778952 / total #impl: 212583679 (eff. 0.093)
853.81/854.06	c #Conflicts:      68000 | #Learnt:      12395 | 0.000
853.81/854.06	c total clause space: 886.764MB
853.81/854.06	c total #watches: 380500
867.21/867.43	c total #propagations: 20091376 / total #impl: 215559083 (eff. 0.093)
867.21/867.43	c GC COLLECT
867.21/867.43	c #Conflicts:      69000 | #Learnt:       7191 | 0.000
867.21/867.43	c total clause space: 886.764MB
867.21/867.43	c total #watches: 265447
883.12/883.40	c total #propagations: 20399338 / total #impl: 219716192 (eff. 0.093)
883.12/883.40	c #Conflicts:      70000 | #Learnt:       8191 | 0.000
883.12/883.40	c total clause space: 886.764MB
883.12/883.40	c total #watches: 285771
892.61/892.81	c total #propagations: 20721261 / total #impl: 222377804 (eff. 0.093)
892.61/892.81	c #Conflicts:      71000 | #Learnt:       9191 | 0.000
892.61/892.81	c total clause space: 886.764MB
892.61/892.81	c total #watches: 296064
906.61/906.80	c total #propagations: 21013705 / total #impl: 226018886 (eff. 0.093)
906.61/906.80	c #Conflicts:      72000 | #Learnt:      10191 | 0.000
906.61/906.80	c total clause space: 886.764MB
906.61/906.80	c total #watches: 307199
922.30/922.57	c total #propagations: 21361789 / total #impl: 229027066 (eff. 0.093)
922.30/922.57	c #Conflicts:      73000 | #Learnt:      11191 | 0.000
922.30/922.57	c total clause space: 886.764MB
922.30/922.57	c total #watches: 323178
938.40/938.63	c total #propagations: 21666014 / total #impl: 231160516 (eff. 0.094)
938.40/938.63	c #Conflicts:      74000 | #Learnt:      12191 | 0.000
938.40/938.63	c total clause space: 886.764MB
938.40/938.63	c total #watches: 362268
952.50/952.74	c total #propagations: 21970974 / total #impl: 233832031 (eff. 0.094)
952.50/952.74	c GC COLLECT
952.50/952.74	c #Conflicts:      75000 | #Learnt:       6692 | 0.000
952.50/952.74	c total clause space: 886.764MB
952.50/952.74	c total #watches: 254825
965.39/965.68	c total #propagations: 22233989 / total #impl: 236152885 (eff. 0.094)
965.39/965.68	c #Conflicts:      76000 | #Learnt:       7692 | 0.000
965.39/965.68	c total clause space: 886.764MB
965.39/965.68	c total #watches: 295995
980.00/980.28	c total #propagations: 22514658 / total #impl: 238648222 (eff. 0.094)
980.00/980.28	c #Conflicts:      77000 | #Learnt:       8692 | 0.000
980.00/980.28	c total clause space: 886.764MB
980.00/980.28	c total #watches: 314022
993.59/993.89	c total #propagations: 22811022 / total #impl: 241653086 (eff. 0.094)
993.59/993.89	c #Conflicts:      78000 | #Learnt:       9692 | 0.000
993.59/993.89	c total clause space: 886.764MB
993.59/993.89	c total #watches: 334949
1008.19/1008.40	c total #propagations: 23134483 / total #impl: 244579735 (eff. 0.095)
1008.19/1008.40	c #Conflicts:      79000 | #Learnt:      10692 | 0.000
1008.19/1008.40	c total clause space: 886.764MB
1008.19/1008.40	c total #watches: 371531
1028.48/1028.73	c total #propagations: 23397377 / total #impl: 247515343 (eff. 0.095)
1028.48/1028.73	c #Conflicts:      80000 | #Learnt:      11692 | 0.000
1028.48/1028.73	c total clause space: 886.764MB
1028.48/1028.73	c total #watches: 390377
1062.78/1063.00	c total #propagations: 23745318 / total #impl: 251123181 (eff. 0.095)
1062.78/1063.00	c #Conflicts:      81000 | #Learnt:      12692 | 0.000
1062.78/1063.00	c total clause space: 886.764MB
1062.78/1063.00	c total #watches: 408821
1123.27/1123.51	c total #propagations: 24250689 / total #impl: 255740559 (eff. 0.095)
1123.27/1123.51	c GC COLLECT
1123.27/1123.51	c #Conflicts:      82000 | #Learnt:       6889 | 0.000
1123.27/1123.51	c total clause space: 886.764MB
1123.27/1123.51	c total #watches: 275455
1158.17/1158.45	c total #propagations: 24758818 / total #impl: 259011191 (eff. 0.096)
1158.17/1158.45	c #Conflicts:      83000 | #Learnt:       7889 | 0.000
1158.17/1158.45	c total clause space: 886.764MB
1158.17/1158.45	c total #watches: 296877
1186.16/1186.42	c total #propagations: 25174226 / total #impl: 262900110 (eff. 0.096)
1186.16/1186.42	c #Conflicts:      84000 | #Learnt:       8889 | 0.000
1186.16/1186.42	c total clause space: 886.764MB
1186.16/1186.42	c total #watches: 331638
1201.76/1202.02	c total #propagations: 25549641 / total #impl: 266412594 (eff. 0.096)
1201.76/1202.02	c #Conflicts:      85000 | #Learnt:       9889 | 0.000
1201.76/1202.02	c total clause space: 886.764MB
1201.76/1202.02	c total #watches: 363778
1218.86/1219.16	c total #propagations: 25827100 / total #impl: 269628484 (eff. 0.096)
1218.86/1219.16	c #Conflicts:      86000 | #Learnt:      10889 | 0.000
1218.86/1219.16	c total clause space: 886.764MB
1218.86/1219.16	c total #watches: 399730
1239.46/1239.76	c total #propagations: 26117176 / total #impl: 272174957 (eff. 0.096)
1239.46/1239.76	c #Conflicts:      87000 | #Learnt:      11889 | 0.000
1239.46/1239.76	c total clause space: 886.764MB
1239.46/1239.76	c total #watches: 427634
1259.85/1260.12	c total #propagations: 26426976 / total #impl: 275564205 (eff. 0.096)
1259.85/1260.12	c #Conflicts:      88000 | #Learnt:      12889 | 0.000
1259.85/1260.12	c total clause space: 886.764MB
1259.85/1260.12	c total #watches: 448194
1283.34/1283.60	c total #propagations: 26713000 / total #impl: 279031987 (eff. 0.096)
1283.34/1283.60	c #Conflicts:      89000 | #Learnt:      13889 | 0.000
1283.34/1283.60	c total clause space: 886.764MB
1283.34/1283.60	c total #watches: 475073
1300.44/1300.70	c total #propagations: 26995936 / total #impl: 282694873 (eff. 0.095)
1300.44/1300.70	c GC COLLECT
1300.44/1300.70	c #Conflicts:      90000 | #Learnt:       7790 | 0.000
1300.44/1300.70	c total clause space: 886.764MB
1300.44/1300.70	c total #watches: 313373
1315.84/1316.13	c total #propagations: 27285217 / total #impl: 285705534 (eff. 0.096)
1315.84/1316.13	c #Conflicts:      91000 | #Learnt:       8790 | 0.000
1315.84/1316.13	c total clause space: 886.764MB
1315.84/1316.13	c total #watches: 348921
1333.04/1333.38	c total #propagations: 27593320 / total #impl: 288862306 (eff. 0.096)
1333.04/1333.38	c #Conflicts:      92000 | #Learnt:       9790 | 0.000
1333.04/1333.38	c total clause space: 886.764MB
1333.04/1333.38	c total #watches: 374165
1349.44/1349.80	c total #propagations: 27877888 / total #impl: 292547884 (eff. 0.095)
1349.44/1349.80	c #Conflicts:      93000 | #Learnt:      10790 | 0.000
1349.44/1349.80	c total clause space: 886.764MB
1349.44/1349.80	c total #watches: 406609
1365.94/1366.30	c total #propagations: 28146858 / total #impl: 295209892 (eff. 0.095)
1365.94/1366.30	c #Conflicts:      94000 | #Learnt:      11790 | 0.000
1365.94/1366.30	c total clause space: 886.764MB
1365.94/1366.30	c total #watches: 437250
1383.53/1383.82	c total #propagations: 28399576 / total #impl: 299354738 (eff. 0.095)
1383.53/1383.82	c #Conflicts:      95000 | #Learnt:      12790 | 0.000
1383.53/1383.82	c total clause space: 886.764MB
1383.53/1383.82	c total #watches: 481805
1408.92/1409.21	c total #propagations: 28657101 / total #impl: 302622895 (eff. 0.095)
1408.92/1409.21	c #Conflicts:      96000 | #Learnt:      13790 | 0.000
1408.92/1409.21	c total clause space: 886.764MB
1408.92/1409.21	c total #watches: 508692
1435.11/1435.47	c total #propagations: 28961100 / total #impl: 306153978 (eff. 0.095)
1435.11/1435.47	c #Conflicts:      97000 | #Learnt:      14790 | 0.000
1435.11/1435.47	c total clause space: 886.764MB
1435.11/1435.47	c total #watches: 533688
1449.21/1449.52	c total #propagations: 29242414 / total #impl: 310473046 (eff. 0.094)
1449.21/1449.52	c GC COLLECT
1449.21/1449.52	c #Conflicts:      98000 | #Learnt:       8391 | 0.000
1449.21/1449.52	c total clause space: 886.764MB
1449.21/1449.52	c total #watches: 334553
1465.70/1466.03	c total #propagations: 29510417 / total #impl: 313984866 (eff. 0.094)
1465.70/1466.03	c #Conflicts:      99000 | #Learnt:       9391 | 0.000
1465.70/1466.03	c total clause space: 886.764MB
1465.70/1466.03	c total #watches: 361609
1481.60/1481.96	c total #propagations: 29807632 / total #impl: 317042654 (eff. 0.094)
1481.60/1481.96	c #Conflicts:     100000 | #Learnt:      10391 | 0.000
1481.60/1481.96	c total clause space: 886.764MB
1481.60/1481.96	c total #watches: 401138
1497.79/1498.11	c total #propagations: 30076053 / total #impl: 321621450 (eff. 0.094)
1497.79/1498.11	c #Conflicts:     101000 | #Learnt:      11391 | 0.000
1497.79/1498.11	c total clause space: 886.764MB
1497.79/1498.11	c total #watches: 456618
1516.09/1516.44	c total #propagations: 30328650 / total #impl: 324594166 (eff. 0.093)
1516.09/1516.44	c #Conflicts:     102000 | #Learnt:      12391 | 0.000
1516.09/1516.44	c total clause space: 886.764MB
1516.09/1516.44	c total #watches: 490556
1536.78/1537.10	c total #propagations: 30598662 / total #impl: 327307619 (eff. 0.093)
1536.78/1537.10	c #Conflicts:     103000 | #Learnt:      13391 | 0.000
1536.78/1537.10	c total clause space: 886.764MB
1536.78/1537.10	c total #watches: 534969
1567.57/1567.93	c total #propagations: 30857000 / total #impl: 329984631 (eff. 0.094)
1567.57/1567.93	c #Conflicts:     104000 | #Learnt:      14391 | 0.000
1567.57/1567.93	c total clause space: 886.764MB
1567.57/1567.93	c total #watches: 584553
1593.07/1593.44	c total #propagations: 31127638 / total #impl: 332879882 (eff. 0.094)
1593.07/1593.44	c #Conflicts:     105000 | #Learnt:      15391 | 0.000
1593.07/1593.44	c total clause space: 886.764MB
1593.07/1593.44	c total #watches: 634929
1609.86/1610.23	c total #propagations: 31399757 / total #impl: 336250475 (eff. 0.093)
1609.86/1610.23	c GC COLLECT
1609.86/1610.23	c #Conflicts:     106000 | #Learnt:       8690 | 0.000
1609.86/1610.23	c total clause space: 886.764MB
1609.86/1610.23	c total #watches: 312826
1628.96/1629.35	c total #propagations: 31737242 / total #impl: 339022119 (eff. 0.094)
1628.96/1629.35	c #Conflicts:     107000 | #Learnt:       9690 | 0.000
1628.96/1629.35	c total clause space: 886.764MB
1628.96/1629.35	c total #watches: 346747
1647.65/1648.00	c total #propagations: 32043395 / total #impl: 340836714 (eff. 0.094)
1647.65/1648.00	c #Conflicts:     108000 | #Learnt:      10690 | 0.000
1647.65/1648.00	c total clause space: 886.764MB
1647.65/1648.00	c total #watches: 367370
1666.45/1666.84	c total #propagations: 32337643 / total #impl: 344080658 (eff. 0.094)
1666.45/1666.84	c #Conflicts:     109000 | #Learnt:      11690 | 0.000
1666.45/1666.84	c total clause space: 886.764MB
1666.45/1666.84	c total #watches: 379088
1688.64/1689.06	c total #propagations: 32682305 / total #impl: 346643781 (eff. 0.094)
1688.64/1689.06	c #Conflicts:     110000 | #Learnt:      12690 | 0.000
1688.64/1689.06	c total clause space: 886.764MB
1688.64/1689.06	c total #watches: 390179
1709.05/1709.49	c total #propagations: 32988864 / total #impl: 352425462 (eff. 0.094)
1709.05/1709.49	c #Conflicts:     111000 | #Learnt:      13690 | 0.000
1709.05/1709.49	c total clause space: 886.764MB
1709.05/1709.49	c total #watches: 424235
1734.03/1734.47	c total #propagations: 33303906 / total #impl: 355145593 (eff. 0.094)
1734.03/1734.47	c #Conflicts:     112000 | #Learnt:      14690 | 0.000
1734.03/1734.47	c total clause space: 886.764MB
1734.03/1734.47	c total #watches: 454499
1758.43/1758.83	c total #propagations: 33607204 / total #impl: 357795390 (eff. 0.094)
1758.43/1758.83	c #Conflicts:     113000 | #Learnt:      15690 | 0.000
1758.43/1758.83	c total clause space: 886.764MB
1758.43/1758.83	c total #watches: 476167
1777.13/1777.56	c total #propagations: 33956597 / total #impl: 361650152 (eff. 0.094)
1777.13/1777.56	c GC COLLECT
1777.13/1777.56	c #Conflicts:     114000 | #Learnt:       8692 | 0.000
1777.13/1777.56	c total clause space: 886.764MB
1777.13/1777.56	c total #watches: 331863
1793.42/1793.81	c total #propagations: 34253721 / total #impl: 364492595 (eff. 0.094)
1793.42/1793.81	c #Conflicts:     115000 | #Learnt:       9692 | 0.000
1793.42/1793.81	c total clause space: 886.764MB
1793.42/1793.81	c total #watches: 348188

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-4118823-1467227830/watcher-4118823-1467227830 -o /tmp/evaluation-result-4118823-1467227830/solver-4118823-1467227830 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1467215224-8882 --watchdog 1960 --input HOME/instance-4118823-1467227830.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=10366
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.10 2.07 2.01 3/176 10369
/proc/meminfo: memFree=30387232/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 12811341 57319424 8316 33554432000 4194304 6211289 140735599400736 140735797451112 4206599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 13994 8316 98 493 0 13491 0

[startup+0.100173 s]
/proc/loadavg: 2.10 2.07 2.01 3/176 10369
/proc/meminfo: memFree=30387232/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=67052 CPUtime=0.09 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 1864 0 0 0 8 1 0 0 20 0 1 0 12811341 68661248 14808 33554432000 4194304 6211289 140735599400736 140735797451112 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 16763 14808 203 493 0 16260 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67052

[startup+0.20038 s]
/proc/loadavg: 2.10 2.07 2.01 3/176 10369
/proc/meminfo: memFree=30387232/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=74192 CPUtime=0.19 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 2112 0 0 0 18 1 0 0 20 0 1 0 12811341 75972608 16036 33554432000 4194304 6211289 140735599400736 140735797451112 4209484 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 18548 16036 204 493 0 18045 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 74192

[startup+0.300316 s]
/proc/loadavg: 2.10 2.07 2.01 3/176 10369
/proc/meminfo: memFree=30387232/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=81372 CPUtime=0.29 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 2343 0 0 0 28 1 0 0 20 0 1 0 12811341 83324928 17250 33554432000 4194304 6211289 140735599400736 140735599398968 4239413 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 20343 17250 204 493 0 19840 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 81372

[startup+0.700198 s]
/proc/loadavg: 2.10 2.07 2.01 3/176 10369
/proc/meminfo: memFree=30387232/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=112152 CPUtime=0.69 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 2822 0 0 0 67 2 0 0 20 0 1 0 12811341 114843648 20718 33554432000 4194304 6211289 140735599400736 140735599398968 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 28038 20718 204 493 0 27535 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 112152

[startup+1.50023 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 10416
/proc/meminfo: memFree=30782660/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=112584 CPUtime=1.49 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 2921 0 0 0 147 2 0 0 20 0 1 0 12811341 115286016 24905 33554432000 4194304 6211289 140735599400736 140735599398648 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 28146 24905 204 493 0 27643 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 112584

[startup+3.10023 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 10416
/proc/meminfo: memFree=30747036/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=144092 CPUtime=3.09 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 3327 0 0 0 307 2 0 0 20 0 1 0 12811341 147550208 30382 33554432000 4194304 6211289 140735599400736 140735599399080 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 36023 30382 214 493 0 35520 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144092

[startup+6.30023 s]
/proc/loadavg: 2.09 2.07 2.01 3/177 10416
/proc/meminfo: memFree=30704076/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=194868 CPUtime=6.29 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 3656 0 0 0 626 3 0 0 20 0 1 0 12811341 199544832 35282 33554432000 4194304 6211289 140735599400736 140735599398728 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 48717 35282 214 493 0 48214 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 194868

[startup+12.7002 s]
/proc/loadavg: 2.08 2.07 2.01 3/177 10417
/proc/meminfo: memFree=30668340/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=195488 CPUtime=12.69 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 5745 0 0 0 1266 3 0 0 20 0 1 0 12811341 200179712 40131 33554432000 4194304 6211289 140735599400736 140735599398648 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 48872 40131 219 493 0 48369 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 195488

[startup+25.5003 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 10417
/proc/meminfo: memFree=30583660/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=196568 CPUtime=25.49 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 6102 0 0 0 2545 4 0 0 20 0 1 0 12811341 201285632 43042 33554432000 4194304 6211289 140735599400736 140735599398728 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 49142 43042 219 493 0 48639 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 196568

[startup+51.1003 s]
/proc/loadavg: 2.12 2.07 2.01 3/177 10417
/proc/meminfo: memFree=30439540/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=278776 CPUtime=51.08 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 7273 0 0 0 5103 5 0 0 20 0 1 0 12811341 285466624 53535 33554432000 4194304 6211289 140735599400736 140735599398728 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 69694 53535 219 493 0 69191 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 278776

[startup+102.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/177 10418
/proc/meminfo: memFree=30275184/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=411984 CPUtime=102.26 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 8273 0 0 0 10219 7 0 0 20 0 1 0 12811341 421871616 73564 33554432000 4194304 6211289 140735599400736 140735599399080 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 102996 73564 219 493 0 102493 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 411984

[startup+162.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 10419
/proc/meminfo: memFree=30163752/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=412404 CPUtime=162.25 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 8718 0 0 0 16217 8 0 0 20 0 1 0 12811341 422301696 92403 33554432000 4194304 6211289 140735599400736 140735599399080 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 103101 92403 219 493 0 102598 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 412404

[startup+222.307 s]
/proc/loadavg: 2.12 2.08 2.01 3/178 10423
/proc/meminfo: memFree=30080296/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=628012 CPUtime=222.25 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 9526 0 0 0 22216 9 0 0 20 0 1 0 12811341 643084288 102034 33554432000 4194304 6211289 140735599400736 140735599398648 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 157003 102034 219 493 0 156500 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 628012

[startup+282.3 s]
/proc/loadavg: 2.13 2.09 2.02 3/177 10424
/proc/meminfo: memFree=30047816/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=629080 CPUtime=282.23 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 9939 0 0 0 28214 9 0 0 20 0 1 0 12811341 644177920 107556 33554432000 4194304 6211289 140735599400736 140735599398728 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 157270 107556 219 493 0 156767 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 629080

[startup+342.3 s]
/proc/loadavg: 2.14 2.10 2.02 3/177 10426
/proc/meminfo: memFree=29966764/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=629912 CPUtime=342.22 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 10255 0 0 0 34212 10 0 0 20 0 1 0 12811341 645029888 114001 33554432000 4194304 6211289 140735599400736 140735599398728 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 157478 114001 219 493 0 156975 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 629912

[startup+402.3 s]
/proc/loadavg: 2.12 2.10 2.02 3/177 10427
/proc/meminfo: memFree=29915388/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=630604 CPUtime=402.21 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 10515 0 0 0 40210 11 0 0 20 0 1 0 12811341 645738496 123970 33554432000 4194304 6211289 140735599400736 140735599399080 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 157651 123970 219 493 0 157148 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 630604

[startup+462.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/177 10428
/proc/meminfo: memFree=29826960/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=631560 CPUtime=462.2 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 10774 0 0 0 46209 11 0 0 20 0 1 0 12811341 646717440 134449 33554432000 4194304 6211289 140735599400736 140735599399080 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 157890 134449 219 493 0 157387 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 631560

[startup+522.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/177 10429
/proc/meminfo: memFree=29770916/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=632704 CPUtime=522.2 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 11132 0 0 0 52208 12 0 0 20 0 1 0 12811341 647888896 144516 33554432000 4194304 6211289 140735599400736 140735599399080 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 158176 144516 219 493 0 157673 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 632704

[startup+582.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/177 10430
/proc/meminfo: memFree=29768416/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=633120 CPUtime=582.18 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 11250 0 0 0 58206 12 0 0 20 0 1 0 12811341 648314880 144632 33554432000 4194304 6211289 140735599400736 140735599399080 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 158280 144632 219 493 0 157777 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 633120


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


[startup+882.307 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 10439
/proc/meminfo: memFree=29686224/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=982792 CPUtime=882.12 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 11680 0 0 0 88195 17 0 0 20 0 1 0 12811341 1006379008 161218 33554432000 4194304 6211289 140735599400736 140735599399080 4209503 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 245698 161218 219 493 0 245195 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 982792

[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 10441
/proc/meminfo: memFree=29668456/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=982792 CPUtime=942.1 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 11704 0 0 0 94193 17 0 0 20 0 1 0 12811341 1006379008 163286 33554432000 4194304 6211289 140735599400736 140735599399080 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 245698 163286 219 493 0 245195 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 982792

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10442
/proc/meminfo: memFree=29632268/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=982792 CPUtime=1002.09 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 11722 0 0 0 100192 17 0 0 20 0 1 0 12811341 1006379008 170458 33554432000 4194304 6211289 140735599400736 140735599399080 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 245698 170458 219 493 0 245195 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 982792

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10443
/proc/meminfo: memFree=29631648/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=982792 CPUtime=1062.08 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 11740 0 0 0 106191 17 0 0 20 0 1 0 12811341 1006379008 170476 33554432000 4194304 6211289 140735599400736 140735599399080 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 245698 170476 219 493 0 245195 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 982792

[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 10444
/proc/meminfo: memFree=29607008/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=982940 CPUtime=1122.07 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 11796 0 0 0 112189 18 0 0 20 0 1 0 12811341 1006530560 175131 33554432000 4194304 6211289 140735599400736 140735599398728 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 245735 175131 219 493 0 245232 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 982940

[startup+1182.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 10445
/proc/meminfo: memFree=29569332/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=983076 CPUtime=1182.06 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 11815 0 0 0 118188 18 0 0 20 0 1 0 12811341 1006669824 175150 33554432000 4194304 6211289 140735599400736 140735599399080 4201983 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 245769 175150 219 493 0 245266 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 983076

[startup+1242.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/176 10446
/proc/meminfo: memFree=29545880/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=983076 CPUtime=1242.05 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 11842 0 0 0 124187 18 0 0 20 0 1 0 12811341 1006669824 175177 33554432000 4194304 6211289 140735599400736 140735599399080 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 245769 175177 219 493 0 245266 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 983076

[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 10448
/proc/meminfo: memFree=29498776/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=983076 CPUtime=1302.04 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 11884 0 0 0 130186 18 0 0 20 0 1 0 12811341 1006669824 185950 33554432000 4194304 6211289 140735599400736 140735599399080 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 245769 185950 219 493 0 245266 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 983076

[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 10449
/proc/meminfo: memFree=29479968/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=983076 CPUtime=1362.03 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 11886 0 0 0 136185 18 0 0 20 0 1 0 12811341 1006669824 185950 33554432000 4194304 6211289 140735599400736 140735599399080 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 245769 185950 219 493 0 245266 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 983076

[startup+1422.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 10453
/proc/meminfo: memFree=29443740/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=983360 CPUtime=1422.03 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 11999 0 0 0 142184 19 0 0 20 0 1 0 12811341 1006960640 189115 33554432000 4194304 6211289 140735599400736 140735599399080 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 245840 189115 219 493 0 245337 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 983360

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 10454
/proc/meminfo: memFree=29397740/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=983496 CPUtime=1482 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 12054 0 0 0 148181 19 0 0 20 0 1 0 12811341 1007099904 195801 33554432000 4194304 6211289 140735599400736 140735599399080 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 245874 195801 219 493 0 245371 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 983496

[startup+1542.31 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 10455
/proc/meminfo: memFree=29395028/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=984060 CPUtime=1541.98 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 12231 0 0 0 154179 19 0 0 20 0 1 0 12811341 1007677440 195960 33554432000 4194304 6211289 140735599400736 140735599399080 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 246015 195960 219 493 0 245512 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 984060

[startup+1602.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 10457
/proc/meminfo: memFree=29320392/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=984492 CPUtime=1601.97 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 12361 0 0 0 160177 20 0 0 20 0 1 0 12811341 1008119808 205274 33554432000 4194304 6211289 140735599400736 140735599398728 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 246123 205274 219 493 0 245620 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 984492

[startup+1662.3 s]
/proc/loadavg: 2.20 2.09 2.02 3/177 10458
/proc/meminfo: memFree=29316808/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=984492 CPUtime=1661.95 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 12380 0 0 0 166175 20 0 0 20 0 1 0 12811341 1008119808 205277 33554432000 4194304 6211289 140735599400736 140735599399080 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 246123 205277 219 493 0 245620 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 984492

[startup+1722.3 s]
/proc/loadavg: 2.13 2.09 2.02 3/177 10459
/proc/meminfo: memFree=29317232/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=984648 CPUtime=1721.94 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 12426 0 0 0 172174 20 0 0 20 0 1 0 12811341 1008279552 205316 33554432000 4194304 6211289 140735599400736 140735599398648 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 246162 205316 219 493 0 245659 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 984648

[startup+1782.3 s]
/proc/loadavg: 2.20 2.11 2.03 3/177 10460
/proc/meminfo: memFree=29316576/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=984648 CPUtime=1781.93 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 12431 0 0 0 178173 20 0 0 20 0 1 0 12811341 1008279552 205321 33554432000 4194304 6211289 140735599400736 140735599399080 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 246162 205321 219 493 0 245659 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 984648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.14 2.11 2.03 3/177 10460
/proc/meminfo: memFree=29316328/32872528 swapFree=8284/8284
[pid=10369] ppid=10366 vsize=984648 CPUtime=1800.02 cores=1,3,5,7
/proc/10369/stat : 10369 (cdcl-cuttingpla) R 10366 10369 7449 0 -1 4202496 12433 0 0 0 179982 20 0 0 20 0 1 0 12811341 1008279552 205323 33554432000 4194304 6211289 140735599400736 140735599399080 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10369/statm: 246162 205323 219 493 0 245659 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 984648

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.4
CPU time (s): 1800.04
CPU user time (s): 1799.83
CPU system time (s): 0.206968
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 984648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.206968
maximum resident set size= 821292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12433
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= 177
involuntary context switches= 1965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6353 second user time and 6.82496 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-29 21:17:10
IDJOB=4118823
IDBENCH=111536
IDSOLVER=2549
FILE ID=node151/4118823-1467227830
RUNJOBID= node151-1467215224-8882
PBS_JOBID= 19997570
Free space on /tmp= 71724 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-13.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118823-1467227830/watcher-4118823-1467227830 -o /tmp/evaluation-result-4118823-1467227830/solver-4118823-1467227830 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1467215224-8882 --watchdog 1960 --input HOME/instance-4118823-1467227830.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= aab1aa19ee49ed77df3100abf5070097
RANDOM SEED=823469522

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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		: 2667.065
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		: 2667.065
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		: 2667.065
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		: 2667.065
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		: 2667.065
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		: 2667.065
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:        30387388 kB
Buffers:           63524 kB
Cached:          1133580 kB
SwapCached:         1984 kB
Active:          1267968 kB
Inactive:         475412 kB
Active(anon):     545104 kB
Inactive(anon):     3408 kB
Active(file):     722864 kB
Inactive(file):   472004 kB
Unevictable:        8284 kB
Mlocked:            8284 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:        686420 kB
Mapped:             9360 kB
Shmem:                 0 kB
Slab:             598432 kB
SReclaimable:      42508 kB
SUnreclaim:       555924 kB
KernelStack:        1472 kB
PageTables:         5344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     756364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    663552 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= 71720 MiB
End job on node151 at 2016-06-29 21:47:11