Trace number 4102031

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-10teams.opb
MD5SUM6db31fd4066996ff4f309d723fc2c237
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark914
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 904
Optimality of the best value was proved YES
Number of variables1800
Total number of constraints215
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)215
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint72
Number of terms in the objective function 1800
Biggest coefficient in the objective function 86
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 41700
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 86
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 41700
Number of bits of the biggest sum of numbers16
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.01	c OPTIONS:
0.00/0.01	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.01	c * #variable= 1800 #constraint= 215
0.00/0.02	c * #variable= 1800 #constraint= 215
0.58/0.61	c #Conflicts:       1000 | #Learnt:        999 | 0.130
0.58/0.61	c total clause space: 11.2235MB
0.58/0.61	c total #watches: 51663
2.58/2.63	c total #propagations: 84142 / total #impl: 2057441 (eff. 0.041)
2.58/2.63	c S1->S2
2.58/2.63	c S1->S2
2.58/2.63	c #Conflicts:       2000 | #Learnt:       2001 | 0.069
2.58/2.63	c total clause space: 18.2382MB
2.58/2.63	c total #watches: 100335
4.58/4.61	c total #propagations: 170043 / total #impl: 5371799 (eff. 0.032)
4.58/4.61	c GC COLLECT
4.58/4.61	c #Conflicts:       3000 | #Learnt:       2010 | 0.048
4.58/4.61	c total clause space: 18.2382MB
4.58/4.61	c total #watches: 119134
8.39/8.45	c total #propagations: 249334 / total #impl: 9861551 (eff. 0.025)
8.39/8.45	c #Conflicts:       4000 | #Learnt:       3010 | 0.038
8.39/8.45	c total clause space: 29.637MB
8.39/8.45	c total #watches: 175963
12.89/12.97	c total #propagations: 327221 / total #impl: 14102127 (eff. 0.023)
12.89/12.97	c GC COLLECT
12.89/12.97	c #Conflicts:       5000 | #Learnt:       2366 | 0.033
12.89/12.97	c total clause space: 48.1602MB
12.89/12.97	c total #watches: 167483
17.79/17.81	c total #propagations: 420666 / total #impl: 19508839 (eff. 0.022)
17.79/17.81	c #Conflicts:       6000 | #Learnt:       3366 | 0.032
17.79/17.81	c total clause space: 48.1602MB
17.79/17.81	c total #watches: 226727
23.88/23.97	c total #propagations: 496713 / total #impl: 24811466 (eff. 0.020)
23.88/23.97	c GC COLLECT
23.88/23.97	c #Conflicts:       7000 | #Learnt:       2242 | 0.029
23.88/23.97	c total clause space: 48.1602MB
23.88/23.97	c total #watches: 168495
29.48/29.50	c total #propagations: 568677 / total #impl: 31514681 (eff. 0.018)
29.48/29.50	c #Conflicts:       8000 | #Learnt:       3242 | 0.026
29.48/29.50	c total clause space: 48.1602MB
29.48/29.50	c total #watches: 212906
37.28/37.31	c total #propagations: 662608 / total #impl: 39324181 (eff. 0.017)
37.28/37.31	c #Conflicts:       9000 | #Learnt:       4242 | 0.023
37.28/37.31	c total clause space: 48.1602MB
37.28/37.31	c total #watches: 276662
45.09/45.17	c total #propagations: 752735 / total #impl: 46001301 (eff. 0.016)
45.09/45.17	c GC COLLECT
45.09/45.17	c #Conflicts:      10000 | #Learnt:       2728 | 0.022
45.09/45.17	c total clause space: 78.2603MB
45.09/45.17	c total #watches: 196340
50.59/50.62	c total #propagations: 830804 / total #impl: 52029511 (eff. 0.016)
50.59/50.62	c #Conflicts:      11000 | #Learnt:       3728 | 0.020
50.59/50.62	c total clause space: 78.2603MB
50.59/50.62	c total #watches: 260258
58.29/58.34	c total #propagations: 910071 / total #impl: 59134502 (eff. 0.015)
58.29/58.34	c #Conflicts:      12000 | #Learnt:       4728 | 0.019
58.29/58.34	c total clause space: 78.2603MB
58.29/58.34	c total #watches: 320498
68.68/68.78	c total #propagations: 990656 / total #impl: 66365939 (eff. 0.015)
68.68/68.78	c #Conflicts:      13000 | #Learnt:       5728 | 0.020
68.68/68.78	c total clause space: 78.2603MB
68.68/68.78	c total #watches: 380215
73.98/74.02	c total #propagations: 1078183 / total #impl: 74170577 (eff. 0.015)
73.98/74.02	c GC COLLECT
73.98/74.02	c #Conflicts:      14000 | #Learnt:       3867 | 0.019
73.98/74.02	c total clause space: 78.2603MB
73.98/74.02	c total #watches: 280731
80.68/80.73	c total #propagations: 1169074 / total #impl: 80801897 (eff. 0.014)
80.68/80.73	c #Conflicts:      15000 | #Learnt:       4867 | 0.018
80.68/80.73	c total clause space: 78.2603MB
80.68/80.73	c total #watches: 330118
88.67/88.73	c total #propagations: 1250380 / total #impl: 88049044 (eff. 0.014)
88.67/88.73	c #Conflicts:      16000 | #Learnt:       5867 | 0.017
88.67/88.73	c total clause space: 78.2603MB
88.67/88.73	c total #watches: 381153
97.47/97.53	c total #propagations: 1327254 / total #impl: 95583145 (eff. 0.014)
97.47/97.53	c GC COLLECT
97.47/97.53	c #Conflicts:      17000 | #Learnt:       3689 | 0.017
97.47/97.53	c total clause space: 78.2603MB
97.47/97.53	c total #watches: 266249
104.17/104.21	c total #propagations: 1421634 / total #impl: 104646435 (eff. 0.014)
104.17/104.21	c #Conflicts:      18000 | #Learnt:       4689 | 0.017
104.17/104.21	c total clause space: 78.2603MB
104.17/104.21	c total #watches: 324123
112.77/112.89	c total #propagations: 1512780 / total #impl: 114018801 (eff. 0.013)
112.77/112.89	c #Conflicts:      19000 | #Learnt:       5689 | 0.016
112.77/112.89	c total clause space: 78.2603MB
112.77/112.89	c total #watches: 380874
125.48/125.52	c total #propagations: 1600127 / total #impl: 124522707 (eff. 0.013)
125.48/125.52	c #Conflicts:      20000 | #Learnt:       6689 | 0.015
125.48/125.52	c total clause space: 127.173MB
125.48/125.52	c total #watches: 440522
134.57/134.69	c total #propagations: 1691971 / total #impl: 133138237 (eff. 0.013)
134.57/134.69	c GC COLLECT
134.57/134.69	c #Conflicts:      21000 | #Learnt:       4206 | 0.015
134.57/134.69	c total clause space: 127.173MB
134.57/134.69	c total #watches: 311489
141.27/141.34	c total #propagations: 1780835 / total #impl: 141251126 (eff. 0.013)
141.27/141.34	c #Conflicts:      22000 | #Learnt:       5206 | 0.014
141.27/141.34	c total clause space: 127.173MB
141.27/141.34	c total #watches: 358475
150.67/150.79	c total #propagations: 1849955 / total #impl: 147546287 (eff. 0.013)
150.67/150.79	c #Conflicts:      23000 | #Learnt:       6206 | 0.014
150.67/150.79	c total clause space: 127.173MB
150.67/150.79	c total #watches: 406805
164.86/164.90	c total #propagations: 1920133 / total #impl: 155264335 (eff. 0.012)
164.86/164.90	c #Conflicts:      24000 | #Learnt:       7206 | 0.014
164.86/164.90	c total clause space: 127.173MB
164.86/164.90	c total #watches: 474730
174.97/175.08	c total #propagations: 2006343 / total #impl: 165244640 (eff. 0.012)
174.97/175.08	c GC COLLECT
174.97/175.08	c #Conflicts:      25000 | #Learnt:       4406 | 0.013
174.97/175.08	c total clause space: 127.173MB
174.97/175.08	c total #watches: 330915
184.46/184.55	c total #propagations: 2086476 / total #impl: 174540638 (eff. 0.012)
184.46/184.55	c #Conflicts:      26000 | #Learnt:       5406 | 0.014
184.46/184.55	c total clause space: 127.173MB
184.46/184.55	c total #watches: 393641
195.26/195.36	c total #propagations: 2169158 / total #impl: 183697820 (eff. 0.012)
195.26/195.36	c #Conflicts:      27000 | #Learnt:       6406 | 0.013
195.26/195.36	c total clause space: 127.173MB
195.26/195.36	c total #watches: 467319
211.35/211.45	c total #propagations: 2244403 / total #impl: 193792411 (eff. 0.012)
211.35/211.45	c #Conflicts:      28000 | #Learnt:       7406 | 0.013
211.35/211.45	c total clause space: 127.173MB
211.35/211.45	c total #watches: 535365
231.15/231.20	c total #propagations: 2327421 / total #impl: 204418844 (eff. 0.011)
231.15/231.20	c GC COLLECT
231.15/231.20	c #Conflicts:      29000 | #Learnt:       4308 | 0.013
231.15/231.20	c total clause space: 127.173MB
231.15/231.20	c total #watches: 355234
241.35/241.47	c total #propagations: 2421695 / total #impl: 216188390 (eff. 0.011)
241.35/241.47	c #Conflicts:      30000 | #Learnt:       5308 | 0.012
241.35/241.47	c total clause space: 127.173MB
241.35/241.47	c total #watches: 411588
253.74/253.82	c total #propagations: 2504838 / total #impl: 225234102 (eff. 0.011)
253.74/253.82	c #Conflicts:      31000 | #Learnt:       6308 | 0.013
253.74/253.82	c total clause space: 127.173MB
253.74/253.82	c total #watches: 482523
268.45/268.54	c total #propagations: 2597676 / total #impl: 234560793 (eff. 0.011)
268.45/268.54	c #Conflicts:      32000 | #Learnt:       7308 | 0.013
268.45/268.54	c total clause space: 127.173MB
268.45/268.54	c total #watches: 542256
287.05/287.15	c total #propagations: 2690249 / total #impl: 244100960 (eff. 0.011)
287.05/287.15	c #Conflicts:      33000 | #Learnt:       8308 | 0.012
287.05/287.15	c total clause space: 127.173MB
287.05/287.15	c total #watches: 607859
300.94/301.03	c total #propagations: 2782281 / total #impl: 254474450 (eff. 0.011)
300.94/301.03	c GC COLLECT
300.94/301.03	c #Conflicts:      34000 | #Learnt:       4911 | 0.012
300.94/301.03	c total clause space: 127.173MB
300.94/301.03	c total #watches: 387474
310.14/310.25	c total #propagations: 2854397 / total #impl: 264907857 (eff. 0.011)
310.14/310.25	c #Conflicts:      35000 | #Learnt:       5911 | 0.012
310.14/310.25	c total clause space: 127.173MB
310.14/310.25	c total #watches: 435358
324.63/324.75	c total #propagations: 2929319 / total #impl: 275003460 (eff. 0.011)
324.63/324.75	c #Conflicts:      36000 | #Learnt:       6911 | 0.012
324.63/324.75	c total clause space: 127.173MB
324.63/324.75	c total #watches: 486098
343.14/343.28	c total #propagations: 3020024 / total #impl: 288494654 (eff. 0.010)
343.14/343.28	c #Conflicts:      37000 | #Learnt:       7911 | 0.011
343.14/343.28	c total clause space: 127.173MB
343.14/343.28	c total #watches: 528603
363.63/363.72	c total #propagations: 3114230 / total #impl: 300312536 (eff. 0.010)
363.63/363.72	c #Conflicts:      38000 | #Learnt:       8911 | 0.011
363.63/363.72	c total clause space: 127.173MB
363.63/363.72	c total #watches: 580908
381.01/381.12	c total #propagations: 3202242 / total #impl: 313025416 (eff. 0.010)
381.01/381.12	c GC COLLECT
381.01/381.12	c #Conflicts:      39000 | #Learnt:       5214 | 0.011
381.01/381.12	c total clause space: 127.173MB
381.01/381.12	c total #watches: 354424
393.81/393.98	c total #propagations: 3291530 / total #impl: 325317767 (eff. 0.010)
393.81/393.98	c #Conflicts:      40000 | #Learnt:       6214 | 0.011
393.81/393.98	c total clause space: 127.173MB
393.81/393.98	c total #watches: 411409
411.79/411.90	c total #propagations: 3379636 / total #impl: 337123780 (eff. 0.010)
411.79/411.90	c #Conflicts:      41000 | #Learnt:       7214 | 0.011
411.79/411.90	c total clause space: 127.173MB
411.79/411.90	c total #watches: 468105
431.49/431.61	c total #propagations: 3476937 / total #impl: 348832860 (eff. 0.010)
431.49/431.61	c #Conflicts:      42000 | #Learnt:       8214 | 0.010
431.49/431.61	c total clause space: 127.173MB
431.49/431.61	c total #watches: 528108
457.50/457.64	c total #propagations: 3572678 / total #impl: 360892354 (eff. 0.010)
457.50/457.64	c #Conflicts:      43000 | #Learnt:       9214 | 0.010
457.50/457.64	c total clause space: 206.656MB
457.50/457.64	c total #watches: 593331
482.89/483.09	c total #propagations: 3684701 / total #impl: 374515864 (eff. 0.010)
482.89/483.09	c GC COLLECT
482.89/483.09	c #Conflicts:      44000 | #Learnt:       5222 | 0.010
482.89/483.09	c total clause space: 206.656MB
482.89/483.09	c total #watches: 394231
496.39/496.51	c total #propagations: 3785710 / total #impl: 389446375 (eff. 0.010)
496.39/496.51	c #Conflicts:      45000 | #Learnt:       6222 | 0.010
496.39/496.51	c total clause space: 206.656MB
496.39/496.51	c total #watches: 452594
516.99/517.12	c total #propagations: 3886917 / total #impl: 401663765 (eff. 0.010)
516.99/517.12	c #Conflicts:      46000 | #Learnt:       7222 | 0.010
516.99/517.12	c total clause space: 206.656MB
516.99/517.12	c total #watches: 519967
539.78/539.94	c total #propagations: 3983881 / total #impl: 413797722 (eff. 0.010)
539.78/539.94	c #Conflicts:      47000 | #Learnt:       8222 | 0.010
539.78/539.94	c total clause space: 206.656MB
539.78/539.94	c total #watches: 579629
565.78/565.93	c total #propagations: 4066750 / total #impl: 425454495 (eff. 0.010)
565.78/565.93	c #Conflicts:      48000 | #Learnt:       9222 | 0.009
565.78/565.93	c total clause space: 206.656MB
565.78/565.93	c total #watches: 639349
598.17/598.30	c total #propagations: 4143996 / total #impl: 439289368 (eff. 0.009)
598.17/598.30	c #Conflicts:      49000 | #Learnt:      10222 | 0.010
598.17/598.30	c total clause space: 206.656MB
598.17/598.30	c total #watches: 715658
617.77/617.99	c total #propagations: 4239725 / total #impl: 452089581 (eff. 0.009)
617.77/617.99	c GC COLLECT
617.77/617.99	c #Conflicts:      50000 | #Learnt:       5910 | 0.010
617.77/617.99	c total clause space: 206.656MB
617.77/617.99	c total #watches: 462770
634.06/634.21	c total #propagations: 4328484 / total #impl: 463572226 (eff. 0.009)
634.06/634.21	c #Conflicts:      51000 | #Learnt:       6910 | 0.010
634.06/634.21	c total clause space: 206.656MB
634.06/634.21	c total #watches: 530800
651.17/651.32	c total #propagations: 4429144 / total #impl: 477833210 (eff. 0.009)
651.17/651.32	c #Conflicts:      52000 | #Learnt:       7910 | 0.009
651.17/651.32	c total clause space: 206.656MB
651.17/651.32	c total #watches: 589462
669.56/669.78	c total #propagations: 4528805 / total #impl: 491053758 (eff. 0.009)
669.56/669.78	c #Conflicts:      53000 | #Learnt:       8910 | 0.009
669.56/669.78	c total clause space: 206.656MB
669.56/669.78	c total #watches: 653735
684.86/685.10	c total #propagations: 4637792 / total #impl: 503266021 (eff. 0.009)
684.86/685.10	c #Conflicts:      54000 | #Learnt:       9910 | 0.010
684.86/685.10	c total clause space: 206.656MB
684.86/685.10	c total #watches: 712373
702.95/703.12	c total #propagations: 4736177 / total #impl: 512355002 (eff. 0.009)
702.95/703.12	c #Conflicts:      55000 | #Learnt:      10910 | 0.010
702.95/703.12	c total clause space: 206.656MB
702.95/703.12	c total #watches: 772237
715.55/715.75	c total #propagations: 4868764 / total #impl: 522511261 (eff. 0.009)
715.55/715.75	c GC COLLECT
715.55/715.75	c #Conflicts:      56000 | #Learnt:       6306 | 0.010
715.55/715.75	c total clause space: 206.656MB
715.55/715.75	c total #watches: 474925
726.75/726.94	c total #propagations: 4955269 / total #impl: 532760765 (eff. 0.009)
726.75/726.94	c #Conflicts:      57000 | #Learnt:       7306 | 0.009
726.75/726.94	c total clause space: 206.656MB
726.75/726.94	c total #watches: 537624
742.45/742.62	c total #propagations: 5041566 / total #impl: 544319598 (eff. 0.009)
742.45/742.62	c #Conflicts:      58000 | #Learnt:       8306 | 0.009
742.45/742.62	c total clause space: 206.656MB
742.45/742.62	c total #watches: 601740
758.35/758.57	c total #propagations: 5126114 / total #impl: 556296486 (eff. 0.009)
758.35/758.57	c #Conflicts:      59000 | #Learnt:       9306 | 0.009
758.35/758.57	c total clause space: 206.656MB
758.35/758.57	c total #watches: 663326
777.84/778.09	c total #propagations: 5213484 / total #impl: 568415594 (eff. 0.009)
777.84/778.09	c #Conflicts:      60000 | #Learnt:      10306 | 0.009
777.84/778.09	c total clause space: 206.656MB
777.84/778.09	c total #watches: 722329
803.24/803.40	c total #propagations: 5297107 / total #impl: 580937491 (eff. 0.009)
803.24/803.40	c #Conflicts:      61000 | #Learnt:      11306 | 0.009
803.24/803.40	c total clause space: 206.656MB
803.24/803.40	c total #watches: 782951
824.34/824.50	c total #propagations: 5380315 / total #impl: 593504833 (eff. 0.009)
824.34/824.50	c GC COLLECT
824.34/824.50	c #Conflicts:      62000 | #Learnt:       6400 | 0.009
824.34/824.50	c total clause space: 206.656MB
824.34/824.50	c total #watches: 507670
840.03/840.21	c total #propagations: 5463759 / total #impl: 608042829 (eff. 0.009)
840.03/840.21	c #Conflicts:      63000 | #Learnt:       7400 | 0.009
840.03/840.21	c total clause space: 206.656MB
840.03/840.21	c total #watches: 571240
858.94/859.18	c total #propagations: 5550767 / total #impl: 621871233 (eff. 0.009)
858.94/859.18	c #Conflicts:      64000 | #Learnt:       8400 | 0.009
858.94/859.18	c total clause space: 206.656MB
858.94/859.18	c total #watches: 631830
885.63/885.88	c total #propagations: 5635839 / total #impl: 637381192 (eff. 0.009)
885.63/885.88	c #Conflicts:      65000 | #Learnt:       9400 | 0.009
885.63/885.88	c total clause space: 206.656MB
885.63/885.88	c total #watches: 706761
914.42/914.63	c total #propagations: 5727425 / total #impl: 652158456 (eff. 0.009)
914.42/914.63	c #Conflicts:      66000 | #Learnt:      10400 | 0.009
914.42/914.63	c total clause space: 206.656MB
914.42/914.63	c total #watches: 764016
944.92/945.14	c total #propagations: 5812387 / total #impl: 667289488 (eff. 0.009)
944.92/945.14	c #Conflicts:      67000 | #Learnt:      11400 | 0.009
944.92/945.14	c total clause space: 206.656MB
944.92/945.14	c total #watches: 821482
977.51/977.78	c total #propagations: 5894756 / total #impl: 680578995 (eff. 0.009)
977.51/977.78	c #Conflicts:      68000 | #Learnt:      12400 | 0.009
977.51/977.78	c total clause space: 206.656MB
977.51/977.78	c total #watches: 883287
992.31/992.52	c total #propagations: 5987336 / total #impl: 693631652 (eff. 0.009)
992.31/992.52	c GC COLLECT
992.31/992.52	c #Conflicts:      69000 | #Learnt:       7200 | 0.009
992.31/992.52	c total clause space: 206.656MB
992.31/992.52	c total #watches: 581416
1012.30/1012.55	c total #propagations: 6065940 / total #impl: 706349449 (eff. 0.009)
1012.30/1012.55	c #Conflicts:      70000 | #Learnt:       8200 | 0.009
1012.30/1012.55	c total clause space: 206.656MB
1012.30/1012.55	c total #watches: 642880
1030.51/1030.74	c total #propagations: 6156596 / total #impl: 721031868 (eff. 0.009)
1030.51/1030.74	c #Conflicts:      71000 | #Learnt:       9200 | 0.009
1030.51/1030.74	c total clause space: 206.656MB
1030.51/1030.74	c total #watches: 700756
1050.70/1050.94	c total #propagations: 6229483 / total #impl: 736569581 (eff. 0.008)
1050.70/1050.94	c #Conflicts:      72000 | #Learnt:      10200 | 0.009
1050.70/1050.94	c total clause space: 206.656MB
1050.70/1050.94	c total #watches: 750049
1075.39/1075.60	c total #propagations: 6308161 / total #impl: 751054485 (eff. 0.008)
1075.39/1075.60	c #Conflicts:      73000 | #Learnt:      11200 | 0.009
1075.39/1075.60	c total clause space: 206.656MB
1075.39/1075.60	c total #watches: 807067
1108.29/1108.51	c total #propagations: 6393647 / total #impl: 764064165 (eff. 0.008)
1108.29/1108.51	c #Conflicts:      74000 | #Learnt:      12200 | 0.009
1108.29/1108.51	c total clause space: 206.656MB
1108.29/1108.51	c total #watches: 868158
1134.38/1134.69	c total #propagations: 6483000 / total #impl: 777986544 (eff. 0.008)
1134.38/1134.69	c GC COLLECT
1134.38/1134.69	c #Conflicts:      75000 | #Learnt:       6698 | 0.009
1134.38/1134.69	c total clause space: 206.656MB
1134.38/1134.69	c total #watches: 529161
1148.78/1149.05	c total #propagations: 6574591 / total #impl: 790060303 (eff. 0.008)
1148.78/1149.05	c #Conflicts:      76000 | #Learnt:       7698 | 0.009
1148.78/1149.05	c total clause space: 206.656MB
1148.78/1149.05	c total #watches: 594444
1162.49/1162.72	c total #propagations: 6675273 / total #impl: 804329255 (eff. 0.008)
1162.49/1162.72	c #Conflicts:      77000 | #Learnt:       8698 | 0.009
1162.49/1162.72	c total clause space: 206.656MB
1162.49/1162.72	c total #watches: 653510
1180.88/1181.17	c total #propagations: 6760850 / total #impl: 814621227 (eff. 0.008)
1180.88/1181.17	c #Conflicts:      78000 | #Learnt:       9698 | 0.009
1180.88/1181.17	c total clause space: 206.656MB
1180.88/1181.17	c total #watches: 712363
1196.47/1196.74	c total #propagations: 6847305 / total #impl: 827108654 (eff. 0.008)
1196.47/1196.74	c #Conflicts:      79000 | #Learnt:      10698 | 0.009
1196.47/1196.74	c total clause space: 206.656MB
1196.47/1196.74	c total #watches: 753586
1216.57/1216.87	c total #propagations: 6935209 / total #impl: 837392900 (eff. 0.008)
1216.57/1216.87	c #Conflicts:      80000 | #Learnt:      11698 | 0.009
1216.57/1216.87	c total clause space: 206.656MB
1216.57/1216.87	c total #watches: 819137
1234.57/1234.85	c total #propagations: 7012703 / total #impl: 848822674 (eff. 0.008)
1234.57/1234.85	c #Conflicts:      81000 | #Learnt:      12698 | 0.009
1234.57/1234.85	c total clause space: 206.656MB
1234.57/1234.85	c total #watches: 872556
1255.67/1255.98	c total #propagations: 7091292 / total #impl: 859108205 (eff. 0.008)
1255.67/1255.98	c GC COLLECT
1255.67/1255.98	c #Conflicts:      82000 | #Learnt:       6901 | 0.009
1255.67/1255.98	c total clause space: 206.656MB
1255.67/1255.98	c total #watches: 547341
1265.87/1266.14	c total #propagations: 7179011 / total #impl: 872231491 (eff. 0.008)
1265.87/1266.14	c #Conflicts:      83000 | #Learnt:       7901 | 0.008
1265.87/1266.14	c total clause space: 206.656MB
1265.87/1266.14	c total #watches: 593845
1279.07/1279.39	c total #propagations: 7265380 / total #impl: 886714101 (eff. 0.008)
1279.07/1279.39	c #Conflicts:      84000 | #Learnt:       8901 | 0.008
1279.07/1279.39	c total clause space: 206.656MB
1279.07/1279.39	c total #watches: 657691
1292.56/1292.83	c total #propagations: 7352169 / total #impl: 900458760 (eff. 0.008)
1292.56/1292.83	c #Conflicts:      85000 | #Learnt:       9901 | 0.008
1292.56/1292.83	c total clause space: 206.656MB
1292.56/1292.83	c total #watches: 706644
1306.76/1307.00	c total #propagations: 7427830 / total #impl: 913049036 (eff. 0.008)
1306.76/1307.00	c #Conflicts:      86000 | #Learnt:      10901 | 0.008
1306.76/1307.00	c total clause space: 206.656MB
1306.76/1307.00	c total #watches: 746905
1324.65/1324.90	c total #propagations: 7501305 / total #impl: 925395957 (eff. 0.008)
1324.65/1324.90	c #Conflicts:      87000 | #Learnt:      11901 | 0.008
1324.65/1324.90	c total clause space: 206.656MB
1324.65/1324.90	c total #watches: 796236
1343.35/1343.64	c total #propagations: 7585200 / total #impl: 937723758 (eff. 0.008)
1343.35/1343.64	c #Conflicts:      88000 | #Learnt:      12901 | 0.008
1343.35/1343.64	c total clause space: 206.656MB
1343.35/1343.64	c total #watches: 846024
1365.15/1365.40	c total #propagations: 7673111 / total #impl: 951175725 (eff. 0.008)
1365.15/1365.40	c #Conflicts:      89000 | #Learnt:      13901 | 0.008
1365.15/1365.40	c total clause space: 206.656MB
1365.15/1365.40	c total #watches: 892933
1380.15/1380.42	c total #propagations: 7762775 / total #impl: 966234019 (eff. 0.008)
1380.15/1380.42	c GC COLLECT
1380.15/1380.42	c #Conflicts:      90000 | #Learnt:       7821 | 0.008
1380.15/1380.42	c total clause space: 206.656MB
1380.15/1380.42	c total #watches: 552412
1390.35/1390.61	c total #propagations: 7853127 / total #impl: 980200544 (eff. 0.008)
1390.35/1390.61	c #Conflicts:      91000 | #Learnt:       8821 | 0.008
1390.35/1390.61	c total clause space: 206.656MB
1390.35/1390.61	c total #watches: 606413
1400.95/1401.27	c total #propagations: 7936776 / total #impl: 992666038 (eff. 0.008)
1400.95/1401.27	c #Conflicts:      92000 | #Learnt:       9821 | 0.008
1400.95/1401.27	c total clause space: 206.656MB
1400.95/1401.27	c total #watches: 648621
1416.25/1416.51	c total #propagations: 8016558 / total #impl: 1003792084 (eff. 0.008)
1416.25/1416.51	c #Conflicts:      93000 | #Learnt:      10821 | 0.008
1416.25/1416.51	c total clause space: 206.656MB
1416.25/1416.51	c total #watches: 708721
1432.44/1432.73	c total #propagations: 8111289 / total #impl: 1016970515 (eff. 0.008)
1432.44/1432.73	c #Conflicts:      94000 | #Learnt:      11821 | 0.008
1432.44/1432.73	c total clause space: 206.656MB
1432.44/1432.73	c total #watches: 758822
1446.14/1446.44	c total #propagations: 8210622 / total #impl: 1029263575 (eff. 0.008)
1446.14/1446.44	c #Conflicts:      95000 | #Learnt:      12821 | 0.008
1446.14/1446.44	c total clause space: 206.656MB
1446.14/1446.44	c total #watches: 814702
1462.94/1463.28	c total #propagations: 8291989 / total #impl: 1040811308 (eff. 0.008)
1462.94/1463.28	c #Conflicts:      96000 | #Learnt:      13821 | 0.008
1462.94/1463.28	c total clause space: 206.656MB
1462.94/1463.28	c total #watches: 858831
1482.73/1483.02	c total #propagations: 8377998 / total #impl: 1053869804 (eff. 0.008)
1482.73/1483.02	c #Conflicts:      97000 | #Learnt:      14821 | 0.008
1482.73/1483.02	c total clause space: 335.816MB
1482.73/1483.02	c total #watches: 896074
1491.73/1492.03	c total #propagations: 8461296 / total #impl: 1067216358 (eff. 0.008)
1491.73/1492.03	c GC COLLECT
1491.73/1492.03	c #Conflicts:      98000 | #Learnt:       8428 | 0.008
1491.73/1492.03	c total clause space: 335.816MB
1491.73/1492.03	c total #watches: 578301
1503.13/1503.49	c total #propagations: 8546333 / total #impl: 1079781039 (eff. 0.008)
1503.13/1503.49	c #Conflicts:      99000 | #Learnt:       9428 | 0.007
1503.13/1503.49	c total clause space: 335.816MB
1503.13/1503.49	c total #watches: 624352
1516.73/1517.01	c total #propagations: 8641854 / total #impl: 1090059198 (eff. 0.008)
1516.73/1517.01	c #Conflicts:     100000 | #Learnt:      10428 | 0.007
1516.73/1517.01	c total clause space: 335.816MB
1516.73/1517.01	c total #watches: 685112
1533.52/1533.88	c total #propagations: 8739235 / total #impl: 1101675124 (eff. 0.008)
1533.52/1533.88	c #Conflicts:     101000 | #Learnt:      11428 | 0.007
1533.52/1533.88	c total clause space: 335.816MB
1533.52/1533.88	c total #watches: 741419
1550.92/1551.21	c total #propagations: 8845470 / total #impl: 1114102924 (eff. 0.008)
1550.92/1551.21	c #Conflicts:     102000 | #Learnt:      12428 | 0.007
1550.92/1551.21	c total clause space: 335.816MB
1550.92/1551.21	c total #watches: 797752
1571.62/1571.96	c total #propagations: 8942632 / total #impl: 1128242426 (eff. 0.008)
1571.62/1571.96	c #Conflicts:     103000 | #Learnt:      13428 | 0.007
1571.62/1571.96	c total clause space: 335.816MB
1571.62/1571.96	c total #watches: 853541
1602.42/1602.78	c total #propagations: 9025869 / total #impl: 1139928355 (eff. 0.008)
1602.42/1602.78	c #Conflicts:     104000 | #Learnt:      14428 | 0.007
1602.42/1602.78	c total clause space: 335.816MB
1602.42/1602.78	c total #watches: 931295
1627.11/1627.49	c total #propagations: 9121044 / total #impl: 1152470343 (eff. 0.008)
1627.11/1627.49	c #Conflicts:     105000 | #Learnt:      15428 | 0.007
1627.11/1627.49	c total clause space: 335.816MB
1627.11/1627.49	c total #watches: 990198
1641.51/1641.86	c total #propagations: 9208512 / total #impl: 1163013462 (eff. 0.008)
1641.51/1641.86	c GC COLLECT
1641.51/1641.86	c #Conflicts:     106000 | #Learnt:       8716 | 0.007
1641.51/1641.86	c total clause space: 335.816MB
1641.51/1641.86	c total #watches: 686571
1662.41/1662.71	c total #propagations: 9297771 / total #impl: 1174435319 (eff. 0.008)
1662.41/1662.71	c #Conflicts:     107000 | #Learnt:       9716 | 0.007
1662.41/1662.71	c total clause space: 335.816MB
1662.41/1662.71	c total #watches: 755128
1682.40/1682.71	c total #propagations: 9386198 / total #impl: 1185748300 (eff. 0.008)
1682.40/1682.71	c #Conflicts:     108000 | #Learnt:      10716 | 0.007
1682.40/1682.71	c total clause space: 335.816MB
1682.40/1682.71	c total #watches: 804965
1703.89/1704.23	c total #propagations: 9484902 / total #impl: 1196637063 (eff. 0.008)
1703.89/1704.23	c #Conflicts:     109000 | #Learnt:      11716 | 0.007
1703.89/1704.23	c total clause space: 335.816MB
1703.89/1704.23	c total #watches: 850406
1724.18/1724.53	c total #propagations: 9595797 / total #impl: 1207931748 (eff. 0.008)
1724.18/1724.53	c #Conflicts:     110000 | #Learnt:      12716 | 0.007
1724.18/1724.53	c total clause space: 335.816MB
1724.18/1724.53	c total #watches: 909232
1748.06/1748.40	c total #propagations: 9688311 / total #impl: 1219841409 (eff. 0.008)
1748.06/1748.40	c #Conflicts:     111000 | #Learnt:      13716 | 0.007
1748.06/1748.40	c total clause space: 335.816MB
1748.06/1748.40	c total #watches: 977198
1782.35/1782.73	c total #propagations: 9774803 / total #impl: 1233819676 (eff. 0.008)
1782.35/1782.73	c #Conflicts:     112000 | #Learnt:      14716 | 0.007
1782.35/1782.73	c total clause space: 335.816MB
1782.35/1782.73	c total #watches: 1042561

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-4102031-1466261990/watcher-4102031-1466261990 -o /tmp/evaluation-result-4102031-1466261990/solver-4102031-1466261990 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466240178-16744 --watchdog 1960 --input HOME/instance-4102031-1466261990.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=19099
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.17 2.18 2.20 4/176 19102
/proc/meminfo: memFree=29840040/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 256 0 0 0 0 0 0 0 20 0 1 0 28244704 57319424 6780 33554432000 4194304 6211289 140736732325632 140734809689528 4206563 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 13994 6780 98 493 0 13491 0

