Trace number 4087962

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
MD5SUM8d2c17131f0dd6c2b5d472cf1eef4c89
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3666
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2967
Optimality of the best value was proved YES
Number of variables1086
Total number of constraints85
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint1086
Number of terms in the objective function 1086
Biggest coefficient in the objective function 283
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 197191
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 283
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 197191
Number of bits of the biggest sum of numbers18
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= 1086 #constraint= 85
1.38/1.42	c #Conflicts:       1000 | #Learnt:       1023 | 0.407
1.38/1.42	c total clause space: 18.2382MB
1.38/1.42	c total #watches: 137039
4.18/4.24	c total #propagations: 57159 / total #impl: 5128288 (eff. 0.011)
4.18/4.24	c #Conflicts:       2000 | #Learnt:       2025 | 0.217
4.18/4.24	c total clause space: 29.637MB
4.18/4.24	c total #watches: 252686
6.99/7.06	c total #propagations: 82881 / total #impl: 18174720 (eff. 0.005)
6.99/7.06	c GC COLLECT
6.99/7.06	c #Conflicts:       3000 | #Learnt:       2028 | 0.153
6.99/7.06	c total clause space: 48.1602MB
6.99/7.06	c total #watches: 347490
14.78/14.81	c total #propagations: 103224 / total #impl: 32713918 (eff. 0.003)
14.78/14.81	c #Conflicts:       4000 | #Learnt:       3040 | 0.117
14.78/14.81	c total clause space: 48.1602MB
14.78/14.81	c total #watches: 485903
23.39/23.41	c total #propagations: 139706 / total #impl: 49799804 (eff. 0.003)
23.39/23.41	c GC COLLECT
23.39/23.41	c #Conflicts:       5000 | #Learnt:       2395 | 0.101
23.39/23.41	c total clause space: 78.2603MB
23.39/23.41	c total #watches: 442504
34.09/34.17	c total #propagations: 182433 / total #impl: 60015142 (eff. 0.003)
34.09/34.17	c #Conflicts:       6000 | #Learnt:       3419 | 0.088
34.09/34.17	c total clause space: 78.2603MB
34.09/34.17	c total #watches: 693884
44.78/44.87	c total #propagations: 222703 / total #impl: 99135240 (eff. 0.002)
44.78/44.87	c GC COLLECT
44.78/44.87	c #Conflicts:       7000 | #Learnt:       2309 | 0.076
44.78/44.87	c total clause space: 78.2603MB
44.78/44.87	c total #watches: 554672
54.18/54.22	c total #propagations: 256103 / total #impl: 114888368 (eff. 0.002)
54.18/54.22	c #Conflicts:       8000 | #Learnt:       3309 | 0.068
54.18/54.22	c total clause space: 78.2603MB
54.18/54.22	c total #watches: 628105
67.58/67.60	c total #propagations: 306224 / total #impl: 122297748 (eff. 0.003)
67.58/67.60	c #Conflicts:       9000 | #Learnt:       4309 | 0.062
67.58/67.60	c total clause space: 78.2603MB
67.58/67.60	c total #watches: 725792
80.97/81.06	c total #propagations: 354420 / total #impl: 130029615 (eff. 0.003)
80.97/81.06	c GC COLLECT
80.97/81.06	c #Conflicts:      10000 | #Learnt:       2820 | 0.059
80.97/81.06	c total clause space: 127.173MB
80.97/81.06	c total #watches: 477015
92.27/92.37	c total #propagations: 400844 / total #impl: 138806659 (eff. 0.003)
92.27/92.37	c #Conflicts:      11000 | #Learnt:       3820 | 0.055
92.27/92.37	c total clause space: 127.173MB
92.27/92.37	c total #watches: 644636
104.77/104.83	c total #propagations: 449982 / total #impl: 152482974 (eff. 0.003)
104.77/104.83	c #Conflicts:      12000 | #Learnt:       4820 | 0.052
104.77/104.83	c total clause space: 127.173MB
104.77/104.83	c total #watches: 806015
121.87/121.96	c total #propagations: 494291 / total #impl: 171920406 (eff. 0.003)
121.87/121.96	c #Conflicts:      13000 | #Learnt:       5820 | 0.048
121.87/121.96	c total clause space: 127.173MB
121.87/121.96	c total #watches: 884274
137.27/137.39	c total #propagations: 573980 / total #impl: 179990303 (eff. 0.003)
137.27/137.39	c GC COLLECT
137.27/137.39	c #Conflicts:      14000 | #Learnt:       3975 | 0.047
137.27/137.39	c total clause space: 127.173MB
137.27/137.39	c total #watches: 678384
154.16/154.27	c total #propagations: 673433 / total #impl: 202089300 (eff. 0.003)
154.16/154.27	c #Conflicts:      15000 | #Learnt:       4975 | 0.044
154.16/154.27	c total clause space: 127.173MB
154.16/154.27	c total #watches: 764354
169.96/170.07	c total #propagations: 754545 / total #impl: 230546744 (eff. 0.003)
169.96/170.07	c #Conflicts:      16000 | #Learnt:       5975 | 0.041
169.96/170.07	c total clause space: 127.173MB
169.96/170.07	c total #watches: 879073
180.76/180.86	c total #propagations: 841661 / total #impl: 271209678 (eff. 0.003)
180.76/180.86	c GC COLLECT
180.76/180.86	c #Conflicts:      17000 | #Learnt:       3809 | 0.039
180.76/180.86	c total clause space: 127.173MB
180.76/180.86	c total #watches: 610651
190.65/190.78	c total #propagations: 928025 / total #impl: 322795629 (eff. 0.003)
190.65/190.78	c #Conflicts:      18000 | #Learnt:       4809 | 0.038
190.65/190.78	c total clause space: 127.173MB
190.65/190.78	c total #watches: 718306
204.45/204.58	c total #propagations: 1021925 / total #impl: 387169304 (eff. 0.003)
204.45/204.58	c #Conflicts:      19000 | #Learnt:       5809 | 0.037
204.45/204.58	c total clause space: 127.173MB
204.45/204.58	c total #watches: 829205
221.16/221.27	c total #propagations: 1129759 / total #impl: 467228634 (eff. 0.002)
221.16/221.27	c #Conflicts:      20000 | #Learnt:       6809 | 0.038
221.16/221.27	c total clause space: 127.173MB
221.16/221.27	c total #watches: 931088
231.95/232.09	c total #propagations: 1216328 / total #impl: 549461605 (eff. 0.002)
231.95/232.09	c GC COLLECT
231.95/232.09	c #Conflicts:      21000 | #Learnt:       4319 | 0.038
231.95/232.09	c total clause space: 127.173MB
231.95/232.09	c total #watches: 669699
243.25/243.37	c total #propagations: 1269727 / total #impl: 579255418 (eff. 0.002)
243.25/243.37	c #Conflicts:      22000 | #Learnt:       5319 | 0.037
243.25/243.37	c total clause space: 127.173MB
243.25/243.37	c total #watches: 787205
256.25/256.39	c total #propagations: 1314642 / total #impl: 601181418 (eff. 0.002)
256.25/256.39	c #Conflicts:      23000 | #Learnt:       6319 | 0.036
256.25/256.39	c total clause space: 127.173MB
256.25/256.39	c total #watches: 909608
274.75/274.83	c total #propagations: 1348156 / total #impl: 627187459 (eff. 0.002)
274.75/274.83	c #Conflicts:      24000 | #Learnt:       7319 | 0.035
274.75/274.83	c total clause space: 127.173MB
274.75/274.83	c total #watches: 1098694
289.54/289.63	c total #propagations: 1384912 / total #impl: 651078988 (eff. 0.002)
289.54/289.63	c GC COLLECT
289.54/289.63	c #Conflicts:      25000 | #Learnt:       4522 | 0.034
289.54/289.63	c total clause space: 127.173MB
289.54/289.63	c total #watches: 898864
303.94/304.03	c total #propagations: 1413842 / total #impl: 701821480 (eff. 0.002)
303.94/304.03	c #Conflicts:      26000 | #Learnt:       5526 | 0.033
303.94/304.03	c total clause space: 127.173MB
303.94/304.03	c total #watches: 1072946
321.64/321.79	c total #propagations: 1449041 / total #impl: 741358871 (eff. 0.002)
321.64/321.79	c #Conflicts:      27000 | #Learnt:       6526 | 0.033
321.64/321.79	c total clause space: 127.173MB
321.64/321.79	c total #watches: 1255004
343.73/343.80	c total #propagations: 1477320 / total #impl: 769968727 (eff. 0.002)
343.73/343.80	c #Conflicts:      28000 | #Learnt:       7526 | 0.035
343.73/343.80	c total clause space: 127.173MB
343.73/343.80	c total #watches: 1440665
372.33/372.49	c total #propagations: 1512814 / total #impl: 800945504 (eff. 0.002)
372.33/372.49	c GC COLLECT
372.33/372.49	c #Conflicts:      29000 | #Learnt:       4419 | 0.034
372.33/372.49	c total clause space: 206.656MB
372.33/372.49	c total #watches: 970512
386.13/386.28	c total #propagations: 1566844 / total #impl: 818204333 (eff. 0.002)
386.13/386.28	c #Conflicts:      30000 | #Learnt:       5419 | 0.033
386.13/386.28	c total clause space: 206.656MB
386.13/386.28	c total #watches: 1098174
401.92/402.07	c total #propagations: 1611470 / total #impl: 832821314 (eff. 0.002)
401.92/402.07	c #Conflicts:      31000 | #Learnt:       6419 | 0.033
401.92/402.07	c total clause space: 206.656MB
401.92/402.07	c total #watches: 1200036
420.72/420.82	c total #propagations: 1654068 / total #impl: 847534018 (eff. 0.002)
420.72/420.82	c #Conflicts:      32000 | #Learnt:       7419 | 0.032
420.72/420.82	c total clause space: 206.656MB
420.72/420.82	c total #watches: 1286795
439.11/439.25	c total #propagations: 1690963 / total #impl: 864743681 (eff. 0.002)
439.11/439.25	c #Conflicts:      33000 | #Learnt:       8419 | 0.031
439.11/439.25	c total clause space: 206.656MB
439.11/439.25	c total #watches: 1397060
460.61/460.71	c total #propagations: 1719428 / total #impl: 892829634 (eff. 0.002)
460.61/460.71	c GC COLLECT
460.61/460.71	c #Conflicts:      34000 | #Learnt:       5014 | 0.030
460.61/460.71	c total clause space: 206.656MB
460.61/460.71	c total #watches: 825132
476.21/476.33	c total #propagations: 1771593 / total #impl: 904583338 (eff. 0.002)
476.21/476.33	c #Conflicts:      35000 | #Learnt:       6014 | 0.030
476.21/476.33	c total clause space: 206.656MB
476.21/476.33	c total #watches: 937625
499.90/500.05	c total #propagations: 1820529 / total #impl: 916698807 (eff. 0.002)
499.90/500.05	c #Conflicts:      36000 | #Learnt:       7014 | 0.029
499.90/500.05	c total clause space: 206.656MB
499.90/500.05	c total #watches: 1032224
524.21/524.36	c total #propagations: 1887526 / total #impl: 928735317 (eff. 0.002)
524.21/524.36	c #Conflicts:      37000 | #Learnt:       8014 | 0.028
524.21/524.36	c total clause space: 206.656MB
524.21/524.36	c total #watches: 1101807
539.10/539.26	c total #propagations: 1962499 / total #impl: 939519767 (eff. 0.002)
539.10/539.26	c #Conflicts:      38000 | #Learnt:       9014 | 0.028
539.10/539.26	c total clause space: 206.656MB
539.10/539.26	c total #watches: 1193568
550.70/550.81	c total #propagations: 1993759 / total #impl: 964788596 (eff. 0.002)
550.70/550.81	c GC COLLECT
550.70/550.81	c #Conflicts:      39000 | #Learnt:       5322 | 0.027
550.70/550.81	c total clause space: 206.656MB
550.70/550.81	c total #watches: 818153
564.40/564.58	c total #propagations: 2020515 / total #impl: 991310666 (eff. 0.002)
564.40/564.58	c #Conflicts:      40000 | #Learnt:       6322 | 0.027
564.40/564.58	c total clause space: 206.656MB
564.40/564.58	c total #watches: 964224
581.20/581.37	c total #propagations: 2055707 / total #impl: 1013178337 (eff. 0.002)
581.20/581.37	c #Conflicts:      41000 | #Learnt:       7322 | 0.026
581.20/581.37	c total clause space: 206.656MB
581.20/581.37	c total #watches: 1076740
598.59/598.74	c total #propagations: 2095074 / total #impl: 1036212814 (eff. 0.002)
598.59/598.74	c #Conflicts:      42000 | #Learnt:       8322 | 0.026
598.59/598.74	c total clause space: 206.656MB
598.59/598.74	c total #watches: 1193365
619.38/619.57	c total #propagations: 2129055 / total #impl: 1064596968 (eff. 0.002)
619.38/619.57	c #Conflicts:      43000 | #Learnt:       9322 | 0.025
619.38/619.57	c total clause space: 206.656MB
619.38/619.57	c total #watches: 1302452
639.29/639.43	c total #propagations: 2166180 / total #impl: 1093092914 (eff. 0.002)
639.29/639.43	c GC COLLECT
639.29/639.43	c #Conflicts:      44000 | #Learnt:       5324 | 0.025
639.29/639.43	c total clause space: 206.656MB
639.29/639.43	c total #watches: 897854
653.29/653.47	c total #propagations: 2209121 / total #impl: 1113796610 (eff. 0.002)
653.29/653.47	c #Conflicts:      45000 | #Learnt:       6324 | 0.024
653.29/653.47	c total clause space: 206.656MB
653.29/653.47	c total #watches: 978365
670.89/671.08	c total #propagations: 2251165 / total #impl: 1132437293 (eff. 0.002)
670.89/671.08	c #Conflicts:      46000 | #Learnt:       7324 | 0.024
670.89/671.08	c total clause space: 206.656MB
670.89/671.08	c total #watches: 1080995
694.18/694.31	c total #propagations: 2293268 / total #impl: 1147990052 (eff. 0.002)
694.18/694.31	c #Conflicts:      47000 | #Learnt:       8324 | 0.024
694.18/694.31	c total clause space: 206.656MB
694.18/694.31	c total #watches: 1192459
717.38/717.59	c total #propagations: 2336126 / total #impl: 1163352654 (eff. 0.002)
717.38/717.59	c #Conflicts:      48000 | #Learnt:       9324 | 0.023
717.38/717.59	c total clause space: 206.656MB
717.38/717.59	c total #watches: 1283836
741.67/741.85	c total #propagations: 2374608 / total #impl: 1186082743 (eff. 0.002)
741.67/741.85	c #Conflicts:      49000 | #Learnt:      10324 | 0.023
741.67/741.85	c total clause space: 206.656MB
741.67/741.85	c total #watches: 1380799
760.97/761.18	c total #propagations: 2412504 / total #impl: 1206930132 (eff. 0.002)
760.97/761.18	c GC COLLECT
760.97/761.18	c #Conflicts:      50000 | #Learnt:       6021 | 0.023
760.97/761.18	c total clause space: 206.656MB
760.97/761.18	c total #watches: 959778
775.27/775.42	c total #propagations: 2453705 / total #impl: 1222244429 (eff. 0.002)
775.27/775.42	c #Conflicts:      51000 | #Learnt:       7021 | 0.022
775.27/775.42	c total clause space: 206.656MB
775.27/775.42	c total #watches: 1110182
789.36/789.53	c total #propagations: 2488730 / total #impl: 1249737487 (eff. 0.002)
789.36/789.53	c #Conflicts:      52000 | #Learnt:       8021 | 0.022
789.36/789.53	c total clause space: 206.656MB
789.36/789.53	c total #watches: 1216804
811.96/812.10	c total #propagations: 2523036 / total #impl: 1273675437 (eff. 0.002)
811.96/812.10	c #Conflicts:      53000 | #Learnt:       9021 | 0.022
811.96/812.10	c total clause space: 206.656MB
811.96/812.10	c total #watches: 1307318
837.15/837.32	c total #propagations: 2566398 / total #impl: 1292840922 (eff. 0.002)
837.15/837.32	c #Conflicts:      54000 | #Learnt:      10021 | 0.021
837.15/837.32	c total clause space: 206.656MB
837.15/837.32	c total #watches: 1379826
869.45/869.66	c total #propagations: 2610426 / total #impl: 1305352302 (eff. 0.002)
869.45/869.66	c #Conflicts:      55000 | #Learnt:      11021 | 0.021
869.45/869.66	c total clause space: 206.656MB
869.45/869.66	c total #watches: 1457277
889.34/889.54	c total #propagations: 2665218 / total #impl: 1315559701 (eff. 0.002)
889.34/889.54	c GC COLLECT
889.34/889.54	c #Conflicts:      56000 | #Learnt:       6416 | 0.021
889.34/889.54	c total clause space: 206.656MB
889.34/889.54	c total #watches: 1022640
905.25/905.42	c total #propagations: 2702685 / total #impl: 1338082937 (eff. 0.002)
905.25/905.42	c #Conflicts:      57000 | #Learnt:       7416 | 0.020
905.25/905.42	c total clause space: 206.656MB
905.25/905.42	c total #watches: 1113591
925.24/925.43	c total #propagations: 2736744 / total #impl: 1362923178 (eff. 0.002)
925.24/925.43	c #Conflicts:      58000 | #Learnt:       8416 | 0.020
925.24/925.43	c total clause space: 206.656MB
925.24/925.43	c total #watches: 1201129
951.34/951.54	c total #propagations: 2779316 / total #impl: 1377827531 (eff. 0.002)
951.34/951.54	c #Conflicts:      59000 | #Learnt:       9416 | 0.020
951.34/951.54	c total clause space: 206.656MB
951.34/951.54	c total #watches: 1276386
981.14/981.39	c total #propagations: 2830489 / total #impl: 1388562005 (eff. 0.002)
981.14/981.39	c #Conflicts:      60000 | #Learnt:      10416 | 0.020
981.14/981.39	c total clause space: 206.656MB
981.14/981.39	c total #watches: 1359450
1017.72/1017.98	c total #propagations: 2882418 / total #impl: 1402942816 (eff. 0.002)
1017.72/1017.98	c #Conflicts:      61000 | #Learnt:      11416 | 0.020
1017.72/1017.98	c total clause space: 206.656MB
1017.72/1017.98	c total #watches: 1437413
1036.32/1036.59	c total #propagations: 2951370 / total #impl: 1419727342 (eff. 0.002)
1036.32/1036.59	c GC COLLECT
1036.32/1036.59	c #Conflicts:      62000 | #Learnt:       6515 | 0.019
1036.32/1036.59	c total clause space: 206.656MB
1036.32/1036.59	c total #watches: 936022
1049.33/1049.58	c total #propagations: 2998512 / total #impl: 1429437409 (eff. 0.002)
1049.33/1049.58	c #Conflicts:      63000 | #Learnt:       7515 | 0.019
1049.33/1049.58	c total clause space: 206.656MB
1049.33/1049.58	c total #watches: 1001986
1063.22/1063.44	c total #propagations: 3041214 / total #impl: 1441795739 (eff. 0.002)
1063.22/1063.44	c #Conflicts:      64000 | #Learnt:       8515 | 0.019
1063.22/1063.44	c total clause space: 206.656MB
1063.22/1063.44	c total #watches: 1070785
1087.61/1087.85	c total #propagations: 3083382 / total #impl: 1455955498 (eff. 0.002)
1087.61/1087.85	c #Conflicts:      65000 | #Learnt:       9515 | 0.019
1087.61/1087.85	c total clause space: 206.656MB
1087.61/1087.85	c total #watches: 1177863
1107.41/1107.67	c total #propagations: 3141762 / total #impl: 1475661737 (eff. 0.002)
1107.41/1107.67	c #Conflicts:      66000 | #Learnt:      10515 | 0.019
1107.41/1107.67	c total clause space: 206.656MB
1107.41/1107.67	c total #watches: 1315256
1134.01/1134.24	c total #propagations: 3179911 / total #impl: 1495497753 (eff. 0.002)
1134.01/1134.24	c #Conflicts:      67000 | #Learnt:      11515 | 0.018
1134.01/1134.24	c total clause space: 206.656MB
1134.01/1134.24	c total #watches: 1394420
1166.90/1167.16	c total #propagations: 3229840 / total #impl: 1507512372 (eff. 0.002)
1166.90/1167.16	c #Conflicts:      68000 | #Learnt:      12515 | 0.018
1166.90/1167.16	c total clause space: 335.816MB
1166.90/1167.16	c total #watches: 1530017
1185.19/1185.49	c total #propagations: 3281946 / total #impl: 1524459365 (eff. 0.002)
1185.19/1185.49	c GC COLLECT
1185.19/1185.49	c #Conflicts:      69000 | #Learnt:       7310 | 0.018
1185.19/1185.49	c total clause space: 335.816MB
1185.19/1185.49	c total #watches: 1135444
1211.39/1211.66	c total #propagations: 3332810 / total #impl: 1534265954 (eff. 0.002)
1211.39/1211.66	c #Conflicts:      70000 | #Learnt:       8310 | 0.018
1211.39/1211.66	c total clause space: 335.816MB
1211.39/1211.66	c total #watches: 1222457
1229.49/1229.75	c total #propagations: 3403250 / total #impl: 1549408616 (eff. 0.002)
1229.49/1229.75	c #Conflicts:      71000 | #Learnt:       9310 | 0.018
1229.49/1229.75	c total clause space: 335.816MB
1229.49/1229.75	c total #watches: 1291024
1248.29/1248.59	c total #propagations: 3454732 / total #impl: 1564653996 (eff. 0.002)
1248.29/1248.59	c #Conflicts:      72000 | #Learnt:      10310 | 0.018
1248.29/1248.59	c total clause space: 335.816MB
1248.29/1248.59	c total #watches: 1399031
1272.59/1272.87	c total #propagations: 3497782 / total #impl: 1579182080 (eff. 0.002)
1272.59/1272.87	c #Conflicts:      73000 | #Learnt:      11310 | 0.017
1272.59/1272.87	c total clause space: 335.816MB
1272.59/1272.87	c total #watches: 1521838
1302.28/1302.51	c total #propagations: 3539810 / total #impl: 1599842504 (eff. 0.002)
1302.28/1302.51	c #Conflicts:      74000 | #Learnt:      12310 | 0.017
1302.28/1302.51	c total clause space: 335.816MB
1302.28/1302.51	c total #watches: 1641374
1331.18/1331.44	c total #propagations: 3587606 / total #impl: 1630277359 (eff. 0.002)
1331.18/1331.44	c GC COLLECT
1331.18/1331.44	c #Conflicts:      75000 | #Learnt:       6806 | 0.017
1331.18/1331.44	c total clause space: 335.816MB
1331.18/1331.44	c total #watches: 1118998
1349.37/1349.63	c total #propagations: 3642457 / total #impl: 1647080444 (eff. 0.002)
1349.37/1349.63	c #Conflicts:      76000 | #Learnt:       7806 | 0.017
1349.37/1349.63	c total clause space: 335.816MB
1349.37/1349.63	c total #watches: 1219765
1372.58/1372.81	c total #propagations: 3691358 / total #impl: 1669944278 (eff. 0.002)
1372.58/1372.81	c #Conflicts:      77000 | #Learnt:       8806 | 0.017
1372.58/1372.81	c total clause space: 335.816MB
1372.58/1372.81	c total #watches: 1354134
1397.87/1398.19	c total #propagations: 3740048 / total #impl: 1687766042 (eff. 0.002)
1397.87/1398.19	c #Conflicts:      78000 | #Learnt:       9806 | 0.017
1397.87/1398.19	c total clause space: 335.816MB
1397.87/1398.19	c total #watches: 1463156
1416.46/1416.72	c total #propagations: 3782856 / total #impl: 1702621621 (eff. 0.002)
1416.46/1416.72	c #Conflicts:      79000 | #Learnt:      10806 | 0.017
1416.46/1416.72	c total clause space: 335.816MB
1416.46/1416.72	c total #watches: 1593085
1433.56/1433.85	c total #propagations: 3819132 / total #impl: 1721830104 (eff. 0.002)
1433.56/1433.85	c #Conflicts:      80000 | #Learnt:      11806 | 0.017
1433.56/1433.85	c total clause space: 335.816MB
1433.56/1433.85	c total #watches: 1739020
1449.25/1449.53	c total #propagations: 3853632 / total #impl: 1745632939 (eff. 0.002)
1449.25/1449.53	c #Conflicts:      81000 | #Learnt:      12806 | 0.017
1449.25/1449.53	c total clause space: 335.816MB
1449.25/1449.53	c total #watches: 1837799
1467.25/1467.59	c total #propagations: 3885596 / total #impl: 1766325820 (eff. 0.002)
1467.25/1467.59	c GC COLLECT
1467.25/1467.59	c #Conflicts:      82000 | #Learnt:       7012 | 0.017
1467.25/1467.59	c total clause space: 335.816MB
1467.25/1467.59	c total #watches: 1269486
1479.35/1479.69	c total #propagations: 3918915 / total #impl: 1788571595 (eff. 0.002)
1479.35/1479.69	c #Conflicts:      83000 | #Learnt:       8012 | 0.016
1479.35/1479.69	c total clause space: 335.816MB
1479.35/1479.69	c total #watches: 1372521
1500.74/1501.07	c total #propagations: 3949960 / total #impl: 1814797540 (eff. 0.002)
1500.74/1501.07	c #Conflicts:      84000 | #Learnt:       9012 | 0.016
1500.74/1501.07	c total clause space: 335.816MB
1500.74/1501.07	c total #watches: 1521757
1527.34/1527.63	c total #propagations: 3989176 / total #impl: 1837409787 (eff. 0.002)
1527.34/1527.63	c #Conflicts:      85000 | #Learnt:      10012 | 0.016
1527.34/1527.63	c total clause space: 335.816MB
1527.34/1527.63	c total #watches: 1674790
1563.73/1564.02	c total #propagations: 4024432 / total #impl: 1867003100 (eff. 0.002)
1563.73/1564.02	c #Conflicts:      86000 | #Learnt:      11012 | 0.017
1563.73/1564.02	c total clause space: 335.816MB
1563.73/1564.02	c total #watches: 1821646
1613.22/1613.55	c total #propagations: 4063761 / total #impl: 1911718281 (eff. 0.002)
1613.22/1613.55	c #Conflicts:      87000 | #Learnt:      12012 | 0.016
1613.22/1613.55	c total clause space: 335.816MB
1613.22/1613.55	c total #watches: 1975890
1664.81/1665.15	c total #propagations: 4113347 / total #impl: 1966078374 (eff. 0.002)
1664.81/1665.15	c #Conflicts:      88000 | #Learnt:      13012 | 0.016
1664.81/1665.15	c total clause space: 335.816MB
1664.81/1665.15	c total #watches: 2139418
1727.61/1727.94	c total #propagations: 4163011 / total #impl: 2020742189 (eff. 0.002)
1727.61/1727.94	c #Conflicts:      89000 | #Learnt:      14012 | 0.017
1727.61/1727.94	c total clause space: 335.816MB
1727.61/1727.94	c total #watches: 2307897
1784.70/1785.03	c total #propagations: 4218576 / total #impl: 2081605082 (eff. 0.002)
1784.70/1785.03	c GC COLLECT
1784.70/1785.03	c #Conflicts:      90000 | #Learnt:       7914 | 0.017
1784.70/1785.03	c total clause space: 335.816MB
1784.70/1785.03	c total #watches: 1556575

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-4087962-1465387838/watcher-4087962-1465387838 -o /tmp/evaluation-result-4087962-1465387838/solver-4087962-1465387838 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465387837-19245 --watchdog 1960 --input HOME/instance-4087962-1465387838.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=19261
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: 1.39 1.91 1.52 3/174 19268
/proc/meminfo: memFree=30050576/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 236 0 0 0 0 0 0 0 20 0 1 0 120716828 29810688 4716 33554432000 4194304 6201397 140734396346672 140736146387576 4202722 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 7278 4716 93 491 0 6777 0

