Trace number 4118383

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT linear search 2016-05-01? (TO) 1800.02 1800.3

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-10.lin.opb
MD5SUMfdef9141802bc62fb37b8e6da6fc689c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-367
Best CPU time to get the best result obtained on this benchmark196.05
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables833
Total number of constraints1626
Number of constraints which are clauses813
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints813
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 833
Biggest coefficient in the objective function 220
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 22440
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 220
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 22440
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 833 #constraint= 1626
1.39/1.45	c #Conflicts:       1000 | #Learnt:       1016 | 0.000
1.39/1.45	c total clause space: 18.2382MB
1.39/1.45	c total #watches: 80119
5.59/5.67	c total #propagations: 74562 / total #impl: 1671886 (eff. 0.045)
5.59/5.67	c #Conflicts:       2000 | #Learnt:       2018 | 0.000
5.59/5.67	c total clause space: 29.637MB
5.59/5.67	c total #watches: 137831
8.79/8.87	c total #propagations: 149209 / total #impl: 3418351 (eff. 0.044)
8.79/8.87	c GC COLLECT
8.79/8.87	c #Conflicts:       3000 | #Learnt:       2024 | 0.000
8.79/8.87	c total clause space: 29.637MB
8.79/8.87	c total #watches: 95610
12.59/12.65	c total #propagations: 220220 / total #impl: 4003491 (eff. 0.055)
12.59/12.65	c #Conflicts:       4000 | #Learnt:       3024 | 0.000
12.59/12.65	c total clause space: 48.1602MB
12.59/12.65	c total #watches: 163580
17.48/17.57	c total #propagations: 270432 / total #impl: 6949674 (eff. 0.039)
17.48/17.57	c GC COLLECT
17.48/17.57	c #Conflicts:       5000 | #Learnt:       2376 | 0.000
17.48/17.57	c total clause space: 48.1602MB
17.48/17.57	c total #watches: 178271
23.48/23.56	c total #propagations: 316306 / total #impl: 11686144 (eff. 0.027)
23.48/23.56	c #Conflicts:       6000 | #Learnt:       3376 | 0.000
23.48/23.56	c total clause space: 48.1602MB
23.48/23.56	c total #watches: 214667
30.89/30.90	c total #propagations: 382833 / total #impl: 13760204 (eff. 0.028)
30.89/30.90	c GC COLLECT
30.89/30.90	c #Conflicts:       7000 | #Learnt:       2249 | 0.000
30.89/30.90	c total clause space: 78.2603MB
30.89/30.90	c total #watches: 121924
35.98/36.01	c total #propagations: 442586 / total #impl: 15548497 (eff. 0.028)
35.98/36.01	c #Conflicts:       8000 | #Learnt:       3249 | 0.000
35.98/36.01	c total clause space: 78.2603MB
35.98/36.01	c total #watches: 136048
43.38/43.46	c total #propagations: 510907 / total #impl: 16610399 (eff. 0.031)
43.38/43.46	c #Conflicts:       9000 | #Learnt:       4249 | 0.000
43.38/43.46	c total clause space: 78.2603MB
43.38/43.46	c total #watches: 234048
54.28/54.31	c total #propagations: 576528 / total #impl: 23447796 (eff. 0.025)
54.28/54.31	c GC COLLECT
54.28/54.31	c #Conflicts:      10000 | #Learnt:       2734 | 0.000
54.28/54.31	c total clause space: 78.2603MB
54.28/54.31	c total #watches: 240971
64.99/65.01	c total #propagations: 643028 / total #impl: 30056627 (eff. 0.021)
64.99/65.01	c #Conflicts:      11000 | #Learnt:       3734 | 0.000
64.99/65.01	c total clause space: 78.2603MB
64.99/65.01	c total #watches: 275448
77.78/77.84	c total #propagations: 730343 / total #impl: 32242453 (eff. 0.023)
77.78/77.84	c #Conflicts:      12000 | #Learnt:       4734 | 0.000
77.78/77.84	c total clause space: 78.2603MB
77.78/77.84	c total #watches: 291938
88.18/88.29	c total #propagations: 822791 / total #impl: 33237161 (eff. 0.025)
88.18/88.29	c #Conflicts:      13000 | #Learnt:       5734 | 0.000
88.18/88.29	c total clause space: 78.2603MB
88.18/88.29	c total #watches: 373145
92.68/92.71	c total #propagations: 882833 / total #impl: 37702233 (eff. 0.023)
92.68/92.71	c GC COLLECT
92.68/92.71	c #Conflicts:      14000 | #Learnt:       3877 | 0.000
92.68/92.71	c total clause space: 78.2603MB
92.68/92.71	c total #watches: 244820
102.07/102.16	c total #propagations: 923684 / total #impl: 41873210 (eff. 0.022)
102.07/102.16	c #Conflicts:      15000 | #Learnt:       4877 | 0.000
102.07/102.16	c total clause space: 78.2603MB
102.07/102.16	c total #watches: 301497
114.17/114.21	c total #propagations: 978923 / total #impl: 44347824 (eff. 0.022)
114.17/114.21	c #Conflicts:      16000 | #Learnt:       5877 | 0.000
114.17/114.21	c total clause space: 127.173MB
114.17/114.21	c total #watches: 316930
121.37/121.41	c total #propagations: 1044327 / total #impl: 45192186 (eff. 0.023)
121.37/121.41	c GC COLLECT
121.37/121.41	c #Conflicts:      17000 | #Learnt:       3701 | 0.000
121.37/121.41	c total clause space: 127.173MB
121.37/121.41	c total #watches: 219535
129.27/129.32	c total #propagations: 1085076 / total #impl: 48751500 (eff. 0.022)
129.27/129.32	c #Conflicts:      18000 | #Learnt:       4701 | 0.000
129.27/129.32	c total clause space: 127.173MB
129.27/129.32	c total #watches: 288943
138.86/138.91	c total #propagations: 1133434 / total #impl: 54588344 (eff. 0.021)
138.86/138.91	c #Conflicts:      19000 | #Learnt:       5701 | 0.000
138.86/138.91	c total clause space: 127.173MB
138.86/138.91	c total #watches: 328797
149.26/149.36	c total #propagations: 1188981 / total #impl: 59213201 (eff. 0.020)
149.26/149.36	c #Conflicts:      20000 | #Learnt:       6701 | 0.000
149.26/149.36	c total clause space: 127.173MB
149.26/149.36	c total #watches: 358467
156.06/156.12	c total #propagations: 1243699 / total #impl: 61742391 (eff. 0.020)
156.06/156.12	c GC COLLECT
156.06/156.12	c #Conflicts:      21000 | #Learnt:       4206 | 0.000
156.06/156.12	c total clause space: 127.173MB
156.06/156.12	c total #watches: 249129
164.66/164.75	c total #propagations: 1284110 / total #impl: 63069312 (eff. 0.020)
164.66/164.75	c #Conflicts:      22000 | #Learnt:       5206 | 0.000
164.66/164.75	c total clause space: 127.173MB
164.66/164.75	c total #watches: 325976
176.15/176.23	c total #propagations: 1337509 / total #impl: 68900513 (eff. 0.019)
176.15/176.23	c #Conflicts:      23000 | #Learnt:       6207 | 0.000
176.15/176.23	c total clause space: 127.173MB
176.15/176.23	c total #watches: 392958
189.96/190.00	c total #propagations: 1389118 / total #impl: 73632773 (eff. 0.019)
189.96/190.00	c #Conflicts:      24000 | #Learnt:       7207 | 0.000
189.96/190.00	c total clause space: 127.173MB
189.96/190.00	c total #watches: 475550
203.16/203.24	c total #propagations: 1438546 / total #impl: 79208752 (eff. 0.018)
203.16/203.24	c GC COLLECT
203.16/203.24	c #Conflicts:      25000 | #Learnt:       4410 | 0.000
203.16/203.24	c total clause space: 127.173MB
203.16/203.24	c total #watches: 337393
216.26/216.36	c total #propagations: 1491641 / total #impl: 81744847 (eff. 0.018)
216.26/216.36	c #Conflicts:      26000 | #Learnt:       5410 | 0.000
216.26/216.36	c total clause space: 127.173MB
216.26/216.36	c total #watches: 409074
229.46/229.59	c total #propagations: 1555146 / total #impl: 88365291 (eff. 0.018)
229.46/229.59	c #Conflicts:      27000 | #Learnt:       6410 | 0.000
229.46/229.59	c total clause space: 127.173MB
229.46/229.59	c total #watches: 465148
247.85/247.97	c total #propagations: 1607374 / total #impl: 92813188 (eff. 0.017)
247.85/247.97	c #Conflicts:      28000 | #Learnt:       7410 | 0.000
247.85/247.97	c total clause space: 127.173MB
247.85/247.97	c total #watches: 530228
266.75/266.80	c total #propagations: 1673254 / total #impl: 97095850 (eff. 0.017)
266.75/266.80	c GC COLLECT
266.75/266.80	c #Conflicts:      29000 | #Learnt:       4313 | 0.000
266.75/266.80	c total clause space: 127.173MB
266.75/266.80	c total #watches: 240298
276.15/276.25	c total #propagations: 1790155 / total #impl: 98192009 (eff. 0.018)
276.15/276.25	c #Conflicts:      30000 | #Learnt:       5313 | 0.000
276.15/276.25	c total clause space: 127.173MB
276.15/276.25	c total #watches: 268318
287.74/287.83	c total #propagations: 1876915 / total #impl: 101399603 (eff. 0.019)
287.74/287.83	c #Conflicts:      31000 | #Learnt:       6313 | 0.000
287.74/287.83	c total clause space: 127.173MB
287.74/287.83	c total #watches: 320541
301.04/301.13	c total #propagations: 1963075 / total #impl: 104530448 (eff. 0.019)
301.04/301.13	c #Conflicts:      32000 | #Learnt:       7313 | 0.000
301.04/301.13	c total clause space: 127.173MB
301.04/301.13	c total #watches: 353069
314.04/314.10	c total #propagations: 2054907 / total #impl: 106738483 (eff. 0.019)
314.04/314.10	c #Conflicts:      33000 | #Learnt:       8313 | 0.000
314.04/314.10	c total clause space: 127.173MB
314.04/314.10	c total #watches: 396631
323.14/323.25	c total #propagations: 2129537 / total #impl: 109886019 (eff. 0.019)
323.14/323.25	c GC COLLECT
323.14/323.25	c #Conflicts:      34000 | #Learnt:       4921 | 0.000
323.14/323.25	c total clause space: 127.173MB
323.14/323.25	c total #watches: 232034
329.04/329.12	c total #propagations: 2179977 / total #impl: 112047240 (eff. 0.019)
329.04/329.12	c #Conflicts:      35000 | #Learnt:       5921 | 0.000
329.04/329.12	c total clause space: 127.173MB
329.04/329.12	c total #watches: 279509
338.04/338.15	c total #propagations: 2218541 / total #impl: 113308072 (eff. 0.020)
338.04/338.15	c #Conflicts:      36000 | #Learnt:       6921 | 0.000
338.04/338.15	c total clause space: 127.173MB
338.04/338.15	c total #watches: 328565
351.53/351.68	c total #propagations: 2266615 / total #impl: 115970573 (eff. 0.020)
351.53/351.68	c #Conflicts:      37000 | #Learnt:       7921 | 0.000
351.53/351.68	c total clause space: 127.173MB
351.53/351.68	c total #watches: 374348
364.53/364.62	c total #propagations: 2326752 / total #impl: 119682726 (eff. 0.019)
364.53/364.62	c #Conflicts:      38000 | #Learnt:       8921 | 0.000
364.53/364.62	c total clause space: 127.173MB
364.53/364.62	c total #watches: 428785
375.82/375.91	c total #propagations: 2378186 / total #impl: 123691290 (eff. 0.019)
375.82/375.91	c GC COLLECT
375.82/375.91	c #Conflicts:      39000 | #Learnt:       5215 | 0.000
375.82/375.91	c total clause space: 127.173MB
375.82/375.91	c total #watches: 292172
387.42/387.51	c total #propagations: 2427028 / total #impl: 127375779 (eff. 0.019)
387.42/387.51	c #Conflicts:      40000 | #Learnt:       6215 | 0.000
387.42/387.51	c total clause space: 127.173MB
387.42/387.51	c total #watches: 389328
401.53/401.63	c total #propagations: 2474891 / total #impl: 130540884 (eff. 0.019)
401.53/401.63	c #Conflicts:      41000 | #Learnt:       7215 | 0.000
401.53/401.63	c total clause space: 127.173MB
401.53/401.63	c total #watches: 500915
415.83/415.93	c total #propagations: 2521953 / total #impl: 134573282 (eff. 0.019)
415.83/415.93	c #Conflicts:      42000 | #Learnt:       8215 | 0.000
415.83/415.93	c total clause space: 127.173MB
415.83/415.93	c total #watches: 599497
433.92/434.03	c total #propagations: 2557675 / total #impl: 141177832 (eff. 0.018)
433.92/434.03	c #Conflicts:      43000 | #Learnt:       9215 | 0.000
433.92/434.03	c total clause space: 206.656MB
433.92/434.03	c total #watches: 687284
454.52/454.67	c total #propagations: 2606482 / total #impl: 147696128 (eff. 0.018)
454.52/454.67	c GC COLLECT
454.52/454.67	c #Conflicts:      44000 | #Learnt:       5207 | 0.000
454.52/454.67	c total clause space: 206.656MB
454.52/454.67	c total #watches: 294678
466.62/466.78	c total #propagations: 2660040 / total #impl: 155474704 (eff. 0.017)
466.62/466.78	c #Conflicts:      45000 | #Learnt:       6207 | 0.000
466.62/466.78	c total clause space: 206.656MB
466.62/466.78	c total #watches: 343678
476.71/476.85	c total #propagations: 2723095 / total #impl: 157201134 (eff. 0.017)
476.71/476.85	c #Conflicts:      46000 | #Learnt:       7207 | 0.000
476.71/476.85	c total clause space: 206.656MB
476.71/476.85	c total #watches: 423884
493.21/493.30	c total #propagations: 2766425 / total #impl: 161004054 (eff. 0.017)
493.21/493.30	c #Conflicts:      47000 | #Learnt:       8207 | 0.000
493.21/493.30	c total clause space: 206.656MB
493.21/493.30	c total #watches: 477340
518.51/518.61	c total #propagations: 2831884 / total #impl: 164045341 (eff. 0.017)
518.51/518.61	c #Conflicts:      48000 | #Learnt:       9207 | 0.000
518.51/518.61	c total clause space: 206.656MB
518.51/518.61	c total #watches: 508101
541.50/541.61	c total #propagations: 2929534 / total #impl: 167562893 (eff. 0.017)
541.50/541.61	c #Conflicts:      49000 | #Learnt:      10207 | 0.000
541.50/541.61	c total clause space: 206.656MB
541.50/541.61	c total #watches: 566271
558.00/558.15	c total #propagations: 2998344 / total #impl: 173349818 (eff. 0.017)
558.00/558.15	c GC COLLECT
558.00/558.15	c #Conflicts:      50000 | #Learnt:       5903 | 0.000
558.00/558.15	c total clause space: 206.656MB
558.00/558.15	c total #watches: 347408
571.50/571.61	c total #propagations: 3063701 / total #impl: 179461518 (eff. 0.017)
571.50/571.61	c #Conflicts:      51000 | #Learnt:       6903 | 0.000
571.50/571.61	c total clause space: 206.656MB
571.50/571.61	c total #watches: 369936
586.89/587.01	c total #propagations: 3141448 / total #impl: 181923538 (eff. 0.017)
586.89/587.01	c #Conflicts:      52000 | #Learnt:       7903 | 0.000
586.89/587.01	c total clause space: 206.656MB
586.89/587.01	c total #watches: 405525
606.49/606.63	c total #propagations: 3208730 / total #impl: 184465492 (eff. 0.017)
606.49/606.63	c #Conflicts:      53000 | #Learnt:       8903 | 0.000
606.49/606.63	c total clause space: 206.656MB
606.49/606.63	c total #watches: 424614
627.49/627.69	c total #propagations: 3287492 / total #impl: 185596353 (eff. 0.018)
627.49/627.69	c #Conflicts:      54000 | #Learnt:       9903 | 0.000
627.49/627.69	c total clause space: 206.656MB
627.49/627.69	c total #watches: 470623
648.29/648.45	c total #propagations: 3377967 / total #impl: 190151775 (eff. 0.018)
648.29/648.45	c #Conflicts:      55000 | #Learnt:      10903 | 0.000
648.29/648.45	c total clause space: 206.656MB
648.29/648.45	c total #watches: 521577
659.28/659.44	c total #propagations: 3482521 / total #impl: 195922646 (eff. 0.018)
659.28/659.44	c GC COLLECT
659.28/659.44	c #Conflicts:      56000 | #Learnt:       6298 | 0.000
659.28/659.44	c total clause space: 206.656MB
659.28/659.44	c total #watches: 401415
672.78/672.97	c total #propagations: 3521574 / total #impl: 198248084 (eff. 0.018)
672.78/672.97	c #Conflicts:      57000 | #Learnt:       7298 | 0.000
672.78/672.97	c total clause space: 206.656MB
672.78/672.97	c total #watches: 464717
693.28/693.47	c total #propagations: 3564144 / total #impl: 200464950 (eff. 0.018)
693.28/693.47	c #Conflicts:      58000 | #Learnt:       8298 | 0.000
693.28/693.47	c total clause space: 206.656MB
693.28/693.47	c total #watches: 521845
711.58/711.73	c total #propagations: 3628146 / total #impl: 204513439 (eff. 0.018)
711.58/711.73	c #Conflicts:      59000 | #Learnt:       9298 | 0.000
711.58/711.73	c total clause space: 206.656MB
711.58/711.73	c total #watches: 572915
735.27/735.41	c total #propagations: 3677467 / total #impl: 208786244 (eff. 0.018)
735.27/735.41	c #Conflicts:      60000 | #Learnt:      10298 | 0.000
735.27/735.41	c total clause space: 206.656MB
735.27/735.41	c total #watches: 636123
761.37/761.54	c total #propagations: 3725141 / total #impl: 224387624 (eff. 0.017)
761.37/761.54	c #Conflicts:      61000 | #Learnt:      11298 | 0.000
761.37/761.54	c total clause space: 206.656MB
761.37/761.54	c total #watches: 704490
777.27/777.49	c total #propagations: 3773125 / total #impl: 237015625 (eff. 0.016)
777.27/777.49	c GC COLLECT
777.27/777.49	c #Conflicts:      62000 | #Learnt:       6396 | 0.000
777.27/777.49	c total clause space: 206.656MB
777.27/777.49	c total #watches: 382818
791.26/791.42	c total #propagations: 3824803 / total #impl: 242575559 (eff. 0.016)
791.26/791.42	c #Conflicts:      63000 | #Learnt:       7396 | 0.000
791.26/791.42	c total clause space: 206.656MB
791.26/791.42	c total #watches: 428321
807.46/807.60	c total #propagations: 3889973 / total #impl: 247031374 (eff. 0.016)
807.46/807.60	c #Conflicts:      64000 | #Learnt:       8396 | 0.000
807.46/807.60	c total clause space: 206.656MB
807.46/807.60	c total #watches: 453549
827.26/827.43	c total #propagations: 3964204 / total #impl: 250156289 (eff. 0.016)
827.26/827.43	c #Conflicts:      65000 | #Learnt:       9396 | 0.000
827.26/827.43	c total clause space: 206.656MB
827.26/827.43	c total #watches: 511042
847.56/847.77	c total #propagations: 4040805 / total #impl: 253033861 (eff. 0.016)
847.56/847.77	c #Conflicts:      66000 | #Learnt:      10396 | 0.000
847.56/847.77	c total clause space: 206.656MB
847.56/847.77	c total #watches: 550460
868.15/868.35	c total #propagations: 4112539 / total #impl: 255730249 (eff. 0.016)
868.15/868.35	c #Conflicts:      67000 | #Learnt:      11396 | 0.000
868.15/868.35	c total clause space: 206.656MB
868.15/868.35	c total #watches: 605949
895.65/895.82	c total #propagations: 4174856 / total #impl: 259629394 (eff. 0.016)
895.65/895.82	c #Conflicts:      68000 | #Learnt:      12396 | 0.000
895.65/895.82	c total clause space: 206.656MB
895.65/895.82	c total #watches: 638391
907.15/907.30	c total #propagations: 4277224 / total #impl: 262596044 (eff. 0.016)
907.15/907.30	c GC COLLECT
907.15/907.30	c #Conflicts:      69000 | #Learnt:       7198 | 0.000
907.15/907.30	c total clause space: 206.656MB
907.15/907.30	c total #watches: 469395
929.94/930.17	c total #propagations: 4324229 / total #impl: 265440802 (eff. 0.016)
929.94/930.17	c #Conflicts:      70000 | #Learnt:       8198 | 0.000
929.94/930.17	c total clause space: 206.656MB
929.94/930.17	c total #watches: 515290
954.54/954.72	c total #propagations: 4417902 / total #impl: 270770047 (eff. 0.016)
954.54/954.72	c #Conflicts:      71000 | #Learnt:       9198 | 0.000
954.54/954.72	c total clause space: 206.656MB
954.54/954.72	c total #watches: 554950
978.94/979.15	c total #propagations: 4501931 / total #impl: 272899825 (eff. 0.016)
978.94/979.15	c #Conflicts:      72000 | #Learnt:      10198 | 0.000
978.94/979.15	c total clause space: 206.656MB
978.94/979.15	c total #watches: 569784
1003.73/1003.90	c total #propagations: 4562664 / total #impl: 273426421 (eff. 0.017)
1003.73/1003.90	c #Conflicts:      73000 | #Learnt:      11198 | 0.000
1003.73/1003.90	c total clause space: 206.656MB
1003.73/1003.90	c total #watches: 605061
1026.03/1026.29	c total #propagations: 4632171 / total #impl: 276015383 (eff. 0.017)
1026.03/1026.29	c #Conflicts:      74000 | #Learnt:      12198 | 0.000
1026.03/1026.29	c total clause space: 206.656MB
1026.03/1026.29	c total #watches: 649938
1053.82/1054.00	c total #propagations: 4685357 / total #impl: 279594402 (eff. 0.017)
1053.82/1054.00	c GC COLLECT
1053.82/1054.00	c #Conflicts:      75000 | #Learnt:       6696 | 0.000
1053.82/1054.00	c total clause space: 206.656MB
1053.82/1054.00	c total #watches: 413770
1073.53/1073.72	c total #propagations: 4754663 / total #impl: 282525073 (eff. 0.017)
1073.53/1073.72	c #Conflicts:      76000 | #Learnt:       7696 | 0.000
1073.53/1073.72	c total clause space: 206.656MB
1073.53/1073.72	c total #watches: 436756
1090.92/1091.14	c total #propagations: 4850555 / total #impl: 284557972 (eff. 0.017)
1090.92/1091.14	c #Conflicts:      77000 | #Learnt:       8696 | 0.000
1090.92/1091.14	c total clause space: 206.656MB
1090.92/1091.14	c total #watches: 467822
1111.41/1111.63	c total #propagations: 4929850 / total #impl: 286170546 (eff. 0.017)
1111.41/1111.63	c #Conflicts:      78000 | #Learnt:       9696 | 0.000
1111.41/1111.63	c total clause space: 206.656MB
1111.41/1111.63	c total #watches: 519280
1133.92/1134.17	c total #propagations: 4996624 / total #impl: 292686477 (eff. 0.017)
1133.92/1134.17	c #Conflicts:      79000 | #Learnt:      10696 | 0.000
1133.92/1134.17	c total clause space: 206.656MB
1133.92/1134.17	c total #watches: 570962
1162.51/1162.71	c total #propagations: 5069238 / total #impl: 297225584 (eff. 0.017)
1162.51/1162.71	c #Conflicts:      80000 | #Learnt:      11696 | 0.000
1162.51/1162.71	c total clause space: 206.656MB
1162.51/1162.71	c total #watches: 611577
1188.91/1189.14	c total #propagations: 5150073 / total #impl: 299812868 (eff. 0.017)
1188.91/1189.14	c #Conflicts:      81000 | #Learnt:      12696 | 0.000
1188.91/1189.14	c total clause space: 206.656MB
1188.91/1189.14	c total #watches: 682815
1212.80/1213.05	c total #propagations: 5216314 / total #impl: 308567010 (eff. 0.017)
1212.80/1213.05	c GC COLLECT
1212.80/1213.05	c #Conflicts:      82000 | #Learnt:       6905 | 0.000
1212.80/1213.05	c total clause space: 206.656MB
1212.80/1213.05	c total #watches: 419969
1227.60/1227.85	c total #propagations: 5284272 / total #impl: 313861534 (eff. 0.017)
1227.60/1227.85	c #Conflicts:      83000 | #Learnt:       7905 | 0.000
1227.60/1227.85	c total clause space: 206.656MB
1227.60/1227.85	c total #watches: 472162
1247.60/1247.89	c total #propagations: 5346938 / total #impl: 317825849 (eff. 0.017)
1247.60/1247.89	c #Conflicts:      84000 | #Learnt:       8905 | 0.000
1247.60/1247.89	c total clause space: 206.656MB
1247.60/1247.89	c total #watches: 502620
1271.79/1272.08	c total #propagations: 5405278 / total #impl: 319837195 (eff. 0.017)
1271.79/1272.08	c #Conflicts:      85000 | #Learnt:       9905 | 0.000
1271.79/1272.08	c total clause space: 206.656MB
1271.79/1272.08	c total #watches: 533719
1295.79/1296.02	c total #propagations: 5463111 / total #impl: 323804492 (eff. 0.017)
1295.79/1296.02	c #Conflicts:      86000 | #Learnt:      10905 | 0.000
1295.79/1296.02	c total clause space: 206.656MB
1295.79/1296.02	c total #watches: 597689
1321.69/1321.94	c total #propagations: 5517170 / total #impl: 333231435 (eff. 0.017)
1321.69/1321.94	c #Conflicts:      87000 | #Learnt:      11905 | 0.000
1321.69/1321.94	c total clause space: 206.656MB
1321.69/1321.94	c total #watches: 684913
1349.18/1349.40	c total #propagations: 5567204 / total #impl: 339372387 (eff. 0.016)
1349.18/1349.40	c #Conflicts:      88000 | #Learnt:      12905 | 0.000
1349.18/1349.40	c total clause space: 206.656MB
1349.18/1349.40	c total #watches: 764298
1379.47/1379.77	c total #propagations: 5615669 / total #impl: 344011918 (eff. 0.016)
1379.47/1379.77	c #Conflicts:      89000 | #Learnt:      13905 | 0.000
1379.47/1379.77	c total clause space: 206.656MB
1379.47/1379.77	c total #watches: 806410
1402.38/1402.69	c total #propagations: 5666332 / total #impl: 346630493 (eff. 0.016)
1402.38/1402.69	c GC COLLECT
1402.38/1402.69	c #Conflicts:      90000 | #Learnt:       7804 | 0.000
1402.38/1402.69	c total clause space: 206.656MB
1402.38/1402.69	c total #watches: 446451
1418.07/1418.30	c total #propagations: 5728034 / total #impl: 347916968 (eff. 0.016)
1418.07/1418.30	c #Conflicts:      91000 | #Learnt:       8804 | 0.000
1418.07/1418.30	c total clause space: 206.656MB
1418.07/1418.30	c total #watches: 470734
1439.36/1439.60	c total #propagations: 5788384 / total #impl: 349187271 (eff. 0.017)
1439.36/1439.60	c #Conflicts:      92000 | #Learnt:       9804 | 0.000
1439.36/1439.60	c total clause space: 206.656MB
1439.36/1439.60	c total #watches: 492566
1461.46/1461.73	c total #propagations: 5882842 / total #impl: 350425240 (eff. 0.017)
1461.46/1461.73	c #Conflicts:      93000 | #Learnt:      10804 | 0.000
1461.46/1461.73	c total clause space: 206.656MB
1461.46/1461.73	c total #watches: 523556
1479.76/1480.04	c total #propagations: 5980240 / total #impl: 353495132 (eff. 0.017)
1479.76/1480.04	c #Conflicts:      94000 | #Learnt:      11804 | 0.000
1479.76/1480.04	c total clause space: 206.656MB
1479.76/1480.04	c total #watches: 548241
1499.06/1499.40	c total #propagations: 6063576 / total #impl: 354640635 (eff. 0.017)
1499.06/1499.40	c #Conflicts:      95000 | #Learnt:      12804 | 0.000
1499.06/1499.40	c total clause space: 206.656MB
1499.06/1499.40	c total #watches: 577846
1520.35/1520.69	c total #propagations: 6150768 / total #impl: 355693398 (eff. 0.017)
1520.35/1520.69	c #Conflicts:      96000 | #Learnt:      13804 | 0.000
1520.35/1520.69	c total clause space: 206.656MB
1520.35/1520.69	c total #watches: 603933
1542.85/1543.19	c total #propagations: 6237508 / total #impl: 356961686 (eff. 0.017)
1542.85/1543.19	c #Conflicts:      97000 | #Learnt:      14804 | 0.000
1542.85/1543.19	c total clause space: 206.656MB
1542.85/1543.19	c total #watches: 626260
1563.95/1564.24	c total #propagations: 6311530 / total #impl: 359485503 (eff. 0.018)
1563.95/1564.24	c GC COLLECT
1563.95/1564.24	c #Conflicts:      98000 | #Learnt:       8409 | 0.000
1563.95/1564.24	c total clause space: 206.656MB
1563.95/1564.24	c total #watches: 447805
1583.14/1583.43	c total #propagations: 6422521 / total #impl: 360255705 (eff. 0.018)
1583.14/1583.43	c #Conflicts:      99000 | #Learnt:       9409 | 0.000
1583.14/1583.43	c total clause space: 206.656MB
1583.14/1583.43	c total #watches: 516069
1600.74/1601.01	c total #propagations: 6493915 / total #impl: 366383217 (eff. 0.018)
1600.74/1601.01	c #Conflicts:     100000 | #Learnt:      10409 | 0.000
1600.74/1601.01	c total clause space: 206.656MB
1600.74/1601.01	c total #watches: 548780
1618.94/1619.26	c total #propagations: 6554153 / total #impl: 368326218 (eff. 0.018)
1618.94/1619.26	c #Conflicts:     101000 | #Learnt:      11409 | 0.000
1618.94/1619.26	c total clause space: 206.656MB
1618.94/1619.26	c total #watches: 571153
1642.63/1642.95	c total #propagations: 6621610 / total #impl: 369928862 (eff. 0.018)
1642.63/1642.95	c #Conflicts:     102000 | #Learnt:      12409 | 0.000
1642.63/1642.95	c total clause space: 206.656MB
1642.63/1642.95	c total #watches: 612130
1670.93/1671.27	c total #propagations: 6701679 / total #impl: 373918089 (eff. 0.018)
1670.93/1671.27	c #Conflicts:     103000 | #Learnt:      13409 | 0.000
1670.93/1671.27	c total clause space: 206.656MB
1670.93/1671.27	c total #watches: 646312
1695.82/1696.15	c total #propagations: 6777922 / total #impl: 376047083 (eff. 0.018)
1695.82/1696.15	c #Conflicts:     104000 | #Learnt:      14409 | 0.000
1695.82/1696.15	c total clause space: 206.656MB
1695.82/1696.15	c total #watches: 696405
1722.22/1722.50	c total #propagations: 6836456 / total #impl: 378647770 (eff. 0.018)
1722.22/1722.50	c #Conflicts:     105000 | #Learnt:      15409 | 0.000
1722.22/1722.50	c total clause space: 206.656MB
1722.22/1722.50	c total #watches: 755719
1742.32/1742.69	c total #propagations: 6918164 / total #impl: 386775379 (eff. 0.018)
1742.32/1742.69	c GC COLLECT
1742.32/1742.69	c #Conflicts:     106000 | #Learnt:       8701 | 0.000
1742.32/1742.69	c total clause space: 206.656MB
1742.32/1742.69	c total #watches: 487366
1770.61/1770.91	c total #propagations: 6988289 / total #impl: 391434939 (eff. 0.018)
1770.61/1770.91	c #Conflicts:     107000 | #Learnt:       9701 | 0.000
1770.61/1770.91	c total clause space: 206.656MB
1770.61/1770.91	c total #watches: 518294
1792.61/1792.95	c total #propagations: 7086154 / total #impl: 397087463 (eff. 0.018)
1792.61/1792.95	c #Conflicts:     108000 | #Learnt:      10701 | 0.000
1792.61/1792.95	c total clause space: 206.656MB
1792.61/1792.95	c total #watches: 543346

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-4118383-1467220091/watcher-4118383-1467220091 -o /tmp/evaluation-result-4118383-1467220091/solver-4118383-1467220091 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467209129-3731 --watchdog 1960 --input HOME/instance-4118383-1467220091.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=4687
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.19 2.21 2.23 3/176 4690
/proc/meminfo: memFree=23785696/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 2965896 29810688 5268 33554432000 4194304 6201397 140733381643440 140737017803528 4211056 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 7278 5268 130 491 0 6777 0