[startup+0.100125 s]
/proc/loadavg: 2.17 2.18 2.20 4/176 19102
/proc/meminfo: memFree=29840040/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=65432 CPUtime=0.08 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 1179 0 0 0 8 0 0 0 20 0 1 0 28244704 67002368 13701 33554432000 4194304 6211289 140736732325632 140734809689528 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 16358 13701 150 493 0 15855 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 65432

[startup+0.20031 s]
/proc/loadavg: 2.17 2.18 2.20 4/176 19102
/proc/meminfo: memFree=29840040/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=65656 CPUtime=0.19 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 1349 0 0 0 19 0 0 0 20 0 1 0 28244704 67231744 13829 33554432000 4194304 6211289 140736732325632 140734809689528 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 16414 13829 150 493 0 15911 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 65656

[startup+0.300304 s]
/proc/loadavg: 2.17 2.18 2.20 4/176 19102
/proc/meminfo: memFree=29840040/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=68604 CPUtime=0.28 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 1597 0 0 0 28 0 0 0 20 0 1 0 28244704 70250496 14508 33554432000 4194304 6211289 140736732325632 140734809689528 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 17151 14508 150 493 0 16648 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 68604

[startup+0.700271 s]
/proc/loadavg: 2.17 2.18 2.20 4/176 19102
/proc/meminfo: memFree=29840040/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=73268 CPUtime=0.69 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 1971 0 0 0 68 1 0 0 20 0 1 0 28244704 75026432 15289 33554432000 4194304 6211289 140736732325632 140736732323976 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 18317 15289 160 493 0 17814 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73268

