Trace number 4118356

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-edgecross20-080.lin.opb
MD5SUMa5a18176284a4ecb39532058ff3d71fd
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark831
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3142
Total number of constraints10083
Number of constraints which are clauses7321
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints2761
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 3099
Biggest coefficient in the objective function 1457
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 8717
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1457
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 8717
Number of bits of the biggest sum of numbers14
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= 3142 #constraint= 10083
2.79/2.86	c #Conflicts:       1000 | #Learnt:       1007 | 0.000
2.79/2.86	c total clause space: 48.1602MB
2.79/2.86	c total #watches: 102754
7.19/7.25	c total #propagations: 146251 / total #impl: 1733780 (eff. 0.084)
7.19/7.25	c #Conflicts:       2000 | #Learnt:       2007 | 0.000
7.19/7.25	c total clause space: 127.173MB
7.19/7.25	c total #watches: 133733
11.88/11.92	c total #propagations: 278418 / total #impl: 3575166 (eff. 0.078)
11.88/11.92	c GC COLLECT
11.88/11.92	c #Conflicts:       3000 | #Learnt:       2008 | 0.000
11.88/11.92	c total clause space: 127.173MB
11.88/11.92	c total #watches: 160816
17.29/17.33	c total #propagations: 388283 / total #impl: 5809238 (eff. 0.067)
17.29/17.33	c #Conflicts:       4000 | #Learnt:       3008 | 0.000
17.29/17.33	c total clause space: 206.656MB
17.29/17.33	c total #watches: 188874
21.38/21.49	c total #propagations: 530144 / total #impl: 7592125 (eff. 0.070)
21.38/21.49	c GC COLLECT
21.38/21.49	c #Conflicts:       5000 | #Learnt:       2362 | 0.000
21.38/21.49	c total clause space: 206.656MB
21.38/21.49	c total #watches: 177052
26.98/27.07	c total #propagations: 668899 / total #impl: 9092967 (eff. 0.074)
26.98/27.07	c #Conflicts:       6000 | #Learnt:       3362 | 0.000
26.98/27.07	c total clause space: 206.656MB
26.98/27.07	c total #watches: 194785
32.69/32.71	c total #propagations: 795514 / total #impl: 11285674 (eff. 0.070)
32.69/32.71	c GC COLLECT
32.69/32.71	c #Conflicts:       7000 | #Learnt:       2240 | 0.000
32.69/32.71	c total clause space: 206.656MB
32.69/32.71	c total #watches: 156316
36.99/37.04	c total #propagations: 901362 / total #impl: 13391029 (eff. 0.067)
36.99/37.04	c #Conflicts:       8000 | #Learnt:       3240 | 0.000
36.99/37.04	c total clause space: 206.656MB
36.99/37.04	c total #watches: 170316
42.68/42.72	c total #propagations: 1000351 / total #impl: 15378546 (eff. 0.065)
42.68/42.72	c #Conflicts:       9000 | #Learnt:       4253 | 0.000
42.68/42.72	c total clause space: 206.656MB
42.68/42.72	c total #watches: 241421
54.78/54.82	c total #propagations: 1114355 / total #impl: 19866751 (eff. 0.056)
54.78/54.82	c GC COLLECT
54.78/54.82	c #Conflicts:      10000 | #Learnt:       2776 | 0.000
54.78/54.82	c total clause space: 335.816MB
54.78/54.82	c total #watches: 369224
63.48/63.59	c total #propagations: 1342384 / total #impl: 24388603 (eff. 0.055)
63.48/63.59	c #Conflicts:      11000 | #Learnt:       3791 | 0.000
63.48/63.59	c total clause space: 335.816MB
63.48/63.59	c total #watches: 470827
81.57/81.63	c total #propagations: 1428865 / total #impl: 28160537 (eff. 0.051)
81.57/81.63	c #Conflicts:      12000 | #Learnt:       4822 | 0.000
81.57/81.63	c total clause space: 335.816MB
81.57/81.63	c total #watches: 612589
99.18/99.28	c total #propagations: 1596260 / total #impl: 32440558 (eff. 0.049)
99.18/99.28	c #Conflicts:      13000 | #Learnt:       5854 | 0.000
99.18/99.28	c total clause space: 335.816MB
99.18/99.28	c total #watches: 765772
113.57/113.64	c total #propagations: 1743178 / total #impl: 37947262 (eff. 0.046)
113.57/113.64	c GC COLLECT
113.57/113.64	c #Conflicts:      14000 | #Learnt:       3972 | 0.000
113.57/113.64	c total clause space: 335.816MB
113.57/113.64	c total #watches: 717060
128.87/128.93	c total #propagations: 1810963 / total #impl: 42351774 (eff. 0.043)
128.87/128.93	c #Conflicts:      15000 | #Learnt:       4972 | 0.000
128.87/128.93	c total clause space: 335.816MB
128.87/128.93	c total #watches: 774539
150.07/150.14	c total #propagations: 1882966 / total #impl: 47310859 (eff. 0.040)
150.07/150.14	c #Conflicts:      16000 | #Learnt:       5972 | 0.000
150.07/150.14	c total clause space: 335.816MB
150.07/150.14	c total #watches: 804465
163.36/163.47	c total #propagations: 1979547 / total #impl: 50399666 (eff. 0.039)
163.36/163.47	c GC COLLECT
163.36/163.47	c #Conflicts:      17000 | #Learnt:       3860 | 0.000
163.36/163.47	c total clause space: 335.816MB
163.36/163.47	c total #watches: 603070
177.76/177.87	c total #propagations: 2085286 / total #impl: 52780963 (eff. 0.040)
177.76/177.87	c #Conflicts:      18000 | #Learnt:       4860 | 0.000
177.76/177.87	c total clause space: 335.816MB
177.76/177.87	c total #watches: 624118
194.36/194.41	c total #propagations: 2205643 / total #impl: 56203612 (eff. 0.039)
194.36/194.41	c #Conflicts:      19000 | #Learnt:       5860 | 0.000
194.36/194.41	c total clause space: 335.816MB
194.36/194.41	c total #watches: 642016
210.46/210.52	c total #propagations: 2343236 / total #impl: 59280403 (eff. 0.040)
210.46/210.52	c #Conflicts:      20000 | #Learnt:       6860 | 0.000
210.46/210.52	c total clause space: 335.816MB
210.46/210.52	c total #watches: 668805
225.25/225.39	c total #propagations: 2462094 / total #impl: 62760857 (eff. 0.039)
225.25/225.39	c GC COLLECT
225.25/225.39	c #Conflicts:      21000 | #Learnt:       4430 | 0.000
225.25/225.39	c total clause space: 335.816MB
225.25/225.39	c total #watches: 530885
240.45/240.58	c total #propagations: 2577812 / total #impl: 66279345 (eff. 0.039)
240.45/240.58	c #Conflicts:      22000 | #Learnt:       5430 | 0.000
240.45/240.58	c total clause space: 335.816MB
240.45/240.58	c total #watches: 572215
259.24/259.38	c total #propagations: 2705440 / total #impl: 68777294 (eff. 0.039)
259.24/259.38	c #Conflicts:      23000 | #Learnt:       6430 | 0.000
259.24/259.38	c total clause space: 335.816MB
259.24/259.38	c total #watches: 593000
275.25/275.34	c total #propagations: 2859004 / total #impl: 70738489 (eff. 0.040)
275.25/275.34	c #Conflicts:      24000 | #Learnt:       7432 | 0.000
275.25/275.34	c total clause space: 335.816MB
275.25/275.34	c total #watches: 691178
294.35/294.42	c total #propagations: 2932719 / total #impl: 76190608 (eff. 0.038)
294.35/294.42	c GC COLLECT
294.35/294.42	c #Conflicts:      25000 | #Learnt:       4664 | 0.000
294.35/294.42	c total clause space: 335.816MB
294.35/294.42	c total #watches: 698323
308.64/308.75	c total #propagations: 3001889 / total #impl: 82196286 (eff. 0.037)
308.64/308.75	c #Conflicts:      26000 | #Learnt:       5664 | 0.000
308.64/308.75	c total clause space: 335.816MB
308.64/308.75	c total #watches: 758938
325.24/325.31	c total #propagations: 3054462 / total #impl: 87315300 (eff. 0.035)
325.24/325.31	c #Conflicts:      27000 | #Learnt:       6664 | 0.000
325.24/325.31	c total clause space: 335.816MB
325.24/325.31	c total #watches: 812806
347.84/347.90	c total #propagations: 3116617 / total #impl: 92188852 (eff. 0.034)
347.84/347.90	c #Conflicts:      28000 | #Learnt:       7664 | 0.000
347.84/347.90	c total clause space: 335.816MB
347.84/347.90	c total #watches: 874561
370.13/370.23	c total #propagations: 3198543 / total #impl: 96368979 (eff. 0.033)
370.13/370.23	c GC COLLECT
370.13/370.23	c #Conflicts:      29000 | #Learnt:       4583 | 0.000
370.13/370.23	c total clause space: 545.701MB
370.13/370.23	c total #watches: 733516
392.43/392.54	c total #propagations: 3268521 / total #impl: 102086587 (eff. 0.032)
392.43/392.54	c #Conflicts:      30000 | #Learnt:       5585 | 0.000
392.43/392.54	c total clause space: 545.701MB
392.43/392.54	c total #watches: 777241
415.63/415.78	c total #propagations: 3363562 / total #impl: 107970843 (eff. 0.031)
415.63/415.78	c #Conflicts:      31000 | #Learnt:       6585 | 0.000
415.63/415.78	c total clause space: 545.701MB
415.63/415.78	c total #watches: 824906
434.53/434.66	c total #propagations: 3485839 / total #impl: 112504928 (eff. 0.031)
434.53/434.66	c #Conflicts:      32000 | #Learnt:       7585 | 0.000
434.53/434.66	c total clause space: 545.701MB
434.53/434.66	c total #watches: 850130
458.82/458.97	c total #propagations: 3622190 / total #impl: 114841990 (eff. 0.032)
458.82/458.97	c #Conflicts:      33000 | #Learnt:       8585 | 0.000
458.82/458.97	c total clause space: 545.701MB
458.82/458.97	c total #watches: 881770
483.81/483.94	c total #propagations: 3814943 / total #impl: 117658274 (eff. 0.032)
483.81/483.94	c GC COLLECT
483.81/483.94	c #Conflicts:      34000 | #Learnt:       5194 | 0.000
483.81/483.94	c total clause space: 545.701MB
483.81/483.94	c total #watches: 630640
502.72/502.81	c total #propagations: 3987689 / total #impl: 120511190 (eff. 0.033)
502.72/502.81	c #Conflicts:      35000 | #Learnt:       6194 | 0.000
502.72/502.81	c total clause space: 545.701MB
502.72/502.81	c total #watches: 650624
519.41/519.57	c total #propagations: 4159379 / total #impl: 123007438 (eff. 0.034)
519.41/519.57	c #Conflicts:      36000 | #Learnt:       7194 | 0.000
519.41/519.57	c total clause space: 545.701MB
519.41/519.57	c total #watches: 669980
536.01/536.19	c total #propagations: 4336137 / total #impl: 125060317 (eff. 0.035)
536.01/536.19	c #Conflicts:      37000 | #Learnt:       8194 | 0.000
536.01/536.19	c total clause space: 545.701MB
536.01/536.19	c total #watches: 686310
552.90/553.06	c total #propagations: 4484645 / total #impl: 126641957 (eff. 0.035)
552.90/553.06	c #Conflicts:      38000 | #Learnt:       9194 | 0.000
552.90/553.06	c total clause space: 545.701MB
552.90/553.06	c total #watches: 697988
568.80/568.91	c total #propagations: 4651122 / total #impl: 128124489 (eff. 0.036)
568.80/568.91	c GC COLLECT
568.80/568.91	c #Conflicts:      39000 | #Learnt:       5494 | 0.000
568.80/568.91	c total clause space: 545.701MB
568.80/568.91	c total #watches: 518886
586.09/586.27	c total #propagations: 4807166 / total #impl: 130174720 (eff. 0.037)
586.09/586.27	c #Conflicts:      40000 | #Learnt:       6494 | 0.000
586.09/586.27	c total clause space: 545.701MB
586.09/586.27	c total #watches: 537787
603.19/603.37	c total #propagations: 4947045 / total #impl: 132574506 (eff. 0.037)
603.19/603.37	c #Conflicts:      41000 | #Learnt:       7494 | 0.000
603.19/603.37	c total clause space: 545.701MB
603.19/603.37	c total #watches: 551898
619.19/619.31	c total #propagations: 5081965 / total #impl: 135620055 (eff. 0.037)
619.19/619.31	c #Conflicts:      42000 | #Learnt:       8494 | 0.000
619.19/619.31	c total clause space: 545.701MB
619.19/619.31	c total #watches: 567175
632.68/632.86	c total #propagations: 5216251 / total #impl: 139492920 (eff. 0.037)
632.68/632.86	c #Conflicts:      43000 | #Learnt:       9494 | 0.000
632.68/632.86	c total clause space: 545.701MB
632.68/632.86	c total #watches: 587411
645.29/645.44	c total #propagations: 5337022 / total #impl: 141898535 (eff. 0.038)
645.29/645.44	c GC COLLECT
645.29/645.44	c #Conflicts:      44000 | #Learnt:       5503 | 0.000
645.29/645.44	c total clause space: 545.701MB
645.29/645.44	c total #watches: 508635
664.09/664.24	c total #propagations: 5461180 / total #impl: 144455022 (eff. 0.038)
664.09/664.24	c #Conflicts:      45000 | #Learnt:       6503 | 0.000
664.09/664.24	c total clause space: 545.701MB
664.09/664.24	c total #watches: 541680
681.89/682.07	c total #propagations: 5610258 / total #impl: 148429949 (eff. 0.038)
681.89/682.07	c #Conflicts:      46000 | #Learnt:       7503 | 0.000
681.89/682.07	c total clause space: 545.701MB
681.89/682.07	c total #watches: 590940
698.68/698.83	c total #propagations: 5735518 / total #impl: 153211863 (eff. 0.037)
698.68/698.83	c #Conflicts:      47000 | #Learnt:       8503 | 0.000
698.68/698.83	c total clause space: 545.701MB
698.68/698.83	c total #watches: 641266
717.48/717.66	c total #propagations: 5853118 / total #impl: 157372637 (eff. 0.037)
717.48/717.66	c #Conflicts:      48000 | #Learnt:       9503 | 0.000
717.48/717.66	c total clause space: 545.701MB
717.48/717.66	c total #watches: 697531
739.38/739.57	c total #propagations: 5976472 / total #impl: 160273363 (eff. 0.037)
739.38/739.57	c #Conflicts:      49000 | #Learnt:      10503 | 0.000
739.38/739.57	c total clause space: 545.701MB
739.38/739.57	c total #watches: 751128
760.97/761.17	c total #propagations: 6107527 / total #impl: 164252576 (eff. 0.037)
760.97/761.17	c GC COLLECT
760.97/761.17	c #Conflicts:      50000 | #Learnt:       6201 | 0.000
760.97/761.17	c total clause space: 545.701MB
760.97/761.17	c total #watches: 684432
782.08/782.26	c total #propagations: 6281379 / total #impl: 167304036 (eff. 0.038)
782.08/782.26	c #Conflicts:      51000 | #Learnt:       7201 | 0.000
782.08/782.26	c total clause space: 545.701MB
782.08/782.26	c total #watches: 719172
803.06/803.24	c total #propagations: 6478736 / total #impl: 170389960 (eff. 0.038)
803.06/803.24	c #Conflicts:      52000 | #Learnt:       8201 | 0.000
803.06/803.24	c total clause space: 545.701MB
803.06/803.24	c total #watches: 751367
822.16/822.31	c total #propagations: 6649089 / total #impl: 173201221 (eff. 0.038)
822.16/822.31	c #Conflicts:      53000 | #Learnt:       9201 | 0.000
822.16/822.31	c total clause space: 545.701MB
822.16/822.31	c total #watches: 789113
847.16/847.36	c total #propagations: 6842209 / total #impl: 176846967 (eff. 0.039)
847.16/847.36	c #Conflicts:      54000 | #Learnt:      10201 | 0.000
847.16/847.36	c total clause space: 545.701MB
847.16/847.36	c total #watches: 841156
869.15/869.38	c total #propagations: 7000978 / total #impl: 179777753 (eff. 0.039)
869.15/869.38	c #Conflicts:      55000 | #Learnt:      11201 | 0.000
869.15/869.38	c total clause space: 545.701MB
869.15/869.38	c total #watches: 907085
889.35/889.54	c total #propagations: 7134034 / total #impl: 182655675 (eff. 0.039)
889.35/889.54	c GC COLLECT
889.35/889.54	c #Conflicts:      56000 | #Learnt:       6599 | 0.000
889.35/889.54	c total clause space: 545.701MB
889.35/889.54	c total #watches: 777659
913.15/913.35	c total #propagations: 7270024 / total #impl: 184678879 (eff. 0.039)
913.15/913.35	c #Conflicts:      57000 | #Learnt:       7599 | 0.000
913.15/913.35	c total clause space: 545.701MB
913.15/913.35	c total #watches: 821744
935.04/935.27	c total #propagations: 7436740 / total #impl: 187574233 (eff. 0.040)
935.04/935.27	c #Conflicts:      58000 | #Learnt:       8599 | 0.000
935.04/935.27	c total clause space: 545.701MB
935.04/935.27	c total #watches: 873372
955.64/955.83	c total #propagations: 7553580 / total #impl: 190121971 (eff. 0.040)
955.64/955.83	c #Conflicts:      59000 | #Learnt:       9599 | 0.000
955.64/955.83	c total clause space: 545.701MB
955.64/955.83	c total #watches: 915558
980.84/981.03	c total #propagations: 7647504 / total #impl: 193825530 (eff. 0.039)
980.84/981.03	c #Conflicts:      60000 | #Learnt:      10599 | 0.000
980.84/981.03	c total clause space: 545.701MB
980.84/981.03	c total #watches: 964709
1010.43/1010.67	c total #propagations: 7735457 / total #impl: 196807280 (eff. 0.039)
1010.43/1010.67	c #Conflicts:      61000 | #Learnt:      11599 | 0.000
1010.43/1010.67	c total clause space: 545.701MB
1010.43/1010.67	c total #watches: 1006133
1034.42/1034.69	c total #propagations: 7840951 / total #impl: 200401302 (eff. 0.039)
1034.42/1034.69	c GC COLLECT
1034.42/1034.69	c #Conflicts:      62000 | #Learnt:       6707 | 0.000
1034.42/1034.69	c total clause space: 545.701MB
1034.42/1034.69	c total #watches: 796303
1058.22/1058.44	c total #propagations: 7941580 / total #impl: 203862219 (eff. 0.039)
1058.22/1058.44	c #Conflicts:      63000 | #Learnt:       7707 | 0.000
1058.22/1058.44	c total clause space: 545.701MB
1058.22/1058.44	c total #watches: 835827
1083.42/1083.62	c total #propagations: 8053662 / total #impl: 206750065 (eff. 0.039)
1083.42/1083.62	c #Conflicts:      64000 | #Learnt:       8707 | 0.000
1083.42/1083.62	c total clause space: 545.701MB
1083.42/1083.62	c total #watches: 867896
1109.21/1109.44	c total #propagations: 8158571 / total #impl: 209144163 (eff. 0.039)
1109.21/1109.44	c #Conflicts:      65000 | #Learnt:       9707 | 0.000
1109.21/1109.44	c total clause space: 545.701MB
1109.21/1109.44	c total #watches: 910335
1141.01/1141.24	c total #propagations: 8293575 / total #impl: 213021240 (eff. 0.039)
1141.01/1141.24	c #Conflicts:      66000 | #Learnt:      10707 | 0.000
1141.01/1141.24	c total clause space: 545.701MB
1141.01/1141.24	c total #watches: 951025
1168.70/1168.95	c total #propagations: 8446771 / total #impl: 216134140 (eff. 0.039)
1168.70/1168.95	c #Conflicts:      67000 | #Learnt:      11707 | 0.000
1168.70/1168.95	c total clause space: 545.701MB
1168.70/1168.95	c total #watches: 990218
1202.71/1202.90	c total #propagations: 8620344 / total #impl: 219201135 (eff. 0.039)
1202.71/1202.90	c #Conflicts:      68000 | #Learnt:      12707 | 0.000
1202.71/1202.90	c total clause space: 886.764MB
1202.71/1202.90	c total #watches: 1039627
1228.61/1228.84	c total #propagations: 8795917 / total #impl: 222135755 (eff. 0.040)
1228.61/1228.84	c GC COLLECT
1228.61/1228.84	c #Conflicts:      69000 | #Learnt:       7502 | 0.000
1228.61/1228.84	c total clause space: 886.764MB
1228.61/1228.84	c total #watches: 788026
1254.50/1254.78	c total #propagations: 8949073 / total #impl: 224445585 (eff. 0.040)
1254.50/1254.78	c #Conflicts:      70000 | #Learnt:       8502 | 0.000
1254.50/1254.78	c total clause space: 886.764MB
1254.50/1254.78	c total #watches: 809472
1279.20/1279.40	c total #propagations: 9133333 / total #impl: 226576389 (eff. 0.040)
1279.20/1279.40	c #Conflicts:      71000 | #Learnt:       9502 | 0.000
1279.20/1279.40	c total clause space: 886.764MB
1279.20/1279.40	c total #watches: 836328
1305.39/1305.68	c total #propagations: 9322056 / total #impl: 228608683 (eff. 0.041)
1305.39/1305.68	c #Conflicts:      72000 | #Learnt:      10502 | 0.000
1305.39/1305.68	c total clause space: 886.764MB
1305.39/1305.68	c total #watches: 865166
1331.09/1331.38	c total #propagations: 9537666 / total #impl: 231140516 (eff. 0.041)
1331.09/1331.38	c #Conflicts:      73000 | #Learnt:      11502 | 0.000
1331.09/1331.38	c total clause space: 886.764MB
1331.09/1331.38	c total #watches: 899979
1356.58/1356.81	c total #propagations: 9713498 / total #impl: 234720653 (eff. 0.041)
1356.58/1356.81	c #Conflicts:      74000 | #Learnt:      12502 | 0.000
1356.58/1356.81	c total clause space: 886.764MB
1356.58/1356.81	c total #watches: 935954
1378.18/1378.47	c total #propagations: 9855923 / total #impl: 239008263 (eff. 0.041)
1378.18/1378.47	c GC COLLECT
1378.18/1378.47	c #Conflicts:      75000 | #Learnt:       6996 | 0.000
1378.18/1378.47	c total clause space: 886.764MB
1378.18/1378.47	c total #watches: 768839
1401.28/1401.54	c total #propagations: 9961914 / total #impl: 241316922 (eff. 0.041)
1401.28/1401.54	c #Conflicts:      76000 | #Learnt:       7996 | 0.000
1401.28/1401.54	c total clause space: 886.764MB
1401.28/1401.54	c total #watches: 833634
1428.07/1428.31	c total #propagations: 10092024 / total #impl: 244179493 (eff. 0.041)
1428.07/1428.31	c #Conflicts:      77000 | #Learnt:       8996 | 0.000
1428.07/1428.31	c total clause space: 886.764MB
1428.07/1428.31	c total #watches: 878415
1453.06/1453.30	c total #propagations: 10226533 / total #impl: 247436195 (eff. 0.041)
1453.06/1453.30	c #Conflicts:      78000 | #Learnt:       9996 | 0.000
1453.06/1453.30	c total clause space: 886.764MB
1453.06/1453.30	c total #watches: 929161
1476.66/1476.93	c total #propagations: 10358553 / total #impl: 250424878 (eff. 0.041)
1476.66/1476.93	c #Conflicts:      79000 | #Learnt:      10996 | 0.000
1476.66/1476.93	c total clause space: 886.764MB
1476.66/1476.93	c total #watches: 982015
1501.65/1501.92	c total #propagations: 10497043 / total #impl: 252681842 (eff. 0.042)
1501.65/1501.92	c #Conflicts:      80000 | #Learnt:      11996 | 0.000
1501.65/1501.92	c total clause space: 886.764MB
1501.65/1501.92	c total #watches: 1026198
1524.55/1524.84	c total #propagations: 10633239 / total #impl: 255239189 (eff. 0.042)
1524.55/1524.84	c #Conflicts:      81000 | #Learnt:      12996 | 0.000
1524.55/1524.84	c total clause space: 886.764MB
1524.55/1524.84	c total #watches: 1071308
1553.65/1553.96	c total #propagations: 10766860 / total #impl: 257149279 (eff. 0.042)
1553.65/1553.96	c GC COLLECT
1553.65/1553.96	c #Conflicts:      82000 | #Learnt:       7198 | 0.000
1553.65/1553.96	c total clause space: 886.764MB
1553.65/1553.96	c total #watches: 826613
1577.25/1577.53	c total #propagations: 10924684 / total #impl: 259700341 (eff. 0.042)
1577.25/1577.53	c #Conflicts:      83000 | #Learnt:       8198 | 0.000
1577.25/1577.53	c total clause space: 886.764MB
1577.25/1577.53	c total #watches: 869450
1601.74/1602.02	c total #propagations: 11078416 / total #impl: 262841658 (eff. 0.042)
1601.74/1602.02	c #Conflicts:      84000 | #Learnt:       9198 | 0.000
1601.74/1602.02	c total clause space: 886.764MB
1601.74/1602.02	c total #watches: 899212
1624.84/1625.13	c total #propagations: 11231928 / total #impl: 266860886 (eff. 0.042)
1624.84/1625.13	c #Conflicts:      85000 | #Learnt:      10198 | 0.000
1624.84/1625.13	c total clause space: 886.764MB
1624.84/1625.13	c total #watches: 928993
1650.73/1651.08	c total #propagations: 11373790 / total #impl: 269500177 (eff. 0.042)
1650.73/1651.08	c #Conflicts:      86000 | #Learnt:      11198 | 0.000
1650.73/1651.08	c total clause space: 886.764MB
1650.73/1651.08	c total #watches: 960887
1676.73/1677.02	c total #propagations: 11519933 / total #impl: 272116840 (eff. 0.042)
1676.73/1677.02	c #Conflicts:      87000 | #Learnt:      12198 | 0.000
1676.73/1677.02	c total clause space: 886.764MB
1676.73/1677.02	c total #watches: 995242
1710.42/1710.70	c total #propagations: 11662957 / total #impl: 274323479 (eff. 0.043)
1710.42/1710.70	c #Conflicts:      88000 | #Learnt:      13198 | 0.000
1710.42/1710.70	c total clause space: 886.764MB
1710.42/1710.70	c total #watches: 1028804
1736.42/1736.70	c total #propagations: 11807449 / total #impl: 276865323 (eff. 0.043)
1736.42/1736.70	c #Conflicts:      89000 | #Learnt:      14198 | 0.000
1736.42/1736.70	c total clause space: 886.764MB
1736.42/1736.70	c total #watches: 1073455
1765.91/1766.29	c total #propagations: 11957306 / total #impl: 279724421 (eff. 0.043)
1765.91/1766.29	c GC COLLECT
1765.91/1766.29	c #Conflicts:      90000 | #Learnt:       7940 | 0.000
1765.91/1766.29	c total clause space: 886.764MB
1765.91/1766.29	c total #watches: 850984
1792.41/1792.79	c total #propagations: 12114228 / total #impl: 282929731 (eff. 0.043)
1792.41/1792.79	c #Conflicts:      91000 | #Learnt:       8940 | 0.000
1792.41/1792.79	c total clause space: 886.764MB
1792.41/1792.79	c total #watches: 879697

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-4118356-1467219887/watcher-4118356-1467219887 -o /tmp/evaluation-result-4118356-1467219887/solver-4118356-1467219887 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467209076-3807 --watchdog 1960 --input HOME/instance-4118356-1467219887.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=4993
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.19 2.23 2.18 4/176 4996
/proc/meminfo: memFree=26710240/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 2949694 29810688 5268 33554432000 4194304 6201397 140734287609296 140733667313928 4211048 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 7278 5268 130 491 0 6777 0