[startup+0.10016 s]
/proc/loadavg: 2.19 2.21 2.23 3/176 4690
/proc/meminfo: memFree=23785696/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=33860 CPUtime=0.09 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 717 0 0 0 9 0 0 0 20 0 1 0 2965896 34672640 6606 33554432000 4194304 6201397 140733381643440 140737017803528 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 8465 6606 145 491 0 7964 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33860

[startup+0.200334 s]
/proc/loadavg: 2.19 2.21 2.23 3/176 4690
/proc/meminfo: memFree=23785696/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=33860 CPUtime=0.19 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 738 0 0 0 19 0 0 0 20 0 1 0 2965896 34672640 7133 33554432000 4194304 6201397 140733381643440 140737017803528 4213365 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 8465 7133 145 491 0 7964 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33860

[startup+0.300261 s]
/proc/loadavg: 2.19 2.21 2.23 3/176 4690
/proc/meminfo: memFree=23785696/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=33992 CPUtime=0.29 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 768 0 0 0 29 0 0 0 20 0 1 0 2965896 34807808 7163 33554432000 4194304 6201397 140733381643440 140737017803528 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 8498 7163 145 491 0 7997 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33992

[startup+0.700201 s]
/proc/loadavg: 2.19 2.21 2.23 3/176 4690
/proc/meminfo: memFree=23785696/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=41388 CPUtime=0.69 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 1705 0 0 0 69 0 0 0 20 0 1 0 2965896 42381312 8301 33554432000 4194304 6201397 140733381643440 140737017803528 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 10347 8301 146 491 0 9846 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41388