[startup+0.100169 s]
/proc/loadavg: 1.39 1.91 1.52 3/174 19268
/proc/meminfo: memFree=30050576/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=34232 CPUtime=0.09 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 704 0 0 0 9 0 0 0 20 0 1 0 120716828 35053568 7139 33554432000 4194304 6201397 140734396346672 140736146387576 4207438 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 8558 7142 145 491 0 8057 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34232

[startup+0.200362 s]
/proc/loadavg: 1.39 1.91 1.52 3/174 19268
/proc/meminfo: memFree=30050576/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=34372 CPUtime=0.19 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 982 0 0 0 19 0 0 0 20 0 1 0 120716828 35196928 7346 33554432000 4194304 6201397 140734396346672 140736146387576 4213178 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 8593 7346 145 491 0 8092 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34372

[startup+0.300258 s]
/proc/loadavg: 1.39 1.91 1.52 3/174 19268
/proc/meminfo: memFree=30050576/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=37316 CPUtime=0.28 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 1155 0 0 0 28 0 0 0 20 0 1 0 120716828 38211584 7986 33554432000 4194304 6201397 140734396346672 140736146387576 4235982 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 9329 7986 146 491 0 8828 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 37316

[startup+0.700233 s]
/proc/loadavg: 1.39 1.91 1.52 3/174 19268
/proc/meminfo: memFree=30050576/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=42084 CPUtime=0.68 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 1679 0 0 0 68 0 0 0 20 0 1 0 120716828 43094016 8870 33554432000 4194304 6201397 140734396346672 140734396345624 4221702 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 10521 8870 146 491 0 10020 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 42084