[startup+0.100162 s]
/proc/loadavg: 2.19 2.23 2.18 4/176 4996
/proc/meminfo: memFree=26710240/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=34356 CPUtime=0.09 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 720 0 0 0 9 0 0 0 20 0 1 0 2949694 35180544 7173 33554432000 4194304 6201397 140734287609296 140733667313928 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 8589 7173 146 491 0 8088 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34356

[startup+0.200361 s]
/proc/loadavg: 2.19 2.23 2.18 4/176 4996
/proc/meminfo: memFree=26710240/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=37336 CPUtime=0.19 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 959 0 0 0 19 0 0 0 20 0 1 0 2949694 38232064 7886 33554432000 4194304 6201397 140734287609296 140733667313928 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 9334 7886 147 491 0 8833 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37336

[startup+0.300278 s]
/proc/loadavg: 2.19 2.23 2.18 4/176 4996
/proc/meminfo: memFree=26710240/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=41756 CPUtime=0.29 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 1036 0 0 0 29 0 0 0 20 0 1 0 2949694 42758144 7954 33554432000 4194304 6201397 140734287609296 140733667313928 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 10439 7954 147 491 0 9938 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41756

[startup+0.70024 s]
/proc/loadavg: 2.19 2.23 2.18 4/176 4996
/proc/meminfo: memFree=26710240/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=49304 CPUtime=0.68 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 1441 0 0 0 68 0 0 0 20 0 1 0 2949694 50487296 9824 33554432000 4194304 6201397 140734287609296 140733667313928 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 12326 9824 147 491 0 11825 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 49304