[startup+1.50023 s]
/proc/loadavg: 2.19 2.21 2.23 3/177 4691
/proc/meminfo: memFree=23751312/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=49208 CPUtime=1.49 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 2290 0 0 0 149 0 0 0 20 0 1 0 2965896 50388992 9769 33554432000 4194304 6201397 140733381643440 140733381642472 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 12302 9769 159 491 0 11801 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49208

[startup+3.10028 s]
/proc/loadavg: 2.18 2.21 2.23 3/177 4691
/proc/meminfo: memFree=23743680/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=61788 CPUtime=3.09 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 2915 0 0 0 309 0 0 0 20 0 1 0 2965896 63270912 11267 33554432000 4194304 6201397 140733381643440 140733381642152 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 15447 11267 159 491 0 14946 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61788

[startup+6.3002 s]
/proc/loadavg: 2.18 2.21 2.23 3/177 4691
/proc/meminfo: memFree=23733388/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=62180 CPUtime=6.28 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 4122 0 0 0 628 0 0 0 20 0 1 0 2965896 63672320 13737 33554432000 4194304 6201397 140733381643440 140733381642568 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 15545 13737 159 491 0 15044 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 62180

[startup+12.7002 s]
/proc/loadavg: 2.23 2.22 2.23 4/177 4691
/proc/meminfo: memFree=23717472/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=81516 CPUtime=12.69 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 4792 0 0 0 1268 1 0 0 20 0 1 0 2965896 83472384 17318 33554432000 4194304 6201397 140733381643440 140733381642392 4215541 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 20379 17318 165 491 0 19878 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81516