[startup+1.5002 s]
/proc/loadavg: 2.17 2.18 2.20 3/177 19103
/proc/meminfo: memFree=29778148/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=108572 CPUtime=1.49 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 4847 0 0 0 148 1 0 0 20 0 1 0 28244704 111177728 21893 33554432000 4194304 6211289 140736732325632 140736732323976 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 27143 21893 214 493 0 26640 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 108572

[startup+3.10027 s]
/proc/loadavg: 2.17 2.18 2.20 3/177 19103
/proc/meminfo: memFree=29749988/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=109096 CPUtime=3.08 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 5412 0 0 0 307 1 0 0 20 0 1 0 28244704 111714304 23336 33554432000 4194304 6211289 140736732325632 140736732323976 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 27274 23336 214 493 0 26771 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 109096

[startup+6.30028 s]
/proc/loadavg: 2.16 2.18 2.20 3/177 19103
/proc/meminfo: memFree=29740504/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=121928 CPUtime=6.29 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 5962 0 0 0 627 2 0 0 20 0 1 0 28244704 124854272 25343 33554432000 4194304 6211289 140736732325632 140736732323800 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 30482 25343 219 493 0 29979 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 121928

[startup+12.7002 s]
/proc/loadavg: 2.14 2.18 2.20 3/178 19106
/proc/meminfo: memFree=29730304/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=142116 CPUtime=12.69 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 7082 0 0 0 1267 2 0 0 20 0 1 0 28244704 145526784 27122 33554432000 4194304 6211289 140736732325632 140736732323800 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 35529 27122 219 493 0 35026 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 142116

