Trace number 4118841

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.06 1800.4

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-14.lin.opb
MD5SUMadfa0d0ba581bbbc431d919356cf7a06
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-3989
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5790
Total number of constraints11470
Number of constraints which are clauses5735
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5735
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 5790
Biggest coefficient in the objective function 686
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 274008
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 686
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 274008
Number of bits of the biggest sum of numbers19
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= 5790 #constraint= 11470
0.00/0.07	c * #variable= 5790 #constraint= 11470
2.49/2.54	c S1->S2
2.49/2.54	c S2->S1
2.49/2.54	c S1->S2
2.49/2.54	c #Conflicts:       1000 | #Learnt:        725 | 0.012
2.49/2.54	c total clause space: 48.1602MB
2.49/2.54	c total #watches: 91812
9.39/9.41	c total #propagations: 409916 / total #impl: 3315872 (eff. 0.124)
9.39/9.41	c #Conflicts:       2000 | #Learnt:       1725 | 0.006
9.39/9.41	c total clause space: 127.173MB
9.39/9.41	c total #watches: 181198
18.58/18.66	c total #propagations: 806372 / total #impl: 6460018 (eff. 0.125)
18.58/18.66	c GC COLLECT
18.58/18.66	c #Conflicts:       3000 | #Learnt:       1869 | 0.004
18.58/18.66	c total clause space: 127.173MB
18.58/18.66	c total #watches: 232642
29.39/29.41	c total #propagations: 1210561 / total #impl: 9591472 (eff. 0.126)
29.39/29.41	c #Conflicts:       4000 | #Learnt:       2869 | 0.003
29.39/29.41	c total clause space: 206.656MB
29.39/29.41	c total #watches: 313486
42.18/42.28	c total #propagations: 1647041 / total #impl: 12856472 (eff. 0.128)
42.18/42.28	c GC COLLECT
42.18/42.28	c #Conflicts:       5000 | #Learnt:       2287 | 0.002
42.18/42.28	c total clause space: 206.656MB
42.18/42.28	c total #watches: 254927
56.58/56.61	c total #propagations: 2036660 / total #impl: 15860857 (eff. 0.128)
56.58/56.61	c #Conflicts:       6000 | #Learnt:       3287 | 0.002
56.58/56.61	c total clause space: 206.656MB
56.58/56.61	c total #watches: 304365
74.07/74.11	c total #propagations: 2426633 / total #impl: 19779518 (eff. 0.123)
74.07/74.11	c GC COLLECT
74.07/74.11	c #Conflicts:       7000 | #Learnt:       2199 | 0.002
74.07/74.11	c total clause space: 335.816MB
74.07/74.11	c total #watches: 230103
83.87/83.99	c total #propagations: 2814687 / total #impl: 23093517 (eff. 0.122)
83.87/83.99	c #Conflicts:       8000 | #Learnt:       3199 | 0.002
83.87/83.99	c total clause space: 335.816MB
83.87/83.99	c total #watches: 281816
97.16/97.29	c total #propagations: 3207608 / total #impl: 26234711 (eff. 0.122)
97.16/97.29	c #Conflicts:       9000 | #Learnt:       4199 | 0.001
97.16/97.29	c total clause space: 335.816MB
97.16/97.29	c total #watches: 337626
113.27/113.37	c total #propagations: 3524902 / total #impl: 29450244 (eff. 0.120)
113.27/113.37	c GC COLLECT
113.27/113.37	c #Conflicts:      10000 | #Learnt:       2703 | 0.001
113.27/113.37	c total clause space: 335.816MB
113.27/113.37	c total #watches: 261501
127.67/127.75	c total #propagations: 3855581 / total #impl: 31773948 (eff. 0.121)
127.67/127.75	c #Conflicts:      11000 | #Learnt:       3703 | 0.001
127.67/127.75	c total clause space: 335.816MB
127.67/127.75	c total #watches: 335391
145.46/145.57	c total #propagations: 4171261 / total #impl: 35872573 (eff. 0.116)
145.46/145.57	c #Conflicts:      12000 | #Learnt:       4703 | 0.001
145.46/145.57	c total clause space: 335.816MB
145.46/145.57	c total #watches: 404899
177.75/177.89	c total #propagations: 4473582 / total #impl: 39679032 (eff. 0.113)
177.75/177.89	c #Conflicts:      13000 | #Learnt:       5703 | 0.001
177.75/177.89	c total clause space: 335.816MB
177.75/177.89	c total #watches: 464154
197.55/197.63	c total #propagations: 4851810 / total #impl: 42640834 (eff. 0.114)
197.55/197.63	c GC COLLECT
197.55/197.63	c #Conflicts:      14000 | #Learnt:       3856 | 0.001
197.55/197.63	c total clause space: 335.816MB
197.55/197.63	c total #watches: 376467
221.44/221.55	c total #propagations: 5220734 / total #impl: 45312327 (eff. 0.115)
221.44/221.55	c #Conflicts:      15000 | #Learnt:       4856 | 0.001
221.44/221.55	c total clause space: 335.816MB
221.44/221.55	c total #watches: 427684
243.44/243.59	c total #propagations: 5589660 / total #impl: 48158145 (eff. 0.116)
243.44/243.59	c #Conflicts:      16000 | #Learnt:       5856 | 0.001
243.44/243.59	c total clause space: 335.816MB
243.44/243.59	c total #watches: 475681
260.24/260.32	c total #propagations: 5904827 / total #impl: 50779768 (eff. 0.116)
260.24/260.32	c GC COLLECT
260.24/260.32	c #Conflicts:      17000 | #Learnt:       3685 | 0.001
260.24/260.32	c total clause space: 545.701MB
260.24/260.32	c total #watches: 303769
274.74/274.86	c total #propagations: 6227549 / total #impl: 55299012 (eff. 0.113)
274.74/274.86	c #Conflicts:      18000 | #Learnt:       4685 | 0.001
274.74/274.86	c total clause space: 545.701MB
274.74/274.86	c total #watches: 330562
285.95/286.06	c total #propagations: 6562754 / total #impl: 58449801 (eff. 0.112)
285.95/286.06	c #Conflicts:      19000 | #Learnt:       5685 | 0.001
285.95/286.06	c total clause space: 545.701MB
285.95/286.06	c total #watches: 345550
303.34/303.42	c total #propagations: 6878788 / total #impl: 61267032 (eff. 0.112)
303.34/303.42	c #Conflicts:      20000 | #Learnt:       6685 | 0.001
303.34/303.42	c total clause space: 545.701MB
303.34/303.42	c total #watches: 376786
320.83/320.91	c total #propagations: 7233997 / total #impl: 66892723 (eff. 0.108)
320.83/320.91	c GC COLLECT
320.83/320.91	c #Conflicts:      21000 | #Learnt:       4195 | 0.001
320.83/320.91	c total clause space: 545.701MB
320.83/320.91	c total #watches: 237998
332.93/333.04	c total #propagations: 7583530 / total #impl: 69206509 (eff. 0.110)
332.93/333.04	c #Conflicts:      22000 | #Learnt:       5195 | 0.001
332.93/333.04	c total clause space: 545.701MB
332.93/333.04	c total #watches: 271019
346.93/347.05	c total #propagations: 7975522 / total #impl: 71448907 (eff. 0.112)
346.93/347.05	c #Conflicts:      23000 | #Learnt:       6195 | 0.001
346.93/347.05	c total clause space: 545.701MB
346.93/347.05	c total #watches: 313961
358.63/358.77	c total #propagations: 8418812 / total #impl: 75075589 (eff. 0.112)
358.63/358.77	c #Conflicts:      24000 | #Learnt:       7195 | 0.001
358.63/358.77	c total clause space: 545.701MB
358.63/358.77	c total #watches: 337585
372.63/372.75	c total #propagations: 8816446 / total #impl: 79717675 (eff. 0.111)
372.63/372.75	c GC COLLECT
372.63/372.75	c #Conflicts:      25000 | #Learnt:       4397 | 0.001
372.63/372.75	c total clause space: 545.701MB
372.63/372.75	c total #watches: 260831
384.33/384.42	c total #propagations: 9230071 / total #impl: 82772318 (eff. 0.112)
384.33/384.42	c #Conflicts:      26000 | #Learnt:       5397 | 0.001
384.33/384.42	c total clause space: 545.701MB
384.33/384.42	c total #watches: 307960
396.03/396.12	c total #propagations: 9552439 / total #impl: 86707347 (eff. 0.110)
396.03/396.12	c #Conflicts:      27000 | #Learnt:       6397 | 0.000
396.03/396.12	c total clause space: 545.701MB
396.03/396.12	c total #watches: 370056
416.93/417.09	c total #propagations: 9857009 / total #impl: 90319200 (eff. 0.109)
416.93/417.09	c #Conflicts:      28000 | #Learnt:       7397 | 0.000
416.93/417.09	c total clause space: 545.701MB
416.93/417.09	c total #watches: 436325
436.62/436.79	c total #propagations: 10181792 / total #impl: 94556917 (eff. 0.108)
436.62/436.79	c GC COLLECT
436.62/436.79	c #Conflicts:      29000 | #Learnt:       4300 | 0.000
436.62/436.79	c total clause space: 545.701MB
436.62/436.79	c total #watches: 331646
453.61/453.77	c total #propagations: 10503516 / total #impl: 97208753 (eff. 0.108)
453.61/453.77	c #Conflicts:      30000 | #Learnt:       5300 | 0.000
453.61/453.77	c total clause space: 545.701MB
453.61/453.77	c total #watches: 375908
470.90/471.09	c total #propagations: 10876317 / total #impl: 101178183 (eff. 0.107)
470.90/471.09	c #Conflicts:      31000 | #Learnt:       6300 | 0.000
470.90/471.09	c total clause space: 545.701MB
470.90/471.09	c total #watches: 412024
493.60/493.74	c total #propagations: 11238449 / total #impl: 104393319 (eff. 0.108)
493.60/493.74	c #Conflicts:      32000 | #Learnt:       7300 | 0.000
493.60/493.74	c total clause space: 545.701MB
493.60/493.74	c total #watches: 444307
521.89/522.09	c total #propagations: 11608686 / total #impl: 108236949 (eff. 0.107)
521.89/522.09	c #Conflicts:      33000 | #Learnt:       8300 | 0.000
521.89/522.09	c total clause space: 545.701MB
521.89/522.09	c total #watches: 479722
544.98/545.19	c total #propagations: 12018243 / total #impl: 111699444 (eff. 0.108)
544.98/545.19	c GC COLLECT
544.98/545.19	c #Conflicts:      34000 | #Learnt:       4900 | 0.000
544.98/545.19	c total clause space: 545.701MB
544.98/545.19	c total #watches: 279635
561.78/561.96	c total #propagations: 12465213 / total #impl: 114479929 (eff. 0.109)
561.78/561.96	c #Conflicts:      35000 | #Learnt:       5900 | 0.000
561.78/561.96	c total clause space: 545.701MB
561.78/561.96	c total #watches: 358229
580.97/581.14	c total #propagations: 12821337 / total #impl: 117932827 (eff. 0.109)
580.97/581.14	c #Conflicts:      36000 | #Learnt:       6900 | 0.000
580.97/581.14	c total clause space: 545.701MB
580.97/581.14	c total #watches: 419024
604.37/604.52	c total #propagations: 13209798 / total #impl: 121703690 (eff. 0.109)
604.37/604.52	c #Conflicts:      37000 | #Learnt:       7900 | 0.000
604.37/604.52	c total clause space: 545.701MB
604.37/604.52	c total #watches: 446299
627.56/627.71	c total #propagations: 13646060 / total #impl: 126792920 (eff. 0.108)
627.56/627.71	c #Conflicts:      38000 | #Learnt:       8900 | 0.000
627.56/627.71	c total clause space: 545.701MB
627.56/627.71	c total #watches: 471790
647.96/648.11	c total #propagations: 14089287 / total #impl: 130322182 (eff. 0.108)
647.96/648.11	c GC COLLECT
647.96/648.11	c #Conflicts:      39000 | #Learnt:       5207 | 0.000
647.96/648.11	c total clause space: 545.701MB
647.96/648.11	c total #watches: 314288
662.36/662.54	c total #propagations: 14539776 / total #impl: 135352852 (eff. 0.107)
662.36/662.54	c #Conflicts:      40000 | #Learnt:       6207 | 0.000
662.36/662.54	c total clause space: 545.701MB
662.36/662.54	c total #watches: 323680
679.95/680.11	c total #propagations: 14958352 / total #impl: 138686573 (eff. 0.108)
679.95/680.11	c #Conflicts:      41000 | #Learnt:       7207 | 0.000
679.95/680.11	c total clause space: 545.701MB
679.95/680.11	c total #watches: 344311
697.85/698.07	c total #propagations: 15328319 / total #impl: 142571795 (eff. 0.108)
697.85/698.07	c #Conflicts:      42000 | #Learnt:       8207 | 0.000
697.85/698.07	c total clause space: 545.701MB
697.85/698.07	c total #watches: 352419
719.45/719.69	c total #propagations: 15746796 / total #impl: 146290961 (eff. 0.108)
719.45/719.69	c #Conflicts:      43000 | #Learnt:       9207 | 0.000
719.45/719.69	c total clause space: 545.701MB
719.45/719.69	c total #watches: 369222
742.15/742.33	c total #propagations: 16144182 / total #impl: 149061586 (eff. 0.108)
742.15/742.33	c GC COLLECT
742.15/742.33	c #Conflicts:      44000 | #Learnt:       5207 | 0.000
742.15/742.33	c total clause space: 545.701MB
742.15/742.33	c total #watches: 319919
760.05/760.23	c total #propagations: 16616436 / total #impl: 153641561 (eff. 0.108)
760.05/760.23	c #Conflicts:      45000 | #Learnt:       6207 | 0.000
760.05/760.23	c total clause space: 545.701MB
760.05/760.23	c total #watches: 340067
782.14/782.33	c total #propagations: 17013636 / total #impl: 158477636 (eff. 0.107)
782.14/782.33	c #Conflicts:      46000 | #Learnt:       7207 | 0.000
782.14/782.33	c total clause space: 545.701MB
782.14/782.33	c total #watches: 388657
800.74/800.93	c total #propagations: 17399673 / total #impl: 163752351 (eff. 0.106)
800.74/800.93	c #Conflicts:      47000 | #Learnt:       8207 | 0.000
800.74/800.93	c total clause space: 545.701MB
800.74/800.93	c total #watches: 432166
824.03/824.29	c total #propagations: 17749307 / total #impl: 167386935 (eff. 0.106)
824.03/824.29	c #Conflicts:      48000 | #Learnt:       9207 | 0.000
824.03/824.29	c total clause space: 545.701MB
824.03/824.29	c total #watches: 510733
850.93/851.12	c total #propagations: 18091717 / total #impl: 173949793 (eff. 0.104)
850.93/851.12	c #Conflicts:      49000 | #Learnt:      10207 | 0.000
850.93/851.12	c total clause space: 545.701MB
850.93/851.12	c total #watches: 573615
862.63/862.87	c total #propagations: 18423467 / total #impl: 176473636 (eff. 0.104)
862.63/862.87	c GC COLLECT
862.63/862.87	c #Conflicts:      50000 | #Learnt:       5902 | 0.000
862.63/862.87	c total clause space: 886.764MB
862.63/862.87	c total #watches: 344351
876.83/877.06	c total #propagations: 18756917 / total #impl: 179023566 (eff. 0.105)
876.83/877.06	c #Conflicts:      51000 | #Learnt:       6902 | 0.000
876.83/877.06	c total clause space: 886.764MB
876.83/877.06	c total #watches: 405718
900.42/900.66	c total #propagations: 19086017 / total #impl: 183193487 (eff. 0.104)
900.42/900.66	c #Conflicts:      52000 | #Learnt:       7902 | 0.000
900.42/900.66	c total clause space: 886.764MB
900.42/900.66	c total #watches: 464610
928.52/928.77	c total #propagations: 19421573 / total #impl: 187411656 (eff. 0.104)
928.52/928.77	c #Conflicts:      53000 | #Learnt:       8902 | 0.000
928.52/928.77	c total clause space: 886.764MB
928.52/928.77	c total #watches: 505907
956.51/956.74	c total #propagations: 19757279 / total #impl: 192119758 (eff. 0.103)
956.51/956.74	c #Conflicts:      54000 | #Learnt:       9902 | 0.000
956.51/956.74	c total clause space: 886.764MB
956.51/956.74	c total #watches: 535707
983.32/983.51	c total #propagations: 20133720 / total #impl: 194661371 (eff. 0.103)
983.32/983.51	c #Conflicts:      55000 | #Learnt:      10902 | 0.000
983.32/983.51	c total clause space: 886.764MB
983.32/983.51	c total #watches: 556862
1001.60/1001.89	c total #propagations: 20499882 / total #impl: 197679290 (eff. 0.104)
1001.60/1001.89	c GC COLLECT
1001.60/1001.89	c #Conflicts:      56000 | #Learnt:       6301 | 0.000
1001.60/1001.89	c total clause space: 886.764MB
1001.60/1001.89	c total #watches: 364741
1020.50/1020.74	c total #propagations: 20881977 / total #impl: 200201768 (eff. 0.104)
1020.50/1020.74	c #Conflicts:      57000 | #Learnt:       7301 | 0.000
1020.50/1020.74	c total clause space: 886.764MB
1020.50/1020.74	c total #watches: 396078
1040.99/1041.25	c total #propagations: 21270919 / total #impl: 203426918 (eff. 0.105)
1040.99/1041.25	c #Conflicts:      58000 | #Learnt:       8301 | 0.000
1040.99/1041.25	c total clause space: 886.764MB
1040.99/1041.25	c total #watches: 423761
1062.40/1062.64	c total #propagations: 21632650 / total #impl: 207537512 (eff. 0.104)
1062.40/1062.64	c #Conflicts:      59000 | #Learnt:       9301 | 0.000
1062.40/1062.64	c total clause space: 886.764MB
1062.40/1062.64	c total #watches: 464061
1085.29/1085.53	c total #propagations: 21952932 / total #impl: 210749655 (eff. 0.104)
1085.29/1085.53	c #Conflicts:      60000 | #Learnt:      10301 | 0.000
1085.29/1085.53	c total clause space: 886.764MB
1085.29/1085.53	c total #watches: 494921
1106.39/1106.68	c total #propagations: 22329731 / total #impl: 214473353 (eff. 0.104)
1106.39/1106.68	c #Conflicts:      61000 | #Learnt:      11301 | 0.000
1106.39/1106.68	c total clause space: 886.764MB
1106.39/1106.68	c total #watches: 513636
1133.99/1134.24	c total #propagations: 22716230 / total #impl: 217851214 (eff. 0.104)
1133.99/1134.24	c GC COLLECT
1133.99/1134.24	c #Conflicts:      62000 | #Learnt:       6399 | 0.000
1133.99/1134.24	c total clause space: 886.764MB
1133.99/1134.24	c total #watches: 365638
1153.89/1154.15	c total #propagations: 23099597 / total #impl: 221531570 (eff. 0.104)
1153.89/1154.15	c #Conflicts:      63000 | #Learnt:       7399 | 0.000
1153.89/1154.15	c total clause space: 886.764MB
1153.89/1154.15	c total #watches: 376515
1172.88/1173.13	c total #propagations: 23493193 / total #impl: 223879581 (eff. 0.105)
1172.88/1173.13	c #Conflicts:      64000 | #Learnt:       8399 | 0.000
1172.88/1173.13	c total clause space: 886.764MB
1172.88/1173.13	c total #watches: 400162
1192.78/1193.02	c total #propagations: 23845805 / total #impl: 226249439 (eff. 0.105)
1192.78/1193.02	c #Conflicts:      65000 | #Learnt:       9399 | 0.000
1192.78/1193.02	c total clause space: 886.764MB
1192.78/1193.02	c total #watches: 418560
1212.78/1213.06	c total #propagations: 24214063 / total #impl: 228654654 (eff. 0.106)
1212.78/1213.06	c #Conflicts:      66000 | #Learnt:      10399 | 0.000
1212.78/1213.06	c total clause space: 886.764MB
1212.78/1213.06	c total #watches: 465223
1235.77/1236.01	c total #propagations: 24568030 / total #impl: 233212048 (eff. 0.105)
1235.77/1236.01	c #Conflicts:      67000 | #Learnt:      11399 | 0.000
1235.77/1236.01	c total clause space: 886.764MB
1235.77/1236.01	c total #watches: 500243
1256.97/1257.24	c total #propagations: 24920679 / total #impl: 237321244 (eff. 0.105)
1256.97/1257.24	c #Conflicts:      68000 | #Learnt:      12399 | 0.000
1256.97/1257.24	c total clause space: 886.764MB
1256.97/1257.24	c total #watches: 536885
1273.57/1273.84	c total #propagations: 25263218 / total #impl: 240204930 (eff. 0.105)
1273.57/1273.84	c GC COLLECT
1273.57/1273.84	c #Conflicts:      69000 | #Learnt:       7198 | 0.000
1273.57/1273.84	c total clause space: 886.764MB
1273.57/1273.84	c total #watches: 385315
1293.65/1293.99	c total #propagations: 25630352 / total #impl: 243735346 (eff. 0.105)
1293.65/1293.99	c #Conflicts:      70000 | #Learnt:       8198 | 0.000
1293.65/1293.99	c total clause space: 886.764MB
1293.65/1293.99	c total #watches: 426483
1311.15/1311.46	c total #propagations: 26014124 / total #impl: 247219723 (eff. 0.105)
1311.15/1311.46	c #Conflicts:      71000 | #Learnt:       9198 | 0.000
1311.15/1311.46	c total clause space: 886.764MB
1311.15/1311.46	c total #watches: 450051
1342.34/1342.66	c total #propagations: 26393539 / total #impl: 249578196 (eff. 0.106)
1342.34/1342.66	c #Conflicts:      72000 | #Learnt:      10198 | 0.000
1342.34/1342.66	c total clause space: 886.764MB
1342.34/1342.66	c total #watches: 511890
1374.23/1374.54	c total #propagations: 26750923 / total #impl: 252570242 (eff. 0.106)
1374.23/1374.54	c #Conflicts:      73000 | #Learnt:      11198 | 0.000
1374.23/1374.54	c total clause space: 886.764MB
1374.23/1374.54	c total #watches: 559957
1401.33/1401.61	c total #propagations: 27118078 / total #impl: 256219076 (eff. 0.106)
1401.33/1401.61	c #Conflicts:      74000 | #Learnt:      12198 | 0.000
1401.33/1401.61	c total clause space: 886.764MB
1401.33/1401.61	c total #watches: 589299
1438.02/1438.34	c total #propagations: 27587638 / total #impl: 260035875 (eff. 0.106)
1438.02/1438.34	c GC COLLECT
1438.02/1438.34	c #Conflicts:      75000 | #Learnt:       6696 | 0.000
1438.02/1438.34	c total clause space: 886.764MB
1438.02/1438.34	c total #watches: 366717
1456.91/1457.20	c total #propagations: 27967058 / total #impl: 264254815 (eff. 0.106)
1456.91/1457.20	c #Conflicts:      76000 | #Learnt:       7696 | 0.000
1456.91/1457.20	c total clause space: 886.764MB
1456.91/1457.20	c total #watches: 377285
1476.31/1476.65	c total #propagations: 28390674 / total #impl: 267781239 (eff. 0.106)
1476.31/1476.65	c #Conflicts:      77000 | #Learnt:       8696 | 0.000
1476.31/1476.65	c total clause space: 886.764MB
1476.31/1476.65	c total #watches: 408402
1493.91/1494.29	c total #propagations: 28781350 / total #impl: 271542993 (eff. 0.106)
1493.91/1494.29	c #Conflicts:      78000 | #Learnt:       9696 | 0.000
1493.91/1494.29	c total clause space: 886.764MB
1493.91/1494.29	c total #watches: 451746
1513.50/1513.82	c total #propagations: 29100352 / total #impl: 274785174 (eff. 0.106)
1513.50/1513.82	c #Conflicts:      79000 | #Learnt:      10696 | 0.000
1513.50/1513.82	c total clause space: 886.764MB
1513.50/1513.82	c total #watches: 479201
1532.20/1532.59	c total #propagations: 29477659 / total #impl: 277827909 (eff. 0.106)
1532.20/1532.59	c #Conflicts:      80000 | #Learnt:      11696 | 0.000
1532.20/1532.59	c total clause space: 886.764MB
1532.20/1532.59	c total #watches: 484892
1557.30/1557.61	c total #propagations: 29888611 / total #impl: 282047762 (eff. 0.106)
1557.30/1557.61	c #Conflicts:      81000 | #Learnt:      12696 | 0.000
1557.30/1557.61	c total clause space: 886.764MB
1557.30/1557.61	c total #watches: 497956
1581.98/1582.31	c total #propagations: 30291281 / total #impl: 287255705 (eff. 0.105)
1581.98/1582.31	c GC COLLECT
1581.98/1582.31	c #Conflicts:      82000 | #Learnt:       6898 | 0.000
1581.98/1582.31	c total clause space: 886.764MB
1581.98/1582.31	c total #watches: 374634
1600.58/1600.91	c total #propagations: 30602325 / total #impl: 290188302 (eff. 0.105)
1600.58/1600.91	c #Conflicts:      83000 | #Learnt:       7898 | 0.000
1600.58/1600.91	c total clause space: 886.764MB
1600.58/1600.91	c total #watches: 421752
1618.78/1619.13	c total #propagations: 30942339 / total #impl: 293091965 (eff. 0.106)
1618.78/1619.13	c #Conflicts:      84000 | #Learnt:       8898 | 0.000
1618.78/1619.13	c total clause space: 886.764MB
1618.78/1619.13	c total #watches: 447084
1637.68/1638.07	c total #propagations: 31326808 / total #impl: 296842246 (eff. 0.106)
1637.68/1638.07	c #Conflicts:      85000 | #Learnt:       9898 | 0.000
1637.68/1638.07	c total clause space: 886.764MB
1637.68/1638.07	c total #watches: 502925
1661.37/1661.78	c total #propagations: 31744337 / total #impl: 300823442 (eff. 0.106)
1661.37/1661.78	c #Conflicts:      86000 | #Learnt:      10898 | 0.000
1661.37/1661.78	c total clause space: 886.764MB
1661.37/1661.78	c total #watches: 548290
1688.97/1689.36	c total #propagations: 32114865 / total #impl: 304355737 (eff. 0.106)
1688.97/1689.36	c #Conflicts:      87000 | #Learnt:      11898 | 0.000
1688.97/1689.36	c total clause space: 886.764MB
1688.97/1689.36	c total #watches: 580845
1712.37/1712.75	c total #propagations: 32527329 / total #impl: 309967330 (eff. 0.105)
1712.37/1712.75	c #Conflicts:      88000 | #Learnt:      12898 | 0.000
1712.37/1712.75	c total clause space: 886.764MB
1712.37/1712.75	c total #watches: 618984
1738.96/1739.35	c total #propagations: 32897442 / total #impl: 313995841 (eff. 0.105)
1738.96/1739.35	c #Conflicts:      89000 | #Learnt:      13898 | 0.000
1738.96/1739.35	c total clause space: 886.764MB
1738.96/1739.35	c total #watches: 645208
1759.55/1759.90	c total #propagations: 33315512 / total #impl: 319553545 (eff. 0.104)
1759.55/1759.90	c GC COLLECT
1759.55/1759.90	c #Conflicts:      90000 | #Learnt:       7800 | 0.000
1759.55/1759.90	c total clause space: 886.764MB
1759.55/1759.90	c total #watches: 408834
1780.95/1781.37	c total #propagations: 33741085 / total #impl: 324678627 (eff. 0.104)
1780.95/1781.37	c #Conflicts:      91000 | #Learnt:       8800 | 0.000
1780.95/1781.37	c total clause space: 886.764MB
1780.95/1781.37	c total #watches: 440172

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-4118841-1467228325/watcher-4118841-1467228325 -o /tmp/evaluation-result-4118841-1467228325/solver-4118841-1467228325 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467210315-2001 --watchdog 1960 --input HOME/instance-4118841-1467228325.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=3637
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.10 2.09 2.02 3/176 3640
/proc/meminfo: memFree=30449944/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 1863560 57319424 7804 33554432000 4194304 6211289 140736596748880 140736551492904 4206551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 13994 8316 98 493 0 13491 0