[startup+25.5003 s]
/proc/loadavg: 2.19 2.21 2.23 3/177 4691
/proc/meminfo: memFree=23700592/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=113808 CPUtime=25.48 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 6068 0 0 0 2547 1 0 0 20 0 1 0 2965896 116539392 20250 33554432000 4194304 6201397 140733381643440 140733381642472 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 28452 20250 165 491 0 27951 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 113808

[startup+51.1003 s]
/proc/loadavg: 2.27 2.22 2.24 3/177 4691
/proc/meminfo: memFree=23677252/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=115168 CPUtime=51.09 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 6821 0 0 0 5107 2 0 0 20 0 1 0 2965896 117932032 24868 33554432000 4194304 6201397 140733381643440 140733381642152 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 28792 24868 165 491 0 28291 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 115168

[startup+102.3 s]
/proc/loadavg: 2.28 2.23 2.24 4/177 4692
/proc/meminfo: memFree=23656092/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=115456 CPUtime=102.28 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 7014 0 0 0 10226 2 0 0 20 0 1 0 2965896 118226944 27615 33554432000 4194304 6201397 140733381643440 140733381642104 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 28864 27615 165 491 0 28363 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 115456

[startup+162.3 s]
/proc/loadavg: 2.39 2.27 2.25 4/178 4696
/proc/meminfo: memFree=23614448/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=167836 CPUtime=162.26 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 8304 0 0 0 16224 2 0 0 20 0 1 0 2965896 171864064 33630 33554432000 4194304 6201397 140733381643440 140733381642568 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 41959 33630 165 491 0 41458 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 167836