[startup+25.5003 s]
/proc/loadavg: 2.11 2.17 2.19 4/178 19106
/proc/meminfo: memFree=29711920/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=143320 CPUtime=25.48 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 7877 0 0 0 2546 2 0 0 20 0 1 0 28244704 146759680 31820 33554432000 4194304 6211289 140736732325632 140736732323976 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 35830 31820 219 493 0 35327 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 143320

[startup+51.1003 s]
/proc/loadavg: 2.15 2.17 2.19 3/178 19106
/proc/meminfo: memFree=29701400/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=176244 CPUtime=51.08 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 9144 0 0 0 5105 3 0 0 20 0 1 0 28244704 180473856 34289 33554432000 4194304 6211289 140736732325632 140736732323976 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 44061 34289 219 493 0 43558 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 176244

[startup+102.3 s]
/proc/loadavg: 2.13 2.16 2.18 3/178 19130
/proc/meminfo: memFree=29674272/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=178156 CPUtime=102.28 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 9835 0 0 0 10225 3 0 0 20 0 1 0 28244704 182431744 37514 33554432000 4194304 6211289 140736732325632 140736732323976 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 44539 37514 219 493 0 44036 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 178156

[startup+162.3 s]
/proc/loadavg: 2.14 2.16 2.18 3/177 19132
/proc/meminfo: memFree=29646576/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=231136 CPUtime=162.26 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 11052 0 0 0 16222 4 0 0 20 0 1 0 28244704 236683264 44150 33554432000 4194304 6211289 140736732325632 140736732323800 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 57784 44150 219 493 0 57281 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 231136

