Trace number 4118931

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_bern40-10.lin.opb
MD5SUM97ab9db877b63a63c316f183597a0e7a
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-1001
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2053
Total number of constraints4026
Number of constraints which are clauses2013
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2013
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 2053
Biggest coefficient in the objective function 220
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 63240
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 220
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 63240
Number of bits of the biggest sum of numbers16
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.01	c * #variable= 2053 #constraint= 4026
0.00/0.03	c * #variable= 2053 #constraint= 4026
1.19/1.28	c S1->S2
1.19/1.28	c #Conflicts:       1000 | #Learnt:       1000 | 0.000
1.19/1.28	c total clause space: 48.1602MB
1.19/1.28	c total #watches: 71925
4.69/4.76	c total #propagations: 54290 / total #impl: 897488 (eff. 0.060)
4.69/4.76	c #Conflicts:       2000 | #Learnt:       2000 | 0.001
4.69/4.76	c total clause space: 78.2603MB
4.69/4.76	c total #watches: 150380
12.39/12.49	c total #propagations: 98019 / total #impl: 2668399 (eff. 0.037)
12.39/12.49	c GC COLLECT
12.39/12.49	c #Conflicts:       3000 | #Learnt:       2001 | 0.000
12.39/12.49	c total clause space: 78.2603MB
12.39/12.49	c total #watches: 154364
23.19/23.24	c total #propagations: 197552 / total #impl: 3952715 (eff. 0.050)
23.19/23.24	c #Conflicts:       4000 | #Learnt:       3001 | 0.000
23.19/23.24	c total clause space: 127.173MB
23.19/23.24	c total #watches: 207225
30.48/30.55	c total #propagations: 307891 / total #impl: 5558412 (eff. 0.055)
30.48/30.55	c GC COLLECT
30.48/30.55	c #Conflicts:       5000 | #Learnt:       2353 | 0.000
30.48/30.55	c total clause space: 127.173MB
30.48/30.55	c total #watches: 138958
39.18/39.27	c total #propagations: 396377 / total #impl: 6780459 (eff. 0.058)
39.18/39.27	c #Conflicts:       6000 | #Learnt:       3353 | 0.000
39.18/39.27	c total clause space: 127.173MB
39.18/39.27	c total #watches: 254402
49.78/49.81	c total #propagations: 472103 / total #impl: 8551813 (eff. 0.055)
49.78/49.81	c GC COLLECT
49.78/49.81	c #Conflicts:       7000 | #Learnt:       2231 | 0.000
49.78/49.81	c total clause space: 206.656MB
49.78/49.81	c total #watches: 248125
56.47/56.52	c total #propagations: 532923 / total #impl: 13419600 (eff. 0.040)
56.47/56.52	c #Conflicts:       8000 | #Learnt:       3231 | 0.000
56.47/56.52	c total clause space: 206.656MB
56.47/56.52	c total #watches: 277358
70.37/70.49	c total #propagations: 590177 / total #impl: 14904902 (eff. 0.040)
70.37/70.49	c #Conflicts:       9000 | #Learnt:       4231 | 0.000
70.37/70.49	c total clause space: 206.656MB
70.37/70.49	c total #watches: 316221
86.86/86.92	c total #propagations: 669144 / total #impl: 17213488 (eff. 0.039)
86.86/86.92	c GC COLLECT
86.86/86.92	c #Conflicts:      10000 | #Learnt:       2718 | 0.000
86.86/86.92	c total clause space: 206.656MB
86.86/86.92	c total #watches: 110288
92.46/92.51	c total #propagations: 827838 / total #impl: 17959773 (eff. 0.046)
92.46/92.51	c #Conflicts:      11000 | #Learnt:       3718 | 0.000
92.46/92.51	c total clause space: 206.656MB
92.46/92.51	c total #watches: 127165
97.46/97.55	c total #propagations: 946965 / total #impl: 18908249 (eff. 0.050)
97.46/97.55	c #Conflicts:      12000 | #Learnt:       4718 | 0.000
97.46/97.55	c total clause space: 206.656MB
97.46/97.55	c total #watches: 144399
104.56/104.66	c total #propagations: 1052993 / total #impl: 19864638 (eff. 0.053)
104.56/104.66	c #Conflicts:      13000 | #Learnt:       5718 | 0.000
104.56/104.66	c total clause space: 206.656MB
104.56/104.66	c total #watches: 168275
108.65/108.76	c total #propagations: 1158669 / total #impl: 21074750 (eff. 0.055)
108.65/108.76	c GC COLLECT
108.65/108.76	c #Conflicts:      14000 | #Learnt:       3862 | 0.000
108.65/108.76	c total clause space: 206.656MB
108.65/108.76	c total #watches: 131589
113.65/113.71	c total #propagations: 1238265 / total #impl: 22433580 (eff. 0.055)
113.65/113.71	c #Conflicts:      15000 | #Learnt:       4862 | 0.000
113.65/113.71	c total clause space: 206.656MB
113.65/113.71	c total #watches: 188353
121.45/121.53	c total #propagations: 1292701 / total #impl: 24151640 (eff. 0.054)
121.45/121.53	c #Conflicts:      16000 | #Learnt:       5862 | 0.000
121.45/121.53	c total clause space: 206.656MB
121.45/121.53	c total #watches: 276174
128.66/128.80	c total #propagations: 1340174 / total #impl: 26472343 (eff. 0.051)
128.66/128.80	c GC COLLECT
128.66/128.80	c #Conflicts:      17000 | #Learnt:       3684 | 0.000
128.66/128.80	c total clause space: 335.816MB
128.66/128.80	c total #watches: 331063
136.25/136.36	c total #propagations: 1381624 / total #impl: 29497269 (eff. 0.047)
136.25/136.36	c #Conflicts:      18000 | #Learnt:       4684 | 0.000
136.25/136.36	c total clause space: 335.816MB
136.25/136.36	c total #watches: 438906
146.25/146.33	c total #propagations: 1419410 / total #impl: 32328012 (eff. 0.044)
146.25/146.33	c #Conflicts:      19000 | #Learnt:       5684 | 0.000
146.25/146.33	c total clause space: 335.816MB
146.25/146.33	c total #watches: 556185
166.35/166.49	c total #propagations: 1456961 / total #impl: 35729295 (eff. 0.041)
166.35/166.49	c #Conflicts:      20000 | #Learnt:       6684 | 0.000
166.35/166.49	c total clause space: 335.816MB
166.35/166.49	c total #watches: 649950
192.55/192.65	c total #propagations: 1507266 / total #impl: 38035917 (eff. 0.040)
192.55/192.65	c GC COLLECT
192.55/192.65	c #Conflicts:      21000 | #Learnt:       4193 | 0.000
192.55/192.65	c total clause space: 335.816MB
192.55/192.65	c total #watches: 458467
217.34/217.44	c total #propagations: 1593067 / total #impl: 40083639 (eff. 0.040)
217.34/217.44	c #Conflicts:      22000 | #Learnt:       5193 | 0.000
217.34/217.44	c total clause space: 335.816MB
217.34/217.44	c total #watches: 477222
245.44/245.59	c total #propagations: 1722718 / total #impl: 41628086 (eff. 0.041)
245.44/245.59	c #Conflicts:      23000 | #Learnt:       6193 | 0.000
245.44/245.59	c total clause space: 335.816MB
245.44/245.59	c total #watches: 550614
263.63/263.74	c total #propagations: 1823337 / total #impl: 44246692 (eff. 0.041)
263.63/263.74	c #Conflicts:      24000 | #Learnt:       7193 | 0.000
263.63/263.74	c total clause space: 335.816MB
263.63/263.74	c total #watches: 642889
282.93/283.05	c total #propagations: 1865353 / total #impl: 47561860 (eff. 0.039)
282.93/283.05	c GC COLLECT
282.93/283.05	c #Conflicts:      25000 | #Learnt:       4397 | 0.000
282.93/283.05	c total clause space: 335.816MB
282.93/283.05	c total #watches: 407819
308.82/308.97	c total #propagations: 1926599 / total #impl: 50624051 (eff. 0.038)
308.82/308.97	c #Conflicts:      26000 | #Learnt:       5397 | 0.000
308.82/308.97	c total clause space: 335.816MB
308.82/308.97	c total #watches: 428525
338.12/338.27	c total #propagations: 2038838 / total #impl: 55941572 (eff. 0.036)
338.12/338.27	c #Conflicts:      27000 | #Learnt:       6397 | 0.000
338.12/338.27	c total clause space: 335.816MB
338.12/338.27	c total #watches: 518379
362.31/362.48	c total #propagations: 2148327 / total #impl: 62194518 (eff. 0.035)
362.31/362.48	c #Conflicts:      28000 | #Learnt:       7397 | 0.000
362.31/362.48	c total clause space: 335.816MB
362.31/362.48	c total #watches: 527636
389.11/389.29	c total #propagations: 2280145 / total #impl: 63193772 (eff. 0.036)
389.11/389.29	c GC COLLECT
389.11/389.29	c #Conflicts:      29000 | #Learnt:       4299 | 0.000
389.11/389.29	c total clause space: 335.816MB
389.11/389.29	c total #watches: 262369
401.81/401.98	c total #propagations: 2376776 / total #impl: 65626190 (eff. 0.036)
401.81/401.98	c #Conflicts:      30000 | #Learnt:       5299 | 0.000
401.81/401.98	c total clause space: 335.816MB
401.81/401.98	c total #watches: 274599
417.50/417.61	c total #propagations: 2473281 / total #impl: 66371588 (eff. 0.037)
417.50/417.61	c #Conflicts:      31000 | #Learnt:       6299 | 0.000
417.50/417.61	c total clause space: 335.816MB
417.50/417.61	c total #watches: 291182
431.30/431.49	c total #propagations: 2600842 / total #impl: 68064404 (eff. 0.038)
431.30/431.49	c #Conflicts:      32000 | #Learnt:       7299 | 0.000
431.30/431.49	c total clause space: 335.816MB
431.30/431.49	c total #watches: 370635
447.40/447.59	c total #propagations: 2677434 / total #impl: 71895277 (eff. 0.037)
447.40/447.59	c #Conflicts:      33000 | #Learnt:       8299 | 0.000
447.40/447.59	c total clause space: 335.816MB
447.40/447.59	c total #watches: 402824
460.90/461.05	c total #propagations: 2744224 / total #impl: 73936314 (eff. 0.037)
460.90/461.05	c GC COLLECT
460.90/461.05	c #Conflicts:      34000 | #Learnt:       4900 | 0.000
460.90/461.05	c total clause space: 335.816MB
460.90/461.05	c total #watches: 214229
467.89/468.05	c total #propagations: 2815368 / total #impl: 75444214 (eff. 0.037)
467.89/468.05	c #Conflicts:      35000 | #Learnt:       5900 | 0.000
467.89/468.05	c total clause space: 335.816MB
467.89/468.05	c total #watches: 242513
478.69/478.87	c total #propagations: 2865979 / total #impl: 76694206 (eff. 0.037)
478.69/478.87	c #Conflicts:      36000 | #Learnt:       6900 | 0.000
478.69/478.87	c total clause space: 335.816MB
478.69/478.87	c total #watches: 323521
491.49/491.64	c total #propagations: 2919765 / total #impl: 80823713 (eff. 0.036)
491.49/491.64	c #Conflicts:      37000 | #Learnt:       7900 | 0.000
491.49/491.64	c total clause space: 335.816MB
491.49/491.64	c total #watches: 401599
509.09/509.24	c total #propagations: 2971865 / total #impl: 85327994 (eff. 0.035)
509.09/509.24	c #Conflicts:      38000 | #Learnt:       8900 | 0.000
509.09/509.24	c total clause space: 335.816MB
509.09/509.24	c total #watches: 432132
526.89/527.05	c total #propagations: 3027902 / total #impl: 97799454 (eff. 0.031)
526.89/527.05	c GC COLLECT
526.89/527.05	c #Conflicts:      39000 | #Learnt:       5200 | 0.000
526.89/527.05	c total clause space: 335.816MB
526.89/527.05	c total #watches: 326525
547.97/548.17	c total #propagations: 3110442 / total #impl: 100645693 (eff. 0.031)
547.97/548.17	c #Conflicts:      40000 | #Learnt:       6200 | 0.000
547.97/548.17	c total clause space: 335.816MB
547.97/548.17	c total #watches: 367850
571.06/571.24	c total #propagations: 3221662 / total #impl: 103152437 (eff. 0.031)
571.06/571.24	c #Conflicts:      41000 | #Learnt:       7200 | 0.000
571.06/571.24	c total clause space: 335.816MB
571.06/571.24	c total #watches: 411386
598.05/598.21	c total #propagations: 3341575 / total #impl: 107326613 (eff. 0.031)
598.05/598.21	c #Conflicts:      42000 | #Learnt:       8200 | 0.000
598.05/598.21	c total clause space: 335.816MB
598.05/598.21	c total #watches: 434927
625.23/625.45	c total #propagations: 3462739 / total #impl: 111295575 (eff. 0.031)
625.23/625.45	c #Conflicts:      43000 | #Learnt:       9200 | 0.000
625.23/625.45	c total clause space: 335.816MB
625.23/625.45	c total #watches: 440734
655.22/655.42	c total #propagations: 3581986 / total #impl: 111854418 (eff. 0.032)
655.22/655.42	c GC COLLECT
655.22/655.42	c #Conflicts:      44000 | #Learnt:       5203 | 0.000
655.22/655.42	c total clause space: 545.701MB
655.22/655.42	c total #watches: 318678
676.92/677.14	c total #propagations: 3722844 / total #impl: 113424824 (eff. 0.033)
676.92/677.14	c #Conflicts:      45000 | #Learnt:       6203 | 0.000
676.92/677.14	c total clause space: 545.701MB
676.92/677.14	c total #watches: 349407
695.32/695.56	c total #propagations: 3861784 / total #impl: 115695761 (eff. 0.033)
695.32/695.56	c #Conflicts:      46000 | #Learnt:       7203 | 0.000
695.32/695.56	c total clause space: 545.701MB
695.32/695.56	c total #watches: 370556
712.41/712.69	c total #propagations: 3980612 / total #impl: 118644125 (eff. 0.034)
712.41/712.69	c #Conflicts:      47000 | #Learnt:       8203 | 0.000
712.41/712.69	c total clause space: 545.701MB
712.41/712.69	c total #watches: 421775
728.61/728.85	c total #propagations: 4047619 / total #impl: 123305197 (eff. 0.033)
728.61/728.85	c #Conflicts:      48000 | #Learnt:       9203 | 0.000
728.61/728.85	c total clause space: 545.701MB
728.61/728.85	c total #watches: 454512
752.81/753.09	c total #propagations: 4102455 / total #impl: 125858649 (eff. 0.033)
752.81/753.09	c #Conflicts:      49000 | #Learnt:      10203 | 0.000
752.81/753.09	c total clause space: 545.701MB
752.81/753.09	c total #watches: 499669
772.51/772.74	c total #propagations: 4200402 / total #impl: 127649585 (eff. 0.033)
772.51/772.74	c GC COLLECT
772.51/772.74	c #Conflicts:      50000 | #Learnt:       5900 | 0.000
772.51/772.74	c total clause space: 545.701MB
772.51/772.74	c total #watches: 337209
782.02/782.23	c total #propagations: 4298184 / total #impl: 128905214 (eff. 0.033)
782.02/782.23	c #Conflicts:      51000 | #Learnt:       6900 | 0.000
782.02/782.23	c total clause space: 545.701MB
782.02/782.23	c total #watches: 392686
795.91/796.15	c total #propagations: 4359297 / total #impl: 130044047 (eff. 0.034)
795.91/796.15	c #Conflicts:      52000 | #Learnt:       7900 | 0.000
795.91/796.15	c total clause space: 545.701MB
795.91/796.15	c total #watches: 440948
810.81/811.05	c total #propagations: 4419662 / total #impl: 132427218 (eff. 0.033)
810.81/811.05	c #Conflicts:      53000 | #Learnt:       8900 | 0.000
810.81/811.05	c total clause space: 545.701MB
810.81/811.05	c total #watches: 469475
843.61/843.90	c total #propagations: 4480824 / total #impl: 134721739 (eff. 0.033)
843.61/843.90	c #Conflicts:      54000 | #Learnt:       9900 | 0.000
843.61/843.90	c total clause space: 545.701MB
843.61/843.90	c total #watches: 487793
873.20/873.44	c total #propagations: 4615253 / total #impl: 137929053 (eff. 0.033)
873.20/873.44	c #Conflicts:      55000 | #Learnt:      10900 | 0.000
873.20/873.44	c total clause space: 545.701MB
873.20/873.44	c total #watches: 536449
889.39/889.68	c total #propagations: 4739523 / total #impl: 139393980 (eff. 0.034)
889.39/889.68	c GC COLLECT
889.39/889.68	c #Conflicts:      56000 | #Learnt:       6302 | 0.000
889.39/889.68	c total clause space: 545.701MB
889.39/889.68	c total #watches: 375168
907.99/908.21	c total #propagations: 4832303 / total #impl: 142430602 (eff. 0.034)
907.99/908.21	c #Conflicts:      57000 | #Learnt:       7302 | 0.000
907.99/908.21	c total clause space: 545.701MB
907.99/908.21	c total #watches: 459095
926.88/927.11	c total #propagations: 4914320 / total #impl: 146943879 (eff. 0.033)
926.88/927.11	c #Conflicts:      58000 | #Learnt:       8302 | 0.000
926.88/927.11	c total clause space: 545.701MB
926.88/927.11	c total #watches: 495509
945.68/946.00	c total #propagations: 4969814 / total #impl: 148581287 (eff. 0.033)
945.68/946.00	c #Conflicts:      59000 | #Learnt:       9302 | 0.000
945.68/946.00	c total clause space: 545.701MB
945.68/946.00	c total #watches: 536420
958.68/958.94	c total #propagations: 5033671 / total #impl: 150711421 (eff. 0.033)
958.68/958.94	c #Conflicts:      60000 | #Learnt:      10302 | 0.000
958.68/958.94	c total clause space: 545.701MB
958.68/958.94	c total #watches: 645455
973.98/974.21	c total #propagations: 5067786 / total #impl: 153009128 (eff. 0.033)
973.98/974.21	c #Conflicts:      61000 | #Learnt:      11302 | 0.000
973.98/974.21	c total clause space: 545.701MB
973.98/974.21	c total #watches: 756609
1010.67/1010.93	c total #propagations: 5097368 / total #impl: 155176203 (eff. 0.033)
1010.67/1010.93	c GC COLLECT
1010.67/1010.93	c #Conflicts:      62000 | #Learnt:       6402 | 0.000
1010.67/1010.93	c total clause space: 545.701MB
1010.67/1010.93	c total #watches: 348148
1028.27/1028.58	c total #propagations: 5198902 / total #impl: 155684750 (eff. 0.033)
1028.27/1028.58	c #Conflicts:      63000 | #Learnt:       7402 | 0.000
1028.27/1028.58	c total clause space: 545.701MB
1028.27/1028.58	c total #watches: 384105
1046.97/1047.25	c total #propagations: 5277556 / total #impl: 156334949 (eff. 0.034)
1046.97/1047.25	c #Conflicts:      64000 | #Learnt:       8402 | 0.000
1046.97/1047.25	c total clause space: 545.701MB
1046.97/1047.25	c total #watches: 418755
1069.36/1069.69	c total #propagations: 5352642 / total #impl: 157013218 (eff. 0.034)
1069.36/1069.69	c #Conflicts:      65000 | #Learnt:       9402 | 0.000
1069.36/1069.69	c total clause space: 545.701MB
1069.36/1069.69	c total #watches: 492339
1098.76/1099.09	c total #propagations: 5420340 / total #impl: 161908560 (eff. 0.033)
1098.76/1099.09	c #Conflicts:      66000 | #Learnt:      10402 | 0.000
1098.76/1099.09	c total clause space: 545.701MB
1098.76/1099.09	c total #watches: 520366
1123.85/1124.20	c total #propagations: 5547083 / total #impl: 165833333 (eff. 0.033)
1123.85/1124.20	c #Conflicts:      67000 | #Learnt:      11402 | 0.000
1123.85/1124.20	c total clause space: 545.701MB
1123.85/1124.20	c total #watches: 546333
1153.76/1154.01	c total #propagations: 5659579 / total #impl: 168876033 (eff. 0.034)
1153.76/1154.01	c #Conflicts:      68000 | #Learnt:      12402 | 0.000
1153.76/1154.01	c total clause space: 545.701MB
1153.76/1154.01	c total #watches: 610181
1174.05/1174.37	c total #propagations: 5773847 / total #impl: 173071351 (eff. 0.033)
1174.05/1174.37	c GC COLLECT
1174.05/1174.37	c #Conflicts:      69000 | #Learnt:       7201 | 0.000
1174.05/1174.37	c total clause space: 545.701MB
1174.05/1174.37	c total #watches: 383696
1191.05/1191.37	c total #propagations: 5897997 / total #impl: 176795024 (eff. 0.033)
1191.05/1191.37	c #Conflicts:      70000 | #Learnt:       8201 | 0.000
1191.05/1191.37	c total clause space: 545.701MB
1191.05/1191.37	c total #watches: 397224
1207.14/1207.43	c total #propagations: 5989621 / total #impl: 180139074 (eff. 0.033)
1207.14/1207.43	c #Conflicts:      71000 | #Learnt:       9201 | 0.000
1207.14/1207.43	c total clause space: 545.701MB
1207.14/1207.43	c total #watches: 413122
1214.54/1214.86	c total #propagations: 6056702 / total #impl: 183961783 (eff. 0.033)
1214.54/1214.86	c #Conflicts:      72000 | #Learnt:      10201 | 0.000
1214.54/1214.86	c total clause space: 545.701MB
1214.54/1214.86	c total #watches: 419642
1231.44/1231.78	c total #propagations: 6113142 / total #impl: 184703433 (eff. 0.033)
1231.44/1231.78	c #Conflicts:      73000 | #Learnt:      11201 | 0.000
1231.44/1231.78	c total clause space: 545.701MB
1231.44/1231.78	c total #watches: 537880
1255.44/1255.71	c total #propagations: 6171567 / total #impl: 187374736 (eff. 0.033)
1255.44/1255.71	c #Conflicts:      74000 | #Learnt:      12201 | 0.000
1255.44/1255.71	c total clause space: 545.701MB
1255.44/1255.71	c total #watches: 598528
1277.83/1278.11	c total #propagations: 6234756 / total #impl: 190897444 (eff. 0.033)
1277.83/1278.11	c GC COLLECT
1277.83/1278.11	c #Conflicts:      75000 | #Learnt:       6700 | 0.000
1277.83/1278.11	c total clause space: 545.701MB
1277.83/1278.11	c total #watches: 359761
1300.32/1300.68	c total #propagations: 6294712 / total #impl: 194451560 (eff. 0.032)
1300.32/1300.68	c #Conflicts:      76000 | #Learnt:       7700 | 0.000
1300.32/1300.68	c total clause space: 545.701MB
1300.32/1300.68	c total #watches: 419370
1315.82/1316.16	c total #propagations: 6427642 / total #impl: 196650192 (eff. 0.033)
1315.82/1316.16	c #Conflicts:      77000 | #Learnt:       8700 | 0.000
1315.82/1316.16	c total clause space: 545.701MB
1315.82/1316.16	c total #watches: 466776
1331.52/1331.87	c total #propagations: 6488725 / total #impl: 198907021 (eff. 0.033)
1331.52/1331.87	c #Conflicts:      78000 | #Learnt:       9700 | 0.000
1331.52/1331.87	c total clause space: 545.701MB
1331.52/1331.87	c total #watches: 496560
1350.11/1350.46	c total #propagations: 6537151 / total #impl: 201950993 (eff. 0.032)
1350.11/1350.46	c #Conflicts:      79000 | #Learnt:      10700 | 0.000
1350.11/1350.46	c total clause space: 545.701MB
1350.11/1350.46	c total #watches: 535572
1370.21/1370.50	c total #propagations: 6581586 / total #impl: 206729609 (eff. 0.032)
1370.21/1370.50	c #Conflicts:      80000 | #Learnt:      11700 | 0.000
1370.21/1370.50	c total clause space: 545.701MB
1370.21/1370.50	c total #watches: 627415
1391.12/1391.48	c total #propagations: 6633217 / total #impl: 208824202 (eff. 0.032)
1391.12/1391.48	c #Conflicts:      81000 | #Learnt:      12700 | 0.000
1391.12/1391.48	c total clause space: 545.701MB
1391.12/1391.48	c total #watches: 779817
1410.31/1410.69	c total #propagations: 6678513 / total #impl: 211466155 (eff. 0.032)
1410.31/1410.69	c GC COLLECT
1410.31/1410.69	c #Conflicts:      82000 | #Learnt:       6905 | 0.000
1410.31/1410.69	c total clause space: 545.701MB
1410.31/1410.69	c total #watches: 382840
1421.41/1421.79	c total #propagations: 6716183 / total #impl: 213668951 (eff. 0.031)
1421.41/1421.79	c #Conflicts:      83000 | #Learnt:       7905 | 0.000
1421.41/1421.79	c total clause space: 545.701MB
1421.41/1421.79	c total #watches: 452299
1435.01/1435.33	c total #propagations: 6758547 / total #impl: 215496042 (eff. 0.031)
1435.01/1435.33	c #Conflicts:      84000 | #Learnt:       8905 | 0.000
1435.01/1435.33	c total clause space: 545.701MB
1435.01/1435.33	c total #watches: 506522
1451.31/1451.67	c total #propagations: 6807700 / total #impl: 218201593 (eff. 0.031)
1451.31/1451.67	c #Conflicts:      85000 | #Learnt:       9905 | 0.000
1451.31/1451.67	c total clause space: 545.701MB
1451.31/1451.67	c total #watches: 613721
1470.20/1470.53	c total #propagations: 6846237 / total #impl: 222755326 (eff. 0.031)
1470.20/1470.53	c #Conflicts:      86000 | #Learnt:      10905 | 0.000
1470.20/1470.53	c total clause space: 545.701MB
1470.20/1470.53	c total #watches: 692862
1492.00/1492.33	c total #propagations: 6895633 / total #impl: 226302612 (eff. 0.030)
1492.00/1492.33	c #Conflicts:      87000 | #Learnt:      11905 | 0.000
1492.00/1492.33	c total clause space: 545.701MB
1492.00/1492.33	c total #watches: 767534
1519.90/1520.25	c total #propagations: 6940842 / total #impl: 229354871 (eff. 0.030)
1519.90/1520.25	c #Conflicts:      88000 | #Learnt:      12905 | 0.000
1519.90/1520.25	c total clause space: 545.701MB
1519.90/1520.25	c total #watches: 808740
1552.59/1552.90	c total #propagations: 6996469 / total #impl: 232840444 (eff. 0.030)
1552.59/1552.90	c #Conflicts:      89000 | #Learnt:      13905 | 0.000
1552.59/1552.90	c total clause space: 545.701MB
1552.59/1552.90	c total #watches: 925212
1573.48/1573.87	c total #propagations: 7045520 / total #impl: 236124343 (eff. 0.030)
1573.48/1573.87	c GC COLLECT
1573.48/1573.87	c #Conflicts:      90000 | #Learnt:       7807 | 0.000
1573.48/1573.87	c total clause space: 545.701MB
1573.48/1573.87	c total #watches: 447869
1594.88/1595.23	c total #propagations: 7098788 / total #impl: 238126586 (eff. 0.030)
1594.88/1595.23	c #Conflicts:      91000 | #Learnt:       8807 | 0.000
1594.88/1595.23	c total clause space: 545.701MB
1594.88/1595.23	c total #watches: 458462
1618.78/1619.18	c total #propagations: 7186774 / total #impl: 238767060 (eff. 0.030)
1618.78/1619.18	c #Conflicts:      92000 | #Learnt:       9807 | 0.000
1618.78/1619.18	c total clause space: 545.701MB
1618.78/1619.18	c total #watches: 480802
1645.47/1645.88	c total #propagations: 7268419 / total #impl: 239622146 (eff. 0.030)
1645.47/1645.88	c #Conflicts:      93000 | #Learnt:      10807 | 0.000
1645.47/1645.88	c total clause space: 545.701MB
1645.47/1645.88	c total #watches: 489747
1671.27/1671.66	c total #propagations: 7366932 / total #impl: 243191738 (eff. 0.030)
1671.27/1671.66	c #Conflicts:      94000 | #Learnt:      11807 | 0.000
1671.27/1671.66	c total clause space: 545.701MB
1671.27/1671.66	c total #watches: 497529
1696.07/1696.49	c total #propagations: 7464317 / total #impl: 245410970 (eff. 0.030)
1696.07/1696.49	c #Conflicts:      95000 | #Learnt:      12807 | 0.000
1696.07/1696.49	c total clause space: 545.701MB
1696.07/1696.49	c total #watches: 510068
1729.06/1729.45	c total #propagations: 7553653 / total #impl: 247831495 (eff. 0.030)
1729.06/1729.45	c #Conflicts:      96000 | #Learnt:      13807 | 0.000
1729.06/1729.45	c total clause space: 545.701MB
1729.06/1729.45	c total #watches: 530580
1761.76/1762.13	c total #propagations: 7661570 / total #impl: 253887456 (eff. 0.030)
1761.76/1762.13	c #Conflicts:      97000 | #Learnt:      14807 | 0.000
1761.76/1762.13	c total clause space: 545.701MB
1761.76/1762.13	c total #watches: 567148
1779.46/1779.85	c total #propagations: 7761186 / total #impl: 257802857 (eff. 0.030)
1779.46/1779.85	c GC COLLECT
1779.46/1779.85	c #Conflicts:      98000 | #Learnt:       8413 | 0.000
1779.46/1779.85	c total clause space: 545.701MB
1779.46/1779.85	c total #watches: 454277
1798.75/1799.11	c total #propagations: 7831759 / total #impl: 259199573 (eff. 0.030)
1798.75/1799.11	c #Conflicts:      99000 | #Learnt:       9413 | 0.000
1798.75/1799.11	c total clause space: 545.701MB
1798.75/1799.11	c total #watches: 480641

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