[startup+0.100203 s]
/proc/loadavg: 2.10 2.09 2.02 3/176 3640
/proc/meminfo: memFree=30449944/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=67308 CPUtime=0.09 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 1795 0 0 0 9 0 0 0 20 0 1 0 1863560 68923392 14676 33554432000 4194304 6211289 140736596748880 140736596746424 5292177 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 16827 14677 144 493 0 16324 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67308

[startup+0.200355 s]
/proc/loadavg: 2.10 2.09 2.02 3/176 3640
/proc/meminfo: memFree=30449944/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=67612 CPUtime=0.19 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 2062 0 0 0 19 0 0 0 20 0 1 0 1863560 69234688 14889 33554432000 4194304 6211289 140736596748880 140736596746424 4205577 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 16903 14889 204 493 0 16400 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 67612

[startup+0.300258 s]
/proc/loadavg: 2.10 2.09 2.02 3/176 3640
/proc/meminfo: memFree=30449944/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=70720 CPUtime=0.29 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 2574 0 0 0 29 0 0 0 20 0 1 0 1863560 72417280 15264 33554432000 4194304 6211289 140736596748880 140736596746424 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 17680 15264 204 493 0 17177 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70720

[startup+0.700231 s]
/proc/loadavg: 2.10 2.09 2.02 3/176 3640
/proc/meminfo: memFree=30449944/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=82320 CPUtime=0.69 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 3069 0 0 0 69 0 0 0 20 0 1 0 1863560 84295680 16162 33554432000 4194304 6211289 140736596748880 140736596746424 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 20580 16162 204 493 0 20077 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82320