[startup+222.307 s]
/proc/loadavg: 2.12 2.15 2.18 4/177 19133
/proc/meminfo: memFree=29639148/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=233620 CPUtime=222.26 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 11727 0 0 0 22222 4 0 0 20 0 1 0 28244704 239226880 45838 33554432000 4194304 6211289 140736732325632 140736732323800 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 58405 45838 219 493 0 57902 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 233620

[startup+282.3 s]
/proc/loadavg: 2.18 2.17 2.18 4/177 19134
/proc/meminfo: memFree=29634224/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=234784 CPUtime=282.24 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 12030 0 0 0 28220 4 0 0 20 0 1 0 28244704 240418816 47158 33554432000 4194304 6211289 140736732325632 140736732323496 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 58696 47158 219 493 0 58193 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 234784

[startup+342.3 s]
/proc/loadavg: 2.33 2.21 2.19 3/177 19135
/proc/meminfo: memFree=29632868/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=235336 CPUtime=342.23 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 12168 0 0 0 34219 4 0 0 20 0 1 0 28244704 240984064 47296 33554432000 4194304 6211289 140736732325632 140736732323800 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 58834 47296 219 493 0 58331 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 235336

[startup+402.3 s]
/proc/loadavg: 2.25 2.21 2.19 4/177 19136
/proc/meminfo: memFree=29605240/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=235864 CPUtime=402.2 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 12351 0 0 0 40215 5 0 0 20 0 1 0 28244704 241524736 54100 33554432000 4194304 6211289 140736732325632 140736732323800 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 58966 54100 219 493 0 58463 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 235864