pid=3773
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.07 2.02 2.00 4/176 3776
/proc/meminfo: memFree=31058616/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 2043628 57319424 7804 33554432000 4194304 6211289 140736849116272 140736849115576 4206551 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 13994 7804 98 493 0 13491 0

[startup+0.10017 s]
/proc/loadavg: 2.07 2.02 2.00 4/176 3776
/proc/meminfo: memFree=31058616/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=65672 CPUtime=0.09 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 1305 0 0 0 9 0 0 0 20 0 1 0 2043628 67248128 13889 33554432000 4194304 6211289 140736849116272 140736849115576 4201528 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 16418 13889 204 493 0 15915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 65672

[startup+0.200419 s]
/proc/loadavg: 2.07 2.02 2.00 4/176 3776
/proc/meminfo: memFree=31058616/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=73080 CPUtime=0.19 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 1578 0 0 0 18 1 0 0 20 0 1 0 2043628 74833920 15130 33554432000 4194304 6211289 140736849116272 140736849115576 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 18270 15130 204 493 0 17767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 73080

[startup+0.300329 s]
/proc/loadavg: 2.07 2.02 2.00 4/176 3776
/proc/meminfo: memFree=31058616/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=80396 CPUtime=0.29 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 1887 0 0 0 28 1 0 0 20 0 1 0 2043628 82325504 16398 33554432000 4194304 6211289 140736849116272 140736849115576 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 20099 16398 204 493 0 19596 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80396

