Trace number 4118418

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT binary search 2016-05-01? (TO) 1800.08 1800.42

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-23.lin.opb
MD5SUM078b52110461ac3fda4e9287cf235fae
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-7539
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5376
Total number of constraints10692
Number of constraints which are clauses5346
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5346
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 5376
Biggest coefficient in the objective function 2684
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 542432
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 2684
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 542432
Number of bits of the biggest sum of numbers20
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.02	c * #variable= 5376 #constraint= 10692
0.00/0.06	c * #variable= 5376 #constraint= 10692
5.50/5.59	c S1->S2
5.50/5.59	c S2->S1
5.50/5.59	c S1->S2
5.50/5.59	c #Conflicts:       1000 | #Learnt:        937 | 0.000
5.50/5.59	c total clause space: 48.1602MB
5.50/5.59	c total #watches: 103262
15.68/15.73	c total #propagations: 736071 / total #impl: 3364743 (eff. 0.219)
15.68/15.73	c #Conflicts:       2000 | #Learnt:       1937 | 0.000
15.68/15.73	c total clause space: 127.173MB
15.68/15.73	c total #watches: 165354
28.29/28.35	c total #propagations: 1324003 / total #impl: 5865917 (eff. 0.226)
28.29/28.35	c GC COLLECT
28.29/28.35	c #Conflicts:       3000 | #Learnt:       1971 | 0.000
28.29/28.35	c total clause space: 127.173MB
28.29/28.35	c total #watches: 200139
48.18/48.20	c total #propagations: 1864925 / total #impl: 8616289 (eff. 0.216)
48.18/48.20	c #Conflicts:       4000 | #Learnt:       2971 | 0.000
48.18/48.20	c total clause space: 206.656MB
48.18/48.20	c total #watches: 255675
65.58/65.61	c total #propagations: 2413143 / total #impl: 11968359 (eff. 0.202)
65.58/65.61	c GC COLLECT
65.58/65.61	c #Conflicts:       5000 | #Learnt:       2340 | 0.000
65.58/65.61	c total clause space: 206.656MB
65.58/65.61	c total #watches: 213711
82.38/82.40	c total #propagations: 2938127 / total #impl: 15298923 (eff. 0.192)
82.38/82.40	c #Conflicts:       6000 | #Learnt:       3340 | 0.000
82.38/82.40	c total clause space: 206.656MB
82.38/82.40	c total #watches: 266124
105.07/105.11	c total #propagations: 3478690 / total #impl: 19894332 (eff. 0.175)
105.07/105.11	c GC COLLECT
105.07/105.11	c #Conflicts:       7000 | #Learnt:       2221 | 0.000
105.07/105.11	c total clause space: 335.816MB
105.07/105.11	c total #watches: 203059
125.27/125.37	c total #propagations: 4024126 / total #impl: 23449535 (eff. 0.172)
125.27/125.37	c #Conflicts:       8000 | #Learnt:       3221 | 0.000
125.27/125.37	c total clause space: 335.816MB
125.27/125.37	c total #watches: 264091
151.07/151.15	c total #propagations: 4588914 / total #impl: 27511946 (eff. 0.167)
151.07/151.15	c #Conflicts:       9000 | #Learnt:       4221 | 0.000
151.07/151.15	c total clause space: 335.816MB
151.07/151.15	c total #watches: 313170
174.05/174.12	c total #propagations: 5144087 / total #impl: 30716399 (eff. 0.167)
174.05/174.12	c GC COLLECT
174.05/174.12	c #Conflicts:      10000 | #Learnt:       2712 | 0.000
174.05/174.12	c total clause space: 335.816MB
174.05/174.12	c total #watches: 223003
192.94/193.04	c total #propagations: 5644822 / total #impl: 33056033 (eff. 0.171)
192.94/193.04	c #Conflicts:      11000 | #Learnt:       3712 | 0.000
192.94/193.04	c total clause space: 335.816MB
192.94/193.04	c total #watches: 272444
219.63/219.73	c total #propagations: 6210963 / total #impl: 37806712 (eff. 0.164)
219.63/219.73	c #Conflicts:      12000 | #Learnt:       4712 | 0.000
219.63/219.73	c total clause space: 335.816MB
219.63/219.73	c total #watches: 332776
248.11/248.22	c total #propagations: 6798976 / total #impl: 40606058 (eff. 0.167)
248.11/248.22	c #Conflicts:      13000 | #Learnt:       5712 | 0.000
248.11/248.22	c total clause space: 335.816MB
248.11/248.22	c total #watches: 389235
268.61/268.78	c total #propagations: 7316217 / total #impl: 45405937 (eff. 0.161)
268.61/268.78	c GC COLLECT
268.61/268.78	c #Conflicts:      14000 | #Learnt:       3856 | 0.000
268.61/268.78	c total clause space: 335.816MB
268.61/268.78	c total #watches: 265452
291.41/291.54	c total #propagations: 7897095 / total #impl: 48058148 (eff. 0.164)
291.41/291.54	c #Conflicts:      15000 | #Learnt:       4856 | 0.000
291.41/291.54	c total clause space: 335.816MB
291.41/291.54	c total #watches: 313260
315.61/315.74	c total #propagations: 8440514 / total #impl: 52251095 (eff. 0.162)
315.61/315.74	c #Conflicts:      16000 | #Learnt:       5856 | 0.000
315.61/315.74	c total clause space: 335.816MB
315.61/315.74	c total #watches: 356662
338.50/338.62	c total #propagations: 8985889 / total #impl: 56541307 (eff. 0.159)
338.50/338.62	c GC COLLECT
338.50/338.62	c #Conflicts:      17000 | #Learnt:       3677 | 0.000
338.50/338.62	c total clause space: 335.816MB
338.50/338.62	c total #watches: 255222
358.61/358.78	c total #propagations: 9501560 / total #impl: 59985677 (eff. 0.158)
358.61/358.78	c #Conflicts:      18000 | #Learnt:       4677 | 0.000
358.61/358.78	c total clause space: 335.816MB
358.61/358.78	c total #watches: 302883
383.80/383.98	c total #propagations: 9971241 / total #impl: 63300302 (eff. 0.158)
383.80/383.98	c #Conflicts:      19000 | #Learnt:       5677 | 0.000
383.80/383.98	c total clause space: 335.816MB
383.80/383.98	c total #watches: 361103
415.29/415.43	c total #propagations: 10442468 / total #impl: 67258505 (eff. 0.155)
415.29/415.43	c #Conflicts:      20000 | #Learnt:       6677 | 0.000
415.29/415.43	c total clause space: 335.816MB
415.29/415.43	c total #watches: 404601
441.18/441.36	c total #propagations: 11045850 / total #impl: 70918006 (eff. 0.156)
441.18/441.36	c GC COLLECT
441.18/441.36	c #Conflicts:      21000 | #Learnt:       4189 | 0.000
441.18/441.36	c total clause space: 545.701MB
441.18/441.36	c total #watches: 273616
463.88/464.00	c total #propagations: 11634455 / total #impl: 75217943 (eff. 0.155)
463.88/464.00	c #Conflicts:      22000 | #Learnt:       5189 | 0.000
463.88/464.00	c total clause space: 545.701MB
463.88/464.00	c total #watches: 301741
492.78/492.90	c total #propagations: 12193511 / total #impl: 79199286 (eff. 0.154)
492.78/492.90	c #Conflicts:      23000 | #Learnt:       6189 | 0.000
492.78/492.90	c total clause space: 545.701MB
492.78/492.90	c total #watches: 348597
524.17/524.33	c total #propagations: 12788605 / total #impl: 82669497 (eff. 0.155)
524.17/524.33	c #Conflicts:      24000 | #Learnt:       7189 | 0.000
524.17/524.33	c total clause space: 545.701MB
524.17/524.33	c total #watches: 400558
548.36/548.59	c total #propagations: 13299196 / total #impl: 85266930 (eff. 0.156)
548.36/548.59	c GC COLLECT
548.36/548.59	c #Conflicts:      25000 | #Learnt:       4391 | 0.000
548.36/548.59	c total clause space: 545.701MB
548.36/548.59	c total #watches: 243269
566.56/566.79	c total #propagations: 13909982 / total #impl: 89796726 (eff. 0.155)
566.56/566.79	c #Conflicts:      26000 | #Learnt:       5391 | 0.000
566.56/566.79	c total clause space: 545.701MB
566.56/566.79	c total #watches: 272713
584.76/584.95	c total #propagations: 14525344 / total #impl: 93067161 (eff. 0.156)
584.76/584.95	c #Conflicts:      27000 | #Learnt:       6391 | 0.000
584.76/584.95	c total clause space: 545.701MB
584.76/584.95	c total #watches: 307864
606.15/606.31	c total #propagations: 15103417 / total #impl: 96933487 (eff. 0.156)
606.15/606.31	c #Conflicts:      28000 | #Learnt:       7391 | 0.000
606.15/606.31	c total clause space: 545.701MB
606.15/606.31	c total #watches: 333573
627.45/627.61	c total #propagations: 15699662 / total #impl: 101575108 (eff. 0.155)
627.45/627.61	c GC COLLECT
627.45/627.61	c #Conflicts:      29000 | #Learnt:       4296 | 0.000
627.45/627.61	c total clause space: 545.701MB
627.45/627.61	c total #watches: 203727
644.46/644.68	c total #propagations: 16339483 / total #impl: 105166241 (eff. 0.155)
644.46/644.68	c #Conflicts:      30000 | #Learnt:       5296 | 0.000
644.46/644.68	c total clause space: 545.701MB
644.46/644.68	c total #watches: 240327
661.55/661.76	c total #propagations: 16936123 / total #impl: 109635726 (eff. 0.154)
661.55/661.76	c #Conflicts:      31000 | #Learnt:       6296 | 0.000
661.55/661.76	c total clause space: 545.701MB
661.55/661.76	c total #watches: 251574
680.94/681.19	c total #propagations: 17568460 / total #impl: 114308508 (eff. 0.154)
680.94/681.19	c #Conflicts:      32000 | #Learnt:       7296 | 0.000
680.94/681.19	c total clause space: 545.701MB
680.94/681.19	c total #watches: 298139
702.24/702.40	c total #propagations: 18088378 / total #impl: 118628116 (eff. 0.152)
702.24/702.40	c #Conflicts:      33000 | #Learnt:       8296 | 0.000
702.24/702.40	c total clause space: 545.701MB
702.24/702.40	c total #watches: 329390
722.74/722.95	c total #propagations: 18630448 / total #impl: 122450615 (eff. 0.152)
722.74/722.95	c GC COLLECT
722.74/722.95	c #Conflicts:      34000 | #Learnt:       4898 | 0.000
722.74/722.95	c total clause space: 545.701MB
722.74/722.95	c total #watches: 226866
739.33/739.55	c total #propagations: 19201177 / total #impl: 128016767 (eff. 0.150)
739.33/739.55	c #Conflicts:      35000 | #Learnt:       5898 | 0.000
739.33/739.55	c total clause space: 545.701MB
739.33/739.55	c total #watches: 255078
757.93/758.15	c total #propagations: 19816628 / total #impl: 132681005 (eff. 0.149)
757.93/758.15	c #Conflicts:      36000 | #Learnt:       6898 | 0.000
757.93/758.15	c total clause space: 545.701MB
757.93/758.15	c total #watches: 279553
779.33/779.55	c total #propagations: 20398798 / total #impl: 135217129 (eff. 0.151)
779.33/779.55	c #Conflicts:      37000 | #Learnt:       7898 | 0.000
779.33/779.55	c total clause space: 545.701MB
779.33/779.55	c total #watches: 304994
801.33/801.52	c total #propagations: 20991207 / total #impl: 138885303 (eff. 0.151)
801.33/801.52	c #Conflicts:      38000 | #Learnt:       8898 | 0.000
801.33/801.52	c total clause space: 545.701MB
801.33/801.52	c total #watches: 326198
821.73/821.92	c total #propagations: 21643658 / total #impl: 144431963 (eff. 0.150)
821.73/821.92	c GC COLLECT
821.73/821.92	c #Conflicts:      39000 | #Learnt:       5193 | 0.000
821.73/821.92	c total clause space: 545.701MB
821.73/821.92	c total #watches: 195122
837.73/837.98	c total #propagations: 22300696 / total #impl: 149427740 (eff. 0.149)
837.73/837.98	c #Conflicts:      40000 | #Learnt:       6193 | 0.000
837.73/837.98	c total clause space: 545.701MB
837.73/837.98	c total #watches: 207562
855.12/855.32	c total #propagations: 23009892 / total #impl: 157075440 (eff. 0.146)
855.12/855.32	c #Conflicts:      41000 | #Learnt:       7193 | 0.000
855.12/855.32	c total clause space: 545.701MB
855.12/855.32	c total #watches: 230493
871.62/871.84	c total #propagations: 23648175 / total #impl: 161726869 (eff. 0.146)
871.62/871.84	c #Conflicts:      42000 | #Learnt:       8193 | 0.000
871.62/871.84	c total clause space: 545.701MB
871.62/871.84	c total #watches: 253033
890.32/890.52	c total #propagations: 24301236 / total #impl: 164597907 (eff. 0.148)
890.32/890.52	c #Conflicts:      43000 | #Learnt:       9193 | 0.000
890.32/890.52	c total clause space: 545.701MB
890.32/890.52	c total #watches: 275975
908.31/908.50	c total #propagations: 24946627 / total #impl: 169001537 (eff. 0.148)
908.31/908.50	c GC COLLECT
908.31/908.50	c #Conflicts:      44000 | #Learnt:       5192 | 0.000
908.31/908.50	c total clause space: 545.701MB
908.31/908.50	c total #watches: 170295
922.01/922.20	c total #propagations: 25623876 / total #impl: 172452276 (eff. 0.149)
922.01/922.20	c #Conflicts:      45000 | #Learnt:       6192 | 0.000
922.01/922.20	c total clause space: 545.701MB
922.01/922.20	c total #watches: 190958
937.21/937.41	c total #propagations: 26220170 / total #impl: 175987221 (eff. 0.149)
937.21/937.41	c #Conflicts:      46000 | #Learnt:       7192 | 0.000
937.21/937.41	c total clause space: 545.701MB
937.21/937.41	c total #watches: 224364
955.71/955.95	c total #propagations: 26756268 / total #impl: 179468109 (eff. 0.149)
955.71/955.95	c #Conflicts:      47000 | #Learnt:       8192 | 0.000
955.71/955.95	c total clause space: 545.701MB
955.71/955.95	c total #watches: 253839
975.10/975.38	c total #propagations: 27341831 / total #impl: 183369804 (eff. 0.149)
975.10/975.38	c #Conflicts:      48000 | #Learnt:       9192 | 0.000
975.10/975.38	c total clause space: 545.701MB
975.10/975.38	c total #watches: 292875
994.80/995.00	c total #propagations: 27869454 / total #impl: 186671099 (eff. 0.149)
994.80/995.00	c #Conflicts:      49000 | #Learnt:      10192 | 0.000
994.80/995.00	c total clause space: 545.701MB
994.80/995.00	c total #watches: 314679
1015.70/1015.90	c total #propagations: 28428219 / total #impl: 189526305 (eff. 0.150)
1015.70/1015.90	c GC COLLECT
1015.70/1015.90	c #Conflicts:      50000 | #Learnt:       5889 | 0.000
1015.70/1015.90	c total clause space: 545.701MB
1015.70/1015.90	c total #watches: 233691
1033.80/1034.06	c total #propagations: 29042968 / total #impl: 194356041 (eff. 0.149)
1033.80/1034.06	c #Conflicts:      51000 | #Learnt:       6889 | 0.000
1033.80/1034.06	c total clause space: 545.701MB
1033.80/1034.06	c total #watches: 264232
1051.09/1051.33	c total #propagations: 29586850 / total #impl: 196945995 (eff. 0.150)
1051.09/1051.33	c #Conflicts:      52000 | #Learnt:       7889 | 0.000
1051.09/1051.33	c total clause space: 545.701MB
1051.09/1051.33	c total #watches: 286381
1070.39/1070.63	c total #propagations: 30127100 / total #impl: 200072520 (eff. 0.151)
1070.39/1070.63	c #Conflicts:      53000 | #Learnt:       8889 | 0.000
1070.39/1070.63	c total clause space: 545.701MB
1070.39/1070.63	c total #watches: 302577
1096.59/1096.85	c total #propagations: 30677597 / total #impl: 205054920 (eff. 0.150)
1096.59/1096.85	c #Conflicts:      54000 | #Learnt:       9889 | 0.000
1096.59/1096.85	c total clause space: 545.701MB
1096.59/1096.85	c total #watches: 326303
1121.18/1121.47	c total #propagations: 31287190 / total #impl: 212378006 (eff. 0.147)
1121.18/1121.47	c #Conflicts:      55000 | #Learnt:      10889 | 0.000
1121.18/1121.47	c total clause space: 545.701MB
1121.18/1121.47	c total #watches: 360858
1142.48/1142.74	c total #propagations: 31863504 / total #impl: 216401696 (eff. 0.147)
1142.48/1142.74	c GC COLLECT
1142.48/1142.74	c #Conflicts:      56000 | #Learnt:       6288 | 0.000
1142.48/1142.74	c total clause space: 545.701MB
1142.48/1142.74	c total #watches: 227046
1158.48/1158.77	c total #propagations: 32443416 / total #impl: 223641068 (eff. 0.145)
1158.48/1158.77	c #Conflicts:      57000 | #Learnt:       7288 | 0.000
1158.48/1158.77	c total clause space: 545.701MB
1158.48/1158.77	c total #watches: 240405
1175.87/1176.18	c total #propagations: 33073658 / total #impl: 227786531 (eff. 0.145)
1175.87/1176.18	c #Conflicts:      58000 | #Learnt:       8288 | 0.000
1175.87/1176.18	c total clause space: 545.701MB
1175.87/1176.18	c total #watches: 255038
1191.87/1192.12	c total #propagations: 33658991 / total #impl: 231194222 (eff. 0.146)
1191.87/1192.12	c #Conflicts:      59000 | #Learnt:       9288 | 0.000
1191.87/1192.12	c total clause space: 545.701MB
1191.87/1192.12	c total #watches: 273604
1209.57/1209.80	c total #propagations: 34241709 / total #impl: 235979188 (eff. 0.145)
1209.57/1209.80	c #Conflicts:      60000 | #Learnt:      10288 | 0.000
1209.57/1209.80	c total clause space: 545.701MB
1209.57/1209.80	c total #watches: 296878
1229.97/1230.27	c total #propagations: 34768895 / total #impl: 239725872 (eff. 0.145)
1229.97/1230.27	c #Conflicts:      61000 | #Learnt:      11288 | 0.000
1229.97/1230.27	c total clause space: 545.701MB
1229.97/1230.27	c total #watches: 322468
1247.17/1247.49	c total #propagations: 35315768 / total #impl: 243037333 (eff. 0.145)
1247.17/1247.49	c GC COLLECT
1247.17/1247.49	c #Conflicts:      62000 | #Learnt:       6390 | 0.000
1247.17/1247.49	c total clause space: 545.701MB
1247.17/1247.49	c total #watches: 217945
1264.66/1264.95	c total #propagations: 35762717 / total #impl: 246345717 (eff. 0.145)
1264.66/1264.95	c #Conflicts:      63000 | #Learnt:       7390 | 0.000
1264.66/1264.95	c total clause space: 545.701MB
1264.66/1264.95	c total #watches: 241784
1281.36/1281.69	c total #propagations: 36309937 / total #impl: 250420250 (eff. 0.145)
1281.36/1281.69	c #Conflicts:      64000 | #Learnt:       8390 | 0.000
1281.36/1281.69	c total clause space: 545.701MB
1281.36/1281.69	c total #watches: 257810
1302.35/1302.68	c total #propagations: 36851543 / total #impl: 256154663 (eff. 0.144)
1302.35/1302.68	c #Conflicts:      65000 | #Learnt:       9390 | 0.000
1302.35/1302.68	c total clause space: 545.701MB
1302.35/1302.68	c total #watches: 275016
1322.75/1323.08	c total #propagations: 37478252 / total #impl: 261873772 (eff. 0.143)
1322.75/1323.08	c #Conflicts:      66000 | #Learnt:      10390 | 0.000
1322.75/1323.08	c total clause space: 545.701MB
1322.75/1323.08	c total #watches: 294575
1343.64/1343.92	c total #propagations: 38049789 / total #impl: 265497071 (eff. 0.143)
1343.64/1343.92	c #Conflicts:      67000 | #Learnt:      11390 | 0.000
1343.64/1343.92	c total clause space: 545.701MB
1343.64/1343.92	c total #watches: 305557
1363.14/1363.47	c total #propagations: 38623306 / total #impl: 271227625 (eff. 0.142)
1363.14/1363.47	c #Conflicts:      68000 | #Learnt:      12390 | 0.000
1363.14/1363.47	c total clause space: 545.701MB
1363.14/1363.47	c total #watches: 317013
1377.14/1377.40	c total #propagations: 39181866 / total #impl: 274517526 (eff. 0.143)
1377.14/1377.40	c GC COLLECT
1377.14/1377.40	c #Conflicts:      69000 | #Learnt:       7188 | 0.000
1377.14/1377.40	c total clause space: 545.701MB
1377.14/1377.40	c total #watches: 213334
1391.94/1392.24	c total #propagations: 39709666 / total #impl: 277925615 (eff. 0.143)
1391.94/1392.24	c #Conflicts:      70000 | #Learnt:       8188 | 0.000
1391.94/1392.24	c total clause space: 545.701MB
1391.94/1392.24	c total #watches: 234034
1408.13/1408.49	c total #propagations: 40255553 / total #impl: 281995694 (eff. 0.143)
1408.13/1408.49	c #Conflicts:      71000 | #Learnt:       9188 | 0.000
1408.13/1408.49	c total clause space: 545.701MB
1408.13/1408.49	c total #watches: 255213
1424.63/1424.99	c total #propagations: 40781742 / total #impl: 287854160 (eff. 0.142)
1424.63/1424.99	c #Conflicts:      72000 | #Learnt:      10188 | 0.000
1424.63/1424.99	c total clause space: 545.701MB
1424.63/1424.99	c total #watches: 274132
1446.13/1446.43	c total #propagations: 41333621 / total #impl: 290729084 (eff. 0.142)
1446.13/1446.43	c #Conflicts:      73000 | #Learnt:      11188 | 0.000
1446.13/1446.43	c total clause space: 545.701MB
1446.13/1446.43	c total #watches: 284748
1462.12/1462.48	c total #propagations: 41932881 / total #impl: 294394403 (eff. 0.142)
1462.12/1462.48	c #Conflicts:      74000 | #Learnt:      12188 | 0.000
1462.12/1462.48	c total clause space: 545.701MB
1462.12/1462.48	c total #watches: 310072
1480.73/1481.06	c total #propagations: 42399729 / total #impl: 297024724 (eff. 0.143)
1480.73/1481.06	c GC COLLECT
1480.73/1481.06	c #Conflicts:      75000 | #Learnt:       6687 | 0.000
1480.73/1481.06	c total clause space: 886.764MB
1480.73/1481.06	c total #watches: 208857
1496.83/1497.15	c total #propagations: 42916545 / total #impl: 301810315 (eff. 0.142)
1496.83/1497.15	c #Conflicts:      76000 | #Learnt:       7687 | 0.000
1496.83/1497.15	c total clause space: 886.764MB
1496.83/1497.15	c total #watches: 239072
1514.53/1514.85	c total #propagations: 43481607 / total #impl: 304590794 (eff. 0.143)
1514.53/1514.85	c #Conflicts:      77000 | #Learnt:       8687 | 0.000
1514.53/1514.85	c total clause space: 886.764MB
1514.53/1514.85	c total #watches: 266336
1534.42/1534.73	c total #propagations: 44021702 / total #impl: 309133372 (eff. 0.142)
1534.42/1534.73	c #Conflicts:      78000 | #Learnt:       9687 | 0.000
1534.42/1534.73	c total clause space: 886.764MB
1534.42/1534.73	c total #watches: 287243
1557.12/1557.45	c total #propagations: 44532201 / total #impl: 311529478 (eff. 0.143)
1557.12/1557.45	c #Conflicts:      79000 | #Learnt:      10687 | 0.000
1557.12/1557.45	c total clause space: 886.764MB
1557.12/1557.45	c total #watches: 309884
1577.81/1578.12	c total #propagations: 45059752 / total #impl: 315994878 (eff. 0.143)
1577.81/1578.12	c #Conflicts:      80000 | #Learnt:      11687 | 0.000
1577.81/1578.12	c total clause space: 886.764MB
1577.81/1578.12	c total #watches: 322927
1603.21/1603.53	c total #propagations: 45652277 / total #impl: 322014370 (eff. 0.142)
1603.21/1603.53	c #Conflicts:      81000 | #Learnt:      12687 | 0.000
1603.21/1603.53	c total clause space: 886.764MB
1603.21/1603.53	c total #watches: 356496
1627.10/1627.45	c total #propagations: 46210665 / total #impl: 324624125 (eff. 0.142)
1627.10/1627.45	c GC COLLECT
1627.10/1627.45	c #Conflicts:      82000 | #Learnt:       6890 | 0.000
1627.10/1627.45	c total clause space: 886.764MB
1627.10/1627.45	c total #watches: 249879
1647.10/1647.42	c total #propagations: 46732639 / total #impl: 328297163 (eff. 0.142)
1647.10/1647.42	c #Conflicts:      83000 | #Learnt:       7890 | 0.000
1647.10/1647.42	c total clause space: 886.764MB
1647.10/1647.42	c total #watches: 266451
1666.31/1666.67	c total #propagations: 47298186 / total #impl: 333265859 (eff. 0.142)
1666.31/1666.67	c #Conflicts:      84000 | #Learnt:       8890 | 0.000
1666.31/1666.67	c total clause space: 886.764MB
1666.31/1666.67	c total #watches: 286762
1686.29/1686.62	c total #propagations: 47901782 / total #impl: 336827576 (eff. 0.142)
1686.29/1686.62	c #Conflicts:      85000 | #Learnt:       9890 | 0.000
1686.29/1686.62	c total clause space: 886.764MB
1686.29/1686.62	c total #watches: 294021
1706.59/1706.92	c total #propagations: 48479679 / total #impl: 340337836 (eff. 0.142)
1706.59/1706.92	c #Conflicts:      86000 | #Learnt:      10890 | 0.000
1706.59/1706.92	c total clause space: 886.764MB
1706.59/1706.92	c total #watches: 299298
1727.18/1727.57	c total #propagations: 49187946 / total #impl: 346204636 (eff. 0.142)
1727.18/1727.57	c #Conflicts:      87000 | #Learnt:      11890 | 0.000
1727.18/1727.57	c total clause space: 886.764MB
1727.18/1727.57	c total #watches: 315879
1750.37/1750.71	c total #propagations: 49820996 / total #impl: 350752881 (eff. 0.142)
1750.37/1750.71	c #Conflicts:      88000 | #Learnt:      12890 | 0.000
1750.37/1750.71	c total clause space: 886.764MB
1750.37/1750.71	c total #watches: 327667
1775.17/1775.56	c total #propagations: 50419290 / total #impl: 354405791 (eff. 0.142)
1775.17/1775.56	c #Conflicts:      89000 | #Learnt:      13890 | 0.000
1775.17/1775.56	c total clause space: 886.764MB
1775.17/1775.56	c total #watches: 340012
1794.75/1795.15	c total #propagations: 51134444 / total #impl: 359624703 (eff. 0.142)
1794.75/1795.15	c GC COLLECT
1794.75/1795.15	c #Conflicts:      90000 | #Learnt:       7788 | 0.000
1794.75/1795.15	c total clause space: 886.764MB
1794.75/1795.15	c total #watches: 265299

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-4118418-1467220628/watcher-4118418-1467220628 -o /tmp/evaluation-result-4118418-1467220628/solver-4118418-1467220628 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1467215224-8881 --watchdog 1960 --input HOME/instance-4118418-1467220628.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=9730
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.06 2.04 2.00 3/176 9733
/proc/meminfo: memFree=30868220/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 260 0 0 0 0 0 0 0 20 0 1 0 12091098 57319424 8828 33554432000 4194304 6211289 140734203499600 140735426343592 4206668 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 13994 8828 98 493 0 13491 0