[startup+1.50025 s]
/proc/loadavg: 2.19 2.23 2.18 4/177 4997
/proc/meminfo: memFree=26663544/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=61064 CPUtime=1.48 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 1702 0 0 0 148 0 0 0 20 0 1 0 2949694 62529536 12084 33554432000 4194304 6201397 140734287609296 140734287608136 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 15266 12084 147 491 0 14765 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 61064

[startup+3.10024 s]
/proc/loadavg: 2.19 2.23 2.18 4/177 4997
/proc/meminfo: memFree=26647968/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=111552 CPUtime=3.09 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 2343 0 0 0 308 1 0 0 20 0 1 0 2949694 114229248 17743 33554432000 4194304 6201397 140734287609296 140734287608248 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 27888 17743 160 491 0 27387 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 111552

[startup+6.30023 s]
/proc/loadavg: 2.10 2.20 2.17 3/177 5043
/proc/meminfo: memFree=26860504/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=162100 CPUtime=6.29 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 2704 0 0 0 628 1 0 0 20 0 1 0 2949694 165990400 25720 33554432000 4194304 6201397 140734287609296 140734287608136 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 40525 25720 160 491 0 40024 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 162100

[startup+12.7002 s]
/proc/loadavg: 2.17 2.22 2.18 3/177 5043
/proc/meminfo: memFree=26780756/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=162796 CPUtime=12.68 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 5412 0 0 0 1267 1 0 0 20 0 1 0 2949694 166703104 31393 33554432000 4194304 6201397 140734287609296 140734287608248 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 40699 31393 166 491 0 40198 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 162796