[startup+0.70025 s]
/proc/loadavg: 2.07 2.02 2.00 4/176 3776
/proc/meminfo: memFree=31058616/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=92500 CPUtime=0.69 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 2229 0 0 0 68 1 0 0 20 0 1 0 2043628 94720000 18218 33554432000 4194304 6211289 140736849116272 140736849114136 4248082 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 23125 18218 204 493 0 22622 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92500

[startup+1.50028 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3823
/proc/meminfo: memFree=31319104/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=111872 CPUtime=1.49 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 2626 0 0 0 148 1 0 0 20 0 1 0 2043628 114556928 22643 33554432000 4194304 6211289 140736849116272 140736849114184 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 27968 22643 214 493 0 27465 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 111872

[startup+3.10027 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3823
/proc/meminfo: memFree=31286340/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=144028 CPUtime=3.09 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 3207 0 0 0 307 2 0 0 20 0 1 0 2043628 147484672 27257 33554432000 4194304 6211289 140736849116272 140736849114136 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 36007 27257 214 493 0 35504 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144028

[startup+6.30032 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3823
/proc/meminfo: memFree=31234596/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=144560 CPUtime=6.29 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 5310 0 0 0 627 2 0 0 20 0 1 0 2043628 148029440 32523 33554432000 4194304 6211289 140736849116272 140736849114616 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 36140 32523 214 493 0 35637 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 144560

[startup+12.7003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3823
/proc/meminfo: memFree=31210388/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=144560 CPUtime=12.69 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 5439 0 0 0 1267 2 0 0 20 0 1 0 2043628 148029440 32650 33554432000 4194304 6211289 140736849116272 140736849114616 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 36140 32650 219 493 0 35637 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 144560

[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 3823
/proc/meminfo: memFree=31164324/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=195860 CPUtime=25.48 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 6172 0 0 0 2545 3 0 0 20 0 1 0 2043628 200560640 41974 33554432000 4194304 6211289 140736849116272 140736849114264 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 48965 41974 219 493 0 48462 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 195860

[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3824
/proc/meminfo: memFree=31112356/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=279776 CPUtime=51.08 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 8351 0 0 0 5104 4 0 0 20 0 1 0 2043628 286490624 51438 33554432000 4194304 6211289 140736849116272 140736849114616 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 69944 51438 219 493 0 69441 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 279776

[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3825
/proc/meminfo: memFree=31048980/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=280040 CPUtime=102.26 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 8916 0 0 0 10221 5 0 0 20 0 1 0 2043628 286760960 60140 33554432000 4194304 6211289 140736849116272 140736849114616 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 70010 60140 219 493 0 69507 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 280040

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3826
/proc/meminfo: memFree=30978704/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=419256 CPUtime=162.24 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 11368 0 0 0 16216 8 0 0 20 0 1 0 2043628 429318144 75017 33554432000 4194304 6211289 140736849116272 140736849114264 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 104814 75017 219 493 0 104311 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 419256

[startup+222.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3827
/proc/meminfo: memFree=30944692/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=419392 CPUtime=222.25 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 11416 0 0 0 22216 9 0 0 20 0 1 0 2043628 429457408 80175 33554432000 4194304 6211289 140736849116272 140736849114616 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 104848 80175 219 493 0 104345 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 419392

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 3831
/proc/meminfo: memFree=30926680/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=419392 CPUtime=282.23 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 11516 0 0 0 28214 9 0 0 20 0 1 0 2043628 429457408 84363 33554432000 4194304 6211289 140736849116272 140736849114616 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 104848 84363 219 493 0 104345 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 419392

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3855
/proc/meminfo: memFree=30925084/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=419392 CPUtime=342.22 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 11567 0 0 0 34213 9 0 0 20 0 1 0 2043628 429457408 84414 33554432000 4194304 6211289 140736849116272 140736849114616 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 104848 84414 219 493 0 104345 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 419392

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3857
/proc/meminfo: memFree=30916104/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=419536 CPUtime=402.21 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 11577 0 0 0 40212 9 0 0 20 0 1 0 2043628 429604864 86979 33554432000 4194304 6211289 140736849116272 140736849114616 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 104884 86979 219 493 0 104381 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 419536

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3858
/proc/meminfo: memFree=30895500/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=419536 CPUtime=462.2 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 11615 0 0 0 46211 9 0 0 20 0 1 0 2043628 429604864 92127 33554432000 4194304 6211289 140736849116272 140736849114616 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 104884 92127 219 493 0 104381 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 419536

[startup+522.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 3859
/proc/meminfo: memFree=30863152/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=419536 CPUtime=522.19 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 11659 0 0 0 52209 10 0 0 20 0 1 0 2043628 429604864 99904 33554432000 4194304 6211289 140736849116272 140736849114616 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 104884 99904 219 493 0 104381 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 419536

[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 3860
/proc/meminfo: memFree=30856432/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=419536 CPUtime=582.15 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 11706 0 0 0 58205 10 0 0 20 0 1 0 2043628 429604864 99912 33554432000 4194304 6211289 140736849116272 140736849114616 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 104884 99912 219 493 0 104381 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 419536


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3869
/proc/meminfo: memFree=30765420/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=634460 CPUtime=882.1 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 12302 0 0 0 88199 11 0 0 20 0 1 0 2043628 649687040 114142 33554432000 4194304 6211289 140736849116272 140736849114616 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 158615 114142 219 493 0 158112 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 634460

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3870
/proc/meminfo: memFree=30759444/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=634460 CPUtime=942.08 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 12307 0 0 0 94197 11 0 0 20 0 1 0 2043628 649687040 114147 33554432000 4194304 6211289 140736849116272 140736849114616 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 158615 114147 219 493 0 158112 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 634460

[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 3872
/proc/meminfo: memFree=30718168/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=639332 CPUtime=1002.07 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 13362 0 0 0 100196 11 0 0 20 0 1 0 2043628 654675968 122856 33554432000 4194304 6211289 140736849116272 140736849114136 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 159833 122856 219 493 0 159330 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 639332

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3873
/proc/meminfo: memFree=30705624/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=639332 CPUtime=1062.06 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 13363 0 0 0 106195 11 0 0 20 0 1 0 2043628 654675968 122857 33554432000 4194304 6211289 140736849116272 140736849114616 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 159833 122857 219 493 0 159330 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 639332

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3874
/proc/meminfo: memFree=30704992/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=639332 CPUtime=1122.05 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 13378 0 0 0 112194 11 0 0 20 0 1 0 2043628 654675968 122869 33554432000 4194304 6211289 140736849116272 140736849114616 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 159833 122869 219 493 0 159330 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 639332

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3875
/proc/meminfo: memFree=30692452/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=639332 CPUtime=1182.05 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 13387 0 0 0 118193 12 0 0 20 0 1 0 2043628 654675968 124922 33554432000 4194304 6211289 140736849116272 140736849114616 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 159833 124922 219 493 0 159330 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 639332

[startup+1242.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 3876
/proc/meminfo: memFree=30687724/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=639332 CPUtime=1242.04 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 13420 0 0 0 124192 12 0 0 20 0 1 0 2043628 654675968 124947 33554432000 4194304 6211289 140736849116272 140736849114616 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 159833 124947 219 493 0 159330 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 639332

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3878
/proc/meminfo: memFree=30653656/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=639332 CPUtime=1302.02 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 13434 0 0 0 130190 12 0 0 20 0 1 0 2043628 654675968 132299 33554432000 4194304 6211289 140736849116272 140736849114616 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 159833 132299 219 493 0 159330 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 639332

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3879
/proc/meminfo: memFree=30644840/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=639332 CPUtime=1362.01 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 13460 0 0 0 136189 12 0 0 20 0 1 0 2043628 654675968 132319 33554432000 4194304 6211289 140736849116272 140736849114616 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 159833 132319 219 493 0 159330 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 639332

[startup+1422.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 3880
/proc/meminfo: memFree=30610816/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=641060 CPUtime=1422.02 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 13799 0 0 0 142189 13 0 0 20 0 1 0 2043628 656445440 139301 33554432000 4194304 6211289 140736849116272 140736849114616 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 160265 139301 219 493 0 159762 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 641060

[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 3884
/proc/meminfo: memFree=30607892/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=641060 CPUtime=1482 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 13806 0 0 0 148187 13 0 0 20 0 1 0 2043628 656445440 139307 33554432000 4194304 6211289 140736849116272 140736849114616 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 160265 139307 219 493 0 159762 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 641060

[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 3885
/proc/meminfo: memFree=30591308/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=641636 CPUtime=1542 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 13935 0 0 0 154187 13 0 0 20 0 1 0 2043628 657035264 139436 33554432000 4194304 6211289 140736849116272 140736849114184 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 160409 139436 219 493 0 159906 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 641636

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 3887
/proc/meminfo: memFree=30566356/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=642068 CPUtime=1601.98 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 14022 0 0 0 160185 13 0 0 20 0 1 0 2043628 657477632 145655 33554432000 4194304 6211289 140736849116272 140736849114616 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 160517 145655 219 493 0 160014 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 642068

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 3888
/proc/meminfo: memFree=30555456/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=642068 CPUtime=1661.97 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 14028 0 0 0 166184 13 0 0 20 0 1 0 2043628 657477632 145660 33554432000 4194304 6211289 140736849116272 140736849114616 4209244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 160517 145660 219 493 0 160014 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 642068

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 3889
/proc/meminfo: memFree=30554864/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=642068 CPUtime=1721.96 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 14028 0 0 0 172183 13 0 0 20 0 1 0 2043628 657477632 145660 33554432000 4194304 6211289 140736849116272 140736849114616 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 160517 145660 219 493 0 160014 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 642068

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 3890
/proc/meminfo: memFree=30541948/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=642068 CPUtime=1781.95 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 14045 0 0 0 178182 13 0 0 20 0 1 0 2043628 657477632 147721 33554432000 4194304 6211289 140736849116272 140736849114616 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 160517 147721 219 493 0 160014 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 642068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 3890
/proc/meminfo: memFree=30539900/32872528 swapFree=239020/271724
[pid=3776] ppid=3773 vsize=642068 CPUtime=1800.05 cores=0,2,4,6
/proc/3776/stat : 3776 (cdcl-cuttingpla) R 3773 3776 1985 0 -1 4202496 14045 0 0 0 179992 13 0 0 20 0 1 0 2043628 657477632 147721 33554432000 4194304 6211289 140736849116272 140736849114616 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3776/statm: 160517 147721 219 493 0 160014 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 642068

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 3776 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.92
CPU system time (s): 0.138978
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 642068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.138978
maximum resident set size= 590884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14045
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= 109
involuntary context switches= 1957

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4254 second user time and 11.6172 second system time

The end

Launcher Data 

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

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

MD5SUM BENCH= 97ab9db877b63a63c316f183597a0e7a
RANDOM SEED=1234696135

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:        31059260 kB
Buffers:           42604 kB
Cached:           374528 kB
SwapCached:            0 kB
Active:           471024 kB
Inactive:         365796 kB
Active(anon):     421744 kB
Inactive(anon):        4 kB
Active(file):      49280 kB
Inactive(file):   365792 kB
Unevictable:      271724 kB
Mlocked:          239020 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2348 kB
Writeback:             0 kB
AnonPages:        692668 kB
Mapped:            14868 kB
Shmem:               204 kB
Slab:             574304 kB
SReclaimable:      18704 kB
SUnreclaim:       555600 kB
KernelStack:        1472 kB
PageTables:         5608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     805748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    434176 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 22:25:26