[startup+1.50019 s]
/proc/loadavg: 1.39 1.91 1.52 3/178 19275
/proc/meminfo: memFree=29976504/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=50148 CPUtime=1.48 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 2385 0 0 0 148 0 0 0 20 0 1 0 120716828 51351552 10428 33554432000 4194304 6201397 140734396346672 140734396345368 4213186 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 12537 10428 159 491 0 12036 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 50148

[startup+3.10024 s]
/proc/loadavg: 1.39 1.91 1.52 4/178 19275
/proc/meminfo: memFree=29958124/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=63236 CPUtime=3.08 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 3144 0 0 0 308 0 0 0 20 0 1 0 120716828 64753664 12574 33554432000 4194304 6201397 140734396346672 140734396345304 4213253 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 15809 12574 159 491 0 15308 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 63236

[startup+6.30025 s]
/proc/loadavg: 1.44 1.91 1.53 4/178 19275
/proc/meminfo: memFree=29942548/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=64592 CPUtime=6.29 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 4849 0 0 0 628 1 0 0 20 0 1 0 120716828 66142208 14815 33554432000 4194304 6201397 140734396346672 140734396345624 4213110 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 16148 14815 165 491 0 15647 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64592

[startup+12.7002 s]
/proc/loadavg: 1.48 1.92 1.53 4/178 19275
/proc/meminfo: memFree=29916220/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=86784 CPUtime=12.68 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 6015 0 0 0 1267 1 0 0 20 0 1 0 120716828 88866816 18918 33554432000 4194304 6201397 140734396346672 140734396345384 4213253 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 21696 18918 165 491 0 21195 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 86784