[startup+462.3 s]
/proc/loadavg: 2.23 2.22 2.19 3/177 19138
/proc/meminfo: memFree=29588328/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=317788 CPUtime=462.19 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 12917 0 0 0 46212 7 0 0 20 0 1 0 28244704 325414912 58150 33554432000 4194304 6211289 140736732325632 140736732323800 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 79447 58150 219 493 0 78944 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 317788

[startup+522.3 s]
/proc/loadavg: 2.24 2.22 2.19 3/177 19139
/proc/meminfo: memFree=29565052/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=318888 CPUtime=522.18 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 13526 0 0 0 52211 7 0 0 20 0 1 0 28244704 326541312 61492 33554432000 4194304 6211289 140736732325632 140736732323976 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 79722 61492 219 493 0 79219 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 318888

[startup+582.3 s]
/proc/loadavg: 2.24 2.22 2.18 4/177 19140
/proc/meminfo: memFree=29538312/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=320144 CPUtime=582.17 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 14022 0 0 0 58210 7 0 0 20 0 1 0 28244704 327827456 61978 33554432000 4194304 6211289 140736732325632 140736732323496 4209380 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 80036 61978 219 493 0 79533 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 320144


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


[startup+882.307 s]
/proc/loadavg: 2.21 2.26 2.19 4/177 19149
/proc/meminfo: memFree=29535588/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=322036 CPUtime=882.13 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 14642 0 0 0 88206 7 0 0 20 0 1 0 28244704 329764864 62573 33554432000 4194304 6211289 140736732325632 140736732323496 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 80509 62573 219 493 0 80006 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 322036