[startup+0.100169 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 9733
/proc/meminfo: memFree=30868220/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=67368 CPUtime=0.09 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 2031 0 0 0 8 1 0 0 20 0 1 0 12091098 68984832 14926 33554432000 4194304 6211289 140734203499600 140735426343592 5310723 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 16842 14926 144 493 0 16339 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67368

[startup+0.200358 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 9733
/proc/meminfo: memFree=30868220/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=67652 CPUtime=0.19 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 2161 0 0 0 18 1 0 0 20 0 1 0 12091098 69275648 15056 33554432000 4194304 6211289 140734203499600 140735426343592 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 16913 15056 204 493 0 16410 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 67652

[startup+0.300277 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 9733
/proc/meminfo: memFree=30868220/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=67652 CPUtime=0.29 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 2247 0 0 0 28 1 0 0 20 0 1 0 12091098 69275648 15119 33554432000 4194304 6211289 140734203499600 140735426343592 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 16913 15119 204 493 0 16410 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67652

[startup+0.700236 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 9733
/proc/meminfo: memFree=30868220/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=74792 CPUtime=0.69 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 2459 0 0 0 68 1 0 0 20 0 1 0 12091098 76587008 16303 33554432000 4194304 6211289 140734203499600 140735426343592 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 18698 16303 204 493 0 18195 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74792

[startup+1.50023 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 9734
/proc/meminfo: memFree=30789792/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=81972 CPUtime=1.49 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 2734 0 0 0 148 1 0 0 20 0 1 0 12091098 83939328 17538 33554432000 4194304 6211289 140734203499600 140734203497832 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 20493 17538 204 493 0 19990 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81972

[startup+3.10022 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 9734
/proc/meminfo: memFree=30772976/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=94060 CPUtime=3.09 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 3095 0 0 0 308 1 0 0 20 0 1 0 12091098 96317440 20397 33554432000 4194304 6211289 140734203499600 140734203497592 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 23515 20397 204 493 0 23012 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 94060

[startup+6.30023 s]
/proc/loadavg: 2.14 2.05 2.01 3/177 9734
/proc/meminfo: memFree=30727376/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=113440 CPUtime=6.29 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 3426 0 0 0 628 1 0 0 20 0 1 0 12091098 116162560 24265 33554432000 4194304 6211289 140734203499600 140734203497944 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 28360 24265 214 493 0 27857 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 113440

[startup+12.7002 s]
/proc/loadavg: 2.13 2.05 2.01 3/177 9734
/proc/meminfo: memFree=30670716/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=145156 CPUtime=12.69 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 3892 0 0 0 1267 2 0 0 20 0 1 0 12091098 148639744 31833 33554432000 4194304 6211289 140734203499600 140734203497464 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 36289 31833 214 493 0 35786 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 145156

[startup+25.5003 s]
/proc/loadavg: 2.17 2.06 2.01 3/177 9734
/proc/meminfo: memFree=30621512/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=195924 CPUtime=25.49 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 6459 0 0 0 2546 3 0 0 20 0 1 0 12091098 200626176 36366 33554432000 4194304 6211289 140734203499600 140734203497592 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 48981 36366 219 493 0 48478 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 195924

[startup+51.1003 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 9734
/proc/meminfo: memFree=30513832/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=279136 CPUtime=51.08 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 7153 0 0 0 5104 4 0 0 20 0 1 0 12091098 285835264 53368 33554432000 4194304 6211289 140734203499600 140734203497592 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 69784 53368 219 493 0 69281 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 279136

[startup+102.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 9736
/proc/meminfo: memFree=30391056/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=280220 CPUtime=102.28 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 8231 0 0 0 10223 5 0 0 20 0 1 0 12091098 286945280 67916 33554432000 4194304 6211289 140734203499600 140734203497512 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 70055 67916 219 493 0 69552 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 280220

[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 9737
/proc/meminfo: memFree=30329308/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=413752 CPUtime=162.26 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 9165 0 0 0 16219 7 0 0 20 0 1 0 12091098 423682048 72159 33554432000 4194304 6211289 140734203499600 140734203497944 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 103438 72159 219 493 0 102935 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 413752

[startup+222.307 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 9741
/proc/meminfo: memFree=30243760/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=414024 CPUtime=222.24 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 9440 0 0 0 22217 7 0 0 20 0 1 0 12091098 423960576 76915 33554432000 4194304 6211289 140734203499600 140734203497944 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 103506 76915 219 493 0 103003 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 414024

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9742
/proc/meminfo: memFree=30216892/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=414436 CPUtime=282.21 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 9640 0 0 0 28214 7 0 0 20 0 1 0 12091098 424382464 83741 33554432000 4194304 6211289 140734203499600 140734203497944 4209384 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 103609 83741 219 493 0 103106 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 414436

[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 9743
/proc/meminfo: memFree=30157808/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=414720 CPUtime=342.2 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 9801 0 0 0 34212 8 0 0 20 0 1 0 12091098 424673280 91056 33554432000 4194304 6211289 140734203499600 140734203497944 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 103680 91056 219 493 0 103177 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 414720

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 9744
/proc/meminfo: memFree=30088868/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=414720 CPUtime=402.19 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 9858 0 0 0 40211 8 0 0 20 0 1 0 12091098 424673280 96223 33554432000 4194304 6211289 140734203499600 140734203497944 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 103680 96223 219 493 0 103177 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 414720

[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 9746
/proc/meminfo: memFree=30029304/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=629792 CPUtime=462.18 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 10491 0 0 0 46210 8 0 0 20 0 1 0 12091098 644907008 103113 33554432000 4194304 6211289 140734203499600 140734203497944 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 157448 103113 219 493 0 156945 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 629792

[startup+522.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 9747
/proc/meminfo: memFree=29966396/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=629792 CPUtime=522.17 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 10619 0 0 0 52209 8 0 0 20 0 1 0 12091098 644907008 105796 33554432000 4194304 6211289 140734203499600 140734203497944 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 157448 105796 219 493 0 156945 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 629792

[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 9748
/proc/meminfo: memFree=29938320/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=629924 CPUtime=582.16 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 10686 0 0 0 58208 8 0 0 20 0 1 0 12091098 645042176 111484 33554432000 4194304 6211289 140734203499600 140734203497944 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 157481 111484 219 493 0 156978 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 629924


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9757
/proc/meminfo: memFree=29719388/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=630244 CPUtime=882.13 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 10953 0 0 0 88204 9 0 0 20 0 1 0 12091098 645369856 120437 33554432000 4194304 6211289 140734203499600 140734203497944 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 157561 120437 219 493 0 157058 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 630244

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9758
/proc/meminfo: memFree=29719508/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=630244 CPUtime=942.11 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 10980 0 0 0 94202 9 0 0 20 0 1 0 12091098 645369856 120464 33554432000 4194304 6211289 140734203499600 140734203497944 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 157561 120464 219 493 0 157058 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 630244

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9759
/proc/meminfo: memFree=29692752/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=630244 CPUtime=1002.1 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 11007 0 0 0 100201 9 0 0 20 0 1 0 12091098 645369856 127134 33554432000 4194304 6211289 140734203499600 140734203497944 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 157561 127134 219 493 0 157058 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 630244

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9761
/proc/meminfo: memFree=29689828/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=630244 CPUtime=1062.09 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 11018 0 0 0 106200 9 0 0 20 0 1 0 12091098 645369856 127656 33554432000 4194304 6211289 140734203499600 140734203497944 5151646 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 157561 127656 219 493 0 157058 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 630244

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9762
/proc/meminfo: memFree=29654420/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=630380 CPUtime=1122.08 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 11058 0 0 0 112198 10 0 0 20 0 1 0 12091098 645509120 136894 33554432000 4194304 6211289 140734203499600 140734203497944 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 157595 136894 219 493 0 157092 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 630380

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9763
/proc/meminfo: memFree=29639736/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=630380 CPUtime=1182.07 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 11080 0 0 0 118197 10 0 0 20 0 1 0 12091098 645509120 139982 33554432000 4194304 6211289 140734203499600 140734203497944 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 157595 139982 219 493 0 157092 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 630380

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9764
/proc/meminfo: memFree=29621076/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=630380 CPUtime=1242.06 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 11104 0 0 0 124196 10 0 0 20 0 1 0 12091098 645509120 144605 33554432000 4194304 6211289 140734203499600 140734203497944 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 157595 144605 219 493 0 157092 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 630380

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9765
/proc/meminfo: memFree=29620044/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=630380 CPUtime=1302.05 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 11111 0 0 0 130195 10 0 0 20 0 1 0 12091098 645509120 144612 33554432000 4194304 6211289 140734203499600 140734203497944 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 157595 144612 219 493 0 157092 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 630380

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9767
/proc/meminfo: memFree=29597672/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=630524 CPUtime=1362.04 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 11138 0 0 0 136194 10 0 0 20 0 1 0 12091098 645656576 150771 33554432000 4194304 6211289 140734203499600 140734203497944 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 157631 150771 219 493 0 157128 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 630524

[startup+1422.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 9771
/proc/meminfo: memFree=29552416/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=630524 CPUtime=1422.04 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 11149 0 0 0 142194 10 0 0 20 0 1 0 12091098 645656576 151804 33554432000 4194304 6211289 140734203499600 140734203497944 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 157631 151804 219 493 0 157128 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 630524

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9772
/proc/meminfo: memFree=29510220/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=979772 CPUtime=1482.03 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 11391 0 0 0 148188 15 0 0 20 0 1 0 12091098 1003286528 161099 33554432000 4194304 6211289 140734203499600 140734203497944 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 244943 161099 219 493 0 244440 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 979772

[startup+1542.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9773
/proc/meminfo: memFree=29510092/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=979772 CPUtime=1542.02 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 11394 0 0 0 154187 15 0 0 20 0 1 0 12091098 1003286528 161102 33554432000 4194304 6211289 140734203499600 140734203497944 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 244943 161102 219 493 0 244440 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 979772

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9774
/proc/meminfo: memFree=29509844/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=979912 CPUtime=1602.01 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 11438 0 0 0 160186 15 0 0 20 0 1 0 12091098 1003429888 161146 33554432000 4194304 6211289 140734203499600 140734203497944 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 244978 161146 219 493 0 244475 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 979912

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9776
/proc/meminfo: memFree=29468512/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=980064 CPUtime=1662 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 11506 0 0 0 166184 16 0 0 20 0 1 0 12091098 1003585536 171434 33554432000 4194304 6211289 140734203499600 140734203497592 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 245016 171434 219 493 0 244513 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 980064

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9777
/proc/meminfo: memFree=29467544/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=980064 CPUtime=1721.98 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 11533 0 0 0 172182 16 0 0 20 0 1 0 12091098 1003585536 171436 33554432000 4194304 6211289 140734203499600 140734203497944 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 245016 171436 219 493 0 244513 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 980064

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9778
/proc/meminfo: memFree=29435852/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=980064 CPUtime=1781.96 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 11594 0 0 0 178180 16 0 0 20 0 1 0 12091098 1003585536 171470 33554432000 4194304 6211289 140734203499600 140734203497944 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 245016 171470 219 493 0 244513 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 980064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9824
/proc/meminfo: memFree=30201704/32872528 swapFree=8284/8284
[pid=9733] ppid=9730 vsize=980064 CPUtime=1800.05 cores=0,2,4,6
/proc/9733/stat : 9733 (cdcl-cuttingpla) R 9730 9733 7449 0 -1 4202496 11600 0 0 0 179989 16 0 0 20 0 1 0 12091098 1003585536 171470 33554432000 4194304 6211289 140734203499600 140734203497944 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9733/statm: 245016 171470 219 493 0 244513 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 980064

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.42
CPU time (s): 1800.08
CPU user time (s): 1799.9
CPU system time (s): 0.182972
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 980064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.182972
maximum resident set size= 685880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11600
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= 129
involuntary context switches= 1847

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68929 second user time and 6.79197 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-29 19:17:08
IDJOB=4118418
IDBENCH=111491
IDSOLVER=2549
FILE ID=node151/4118418-1467220628
RUNJOBID= node151-1467215224-8881
PBS_JOBID= 19997570
Free space on /tmp= 71724 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-23.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118418-1467220628/watcher-4118418-1467220628 -o /tmp/evaluation-result-4118418-1467220628/solver-4118418-1467220628 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1467215224-8881 --watchdog 1960 --input HOME/instance-4118418-1467220628.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 078b52110461ac3fda4e9287cf235fae
RANDOM SEED=513671562

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30868640 kB
Buffers:           53364 kB
Cached:          1130820 kB
SwapCached:         1984 kB
Active:           801088 kB
Inactive:         463152 kB
Active(anon):      78728 kB
Inactive(anon):     3292 kB
Active(file):     722360 kB
Inactive(file):   459860 kB
Unevictable:        8284 kB
Mlocked:            8284 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:              5720 kB
Writeback:             0 kB
AnonPages:         84756 kB
Mapped:             9180 kB
Shmem:                 0 kB
Slab:             598516 kB
SReclaimable:      42292 kB
SUnreclaim:       556224 kB
KernelStack:        1456 kB
PageTables:         4212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     218956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 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 node151 at 2016-06-29 19:47:08