[startup+25.5004 s]
/proc/loadavg: 1.76 1.95 1.55 4/177 19275
/proc/meminfo: memFree=29897200/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=119148 CPUtime=25.49 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 7392 0 0 0 2547 2 0 0 20 0 1 0 120716828 122007552 21875 33554432000 4194304 6201397 140734396346672 140734396345384 4213261 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 29787 21875 165 491 0 29286 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 119148

[startup+51.1004 s]
/proc/loadavg: 1.91 1.97 1.56 3/177 19275
/proc/meminfo: memFree=29858248/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=122988 CPUtime=51.08 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 8639 0 0 0 5105 3 0 0 20 0 1 0 120716828 125939712 28186 33554432000 4194304 6201397 140734396346672 140734396345128 4213186 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 30747 28186 165 491 0 30246 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 122988

[startup+102.3 s]
/proc/loadavg: 2.03 1.99 1.59 3/177 19276
/proc/meminfo: memFree=29825720/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=176672 CPUtime=102.27 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 10175 0 0 0 10224 3 0 0 20 0 1 0 120716828 180912128 32936 33554432000 4194304 6201397 140734396346672 140734396345384 4213110 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 44168 32936 165 491 0 43667 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 176672

[startup+162.3 s]
/proc/loadavg: 2.12 2.02 1.62 3/177 19277
/proc/meminfo: memFree=29798656/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=179172 CPUtime=162.26 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 10960 0 0 0 16222 4 0 0 20 0 1 0 120716828 183472128 35751 33554432000 4194304 6201397 140734396346672 140734396345384 4213186 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 44793 35751 165 491 0 44292 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 179172

