Trace number 4088510

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.03 1800.3

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-1440225.opb
MD5SUMae858a83a4b73fde0d05a86f9f6907e8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark36
Best CPU time to get the best result obtained on this benchmark51.7161
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1285
Total number of constraints330
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)330
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint64
Number of terms in the objective function 1285
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1285
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1285
Number of bits of the biggest sum of numbers11
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= 1285 #constraint= 330
0.39/0.45	c #Conflicts:       1000 | #Learnt:        998 | 0.002
0.39/0.45	c total clause space: 6.90675MB
0.39/0.45	c total #watches: 39544
1.89/1.94	c total #propagations: 155539 / total #impl: 2891074 (eff. 0.054)
1.89/1.94	c #Conflicts:       2000 | #Learnt:       1995 | 0.006
1.89/1.94	c total clause space: 11.2235MB
1.89/1.94	c total #watches: 67099
3.89/3.98	c total #propagations: 312893 / total #impl: 7122923 (eff. 0.044)
3.89/3.98	c GC COLLECT
3.89/3.98	c #Conflicts:       3000 | #Learnt:       2004 | 0.004
3.89/3.98	c total clause space: 18.2382MB
3.89/3.98	c total #watches: 77680
8.29/8.35	c total #propagations: 462995 / total #impl: 12538557 (eff. 0.037)
8.29/8.35	c #Conflicts:       4000 | #Learnt:       3004 | 0.003
8.29/8.35	c total clause space: 29.637MB
8.29/8.35	c total #watches: 109073
12.59/12.61	c total #propagations: 625590 / total #impl: 19290921 (eff. 0.032)
12.59/12.61	c GC COLLECT
12.59/12.61	c #Conflicts:       5000 | #Learnt:       2377 | 0.003
12.59/12.61	c total clause space: 29.637MB
12.59/12.61	c total #watches: 94441
17.79/17.87	c total #propagations: 795449 / total #impl: 26045221 (eff. 0.031)
17.79/17.87	c #Conflicts:       6000 | #Learnt:       3377 | 0.003
17.79/17.87	c total clause space: 29.637MB
17.79/17.87	c total #watches: 127732
25.30/25.31	c total #propagations: 956334 / total #impl: 33777502 (eff. 0.028)
25.30/25.31	c GC COLLECT
25.30/25.31	c #Conflicts:       7000 | #Learnt:       2247 | 0.002
25.30/25.31	c total clause space: 48.1602MB
25.30/25.31	c total #watches: 94834
30.19/30.21	c total #propagations: 1112983 / total #impl: 42010607 (eff. 0.026)
30.19/30.21	c #Conflicts:       8000 | #Learnt:       3247 | 0.002
30.19/30.21	c total clause space: 48.1602MB
30.19/30.21	c total #watches: 118113
37.18/37.29	c total #propagations: 1287411 / total #impl: 49977969 (eff. 0.026)
37.18/37.29	c #Conflicts:       9000 | #Learnt:       4247 | 0.003
37.18/37.29	c total clause space: 48.1602MB
37.18/37.29	c total #watches: 148381
46.68/46.74	c total #propagations: 1435719 / total #impl: 58646810 (eff. 0.024)
46.68/46.74	c GC COLLECT
46.68/46.74	c #Conflicts:      10000 | #Learnt:       2730 | 0.003
46.68/46.74	c total clause space: 48.1602MB
46.68/46.74	c total #watches: 109169
52.89/52.91	c total #propagations: 1601991 / total #impl: 68646514 (eff. 0.023)
52.89/52.91	c #Conflicts:      11000 | #Learnt:       3730 | 0.003
52.89/52.91	c total clause space: 48.1602MB
52.89/52.91	c total #watches: 133667
60.49/60.57	c total #propagations: 1775599 / total #impl: 77755643 (eff. 0.023)
60.49/60.57	c #Conflicts:      12000 | #Learnt:       4730 | 0.003
60.49/60.57	c total clause space: 48.1602MB
60.49/60.57	c total #watches: 163628
71.28/71.32	c total #propagations: 1920839 / total #impl: 87301530 (eff. 0.022)
71.28/71.32	c #Conflicts:      13000 | #Learnt:       5730 | 0.003
71.28/71.32	c total clause space: 78.2603MB
71.28/71.32	c total #watches: 200388
78.98/79.04	c total #propagations: 2078904 / total #impl: 98007326 (eff. 0.021)
78.98/79.04	c GC COLLECT
78.98/79.04	c #Conflicts:      14000 | #Learnt:       3878 | 0.003
78.98/79.04	c total clause space: 78.2603MB
78.98/79.04	c total #watches: 158109
87.17/87.29	c total #propagations: 2250431 / total #impl: 107883487 (eff. 0.021)
87.17/87.29	c #Conflicts:      15000 | #Learnt:       4878 | 0.003
87.17/87.29	c total clause space: 78.2603MB
87.17/87.29	c total #watches: 188432
97.89/97.95	c total #propagations: 2390534 / total #impl: 119494723 (eff. 0.020)
97.89/97.95	c #Conflicts:      16000 | #Learnt:       5878 | 0.003
97.89/97.95	c total clause space: 78.2603MB
97.89/97.95	c total #watches: 217383
107.88/107.95	c total #propagations: 2532735 / total #impl: 130276259 (eff. 0.019)
107.88/107.95	c GC COLLECT
107.88/107.95	c #Conflicts:      17000 | #Learnt:       3703 | 0.003
107.88/107.95	c total clause space: 78.2603MB
107.88/107.95	c total #watches: 166128
118.68/118.79	c total #propagations: 2674093 / total #impl: 140855494 (eff. 0.019)
118.68/118.79	c #Conflicts:      18000 | #Learnt:       4703 | 0.003
118.68/118.79	c total clause space: 78.2603MB
118.68/118.79	c total #watches: 188966
130.57/130.67	c total #propagations: 2828054 / total #impl: 153220887 (eff. 0.018)
130.57/130.67	c #Conflicts:      19000 | #Learnt:       5703 | 0.003
130.57/130.67	c total clause space: 78.2603MB
130.57/130.67	c total #watches: 207781
144.18/144.28	c total #propagations: 2983945 / total #impl: 165158404 (eff. 0.018)
144.18/144.28	c #Conflicts:      20000 | #Learnt:       6703 | 0.003
144.18/144.28	c total clause space: 78.2603MB
144.18/144.28	c total #watches: 237078
154.47/154.53	c total #propagations: 3141856 / total #impl: 177624613 (eff. 0.018)
154.47/154.53	c GC COLLECT
154.47/154.53	c #Conflicts:      21000 | #Learnt:       4208 | 0.003
154.47/154.53	c total clause space: 78.2603MB
154.47/154.53	c total #watches: 175380
164.87/164.94	c total #propagations: 3299475 / total #impl: 188654077 (eff. 0.017)
164.87/164.94	c #Conflicts:      22000 | #Learnt:       5208 | 0.003
164.87/164.94	c total clause space: 78.2603MB
164.87/164.94	c total #watches: 200084
178.56/178.62	c total #propagations: 3459618 / total #impl: 200682278 (eff. 0.017)
178.56/178.62	c #Conflicts:      23000 | #Learnt:       6208 | 0.002
178.56/178.62	c total clause space: 78.2603MB
178.56/178.62	c total #watches: 225434
193.96/194.01	c total #propagations: 3631907 / total #impl: 213414336 (eff. 0.017)
193.96/194.01	c #Conflicts:      24000 | #Learnt:       7208 | 0.002
193.96/194.01	c total clause space: 78.2603MB
193.96/194.01	c total #watches: 254798
207.25/207.35	c total #propagations: 3785246 / total #impl: 225845890 (eff. 0.017)
207.25/207.35	c GC COLLECT
207.25/207.35	c #Conflicts:      25000 | #Learnt:       4407 | 0.002
207.25/207.35	c total clause space: 127.173MB
207.25/207.35	c total #watches: 205927
218.55/218.69	c total #propagations: 3943712 / total #impl: 238923124 (eff. 0.017)
218.55/218.69	c #Conflicts:      26000 | #Learnt:       5407 | 0.002
218.55/218.69	c total clause space: 127.173MB
218.55/218.69	c total #watches: 234973
232.75/232.82	c total #propagations: 4094035 / total #impl: 252557494 (eff. 0.016)
232.75/232.82	c #Conflicts:      27000 | #Learnt:       6407 | 0.002
232.75/232.82	c total clause space: 127.173MB
232.75/232.82	c total #watches: 256728
250.45/250.51	c total #propagations: 4248994 / total #impl: 265743918 (eff. 0.016)
250.45/250.51	c #Conflicts:      28000 | #Learnt:       7407 | 0.002
250.45/250.51	c total clause space: 127.173MB
250.45/250.51	c total #watches: 286034
268.36/268.45	c total #propagations: 4415588 / total #impl: 278632190 (eff. 0.016)
268.36/268.45	c GC COLLECT
268.36/268.45	c #Conflicts:      29000 | #Learnt:       4307 | 0.002
268.36/268.45	c total clause space: 127.173MB
268.36/268.45	c total #watches: 199306
280.05/280.16	c total #propagations: 4577274 / total #impl: 291445135 (eff. 0.016)
280.05/280.16	c #Conflicts:      30000 | #Learnt:       5307 | 0.002
280.05/280.16	c total clause space: 127.173MB
280.05/280.16	c total #watches: 228015
293.15/293.22	c total #propagations: 4749685 / total #impl: 305496487 (eff. 0.016)
293.15/293.22	c #Conflicts:      31000 | #Learnt:       6307 | 0.002
293.15/293.22	c total clause space: 127.173MB
293.15/293.22	c total #watches: 251348
309.84/309.94	c total #propagations: 4923153 / total #impl: 318765670 (eff. 0.015)
309.84/309.94	c #Conflicts:      32000 | #Learnt:       7307 | 0.002
309.84/309.94	c total clause space: 127.173MB
309.84/309.94	c total #watches: 281798
329.44/329.55	c total #propagations: 5090525 / total #impl: 332340244 (eff. 0.015)
329.44/329.55	c #Conflicts:      33000 | #Learnt:       8307 | 0.002
329.44/329.55	c total clause space: 127.173MB
329.44/329.55	c total #watches: 308143
346.13/346.22	c total #propagations: 5260299 / total #impl: 347622141 (eff. 0.015)
346.13/346.22	c GC COLLECT
346.13/346.22	c #Conflicts:      34000 | #Learnt:       4908 | 0.002
346.13/346.22	c total clause space: 127.173MB
346.13/346.22	c total #watches: 226057
358.33/358.46	c total #propagations: 5423245 / total #impl: 363574830 (eff. 0.015)
358.33/358.46	c #Conflicts:      35000 | #Learnt:       5908 | 0.002
358.33/358.46	c total clause space: 127.173MB
358.33/358.46	c total #watches: 250471
372.03/372.18	c total #propagations: 5596404 / total #impl: 378190810 (eff. 0.015)
372.03/372.18	c #Conflicts:      36000 | #Learnt:       6908 | 0.002
372.03/372.18	c total clause space: 127.173MB
372.03/372.18	c total #watches: 275531
387.43/387.51	c total #propagations: 5754614 / total #impl: 392832640 (eff. 0.015)
387.43/387.51	c #Conflicts:      37000 | #Learnt:       7908 | 0.002
387.43/387.51	c total clause space: 127.173MB
387.43/387.51	c total #watches: 300639
406.02/406.12	c total #propagations: 5905900 / total #impl: 409106964 (eff. 0.014)
406.02/406.12	c #Conflicts:      38000 | #Learnt:       8908 | 0.002
406.02/406.12	c total clause space: 127.173MB
406.02/406.12	c total #watches: 333962
420.52/420.68	c total #propagations: 6060683 / total #impl: 425556600 (eff. 0.014)
420.52/420.68	c GC COLLECT
420.52/420.68	c #Conflicts:      39000 | #Learnt:       5224 | 0.002
420.52/420.68	c total clause space: 127.173MB
420.52/420.68	c total #watches: 231187
434.22/434.38	c total #propagations: 6207307 / total #impl: 438674919 (eff. 0.014)
434.22/434.38	c #Conflicts:      40000 | #Learnt:       6224 | 0.002
434.22/434.38	c total clause space: 127.173MB
434.22/434.38	c total #watches: 260336
451.62/451.78	c total #propagations: 6366814 / total #impl: 452701005 (eff. 0.014)
451.62/451.78	c #Conflicts:      41000 | #Learnt:       7224 | 0.002
451.62/451.78	c total clause space: 127.173MB
451.62/451.78	c total #watches: 284870
473.72/473.84	c total #propagations: 6532266 / total #impl: 466640807 (eff. 0.014)
473.72/473.84	c #Conflicts:      42000 | #Learnt:       8224 | 0.002
473.72/473.84	c total clause space: 127.173MB
473.72/473.84	c total #watches: 311285
497.02/497.15	c total #propagations: 6709883 / total #impl: 481956467 (eff. 0.014)
497.02/497.15	c #Conflicts:      43000 | #Learnt:       9224 | 0.002
497.02/497.15	c total clause space: 127.173MB
497.02/497.15	c total #watches: 333931
520.11/520.28	c total #propagations: 6879066 / total #impl: 496773658 (eff. 0.014)
520.11/520.28	c GC COLLECT
520.11/520.28	c #Conflicts:      44000 | #Learnt:       5215 | 0.002
520.11/520.28	c total clause space: 127.173MB
520.11/520.28	c total #watches: 233380
535.11/535.22	c total #propagations: 7043441 / total #impl: 510709967 (eff. 0.014)
535.11/535.22	c #Conflicts:      45000 | #Learnt:       6215 | 0.002
535.11/535.22	c total clause space: 127.173MB
535.11/535.22	c total #watches: 249519
552.61/552.72	c total #propagations: 7208596 / total #impl: 521993154 (eff. 0.014)
552.61/552.72	c #Conflicts:      46000 | #Learnt:       7215 | 0.002
552.61/552.72	c total clause space: 127.173MB
552.61/552.72	c total #watches: 282827
572.60/572.73	c total #propagations: 7367822 / total #impl: 537880261 (eff. 0.014)
572.60/572.73	c #Conflicts:      47000 | #Learnt:       8215 | 0.002
572.60/572.73	c total clause space: 127.173MB
572.60/572.73	c total #watches: 315878
595.11/595.22	c total #propagations: 7521449 / total #impl: 552453522 (eff. 0.014)
595.11/595.22	c #Conflicts:      48000 | #Learnt:       9215 | 0.002
595.11/595.22	c total clause space: 127.173MB
595.11/595.22	c total #watches: 349950
619.20/619.35	c total #propagations: 7672661 / total #impl: 567360259 (eff. 0.014)
619.20/619.35	c #Conflicts:      49000 | #Learnt:      10215 | 0.002
619.20/619.35	c total clause space: 127.173MB
619.20/619.35	c total #watches: 379094
639.49/639.66	c total #propagations: 7821757 / total #impl: 581279091 (eff. 0.013)
639.49/639.66	c GC COLLECT
639.49/639.66	c #Conflicts:      50000 | #Learnt:       5915 | 0.002
639.49/639.66	c total clause space: 206.656MB
639.49/639.66	c total #watches: 253791
656.60/656.72	c total #propagations: 7976370 / total #impl: 595849354 (eff. 0.013)
656.60/656.72	c #Conflicts:      51000 | #Learnt:       6916 | 0.002
656.60/656.72	c total clause space: 206.656MB
656.60/656.72	c total #watches: 286950
677.39/677.50	c total #propagations: 8127746 / total #impl: 609468228 (eff. 0.013)
677.39/677.50	c #Conflicts:      52000 | #Learnt:       7916 | 0.002
677.39/677.50	c total clause space: 206.656MB
677.39/677.50	c total #watches: 310704
700.98/701.11	c total #propagations: 8296476 / total #impl: 622584006 (eff. 0.013)
700.98/701.11	c #Conflicts:      53000 | #Learnt:       8916 | 0.002
700.98/701.11	c total clause space: 206.656MB
700.98/701.11	c total #watches: 335084
726.28/726.45	c total #propagations: 8463244 / total #impl: 639567785 (eff. 0.013)
726.28/726.45	c #Conflicts:      54000 | #Learnt:       9916 | 0.002
726.28/726.45	c total clause space: 206.656MB
726.28/726.45	c total #watches: 373547
753.38/753.55	c total #propagations: 8623444 / total #impl: 655030555 (eff. 0.013)
753.38/753.55	c #Conflicts:      55000 | #Learnt:      10916 | 0.002
753.38/753.55	c total clause space: 206.656MB
753.38/753.55	c total #watches: 399961
770.87/771.07	c total #propagations: 8776867 / total #impl: 668840535 (eff. 0.013)
770.87/771.07	c GC COLLECT
770.87/771.07	c #Conflicts:      56000 | #Learnt:       6330 | 0.002
770.87/771.07	c total clause space: 206.656MB
770.87/771.07	c total #watches: 265693
787.58/787.76	c total #propagations: 8913542 / total #impl: 684371855 (eff. 0.013)
787.58/787.76	c #Conflicts:      57000 | #Learnt:       7330 | 0.002
787.58/787.76	c total clause space: 206.656MB
787.58/787.76	c total #watches: 289494
806.07/806.28	c total #propagations: 9064803 / total #impl: 698317163 (eff. 0.013)
806.07/806.28	c #Conflicts:      58000 | #Learnt:       8330 | 0.002
806.07/806.28	c total clause space: 206.656MB
806.07/806.28	c total #watches: 316296
833.56/833.78	c total #propagations: 9214263 / total #impl: 711083638 (eff. 0.013)
833.56/833.78	c #Conflicts:      59000 | #Learnt:       9330 | 0.002
833.56/833.78	c total clause space: 206.656MB
833.56/833.78	c total #watches: 339684
861.06/861.24	c total #propagations: 9414534 / total #impl: 726683314 (eff. 0.013)
861.06/861.24	c #Conflicts:      60000 | #Learnt:      10330 | 0.002
861.06/861.24	c total clause space: 206.656MB
861.06/861.24	c total #watches: 374568
889.45/889.67	c total #propagations: 9575097 / total #impl: 741712826 (eff. 0.013)
889.45/889.67	c #Conflicts:      61000 | #Learnt:      11330 | 0.002
889.45/889.67	c total clause space: 206.656MB
889.45/889.67	c total #watches: 400024
910.05/910.23	c total #propagations: 9734235 / total #impl: 756548433 (eff. 0.013)
910.05/910.23	c GC COLLECT
910.05/910.23	c #Conflicts:      62000 | #Learnt:       6432 | 0.002
910.05/910.23	c total clause space: 206.656MB
910.05/910.23	c total #watches: 267857
926.95/927.14	c total #propagations: 9874978 / total #impl: 770615256 (eff. 0.013)
926.95/927.14	c #Conflicts:      63000 | #Learnt:       7432 | 0.002
926.95/927.14	c total clause space: 206.656MB
926.95/927.14	c total #watches: 293030
948.64/948.83	c total #propagations: 10025420 / total #impl: 785477482 (eff. 0.013)
948.64/948.83	c #Conflicts:      64000 | #Learnt:       8432 | 0.001
948.64/948.83	c total clause space: 206.656MB
948.64/948.83	c total #watches: 317919
971.54/971.78	c total #propagations: 10201570 / total #impl: 803245484 (eff. 0.013)
971.54/971.78	c #Conflicts:      65000 | #Learnt:       9432 | 0.001
971.54/971.78	c total clause space: 206.656MB
971.54/971.78	c total #watches: 348034
997.83/998.02	c total #propagations: 10350541 / total #impl: 817536228 (eff. 0.013)
997.83/998.02	c #Conflicts:      66000 | #Learnt:      10432 | 0.001
997.83/998.02	c total clause space: 206.656MB
997.83/998.02	c total #watches: 374029
1027.63/1027.89	c total #propagations: 10503284 / total #impl: 833065195 (eff. 0.013)
1027.63/1027.89	c #Conflicts:      67000 | #Learnt:      11432 | 0.001
1027.63/1027.89	c total clause space: 206.656MB
1027.63/1027.89	c total #watches: 404055
1060.12/1060.31	c total #propagations: 10662999 / total #impl: 849971179 (eff. 0.013)
1060.12/1060.31	c #Conflicts:      68000 | #Learnt:      12432 | 0.001
1060.12/1060.31	c total clause space: 206.656MB
1060.12/1060.31	c total #watches: 427716
1081.13/1081.33	c total #propagations: 10819664 / total #impl: 865019633 (eff. 0.013)
1081.13/1081.33	c GC COLLECT
1081.13/1081.33	c #Conflicts:      69000 | #Learnt:       7232 | 0.001
1081.13/1081.33	c total clause space: 206.656MB
1081.13/1081.33	c total #watches: 287419
1100.22/1100.48	c total #propagations: 11012465 / total #impl: 880347508 (eff. 0.013)
1100.22/1100.48	c #Conflicts:      70000 | #Learnt:       8232 | 0.001
1100.22/1100.48	c total clause space: 206.656MB
1100.22/1100.48	c total #watches: 317009
1121.21/1121.43	c total #propagations: 11163693 / total #impl: 893730436 (eff. 0.012)
1121.21/1121.43	c #Conflicts:      71000 | #Learnt:       9232 | 0.001
1121.21/1121.43	c total clause space: 206.656MB
1121.21/1121.43	c total #watches: 345924
1146.41/1146.63	c total #propagations: 11322008 / total #impl: 908450122 (eff. 0.012)
1146.41/1146.63	c #Conflicts:      72000 | #Learnt:      10232 | 0.001
1146.41/1146.63	c total clause space: 206.656MB
1146.41/1146.63	c total #watches: 370474
1175.91/1176.17	c total #propagations: 11483668 / total #impl: 922091166 (eff. 0.012)
1175.91/1176.17	c #Conflicts:      73000 | #Learnt:      11232 | 0.001
1175.91/1176.17	c total clause space: 206.656MB
1175.91/1176.17	c total #watches: 394393
1208.91/1209.15	c total #propagations: 11644016 / total #impl: 937674428 (eff. 0.012)
1208.91/1209.15	c #Conflicts:      74000 | #Learnt:      12232 | 0.001
1208.91/1209.15	c total clause space: 206.656MB
1208.91/1209.15	c total #watches: 421828
1237.60/1237.80	c total #propagations: 11815253 / total #impl: 953088358 (eff. 0.012)
1237.60/1237.80	c GC COLLECT
1237.60/1237.80	c #Conflicts:      75000 | #Learnt:       6715 | 0.001
1237.60/1237.80	c total clause space: 206.656MB
1237.60/1237.80	c total #watches: 273596
1256.20/1256.46	c total #propagations: 11971482 / total #impl: 968482478 (eff. 0.012)
1256.20/1256.46	c #Conflicts:      76000 | #Learnt:       7715 | 0.001
1256.20/1256.46	c total clause space: 206.656MB
1256.20/1256.46	c total #watches: 307430
1275.80/1276.01	c total #propagations: 12132449 / total #impl: 983533961 (eff. 0.012)
1275.80/1276.01	c #Conflicts:      77000 | #Learnt:       8715 | 0.001
1275.80/1276.01	c total clause space: 206.656MB
1275.80/1276.01	c total #watches: 331516
1295.49/1295.78	c total #propagations: 12277863 / total #impl: 999918137 (eff. 0.012)
1295.49/1295.78	c #Conflicts:      78000 | #Learnt:       9715 | 0.001
1295.49/1295.78	c total clause space: 206.656MB
1295.49/1295.78	c total #watches: 357367
1320.79/1321.08	c total #propagations: 12408751 / total #impl: 1014428768 (eff. 0.012)
1320.79/1321.08	c #Conflicts:      79000 | #Learnt:      10715 | 0.001
1320.79/1321.08	c total clause space: 206.656MB
1320.79/1321.08	c total #watches: 385206
1353.59/1353.88	c total #propagations: 12566156 / total #impl: 1029394171 (eff. 0.012)
1353.59/1353.88	c #Conflicts:      80000 | #Learnt:      11715 | 0.001
1353.59/1353.88	c total clause space: 206.656MB
1353.59/1353.88	c total #watches: 404317
1382.59/1382.88	c total #propagations: 12765352 / total #impl: 1042850752 (eff. 0.012)
1382.59/1382.88	c #Conflicts:      81000 | #Learnt:      12715 | 0.001
1382.59/1382.88	c total clause space: 206.656MB
1382.59/1382.88	c total #watches: 430252
1410.57/1410.87	c total #propagations: 12918775 / total #impl: 1059379848 (eff. 0.012)
1410.57/1410.87	c GC COLLECT
1410.57/1410.87	c #Conflicts:      82000 | #Learnt:       6924 | 0.001
1410.57/1410.87	c total clause space: 206.656MB
1410.57/1410.87	c total #watches: 280133
1426.67/1426.99	c total #propagations: 13064489 / total #impl: 1076030071 (eff. 0.012)
1426.67/1426.99	c #Conflicts:      83000 | #Learnt:       7924 | 0.001
1426.67/1426.99	c total clause space: 206.656MB
1426.67/1426.99	c total #watches: 302510
1443.87/1444.13	c total #propagations: 13202986 / total #impl: 1090897654 (eff. 0.012)
1443.87/1444.13	c #Conflicts:      84000 | #Learnt:       8924 | 0.001
1443.87/1444.13	c total clause space: 206.656MB
1443.87/1444.13	c total #watches: 329420
1462.67/1462.96	c total #propagations: 13338900 / total #impl: 1104871377 (eff. 0.012)
1462.67/1462.96	c #Conflicts:      85000 | #Learnt:       9924 | 0.001
1462.67/1462.96	c total clause space: 206.656MB
1462.67/1462.96	c total #watches: 352918
1489.56/1489.87	c total #propagations: 13475998 / total #impl: 1119146291 (eff. 0.012)
1489.56/1489.87	c #Conflicts:      86000 | #Learnt:      10924 | 0.001
1489.56/1489.87	c total clause space: 206.656MB
1489.56/1489.87	c total #watches: 374226
1517.77/1518.08	c total #propagations: 13651385 / total #impl: 1136438855 (eff. 0.012)
1517.77/1518.08	c #Conflicts:      87000 | #Learnt:      11924 | 0.001
1517.77/1518.08	c total clause space: 206.656MB
1517.77/1518.08	c total #watches: 399473
1546.46/1546.71	c total #propagations: 13815323 / total #impl: 1152294275 (eff. 0.012)
1546.46/1546.71	c #Conflicts:      88000 | #Learnt:      12924 | 0.001
1546.46/1546.71	c total clause space: 206.656MB
1546.46/1546.71	c total #watches: 430730
1579.54/1579.83	c total #propagations: 13958415 / total #impl: 1169013956 (eff. 0.012)
1579.54/1579.83	c #Conflicts:      89000 | #Learnt:      13924 | 0.001
1579.54/1579.83	c total clause space: 206.656MB
1579.54/1579.83	c total #watches: 453796
1600.35/1600.68	c total #propagations: 14118100 / total #impl: 1184538536 (eff. 0.012)
1600.35/1600.68	c GC COLLECT
1600.35/1600.68	c #Conflicts:      90000 | #Learnt:       7832 | 0.001
1600.35/1600.68	c total clause space: 206.656MB
1600.35/1600.68	c total #watches: 305507
1627.34/1627.67	c total #propagations: 14261450 / total #impl: 1199040220 (eff. 0.012)
1627.34/1627.67	c #Conflicts:      91000 | #Learnt:       8832 | 0.001
1627.34/1627.67	c total clause space: 206.656MB
1627.34/1627.67	c total #watches: 331433
1656.84/1657.18	c total #propagations: 14488159 / total #impl: 1212523487 (eff. 0.012)
1656.84/1657.18	c #Conflicts:      92000 | #Learnt:       9832 | 0.001
1656.84/1657.18	c total clause space: 206.656MB
1656.84/1657.18	c total #watches: 354543
1688.24/1688.55	c total #propagations: 14709237 / total #impl: 1227573007 (eff. 0.012)
1688.24/1688.55	c #Conflicts:      93000 | #Learnt:      10832 | 0.001
1688.24/1688.55	c total clause space: 206.656MB
1688.24/1688.55	c total #watches: 379028
1716.53/1716.84	c total #propagations: 14916085 / total #impl: 1243537476 (eff. 0.012)
1716.53/1716.84	c #Conflicts:      94000 | #Learnt:      11832 | 0.001
1716.53/1716.84	c total clause space: 206.656MB
1716.53/1716.84	c total #watches: 405689
1747.53/1747.89	c total #propagations: 15090369 / total #impl: 1259487073 (eff. 0.012)
1747.53/1747.89	c #Conflicts:      95000 | #Learnt:      12832 | 0.001
1747.53/1747.89	c total clause space: 206.656MB
1747.53/1747.89	c total #watches: 429619
1789.02/1789.35	c total #propagations: 15279246 / total #impl: 1275267633 (eff. 0.012)
1789.02/1789.35	c #Conflicts:      96000 | #Learnt:      13832 | 0.001
1789.02/1789.35	c total clause space: 206.656MB
1789.02/1789.35	c total #watches: 447710

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-4088510-1465439740/watcher-4088510-1465439740 -o /tmp/evaluation-result-4088510-1465439740/solver-4088510-1465439740 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465427031-29728 --watchdog 1960 --input HOME/instance-4088510-1465439740.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.06 2.00 3/176 31308
/proc/meminfo: memFree=30730084/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 125907322 29810688 5268 33554432000 4194304 6201397 140736374378640 140735908852248 5194148 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 7278 5268 130 491 0 6777 0