[startup+222.307 s]
/proc/loadavg: 2.27 2.26 2.24 3/177 4697
/proc/meminfo: memFree=23596400/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=170560 CPUtime=222.26 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 9076 0 0 0 22223 3 0 0 20 0 1 0 2965896 174653440 36446 33554432000 4194304 6201397 140733381643440 140733381642568 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 42640 36446 165 491 0 42139 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 170560

[startup+282.3 s]
/proc/loadavg: 2.26 2.25 2.24 4/176 4698
/proc/meminfo: memFree=23576128/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=170720 CPUtime=282.25 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 9205 0 0 0 28222 3 0 0 20 0 1 0 2965896 174817280 37597 33554432000 4194304 6201397 140733381643440 140733381642568 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 42680 37597 165 491 0 42179 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 170720

[startup+342.3 s]
/proc/loadavg: 2.21 2.25 2.24 3/177 4700
/proc/meminfo: memFree=23571816/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=170720 CPUtime=342.23 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 9226 0 0 0 34220 3 0 0 20 0 1 0 2965896 174817280 38129 33554432000 4194304 6201397 140733381643440 140733381642568 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 42680 38129 165 491 0 42179 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 170720

[startup+402.3 s]
/proc/loadavg: 2.24 2.25 2.24 3/176 4701
/proc/meminfo: memFree=23547180/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=170720 CPUtime=402.22 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 9242 0 0 0 40219 3 0 0 20 0 1 0 2965896 174817280 41211 33554432000 4194304 6201397 140733381643440 140733381642568 4213110 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 42680 41211 165 491 0 42179 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 170720