[startup+222.307 s]
/proc/loadavg: 2.27 2.07 1.66 4/177 19279
/proc/meminfo: memFree=29778936/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=183684 CPUtime=222.26 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 12073 0 0 0 22221 5 0 0 20 0 1 0 120716828 188092416 36862 33554432000 4194304 6201397 140734396346672 140734396345800 4213253 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 45921 36862 165 491 0 45420 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 183684

[startup+282.3 s]
/proc/loadavg: 2.28 2.12 1.70 3/177 19280
/proc/meminfo: memFree=29744408/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=185416 CPUtime=282.25 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 12468 0 0 0 28219 6 0 0 20 0 1 0 120716828 189865984 42367 33554432000 4194304 6201397 140734396346672 140734396345336 4213253 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 46354 42367 165 491 0 45853 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 185416

[startup+342.3 s]
/proc/loadavg: 2.37 2.17 1.75 3/177 19281
/proc/meminfo: memFree=29726024/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=188664 CPUtime=342.23 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 13132 0 0 0 34217 6 0 0 20 0 1 0 120716828 193191936 44564 33554432000 4194304 6201397 140734396346672 140734396345336 4213376 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 47166 44564 165 491 0 46665 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 188664

[startup+402.3 s]
/proc/loadavg: 2.18 2.15 1.76 3/177 19282
/proc/meminfo: memFree=29706364/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=271720 CPUtime=402.22 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 14086 0 0 0 40215 7 0 0 20 0 1 0 120716828 278241280 48234 33554432000 4194304 6201397 140734396346672 140734396345336 4213268 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 67930 48234 165 491 0 67429 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 271720