[startup+0.100166 s]
/proc/loadavg: 2.02 2.06 2.00 3/176 31308
/proc/meminfo: memFree=30730084/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=33968 CPUtime=0.09 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 659 0 0 0 9 0 0 0 20 0 1 0 125907322 34783232 7088 33554432000 4194304 6201397 140736374378640 140735908852248 5150858 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 8492 7088 145 491 0 7991 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33968

[startup+0.200337 s]
/proc/loadavg: 2.02 2.06 2.00 3/176 31308
/proc/meminfo: memFree=30730084/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=34220 CPUtime=0.19 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 852 0 0 0 19 0 0 0 20 0 1 0 125907322 35041280 7223 33554432000 4194304 6201397 140736374378640 140735908852248 5150858 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 8555 7223 145 491 0 8054 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34220

[startup+0.300265 s]
/proc/loadavg: 2.02 2.06 2.00 3/176 31308
/proc/meminfo: memFree=30730084/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=34328 CPUtime=0.29 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 1139 0 0 0 29 0 0 0 20 0 1 0 125907322 35151872 7401 33554432000 4194304 6201397 140736374378640 140735908852248 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 8582 7401 145 491 0 8081 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34328

[startup+0.700235 s]
/proc/loadavg: 2.02 2.06 2.00 3/176 31308
/proc/meminfo: memFree=30730084/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=37416 CPUtime=0.69 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 1549 0 0 0 69 0 0 0 20 0 1 0 125907322 38313984 8203 33554432000 4194304 6201397 140736374378640 140736374377768 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 9354 8203 158 491 0 8853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37416