[startup+462.3 s]
/proc/loadavg: 2.21 2.23 2.23 4/177 4703
/proc/meminfo: memFree=23522208/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=255948 CPUtime=462.22 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 10279 0 0 0 46218 4 0 0 20 0 1 0 2965896 262090752 45687 33554432000 4194304 6201397 140733381643440 140733381642568 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 63987 45687 165 491 0 63486 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 255948

[startup+522.3 s]
/proc/loadavg: 2.35 2.26 2.24 3/177 4704
/proc/meminfo: memFree=23521468/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=255948 CPUtime=522.21 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 10480 0 0 0 52217 4 0 0 20 0 1 0 2965896 262090752 45823 33554432000 4194304 6201397 140733381643440 140733381642568 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 63987 45823 165 491 0 63486 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 255948

[startup+582.3 s]
/proc/loadavg: 2.27 2.26 2.24 4/176 4705
/proc/meminfo: memFree=23515884/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=256108 CPUtime=582.2 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 10514 0 0 0 58216 4 0 0 20 0 1 0 2965896 262254592 46879 33554432000 4194304 6201397 140733381643440 140733381642568 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 64027 46879 165 491 0 63526 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 256108


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


[startup+942.3 s]
/proc/loadavg: 2.27 2.23 2.23 3/177 4716
/proc/meminfo: memFree=23459132/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=260400 CPUtime=942.14 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11455 0 0 0 94209 5 0 0 20 0 1 0 2965896 266649600 53372 33554432000 4194304 6201397 140733381643440 140733381642568 4213249 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65100 53372 165 491 0 64599 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 260400