[startup+462.3 s]
/proc/loadavg: 2.24 2.17 1.79 3/177 19283
/proc/meminfo: memFree=29682444/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=272616 CPUtime=462.21 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 14439 0 0 0 46214 7 0 0 20 0 1 0 120716828 279158784 51627 33554432000 4194304 6201397 140734396346672 140734396345800 4213178 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 68154 51627 165 491 0 67653 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 272616

[startup+522.3 s]
/proc/loadavg: 2.14 2.15 1.81 3/177 19285
/proc/meminfo: memFree=29675036/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=272776 CPUtime=522.21 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 14524 0 0 0 52213 8 0 0 20 0 1 0 120716828 279322624 51712 33554432000 4194304 6201397 140734396346672 140734396345336 4213253 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 68194 51712 165 491 0 67693 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 272776

[startup+582.3 s]
/proc/loadavg: 2.20 2.16 1.83 4/178 19289
/proc/meminfo: memFree=29663340/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=273096 CPUtime=582.2 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 14604 0 0 0 58212 8 0 0 20 0 1 0 120716828 279650304 54347 33554432000 4194304 6201397 140734396346672 140734396345800 4213257 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 68274 54347 165 491 0 67773 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 273096


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


[startup+942.3 s]
/proc/loadavg: 2.20 2.20 1.94 3/177 19296
/proc/meminfo: memFree=29590972/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=278280 CPUtime=942.13 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 15805 0 0 0 94204 9 0 0 20 0 1 0 120716828 284958720 65768 33554432000 4194304 6201397 140734396346672 140734396345800 4213261 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 69570 65768 165 491 0 69069 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 278280