[startup+1.50024 s]
/proc/loadavg: 2.02 2.06 2.00 3/177 31309
/proc/meminfo: memFree=30694396/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=42328 CPUtime=1.49 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 2343 0 0 0 148 1 0 0 20 0 1 0 125907322 43343872 9238 33554432000 4194304 6201397 140736374378640 140736374377304 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 10582 9238 158 491 0 10081 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42328

[startup+3.10023 s]
/proc/loadavg: 2.02 2.06 2.00 3/177 31309
/proc/meminfo: memFree=30690752/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=42684 CPUtime=3.09 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 2705 0 0 0 308 1 0 0 20 0 1 0 125907322 43708416 9502 33554432000 4194304 6201397 140736374378640 140736374377768 4198529 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 10671 9502 165 491 0 10170 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42684

[startup+6.30023 s]
/proc/loadavg: 2.02 2.06 2.00 3/177 31309
/proc/meminfo: memFree=30683692/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=50652 CPUtime=6.29 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 3380 0 0 0 628 1 0 0 20 0 1 0 125907322 51867648 11022 33554432000 4194304 6201397 140736374378640 140736374377592 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 12663 11022 165 491 0 12162 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50652

[startup+12.7002 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 31309
/proc/meminfo: memFree=30672236/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=63300 CPUtime=12.69 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 4578 0 0 0 1268 1 0 0 20 0 1 0 125907322 64819200 12793 33554432000 4194304 6201397 140736374378640 140736374377592 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 15825 12793 165 491 0 15324 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63300

[startup+25.5004 s]
/proc/loadavg: 2.01 2.05 2.00 3/177 31309
/proc/meminfo: memFree=30658680/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=83468 CPUtime=25.49 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 5737 0 0 0 2547 2 0 0 20 0 1 0 125907322 85471232 16127 33554432000 4194304 6201397 140736374378640 140736374377768 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 20867 16127 165 491 0 20366 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83468

[startup+51.1003 s]
/proc/loadavg: 2.01 2.05 2.00 3/177 31309
/proc/meminfo: memFree=30643048/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=85128 CPUtime=51.08 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 6337 0 0 0 5106 2 0 0 20 0 1 0 125907322 87171072 19774 33554432000 4194304 6201397 140736374378640 140736374377480 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 21282 19774 165 491 0 20781 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85128

[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/177 31311
/proc/meminfo: memFree=30610680/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=117792 CPUtime=102.29 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 7639 0 0 0 10226 3 0 0 20 0 1 0 125907322 120619008 24825 33554432000 4194304 6201397 140736374378640 140736374377480 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 29448 24825 165 491 0 28947 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 117792

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 31312
/proc/meminfo: memFree=30579748/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=118976 CPUtime=162.27 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 8003 0 0 0 16224 3 0 0 20 0 1 0 125907322 121831424 28229 33554432000 4194304 6201397 140736374378640 140736374377768 4213110 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 29744 28229 165 491 0 29243 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 118976

[startup+222.307 s]
/proc/loadavg: 2.08 2.04 2.01 4/177 31313
/proc/meminfo: memFree=30565592/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=170176 CPUtime=222.26 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 8895 0 0 0 22223 3 0 0 20 0 1 0 125907322 174260224 29317 33554432000 4194304 6201397 140736374378640 140736374377768 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 42544 29317 165 491 0 42043 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 170176

[startup+282.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/178 31317
/proc/meminfo: memFree=30552592/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=171076 CPUtime=282.25 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 9269 0 0 0 28221 4 0 0 20 0 1 0 125907322 175181824 31681 33554432000 4194304 6201397 140736374378640 140736374377768 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 42769 31681 165 491 0 42268 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 171076

[startup+342.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 31318
/proc/meminfo: memFree=30521024/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=172084 CPUtime=342.23 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 9558 0 0 0 34219 4 0 0 20 0 1 0 125907322 176214016 32989 33554432000 4194304 6201397 140736374378640 140736374377304 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 43021 32989 165 491 0 42520 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 172084

[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.00 4/177 31320
/proc/meminfo: memFree=30512336/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=172228 CPUtime=402.22 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 9645 0 0 0 40218 4 0 0 20 0 1 0 125907322 176361472 34609 33554432000 4194304 6201397 140736374378640 140736374377304 4213110 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 43057 34609 165 491 0 42556 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 172228

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 31321
/proc/meminfo: memFree=30476284/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=172660 CPUtime=462.21 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 9728 0 0 0 46217 4 0 0 20 0 1 0 125907322 176803840 37758 33554432000 4194304 6201397 140736374378640 140736374377768 4213170 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 43165 37758 165 491 0 42664 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 172660

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31322
/proc/meminfo: memFree=30461640/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=174244 CPUtime=522.21 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 10114 0 0 0 52216 5 0 0 20 0 1 0 125907322 178425856 41210 33554432000 4194304 6201397 140736374378640 140736374377768 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 43561 41210 165 491 0 43060 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 174244

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31323
/proc/meminfo: memFree=30461396/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=174244 CPUtime=582.2 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 10143 0 0 0 58215 5 0 0 20 0 1 0 125907322 178425856 41239 33554432000 4194304 6201397 140736374378640 140736374377768 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 43561 41239 165 491 0 43060 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 174244


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


[startup+942.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 31333
/proc/meminfo: memFree=30405696/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=258916 CPUtime=942.14 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 11503 0 0 0 94209 5 0 0 20 0 1 0 125907322 265129984 48210 33554432000 4194304 6201397 140736374378640 140736374377768 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 64729 48210 165 491 0 64228 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 258916

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31336
/proc/meminfo: memFree=30385408/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=259204 CPUtime=1002.13 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 11587 0 0 0 100208 5 0 0 20 0 1 0 125907322 265424896 48278 33554432000 4194304 6201397 140736374378640 140736374377304 4213192 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 64801 48278 165 491 0 64300 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 259204

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31338
/proc/meminfo: memFree=30358216/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=259796 CPUtime=1062.12 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 11735 0 0 0 106207 5 0 0 20 0 1 0 125907322 266031104 51492 33554432000 4194304 6201397 140736374378640 140736374377768 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 64949 51492 165 491 0 64448 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 259796

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31339
/proc/meminfo: memFree=30357856/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=259796 CPUtime=1122.11 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 11735 0 0 0 112206 5 0 0 20 0 1 0 125907322 266031104 51492 33554432000 4194304 6201397 140736374378640 140736374377768 4213192 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 64949 51492 165 491 0 64448 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 259796

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31340
/proc/meminfo: memFree=30356984/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=259796 CPUtime=1182.11 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 11800 0 0 0 118205 6 0 0 20 0 1 0 125907322 266031104 51542 33554432000 4194304 6201397 140736374378640 140736374377768 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 64949 51542 165 491 0 64448 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 259796

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31341
/proc/meminfo: memFree=30350708/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=260244 CPUtime=1242.1 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 11909 0 0 0 124204 6 0 0 20 0 1 0 125907322 266489856 53184 33554432000 4194304 6201397 140736374378640 140736374377768 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 65061 53184 165 491 0 64560 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 260244

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31342
/proc/meminfo: memFree=30349844/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=260244 CPUtime=1302.09 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 11911 0 0 0 130203 6 0 0 20 0 1 0 125907322 266489856 53259 33554432000 4194304 6201397 140736374378640 140736374377768 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 65061 53259 165 491 0 64560 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 260244

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 31344
/proc/meminfo: memFree=30348980/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=260244 CPUtime=1362.08 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 11924 0 0 0 136202 6 0 0 20 0 1 0 125907322 266489856 53269 33554432000 4194304 6201397 140736374378640 140736374377768 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 65061 53269 165 491 0 64560 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 260244

[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31345
/proc/meminfo: memFree=30336316/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=260884 CPUtime=1422.08 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 12037 0 0 0 142202 6 0 0 20 0 1 0 125907322 267145216 55937 33554432000 4194304 6201397 140736374378640 140736374377768 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 65221 55937 165 491 0 64720 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 260884

[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 31349
/proc/meminfo: memFree=30336232/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=260884 CPUtime=1482.06 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 12038 0 0 0 148200 6 0 0 20 0 1 0 125907322 267145216 55938 33554432000 4194304 6201397 140736374378640 140736374377768 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 65221 55938 165 491 0 64720 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 260884

[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 2.00 4/178 31373
/proc/meminfo: memFree=30335768/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=261336 CPUtime=1542.06 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 12122 0 0 0 154200 6 0 0 20 0 1 0 125907322 267608064 56022 33554432000 4194304 6201397 140736374378640 140736374377304 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 65334 56022 165 491 0 64833 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 261336

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31374
/proc/meminfo: memFree=30314804/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=261976 CPUtime=1602.04 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 12239 0 0 0 160198 6 0 0 20 0 1 0 125907322 268263424 61249 33554432000 4194304 6201397 140736374378640 140736374377768 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 65494 61249 165 491 0 64993 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 261976

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31376
/proc/meminfo: memFree=30314548/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=261976 CPUtime=1662.04 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 12239 0 0 0 166197 7 0 0 20 0 1 0 125907322 268263424 61249 33554432000 4194304 6201397 140736374378640 140736374377768 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 65494 61249 165 491 0 64993 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 261976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31377
/proc/meminfo: memFree=30314792/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=262136 CPUtime=1722.03 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 12268 0 0 0 172196 7 0 0 20 0 1 0 125907322 268427264 61278 33554432000 4194304 6201397 140736374378640 140736374377768 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 65534 61278 165 491 0 65033 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 262136

[startup+1782.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 31423
/proc/meminfo: memFree=30297328/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=262456 CPUtime=1782.02 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 12320 0 0 0 178195 7 0 0 20 0 1 0 125907322 268754944 61433 33554432000 4194304 6201397 140736374378640 140736374377304 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 65614 61433 165 491 0 65113 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 262456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.16 2.04 2.01 4/177 31424
/proc/meminfo: memFree=30285064/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=262616 CPUtime=1800.02 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 12363 0 0 0 179995 7 0 0 20 0 1 0 125907322 268918784 61476 33554432000 4194304 6201397 140736374378640 140736374377304 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 65654 61476 165 491 0 65153 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 262616

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

[startup+1800.3 s]
/proc/loadavg: 2.16 2.04 2.01 4/177 31424
/proc/meminfo: memFree=30285064/32872528 swapFree=11320/319964
[pid=31308] ppid=31305 vsize=262616 CPUtime=1800.02 cores=1,3,5,7
/proc/31308/stat : 31308 (cdcl-cuttingpla) R 31305 31308 29711 0 -1 4202496 12363 0 0 0 179995 7 0 0 20 0 1 0 125907322 268918784 61476 33554432000 4194304 6201397 140736374378640 140736374377304 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31308/statm: 65654 61476 165 491 0 65153 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 262616

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.95
CPU system time (s): 0.071989
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 262616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.071989
maximum resident set size= 245904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12363
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= 18
involuntary context switches= 3584

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5803 second user time and 6.88195 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-09 04:35:40
IDJOB=4088510
IDBENCH=89878
IDSOLVER=2550
FILE ID=node128/4088510-1465439740
RUNJOBID= node128-1465427031-29728
PBS_JOBID= 19859784
Free space on /tmp= 71744 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1440225.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088510-1465439740/watcher-4088510-1465439740 -o /tmp/evaluation-result-4088510-1465439740/solver-4088510-1465439740 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465427031-29728 --watchdog 1960 --input HOME/instance-4088510-1465439740.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= ae858a83a4b73fde0d05a86f9f6907e8
RANDOM SEED=17617857

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30730736 kB
Buffers:          191256 kB
Cached:           765636 kB
SwapCached:         1660 kB
Active:           324984 kB
Inactive:         740512 kB
Active(anon):     108708 kB
Inactive(anon):     2136 kB
Active(file):     216276 kB
Inactive(file):   738376 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098544 kB
Dirty:              2380 kB
Writeback:             0 kB
AnonPages:        427732 kB
Mapped:             7788 kB
Shmem:                 0 kB
Slab:             625892 kB
SReclaimable:      69408 kB
SUnreclaim:       556484 kB
KernelStack:        1456 kB
PageTables:         5048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     558292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    391168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node128 at 2016-06-09 05:05:41