[startup+1002.3 s]
/proc/loadavg: 2.24 2.23 2.23 3/177 4717
/proc/meminfo: memFree=23458576/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=260560 CPUtime=1002.13 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11487 0 0 0 100208 5 0 0 20 0 1 0 2965896 266813440 53402 33554432000 4194304 6201397 140733381643440 140733381642104 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65140 53402 165 491 0 64639 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 260560

[startup+1062.3 s]
/proc/loadavg: 2.24 2.23 2.22 3/177 4718
/proc/meminfo: memFree=23445536/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=261360 CPUtime=1062.12 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11620 0 0 0 106207 5 0 0 20 0 1 0 2965896 267632640 56090 33554432000 4194304 6201397 140733381643440 140733381642568 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65340 56090 165 491 0 64839 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 261360

[startup+1122.3 s]
/proc/loadavg: 2.30 2.25 2.23 3/177 4719
/proc/meminfo: memFree=23443112/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=261360 CPUtime=1122.11 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11622 0 0 0 112206 5 0 0 20 0 1 0 2965896 267632640 56092 33554432000 4194304 6201397 140733381643440 140733381642568 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65340 56092 165 491 0 64839 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 261360

[startup+1182.3 s]
/proc/loadavg: 2.33 2.26 2.23 3/177 4720
/proc/meminfo: memFree=23436160/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=261360 CPUtime=1182.1 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11622 0 0 0 118205 5 0 0 20 0 1 0 2965896 267632640 56092 33554432000 4194304 6201397 140733381643440 140733381642568 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65340 56092 165 491 0 64839 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 261360

[startup+1242.3 s]
/proc/loadavg: 2.29 2.26 2.23 3/177 4722
/proc/meminfo: memFree=23415260/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=261360 CPUtime=1242.1 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11629 0 0 0 124204 6 0 0 20 0 1 0 2965896 267632640 57121 33554432000 4194304 6201397 140733381643440 140733381642568 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65340 57121 165 491 0 64839 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 261360