[startup+942.3 s]
/proc/loadavg: 2.23 2.25 2.19 3/177 19150
/proc/meminfo: memFree=29530240/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=323412 CPUtime=942.12 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 14921 0 0 0 94205 7 0 0 20 0 1 0 28244704 331173888 64385 33554432000 4194304 6211289 140736732325632 140736732323496 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 80853 64385 219 493 0 80350 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 323412

[startup+1002.3 s]
/proc/loadavg: 2.36 2.28 2.20 3/177 19151
/proc/meminfo: memFree=29512492/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=324916 CPUtime=1002.1 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 15261 0 0 0 100203 7 0 0 20 0 1 0 28244704 332713984 68302 33554432000 4194304 6211289 140736732325632 140736732323976 4209244 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 81229 68302 219 493 0 80726 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 324916

[startup+1062.3 s]
/proc/loadavg: 2.34 2.29 2.21 3/177 19153
/proc/meminfo: memFree=29512380/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=325044 CPUtime=1062.1 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 15296 0 0 0 106203 7 0 0 20 0 1 0 28244704 332845056 68337 33554432000 4194304 6211289 140736732325632 140736732323800 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 81261 68337 219 493 0 80758 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 325044

[startup+1122.3 s]
/proc/loadavg: 2.31 2.29 2.21 3/177 19154
/proc/meminfo: memFree=29511948/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=325700 CPUtime=1122.09 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 15458 0 0 0 112202 7 0 0 20 0 1 0 28244704 333516800 68499 33554432000 4194304 6211289 140736732325632 140736732323496 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 81425 68499 219 493 0 80922 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 325700