[startup+25.5003 s]
/proc/loadavg: 2.13 2.21 2.18 3/177 5043
/proc/meminfo: memFree=26699332/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=245368 CPUtime=25.48 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 6788 0 0 0 2546 2 0 0 20 0 1 0 2949694 251256832 44106 33554432000 4194304 6201397 140734287609296 140734287608136 4213328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 61342 44106 166 491 0 60841 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 245368

[startup+51.1003 s]
/proc/loadavg: 2.29 2.24 2.19 3/177 5043
/proc/meminfo: memFree=26592104/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=381748 CPUtime=51.08 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 8326 0 0 0 5105 3 0 0 20 0 1 0 2949694 390909952 63490 33554432000 4194304 6201397 140734287609296 140734287607992 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 95437 63490 166 491 0 94936 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 381748

[startup+102.3 s]
/proc/loadavg: 2.35 2.26 2.19 3/177 5044
/proc/meminfo: memFree=26507796/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=388508 CPUtime=102.28 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 10567 0 0 0 10224 4 0 0 20 0 1 0 2949694 397832192 75618 33554432000 4194304 6201397 140734287609296 140734287608248 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 97127 75618 166 491 0 96626 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 388508

[startup+162.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/177 5045
/proc/meminfo: memFree=26468836/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=390108 CPUtime=162.26 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 11047 0 0 0 16222 4 0 0 20 0 1 0 2949694 399470592 79164 33554432000 4194304 6201397 140734287609296 140734287608248 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 97527 79164 166 491 0 97026 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 390108

[startup+222.307 s]
/proc/loadavg: 2.31 2.26 2.19 3/177 5046
/proc/meminfo: memFree=26416220/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=391012 CPUtime=222.26 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 11330 0 0 0 22222 4 0 0 20 0 1 0 2949694 400396288 82002 33554432000 4194304 6201397 140734287609296 140734287608248 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 97753 82002 166 491 0 97252 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 391012

[startup+282.3 s]
/proc/loadavg: 2.33 2.27 2.19 3/177 5048
/proc/meminfo: memFree=26369068/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=391460 CPUtime=282.25 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 11502 0 0 0 28220 5 0 0 20 0 1 0 2949694 400855040 90350 33554432000 4194304 6201397 140734287609296 140734287608248 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 97865 90350 166 491 0 97364 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 391460

[startup+342.3 s]
/proc/loadavg: 2.22 2.25 2.19 3/178 5052
/proc/meminfo: memFree=26347028/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=394984 CPUtime=342.24 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 12380 0 0 0 34219 5 0 0 20 0 1 0 2949694 404463616 91739 33554432000 4194304 6201397 140734287609296 140734287607960 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 98746 91739 166 491 0 98245 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 394984

[startup+402.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/177 5053
/proc/meminfo: memFree=26281196/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=612176 CPUtime=402.23 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 13491 0 0 0 40217 6 0 0 20 0 1 0 2949694 626868224 102682 33554432000 4194304 6201397 140734287609296 140734287608424 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 153044 102682 166 491 0 152543 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 612176

[startup+462.3 s]
/proc/loadavg: 2.34 2.26 2.19 4/177 5054
/proc/meminfo: memFree=26262896/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=612176 CPUtime=462.22 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 13658 0 0 0 46216 6 0 0 20 0 1 0 2949694 626868224 105404 33554432000 4194304 6201397 140734287609296 140734287608424 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 153044 105404 166 491 0 152543 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 612176

[startup+522.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/177 5055
/proc/meminfo: memFree=26238016/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=612176 CPUtime=522.21 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 13680 0 0 0 52215 6 0 0 20 0 1 0 2949694 626868224 109003 33554432000 4194304 6201397 140734287609296 140734287608424 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 153044 109003 166 491 0 152543 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 612176

[startup+582.3 s]
/proc/loadavg: 2.19 2.23 2.18 3/176 5057
/proc/meminfo: memFree=26202036/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=612256 CPUtime=582.19 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 13765 0 0 0 58213 6 0 0 20 0 1 0 2949694 626950144 113217 33554432000 4194304 6201397 140734287609296 140734287608424 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 153064 113217 166 491 0 152563 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 612256


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


[startup+942.3 s]
/proc/loadavg: 2.25 2.26 2.20 3/178 5068
/proc/meminfo: memFree=26044572/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=615284 CPUtime=942.14 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 14683 0 0 0 94206 8 0 0 20 0 1 0 2949694 630050816 140194 33554432000 4194304 6201397 140734287609296 140734287608424 4218912 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 153821 140194 166 491 0 153320 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 615284

[startup+1002.3 s]
/proc/loadavg: 2.27 2.26 2.20 4/177 5069
/proc/meminfo: memFree=26029012/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=615776 CPUtime=1002.13 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 14793 0 0 0 100205 8 0 0 20 0 1 0 2949694 630554624 140304 33554432000 4194304 6201397 140734287609296 140734287608248 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 153944 140304 166 491 0 153443 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 615776

[startup+1062.3 s]
/proc/loadavg: 2.27 2.26 2.20 3/177 5070
/proc/meminfo: memFree=25995068/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=616692 CPUtime=1062.12 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 15051 0 0 0 106204 8 0 0 20 0 1 0 2949694 631492608 146694 33554432000 4194304 6201397 140734287609296 140734287608424 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 154173 146694 166 491 0 153672 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 616692

[startup+1122.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/177 5071
/proc/meminfo: memFree=25976088/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=617428 CPUtime=1122.11 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 15239 0 0 0 112203 8 0 0 20 0 1 0 2949694 632246272 146882 33554432000 4194304 6201397 140734287609296 140734287608088 4213244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 154357 146882 166 491 0 153856 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 617428

[startup+1182.3 s]
/proc/loadavg: 2.33 2.28 2.20 4/177 5073
/proc/meminfo: memFree=25973416/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=617876 CPUtime=1182.1 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 15358 0 0 0 118202 8 0 0 20 0 1 0 2949694 632705024 147512 33554432000 4194304 6201397 140734287609296 140734287608248 4213110 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 154469 147512 166 491 0 153968 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 617876

[startup+1242.3 s]
/proc/loadavg: 2.49 2.32 2.22 3/177 5074
/proc/meminfo: memFree=25947108/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=967668 CPUtime=1242.1 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 16044 0 0 0 124201 9 0 0 20 0 1 0 2949694 990892032 153961 33554432000 4194304 6201397 140734287609296 140734287608424 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 241917 153961 166 491 0 241416 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 967668

[startup+1302.3 s]
/proc/loadavg: 2.49 2.35 2.23 3/177 5075
/proc/meminfo: memFree=25945628/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=967748 CPUtime=1302.09 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 16052 0 0 0 130200 9 0 0 20 0 1 0 2949694 990973952 153969 33554432000 4194304 6201397 140734287609296 140734287608248 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 241937 153969 166 491 0 241436 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 967748

[startup+1362.3 s]
/proc/loadavg: 2.37 2.33 2.23 4/177 5076
/proc/meminfo: memFree=25944888/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=967748 CPUtime=1362.08 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 16064 0 0 0 136199 9 0 0 20 0 1 0 2949694 990973952 153981 33554432000 4194304 6201397 140734287609296 140734287608424 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 241937 153981 166 491 0 241436 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 967748

[startup+1422.3 s]
/proc/loadavg: 2.24 2.30 2.22 3/177 5077
/proc/meminfo: memFree=25921620/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=967748 CPUtime=1422.07 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 16193 0 0 0 142198 9 0 0 20 0 1 0 2949694 990973952 159726 33554432000 4194304 6201397 140734287609296 140734287608424 4213170 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 241937 159726 166 491 0 241436 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 967748

[startup+1482.3 s]
/proc/loadavg: 2.22 2.28 2.22 3/177 5079
/proc/meminfo: memFree=25920132/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=967812 CPUtime=1482.06 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 16200 0 0 0 148197 9 0 0 20 0 1 0 2949694 991039488 159733 33554432000 4194304 6201397 140734287609296 140734287608424 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 241953 159733 166 491 0 241452 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 967812

[startup+1542.31 s]
/proc/loadavg: 2.39 2.32 2.24 4/178 5083
/proc/meminfo: memFree=25903528/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=968284 CPUtime=1542.05 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 16353 0 0 0 154196 9 0 0 20 0 1 0 2949694 991522816 161930 33554432000 4194304 6201397 140734287609296 140734287608248 4216747 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 242071 161930 166 491 0 241570 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 968284

[startup+1602.3 s]
/proc/loadavg: 2.37 2.32 2.24 3/177 5084
/proc/meminfo: memFree=25872624/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=969212 CPUtime=1602.04 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 16604 0 0 0 160194 10 0 0 20 0 1 0 2949694 992473088 165241 33554432000 4194304 6201397 140734287609296 140734287608088 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 242303 165241 166 491 0 241802 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 969212

[startup+1662.3 s]
/proc/loadavg: 2.23 2.29 2.24 3/177 5085
/proc/meminfo: memFree=25870648/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=970160 CPUtime=1662.03 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 16816 0 0 0 166193 10 0 0 20 0 1 0 2949694 993443840 165453 33554432000 4194304 6201397 140734287609296 140734287608248 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 242540 165453 166 491 0 242039 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 970160

[startup+1722.3 s]
/proc/loadavg: 2.33 2.30 2.24 3/177 5086
/proc/meminfo: memFree=25866500/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=970688 CPUtime=1722.02 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 17012 0 0 0 172192 10 0 0 20 0 1 0 2949694 993984512 165649 33554432000 4194304 6201397 140734287609296 140734287608248 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 242672 165649 166 491 0 242171 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 970688

[startup+1782.3 s]
/proc/loadavg: 2.22 2.27 2.23 3/177 5088
/proc/meminfo: memFree=25807536/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=970896 CPUtime=1782.01 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 17082 0 0 0 178191 10 0 0 20 0 1 0 2949694 994197504 169296 33554432000 4194304 6201397 140734287609296 140734287608424 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 242724 169296 166 491 0 242223 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 970896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.16 2.25 2.23 3/177 5088
/proc/meminfo: memFree=25807420/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=970896 CPUtime=1800.01 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 17082 0 0 0 179991 10 0 0 20 0 1 0 2949694 994197504 169296 33554432000 4194304 6201397 140734287609296 140734287608424 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 242724 169296 166 491 0 242223 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 970896

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

[startup+1800.3 s]
/proc/loadavg: 2.16 2.25 2.23 3/177 5088
/proc/meminfo: memFree=25807420/32872528 swapFree=1427512/1541976
[pid=4996] ppid=4993 vsize=970896 CPUtime=1800.01 cores=0,2,4,6
/proc/4996/stat : 4996 (cdcl-cuttingpla) R 4993 4996 3791 0 -1 4202496 17082 0 0 0 179991 10 0 0 20 0 1 0 2949694 994197504 169296 33554432000 4194304 6201397 140734287609296 140734287608424 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4996/statm: 242724 169296 166 491 0 242223 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 970896

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.91
CPU system time (s): 0.110983
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 970896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.110983
maximum resident set size= 677184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17082
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= 15
involuntary context switches= 1975

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.16421 second user time and 8.09377 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-29 19:04:47
IDJOB=4118356
IDBENCH=111484
IDSOLVER=2550
FILE ID=node116/4118356-1467219887
RUNJOBID= node116-1467209076-3807
PBS_JOBID= 19997584
Free space on /tmp= 71720 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross20-080.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118356-1467219887/watcher-4118356-1467219887 -o /tmp/evaluation-result-4118356-1467219887/solver-4118356-1467219887 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467209076-3807 --watchdog 1960 --input HOME/instance-4118356-1467219887.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= a5a18176284a4ecb39532058ff3d71fd
RANDOM SEED=153975901

node116.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.426
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.85
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.426
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.426
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.426
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.426
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.426
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.426
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.54
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.426
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:        26710132 kB
Buffers:          150456 kB
Cached:          3405504 kB
SwapCached:            0 kB
Active:           464664 kB
Inactive:        3405116 kB
Active(anon):     316268 kB
Inactive(anon):        0 kB
Active(file):     148396 kB
Inactive(file):  3405116 kB
Unevictable:     1541976 kB
Mlocked:         1427512 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2788 kB
Writeback:             0 kB
AnonPages:       1859420 kB
Mapped:            14560 kB
Shmem:               204 kB
Slab:             614460 kB
SReclaimable:      58780 kB
SUnreclaim:       555680 kB
KernelStack:        1456 kB
PageTables:         7372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2092160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    399360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node116 at 2016-06-29 19:34:47