[startup+1.50024 s]
/proc/loadavg: 2.10 2.09 2.02 3/177 3687
/proc/meminfo: memFree=31332560/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=93996 CPUtime=1.49 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 3306 0 0 0 149 0 0 0 20 0 1 0 1863560 96251904 18903 33554432000 4194304 6211289 140736596748880 140736596747112 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 23499 18903 204 493 0 22996 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93996

[startup+3.10029 s]
/proc/loadavg: 2.10 2.09 2.02 3/177 3687
/proc/meminfo: memFree=31302704/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=144344 CPUtime=3.09 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 3659 0 0 0 308 1 0 0 20 0 1 0 1863560 147808256 25861 33554432000 4194304 6211289 140736596748880 140736596747112 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 36086 25861 214 493 0 35583 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144344

[startup+6.30024 s]
/proc/loadavg: 2.09 2.09 2.02 3/177 3687
/proc/meminfo: memFree=31249676/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=144740 CPUtime=6.29 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 3789 0 0 0 628 1 0 0 20 0 1 0 1863560 148213760 31612 33554432000 4194304 6211289 140736596748880 140736596746872 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 36185 31612 214 493 0 35682 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 144740

[startup+12.7002 s]
/proc/loadavg: 2.16 2.10 2.02 3/177 3687
/proc/meminfo: memFree=31199156/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=195792 CPUtime=12.69 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 6240 0 0 0 1267 2 0 0 20 0 1 0 1863560 200491008 37493 33554432000 4194304 6211289 140736596748880 140736596746872 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 48948 37493 219 493 0 48445 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 195792