[startup+1302.3 s]
/proc/loadavg: 2.16 2.22 2.22 3/177 4723
/proc/meminfo: memFree=23413936/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=261360 CPUtime=1302.09 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11635 0 0 0 130203 6 0 0 20 0 1 0 2965896 267632640 57125 33554432000 4194304 6201397 140733381643440 140733381642568 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65340 57125 165 491 0 64839 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 261360

[startup+1362.3 s]
/proc/loadavg: 2.19 2.22 2.22 3/178 4727
/proc/meminfo: memFree=23409576/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=261520 CPUtime=1362.08 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11695 0 0 0 136202 6 0 0 20 0 1 0 2965896 267796480 58207 33554432000 4194304 6201397 140733381643440 140733381642568 4213249 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65380 58207 165 491 0 64879 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 261520

[startup+1422.3 s]
/proc/loadavg: 2.29 2.24 2.22 4/177 4728
/proc/meminfo: memFree=23392620/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=261520 CPUtime=1422.07 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11748 0 0 0 142201 6 0 0 20 0 1 0 2965896 267796480 61097 33554432000 4194304 6201397 140733381643440 140733381642568 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65380 61097 165 491 0 64879 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 261520

[startup+1482.3 s]
/proc/loadavg: 2.24 2.23 2.21 3/177 4729
/proc/meminfo: memFree=23380764/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=261520 CPUtime=1482.06 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11749 0 0 0 148200 6 0 0 20 0 1 0 2965896 267796480 61097 33554432000 4194304 6201397 140733381643440 140733381642568 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65380 61097 165 491 0 64879 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 261520

[startup+1542.31 s]
/proc/loadavg: 2.29 2.25 2.22 3/177 4731
/proc/meminfo: memFree=23380816/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=261520 CPUtime=1542.05 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11750 0 0 0 154199 6 0 0 20 0 1 0 2965896 267796480 61098 33554432000 4194304 6201397 140733381643440 140733381642568 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65380 61098 165 491 0 64879 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 261520

[startup+1602.3 s]
/proc/loadavg: 2.42 2.29 2.23 3/177 4732
/proc/meminfo: memFree=23380696/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=261520 CPUtime=1602.04 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11750 0 0 0 160198 6 0 0 20 0 1 0 2965896 267796480 61098 33554432000 4194304 6201397 140733381643440 140733381642568 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65380 61098 165 491 0 64879 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 261520

[startup+1662.3 s]
/proc/loadavg: 2.33 2.28 2.23 3/177 4733
/proc/meminfo: memFree=23380196/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=261520 CPUtime=1662.03 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11750 0 0 0 166197 6 0 0 20 0 1 0 2965896 267796480 61098 33554432000 4194304 6201397 140733381643440 140733381642568 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65380 61098 165 491 0 64879 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 261520

[startup+1722.3 s]
/proc/loadavg: 2.30 2.29 2.23 3/177 4780
/proc/meminfo: memFree=23552664/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=261840 CPUtime=1722.02 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11824 0 0 0 172196 6 0 0 20 0 1 0 2965896 268124160 63216 33554432000 4194304 6201397 140733381643440 140733381642104 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65460 63216 165 491 0 64959 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 261840

[startup+1782.3 s]
/proc/loadavg: 2.33 2.29 2.24 3/177 4781
/proc/meminfo: memFree=23537572/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=261840 CPUtime=1782.01 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11825 0 0 0 178195 6 0 0 20 0 1 0 2965896 268124160 63217 33554432000 4194304 6201397 140733381643440 140733381642568 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65460 63217 165 491 0 64959 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 261840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.23 2.27 2.23 3/177 4781
/proc/meminfo: memFree=23533228/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=261840 CPUtime=1800.01 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11825 0 0 0 179995 6 0 0 20 0 1 0 2965896 268124160 63217 33554432000 4194304 6201397 140733381643440 140733381642568 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65460 63217 165 491 0 64959 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 261840

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

[startup+1800.3 s]
/proc/loadavg: 2.23 2.27 2.23 3/177 4781
/proc/meminfo: memFree=23533228/32872528 swapFree=1497052/1644220
[pid=4690] ppid=4687 vsize=261840 CPUtime=1800.01 cores=0,2,4,6
/proc/4690/stat : 4690 (cdcl-cuttingpla) R 4687 4690 3715 0 -1 4202496 11825 0 0 0 179995 6 0 0 20 0 1 0 2965896 268124160 63217 33554432000 4194304 6201397 140733381643440 140733381642568 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4690/statm: 65460 63217 165 491 0 64959 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 261840

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.95
CPU system time (s): 0.067989
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 261840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.067989
maximum resident set size= 252868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11825
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= 13
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54331 second user time and 6.91895 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-29 19:08:11
IDJOB=4118383
IDBENCH=111487
IDSOLVER=2550
FILE ID=node124/4118383-1467220091
RUNJOBID= node124-1467209129-3731
PBS_JOBID= 19997580
Free space on /tmp= 71732 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-10.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118383-1467220091/watcher-4118383-1467220091 -o /tmp/evaluation-result-4118383-1467220091/solver-4118383-1467220091 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467209129-3731 --watchdog 1960 --input HOME/instance-4118383-1467220091.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= fdef9141802bc62fb37b8e6da6fc689c
RANDOM SEED=2123477012

node124.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.062
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.12
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.062
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.062
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.062
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.062
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.062
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.062
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.062
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:        23785968 kB
Buffers:          145988 kB
Cached:          6436732 kB
SwapCached:            0 kB
Active:           248664 kB
Inactive:        6435000 kB
Active(anon):     103384 kB
Inactive(anon):        0 kB
Active(file):     145280 kB
Inactive(file):  6435000 kB
Unevictable:     1644220 kB
Mlocked:         1497052 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2360 kB
Writeback:             4 kB
AnonPages:       1744956 kB
Mapped:            14556 kB
Shmem:               204 kB
Slab:             626908 kB
SReclaimable:      71148 kB
SUnreclaim:       555760 kB
KernelStack:        1472 kB
PageTables:         7340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1881800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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= 71728 MiB
End job on node124 at 2016-06-29 19:38:11