[startup+1182.3 s]
/proc/loadavg: 2.60 2.37 2.24 3/177 19155
/proc/meminfo: memFree=29511696/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=325812 CPUtime=1182.08 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 15462 0 0 0 118201 7 0 0 20 0 1 0 28244704 333631488 68503 33554432000 4194304 6211289 140736732325632 140736732323976 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 81453 68503 219 493 0 80950 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 325812

[startup+1242.3 s]
/proc/loadavg: 2.41 2.36 2.24 3/178 19159
/proc/meminfo: memFree=29511420/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=325940 CPUtime=1242.07 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 15503 0 0 0 124200 7 0 0 20 0 1 0 28244704 333762560 68544 33554432000 4194304 6211289 140736732325632 140736732323672 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 81485 68544 219 493 0 80982 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 325940

[startup+1302.3 s]
/proc/loadavg: 2.42 2.37 2.25 3/177 19160
/proc/meminfo: memFree=29508376/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=326456 CPUtime=1302.06 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 15624 0 0 0 130199 7 0 0 20 0 1 0 28244704 334290944 68665 33554432000 4194304 6211289 140736732325632 140736732323976 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 81614 68665 219 493 0 81111 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 326456

[startup+1362.3 s]
/proc/loadavg: 2.35 2.36 2.26 3/177 19162
/proc/meminfo: memFree=29487532/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=326584 CPUtime=1362.06 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 15679 0 0 0 136198 8 0 0 20 0 1 0 28244704 334422016 73830 33554432000 4194304 6211289 140736732325632 140736732323976 4209380 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 81646 73830 219 493 0 81143 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 326584

[startup+1422.3 s]
/proc/loadavg: 2.27 2.34 2.26 3/177 19163
/proc/meminfo: memFree=29464512/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=326840 CPUtime=1422.05 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 15738 0 0 0 142197 8 0 0 20 0 1 0 28244704 334684160 76444 33554432000 4194304 6211289 140736732325632 140736732323976 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 81710 76444 219 493 0 81207 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 326840

[startup+1482.3 s]
/proc/loadavg: 2.34 2.35 2.27 3/177 19164
/proc/meminfo: memFree=29436520/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=459500 CPUtime=1482.03 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 16199 0 0 0 148195 8 0 0 20 0 1 0 28244704 470528000 83951 33554432000 4194304 6211289 140736732325632 140736732323496 4209328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 114875 83951 219 493 0 114372 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 459500

[startup+1542.31 s]
/proc/loadavg: 2.32 2.34 2.27 3/177 19165
/proc/meminfo: memFree=29434840/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=459628 CPUtime=1542.03 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 16452 0 0 0 154195 8 0 0 20 0 1 0 28244704 470659072 83964 33554432000 4194304 6211289 140736732325632 140736732323976 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 114907 83964 219 493 0 114404 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 459628

[startup+1602.3 s]
/proc/loadavg: 2.30 2.33 2.27 3/177 19166
/proc/meminfo: memFree=29432000/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=462172 CPUtime=1602.01 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 17165 0 0 0 160193 8 0 0 20 0 1 0 28244704 473264128 84667 33554432000 4194304 6211289 140736732325632 140736732323800 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 115543 84667 219 493 0 115040 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 462172

[startup+1662.3 s]
/proc/loadavg: 2.23 2.31 2.27 4/177 19259
/proc/meminfo: memFree=29645544/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=462860 CPUtime=1662.01 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 17355 0 0 0 166192 9 0 0 20 0 1 0 28244704 473968640 85353 33554432000 4194304 6211289 140736732325632 140736732323976 4209314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 115715 85353 219 493 0 115212 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 462860

[startup+1722.3 s]
/proc/loadavg: 2.30 2.32 2.27 3/177 19260
/proc/meminfo: memFree=29540588/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=462988 CPUtime=1721.98 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 17409 0 0 0 172189 9 0 0 20 0 1 0 28244704 474099712 85608 33554432000 4194304 6211289 140736732325632 140736732323976 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 115747 85608 219 493 0 115244 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 462988

[startup+1782.3 s]
/proc/loadavg: 2.33 2.32 2.27 3/177 19261
/proc/meminfo: memFree=29523100/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=463680 CPUtime=1781.95 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 17591 0 0 0 178186 9 0 0 20 0 1 0 28244704 474808320 85766 33554432000 4194304 6211289 140736732325632 140736732323496 4209328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 115920 85766 219 493 0 115417 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 463680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.26 2.30 2.27 4/177 19262
/proc/meminfo: memFree=29520108/32872528 swapFree=1402776/1580604
[pid=19102] ppid=19099 vsize=464368 CPUtime=1800.05 cores=0,2,4,6
/proc/19102/stat : 19102 (cdcl-cuttingpla) R 19099 19102 16728 0 -1 4202496 17721 0 0 0 179996 9 0 0 20 0 1 0 28244704 475512832 85896 33554432000 4194304 6211289 140736732325632 140736732323496 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19102/statm: 116092 85896 219 493 0 115589 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 464368

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 19102 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.06
CPU user time (s): 1799.97
CPU system time (s): 0.095985
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 464368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.095985
maximum resident set size= 343584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17721
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= 115
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.94964 second user time and 10.4294 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-18 16:59:50
IDJOB=4102031
IDBENCH=1872
IDSOLVER=2549
FILE ID=node139/4102031-1466261990
RUNJOBID= node139-1466240178-16744
PBS_JOBID= 19918187
Free space on /tmp= 71592 MiB

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

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

MD5SUM BENCH= 6db31fd4066996ff4f309d723fc2c237
RANDOM SEED=1259392754

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29840196 kB
Buffers:          154284 kB
Cached:           146368 kB
SwapCached:         1904 kB
Active:           488308 kB
Inactive:         224052 kB
Active(anon):     412484 kB
Inactive(anon):     1476 kB
Active(file):      75824 kB
Inactive(file):   222576 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099484 kB
Dirty:              2372 kB
Writeback:             0 kB
AnonPages:       2069648 kB
Mapped:             8108 kB
Shmem:                 0 kB
Slab:             605072 kB
SReclaimable:      49228 kB
SUnreclaim:       555844 kB
KernelStack:        1472 kB
PageTables:         7792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2200128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    364544 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= 71588 MiB
End job on node139 at 2016-06-18 17:29:50