[startup+25.5003 s]
/proc/loadavg: 2.20 2.11 2.02 3/177 3688
/proc/meminfo: memFree=31120428/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=278712 CPUtime=25.49 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 6895 0 0 0 2545 4 0 0 20 0 1 0 1863560 285401088 49868 33554432000 4194304 6211289 140736596748880 140736596746872 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 69678 49868 219 493 0 69175 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 278712

[startup+51.1003 s]
/proc/loadavg: 2.34 2.15 2.04 4/177 3688
/proc/meminfo: memFree=31053880/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=279668 CPUtime=51.08 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 7961 0 0 0 5104 4 0 0 20 0 1 0 1863560 286380032 58784 33554432000 4194304 6211289 140736596748880 140736596746792 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 69917 58784 219 493 0 69414 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 279668

[startup+102.3 s]
/proc/loadavg: 2.14 2.12 2.03 3/177 3689
/proc/meminfo: memFree=30956300/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=413636 CPUtime=102.27 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 9138 0 0 0 10221 6 0 0 20 0 1 0 1863560 423563264 74925 33554432000 4194304 6211289 140736596748880 140736596747224 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 103409 74925 219 493 0 102906 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 413636

[startup+162.3 s]
/proc/loadavg: 2.10 2.11 2.03 3/177 3690
/proc/meminfo: memFree=30876416/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=414920 CPUtime=162.26 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 9709 0 0 0 16218 8 0 0 20 0 1 0 1863560 424878080 89293 33554432000 4194304 6211289 140736596748880 140736596746872 4209314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 103730 89293 219 493 0 103227 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 414920