[startup+1002.3 s]
/proc/loadavg: 2.17 2.19 1.95 3/177 19297
/proc/meminfo: memFree=29572748/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=278444 CPUtime=1002.12 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 15835 0 0 0 100203 9 0 0 20 0 1 0 120716828 285126656 65877 33554432000 4194304 6201397 140734396346672 140734396345800 4213170 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 69611 65877 165 491 0 69110 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 278444

[startup+1062.3 s]
/proc/loadavg: 2.26 2.21 1.97 3/177 19298
/proc/meminfo: memFree=29561308/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=278604 CPUtime=1062.12 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 15885 0 0 0 106202 10 0 0 20 0 1 0 120716828 285290496 68536 33554432000 4194304 6201397 140734396346672 140734396345800 4213240 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 69651 68536 165 491 0 69150 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 278604

[startup+1122.3 s]
/proc/loadavg: 2.14 2.18 1.98 3/177 19299
/proc/meminfo: memFree=29561504/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=278924 CPUtime=1122.11 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 15950 0 0 0 112201 10 0 0 20 0 1 0 120716828 285618176 68601 33554432000 4194304 6201397 140734396346672 140734396345800 4213268 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 69731 68601 165 491 0 69230 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 278924

[startup+1182.3 s]
/proc/loadavg: 2.22 2.19 2.00 3/178 19304
/proc/meminfo: memFree=29551708/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=411728 CPUtime=1182.1 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 16647 0 0 0 118200 10 0 0 20 0 1 0 120716828 421609472 69960 33554432000 4194304 6201397 140734396346672 140734396345336 4213253 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 102932 69960 165 491 0 102431 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 411728

[startup+1242.3 s]
/proc/loadavg: 2.35 2.22 2.01 3/177 19305
/proc/meminfo: memFree=29549004/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=411728 CPUtime=1242.09 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 16661 0 0 0 124199 10 0 0 20 0 1 0 120716828 421609472 69974 33554432000 4194304 6201397 140734396346672 140734396345800 4213168 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 102932 69974 165 491 0 102431 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 411728

[startup+1302.3 s]
/proc/loadavg: 2.38 2.24 2.03 3/177 19306
/proc/meminfo: memFree=29547828/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=413328 CPUtime=1302.08 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 16926 0 0 0 130198 10 0 0 20 0 1 0 120716828 423247872 70239 33554432000 4194304 6201397 140734396346672 140734396345336 4213168 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 103332 70239 165 491 0 102831 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 413328