[startup+222.307 s]
/proc/loadavg: 2.10 2.11 2.03 3/177 3691
/proc/meminfo: memFree=30816276/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=415484 CPUtime=222.25 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 9909 0 0 0 22217 8 0 0 20 0 1 0 1863560 425455616 98180 33554432000 4194304 6211289 140736596748880 140736596747224 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 103871 98180 219 493 0 103368 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 415484

[startup+282.3 s]
/proc/loadavg: 2.04 2.08 2.03 3/178 3695
/proc/meminfo: memFree=30761980/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=630544 CPUtime=282.24 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 10530 0 0 0 28215 9 0 0 20 0 1 0 1863560 645677056 106618 33554432000 4194304 6211289 140736596748880 140736596747224 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 157636 106618 219 493 0 157133 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 630544

[startup+342.3 s]
/proc/loadavg: 2.01 2.07 2.02 3/177 3697
/proc/meminfo: memFree=30736680/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=630828 CPUtime=342.23 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 10734 0 0 0 34214 9 0 0 20 0 1 0 1863560 645967872 112940 33554432000 4194304 6211289 140736596748880 140736596747224 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 157707 112940 219 493 0 157204 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 630828

[startup+402.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/177 3698
/proc/meminfo: memFree=30713164/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=630828 CPUtime=402.22 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 10884 0 0 0 40212 10 0 0 20 0 1 0 1863560 645967872 118711 33554432000 4194304 6211289 140736596748880 140736596747224 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 157707 118711 219 493 0 157204 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 630828

[startup+462.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/177 3699
/proc/meminfo: memFree=30652164/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=631104 CPUtime=462.21 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 11059 0 0 0 46211 10 0 0 20 0 1 0 1863560 646250496 130636 33554432000 4194304 6211289 140736596748880 140736596747224 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 157776 130636 219 493 0 157273 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 631104

[startup+522.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 3700
/proc/meminfo: memFree=30622596/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=631240 CPUtime=522.19 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 11166 0 0 0 52209 10 0 0 20 0 1 0 1863560 646389760 135319 33554432000 4194304 6211289 140736596748880 140736596746872 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 157810 135319 219 493 0 157307 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 631240

[startup+582.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/177 3701
/proc/meminfo: memFree=30583340/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=631656 CPUtime=582.17 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 11299 0 0 0 58206 11 0 0 20 0 1 0 1863560 646815744 141564 33554432000 4194304 6211289 140736596748880 140736596747224 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 157914 141564 219 493 0 157411 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 631656


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


[startup+882.307 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 3710
/proc/meminfo: memFree=30503268/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=982336 CPUtime=882.13 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 11989 0 0 0 88197 16 0 0 20 0 1 0 1863560 1005912064 159579 33554432000 4194304 6211289 140736596748880 140736596747224 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 245584 159579 219 493 0 245081 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 982336

[startup+942.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 3712
/proc/meminfo: memFree=30503400/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=982336 CPUtime=942.12 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 11992 0 0 0 94196 16 0 0 20 0 1 0 1863560 1005912064 159582 33554432000 4194304 6211289 140736596748880 140736596747224 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 245584 159582 219 493 0 245081 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 982336

[startup+1002.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 3713
/proc/meminfo: memFree=30471808/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=982488 CPUtime=1002.1 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 12244 0 0 0 100194 16 0 0 20 0 1 0 1863560 1006067712 167460 33554432000 4194304 6211289 140736596748880 140736596747224 4250206 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 245622 167460 219 493 0 245119 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 982488

[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 3714
/proc/meminfo: memFree=30471816/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=982488 CPUtime=1062.09 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 12250 0 0 0 106193 16 0 0 20 0 1 0 1863560 1006067712 167466 33554432000 4194304 6211289 140736596748880 140736596747224 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 245622 167466 219 493 0 245119 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 982488

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3715
/proc/meminfo: memFree=30452884/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=982488 CPUtime=1122.09 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 12364 0 0 0 112192 17 0 0 20 0 1 0 1863560 1006067712 172166 33554432000 4194304 6211289 140736596748880 140736596747224 4209314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 245622 172166 219 493 0 245119 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 982488

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3716
/proc/meminfo: memFree=30434256/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=982488 CPUtime=1182.08 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 12390 0 0 0 118191 17 0 0 20 0 1 0 1863560 1006067712 173725 33554432000 4194304 6211289 140736596748880 140736596747224 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 245622 173725 219 493 0 245119 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 982488

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3718
/proc/meminfo: memFree=30419428/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=982488 CPUtime=1242.07 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 12477 0 0 0 124190 17 0 0 20 0 1 0 1863560 1006067712 173793 33554432000 4194304 6211289 140736596748880 140736596747224 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 245622 173793 219 493 0 245119 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 982488

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3719
/proc/meminfo: memFree=30385928/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=982488 CPUtime=1302.05 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 12509 0 0 0 130188 17 0 0 20 0 1 0 1863560 1006067712 179937 33554432000 4194304 6211289 140736596748880 140736596747224 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 245622 179937 219 493 0 245119 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 982488

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3720
/proc/meminfo: memFree=30375608/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=982488 CPUtime=1362.03 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 12615 0 0 0 136186 17 0 0 20 0 1 0 1863560 1006067712 180009 33554432000 4194304 6211289 140736596748880 140736596747224 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 245622 180009 219 493 0 245119 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 982488

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3721
/proc/meminfo: memFree=30342936/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=983844 CPUtime=1422.03 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 12955 0 0 0 142185 18 0 0 20 0 1 0 1863560 1007456256 187495 33554432000 4194304 6211289 140736596748880 140736596746744 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 245961 187495 219 493 0 245458 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 983844

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3725
/proc/meminfo: memFree=30317312/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=983996 CPUtime=1482.01 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 13026 0 0 0 148183 18 0 0 20 0 1 0 1863560 1007611904 191639 33554432000 4194304 6211289 140736596748880 140736596747224 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 245999 191639 219 493 0 245496 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 983996

[startup+1542.31 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 3726
/proc/meminfo: memFree=30309772/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=984140 CPUtime=1542 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 13081 0 0 0 154182 18 0 0 20 0 1 0 1863560 1007759360 191682 33554432000 4194304 6211289 140736596748880 140736596747224 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 246035 191682 219 493 0 245532 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 984140

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3728
/proc/meminfo: memFree=30283288/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=984140 CPUtime=1601.98 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 13110 0 0 0 160180 18 0 0 20 0 1 0 1863560 1007759360 196804 33554432000 4194304 6211289 140736596748880 140736596747224 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 246035 196804 219 493 0 245532 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 984140

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3729
/proc/meminfo: memFree=30283508/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=984140 CPUtime=1661.97 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 13114 0 0 0 166179 18 0 0 20 0 1 0 1863560 1007759360 196865 33554432000 4194304 6211289 140736596748880 140736596747224 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 246035 196865 219 493 0 245532 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 984140

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3730
/proc/meminfo: memFree=30283508/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=984140 CPUtime=1721.96 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 13118 0 0 0 172178 18 0 0 20 0 1 0 1863560 1007759360 196869 33554432000 4194304 6211289 140736596748880 140736596747224 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 246035 196869 219 493 0 245532 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 984140

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3731
/proc/meminfo: memFree=30251432/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=984280 CPUtime=1781.95 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 13177 0 0 0 178177 18 0 0 20 0 1 0 1863560 1007902720 201527 33554432000 4194304 6211289 140736596748880 140736596747224 4209244 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 246070 201527 219 493 0 245567 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 984280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3731
/proc/meminfo: memFree=30252180/32872528 swapFree=239020/271724
[pid=3640] ppid=3637 vsize=984280 CPUtime=1800.05 cores=0,2,4,6
/proc/3640/stat : 3640 (cdcl-cuttingpla) R 3637 3640 1985 0 -1 4202496 13177 0 0 0 179987 18 0 0 20 0 1 0 1863560 1007902720 201527 33554432000 4194304 6211289 140736596748880 140736596747224 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/3640/statm: 246070 201527 219 493 0 245567 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 984280

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 3640 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.4
CPU time (s): 1800.06
CPU user time (s): 1799.87
CPU system time (s): 0.189971
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 984280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.189971
maximum resident set size= 806108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13177
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= 153
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.50216 second user time and 6.62199 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-29 21:25:25
IDJOB=4118841
IDBENCH=111538
IDSOLVER=2549
FILE ID=node107/4118841-1467228325
RUNJOBID= node107-1467210315-2001
PBS_JOBID= 19997599
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_bern55-14.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118841-1467228325/watcher-4118841-1467228325 -o /tmp/evaluation-result-4118841-1467228325/solver-4118841-1467228325 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467210315-2001 --watchdog 1960 --input HOME/instance-4118841-1467228325.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= adfa0d0ba581bbbc431d919356cf7a06
RANDOM SEED=1522440691

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30450472 kB
Buffers:           40216 kB
Cached:           375172 kB
SwapCached:            0 kB
Active:          1076128 kB
Inactive:         367028 kB
Active(anon):    1026260 kB
Inactive(anon):     4092 kB
Active(file):      49868 kB
Inactive(file):   362936 kB
Unevictable:      271724 kB
Mlocked:          239020 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2748 kB
Writeback:             0 kB
AnonPages:       1302948 kB
Mapped:            14868 kB
Shmem:               204 kB
Slab:             574244 kB
SReclaimable:      18608 kB
SUnreclaim:       555636 kB
KernelStack:        1472 kB
PageTables:         6404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1968884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    131072 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= 71724 MiB
End job on node107 at 2016-06-29 21:55:25