[startup+1362.3 s]
/proc/loadavg: 2.25 2.22 2.04 3/177 19307
/proc/meminfo: memFree=29540548/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=414032 CPUtime=1362.07 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 17193 0 0 0 136196 11 0 0 20 0 1 0 120716828 423968768 72025 33554432000 4194304 6201397 140734396346672 140734396345800 4213261 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 103508 72025 165 491 0 103007 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 414032

[startup+1422.3 s]
/proc/loadavg: 2.15 2.20 2.03 3/177 19308
/proc/meminfo: memFree=29540024/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=414032 CPUtime=1422.07 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 17205 0 0 0 142196 11 0 0 20 0 1 0 120716828 423968768 72037 33554432000 4194304 6201397 140734396346672 140734396345800 4213186 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 103508 72037 165 491 0 103007 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 414032

[startup+1482.3 s]
/proc/loadavg: 2.10 2.17 2.03 3/177 19310
/proc/meminfo: memFree=29524260/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=415248 CPUtime=1482.04 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 17454 0 0 0 148193 11 0 0 20 0 1 0 120716828 425213952 75862 33554432000 4194304 6201397 140734396346672 140734396345800 4213186 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 103812 75862 165 491 0 103311 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 415248

[startup+1542.31 s]
/proc/loadavg: 2.30 2.20 2.05 3/177 19311
/proc/meminfo: memFree=29523692/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=416208 CPUtime=1542.04 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 17659 0 0 0 154193 11 0 0 20 0 1 0 120716828 426196992 76067 33554432000 4194304 6201397 140734396346672 140734396345336 4213249 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 104052 76067 165 491 0 103551 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 416208

[startup+1602.3 s]
/proc/loadavg: 2.32 2.22 2.07 3/177 19312
/proc/meminfo: memFree=29522296/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=417040 CPUtime=1602.02 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 17823 0 0 0 160191 11 0 0 20 0 1 0 120716828 427048960 76231 33554432000 4194304 6201397 140734396346672 140734396345384 4213253 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 104260 76231 165 491 0 103759 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 417040

[startup+1662.3 s]
/proc/loadavg: 2.26 2.23 2.08 3/177 19313
/proc/meminfo: memFree=29521312/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=418032 CPUtime=1662.01 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 18029 0 0 0 166190 11 0 0 20 0 1 0 120716828 428064768 76437 33554432000 4194304 6201397 140734396346672 140734396345384 4213240 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 104508 76437 165 491 0 104007 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 418032

[startup+1722.3 s]
/proc/loadavg: 2.36 2.26 2.10 3/177 19314
/proc/meminfo: memFree=29511732/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=418864 CPUtime=1722.01 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 18229 0 0 0 172189 12 0 0 20 0 1 0 120716828 428916736 78681 33554432000 4194304 6201397 140734396346672 140734396345384 4213253 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 104716 78681 165 491 0 104215 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 418864

[startup+1782.3 s]
/proc/loadavg: 2.26 2.24 2.10 3/178 19319
/proc/meminfo: memFree=29505724/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=419248 CPUtime=1782 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 18309 0 0 0 178188 12 0 0 20 0 1 0 120716828 429309952 79783 33554432000 4194304 6201397 140734396346672 140734396345336 4213365 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 104812 79783 165 491 0 104311 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 419248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.26 2.24 2.10 3/178 19319
/proc/meminfo: memFree=29505480/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=419248 CPUtime=1800 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 18309 0 0 0 179988 12 0 0 20 0 1 0 120716828 429309952 79783 33554432000 4194304 6201397 140734396346672 140734396345800 4213186 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 104812 79783 165 491 0 104311 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 419248

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

[startup+1800.3 s]
/proc/loadavg: 2.26 2.24 2.10 3/178 19319
/proc/meminfo: memFree=29505480/32872528 swapFree=16384/1696552
[pid=19268] ppid=19261 vsize=419248 CPUtime=1800 cores=1,3,5,7
/proc/19268/stat : 19268 (cdcl-cuttingpla) R 19261 19268 19228 0 -1 4202496 18309 0 0 0 179988 12 0 0 20 0 1 0 120716828 429309952 79783 33554432000 4194304 6201397 140734396346672 140734396345800 4213186 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/19268/statm: 104812 79783 165 491 0 104311 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 419248

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.88
CPU system time (s): 0.124981
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 419248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.124981
maximum resident set size= 319132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18309
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= 16
involuntary context switches= 3286

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.10607 second user time and 9.30358 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-08 14:10:38
IDJOB=4087962
IDBENCH=1856
IDSOLVER=2550
FILE ID=node125/4087962-1465387838
RUNJOBID= node125-1465387837-19245
PBS_JOBID= 19853867
Free space on /tmp= 71744 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087962-1465387838/watcher-4087962-1465387838 -o /tmp/evaluation-result-4087962-1465387838/solver-4087962-1465387838 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465387837-19245 --watchdog 1960 --input HOME/instance-4087962-1465387838.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 8d2c17131f0dd6c2b5d472cf1eef4c89
RANDOM SEED=705012358

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.456
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:        30054484 kB
Buffers:           85592 kB
Cached:           285888 kB
SwapCached:         1700 kB
Active:            78104 kB
Inactive:         295620 kB
Active(anon):       1992 kB
Inactive(anon):     2960 kB
Active(file):      76112 kB
Inactive(file):   292660 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098584 kB
Dirty:              2364 kB
Writeback:             0 kB
AnonPages:       1698432 kB
Mapped:             6916 kB
Shmem:                 0 kB
Slab:             612316 kB
SReclaimable:      56200 kB
SUnreclaim:       556116 kB
KernelStack:        1368 kB
PageTables:         6740 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1797668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1683456 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 node125 at 2016-06-08 14:40:38