Trace number 4118428

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-sporttournament50.lin.opb
MD5SUM79ba3292e41e8cd575854fc91abd48c3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-445
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3625
Total number of constraints4800
Number of constraints which are clauses2400
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2400
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 3130
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 3368
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3368
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 3625 #constraint= 4800
3.88/3.96	c #Conflicts:       1000 | #Learnt:       1143 | 0.000
3.88/3.96	c total clause space: 127.173MB
3.88/3.96	c total #watches: 1889315
10.79/10.81	c total #propagations: 270012 / total #impl: 4944507 (eff. 0.055)
10.79/10.81	c #Conflicts:       2000 | #Learnt:       2160 | 0.000
10.79/10.81	c total clause space: 206.656MB
10.79/10.81	c total #watches: 2994052
18.48/18.57	c total #propagations: 331232 / total #impl: 11577493 (eff. 0.029)
18.48/18.57	c GC COLLECT
18.48/18.57	c #Conflicts:       3000 | #Learnt:       2237 | 0.000
18.48/18.57	c total clause space: 206.656MB
18.48/18.57	c total #watches: 2847611
27.38/27.46	c total #propagations: 381423 / total #impl: 17894723 (eff. 0.021)
27.38/27.46	c #Conflicts:       4000 | #Learnt:       3250 | 0.000
27.38/27.46	c total clause space: 335.816MB
27.38/27.46	c total #watches: 3555679
37.98/38.05	c total #propagations: 609409 / total #impl: 21797841 (eff. 0.028)
37.98/38.05	c GC COLLECT
37.98/38.05	c #Conflicts:       5000 | #Learnt:       2652 | 0.000
37.98/38.05	c total clause space: 335.816MB
37.98/38.05	c total #watches: 2385139
49.48/49.51	c total #propagations: 1024567 / total #impl: 26454479 (eff. 0.039)
49.48/49.51	c #Conflicts:       6000 | #Learnt:       3667 | 0.000
49.48/49.51	c total clause space: 335.816MB
49.48/49.51	c total #watches: 3012671
58.87/58.98	c total #propagations: 1350640 / total #impl: 30592502 (eff. 0.044)
58.87/58.98	c GC COLLECT
58.87/58.98	c #Conflicts:       7000 | #Learnt:       2586 | 0.000
58.87/58.98	c total clause space: 335.816MB
58.87/58.98	c total #watches: 2046936
68.07/68.17	c total #propagations: 1571356 / total #impl: 35248536 (eff. 0.045)
68.07/68.17	c #Conflicts:       8000 | #Learnt:       3586 | 0.000
68.07/68.17	c total clause space: 335.816MB
68.07/68.17	c total #watches: 2124945
83.37/83.41	c total #propagations: 2119797 / total #impl: 40933189 (eff. 0.052)
83.37/83.41	c #Conflicts:       9000 | #Learnt:       4606 | 0.000
83.37/83.41	c total clause space: 335.816MB
83.37/83.41	c total #watches: 2760331
95.27/95.33	c total #propagations: 2368643 / total #impl: 44379550 (eff. 0.053)
95.27/95.33	c GC COLLECT
95.27/95.33	c #Conflicts:      10000 | #Learnt:       3136 | 0.000
95.27/95.33	c total clause space: 335.816MB
95.27/95.33	c total #watches: 1577296
104.87/104.92	c total #propagations: 2774210 / total #impl: 47891342 (eff. 0.058)
104.87/104.92	c #Conflicts:      11000 | #Learnt:       4158 | 0.000
104.87/104.92	c total clause space: 335.816MB
104.87/104.92	c total #watches: 2022471
115.86/115.98	c total #propagations: 3324597 / total #impl: 51340088 (eff. 0.065)
115.86/115.98	c #Conflicts:      12000 | #Learnt:       5161 | 0.000
115.86/115.98	c total clause space: 335.816MB
115.86/115.98	c total #watches: 2182512
126.58/126.66	c total #propagations: 3813438 / total #impl: 54559623 (eff. 0.070)
126.58/126.66	c #Conflicts:      13000 | #Learnt:       6168 | 0.000
126.58/126.66	c total clause space: 335.816MB
126.58/126.66	c total #watches: 2394849
137.77/137.89	c total #propagations: 3958692 / total #impl: 57660894 (eff. 0.069)
137.77/137.89	c GC COLLECT
137.77/137.89	c #Conflicts:      14000 | #Learnt:       4344 | 0.000
137.77/137.89	c total clause space: 335.816MB
137.77/137.89	c total #watches: 1546353
148.17/148.22	c total #propagations: 4256589 / total #impl: 61951395 (eff. 0.069)
148.17/148.22	c #Conflicts:      15000 | #Learnt:       5345 | 0.000
148.17/148.22	c total clause space: 335.816MB
148.17/148.22	c total #watches: 1664270
158.76/158.85	c total #propagations: 4910220 / total #impl: 65233793 (eff. 0.075)
158.76/158.85	c #Conflicts:      16000 | #Learnt:       6345 | 0.000
158.76/158.85	c total clause space: 335.816MB
158.76/158.85	c total #watches: 1753939
168.46/168.57	c total #propagations: 5362972 / total #impl: 67652065 (eff. 0.079)
168.46/168.57	c GC COLLECT
168.46/168.57	c #Conflicts:      17000 | #Learnt:       4216 | 0.000
168.46/168.57	c total clause space: 335.816MB
168.46/168.57	c total #watches: 1097628
175.76/175.82	c total #propagations: 6047801 / total #impl: 71997604 (eff. 0.084)
175.76/175.82	c #Conflicts:      18000 | #Learnt:       5216 | 0.000
175.76/175.82	c total clause space: 335.816MB
175.76/175.82	c total #watches: 1199214
184.65/184.76	c total #propagations: 6722770 / total #impl: 76414369 (eff. 0.088)
184.65/184.76	c #Conflicts:      19000 | #Learnt:       6216 | 0.000
184.65/184.76	c total clause space: 335.816MB
184.65/184.76	c total #watches: 1297382
201.56/201.67	c total #propagations: 7350637 / total #impl: 82427796 (eff. 0.089)
201.56/201.67	c #Conflicts:      20000 | #Learnt:       7217 | 0.000
201.56/201.67	c total clause space: 335.816MB
201.56/201.67	c total #watches: 1416893
214.15/214.21	c total #propagations: 7674555 / total #impl: 90333070 (eff. 0.085)
214.15/214.21	c GC COLLECT
214.15/214.21	c #Conflicts:      21000 | #Learnt:       4753 | 0.000
214.15/214.21	c total clause space: 335.816MB
214.15/214.21	c total #watches: 1090954
225.65/225.75	c total #propagations: 8208521 / total #impl: 95478705 (eff. 0.086)
225.65/225.75	c #Conflicts:      22000 | #Learnt:       5757 | 0.000
225.65/225.75	c total clause space: 335.816MB
225.65/225.75	c total #watches: 1229265
235.46/235.54	c total #propagations: 8475648 / total #impl: 99673152 (eff. 0.085)
235.46/235.54	c #Conflicts:      23000 | #Learnt:       6762 | 0.000
235.46/235.54	c total clause space: 335.816MB
235.46/235.54	c total #watches: 1397637
245.04/245.12	c total #propagations: 9044235 / total #impl: 104310570 (eff. 0.087)
245.04/245.12	c #Conflicts:      24000 | #Learnt:       7764 | 0.000
245.04/245.12	c total clause space: 335.816MB
245.04/245.12	c total #watches: 1524449
254.25/254.36	c total #propagations: 9516102 / total #impl: 110649219 (eff. 0.086)
254.25/254.36	c GC COLLECT
254.25/254.36	c #Conflicts:      25000 | #Learnt:       4978 | 0.000
254.25/254.36	c total clause space: 335.816MB
254.25/254.36	c total #watches: 1242245
265.15/265.25	c total #propagations: 10069378 / total #impl: 114555342 (eff. 0.088)
265.15/265.25	c #Conflicts:      26000 | #Learnt:       5978 | 0.000
265.15/265.25	c total clause space: 335.816MB
265.15/265.25	c total #watches: 1363085
278.75/278.83	c total #propagations: 10604010 / total #impl: 120717013 (eff. 0.088)
278.75/278.83	c #Conflicts:      27000 | #Learnt:       6978 | 0.000
278.75/278.83	c total clause space: 335.816MB
278.75/278.83	c total #watches: 1470017
297.24/297.36	c total #propagations: 10721388 / total #impl: 125435427 (eff. 0.085)
297.24/297.36	c #Conflicts:      28000 | #Learnt:       7982 | 0.000
297.24/297.36	c total clause space: 335.816MB
297.24/297.36	c total #watches: 1635809
309.94/310.01	c total #propagations: 10976306 / total #impl: 130683952 (eff. 0.084)
309.94/310.01	c GC COLLECT
309.94/310.01	c #Conflicts:      29000 | #Learnt:       4900 | 0.000
309.94/310.01	c total clause space: 545.701MB
309.94/310.01	c total #watches: 1295910
316.94/317.02	c total #propagations: 11302696 / total #impl: 134549988 (eff. 0.084)
316.94/317.02	c #Conflicts:      30000 | #Learnt:       5902 | 0.000
316.94/317.02	c total clause space: 545.701MB
316.94/317.02	c total #watches: 1464615
326.54/326.66	c total #propagations: 11707611 / total #impl: 138581047 (eff. 0.084)
326.54/326.66	c #Conflicts:      31000 | #Learnt:       6907 | 0.000
326.54/326.66	c total clause space: 545.701MB
326.54/326.66	c total #watches: 1708702
341.53/341.63	c total #propagations: 12034118 / total #impl: 144195163 (eff. 0.083)
341.53/341.63	c #Conflicts:      32000 | #Learnt:       7921 | 0.000
341.53/341.63	c total clause space: 545.701MB
341.53/341.63	c total #watches: 2158497
355.73/355.84	c total #propagations: 12359476 / total #impl: 149013948 (eff. 0.083)
355.73/355.84	c #Conflicts:      33000 | #Learnt:       8923 | 0.000
355.73/355.84	c total clause space: 545.701MB
355.73/355.84	c total #watches: 2326934
370.03/370.10	c total #propagations: 13031309 / total #impl: 154329028 (eff. 0.084)
370.03/370.10	c GC COLLECT
370.03/370.10	c #Conflicts:      34000 | #Learnt:       5550 | 0.000
370.03/370.10	c total clause space: 545.701MB
370.03/370.10	c total #watches: 1863630
386.63/386.79	c total #propagations: 13829544 / total #impl: 160354201 (eff. 0.086)
386.63/386.79	c #Conflicts:      35000 | #Learnt:       6560 | 0.000
386.63/386.79	c total clause space: 545.701MB
386.63/386.79	c total #watches: 2223946
403.53/403.61	c total #propagations: 14013488 / total #impl: 164549785 (eff. 0.085)
403.53/403.61	c #Conflicts:      36000 | #Learnt:       7562 | 0.000
403.53/403.61	c total clause space: 545.701MB
403.53/403.61	c total #watches: 2409571
419.62/419.70	c total #propagations: 14132799 / total #impl: 168861931 (eff. 0.084)
419.62/419.70	c #Conflicts:      37000 | #Learnt:       8563 | 0.000
419.62/419.70	c total clause space: 545.701MB
419.62/419.70	c total #watches: 2565439
435.42/435.57	c total #propagations: 14674951 / total #impl: 172629870 (eff. 0.085)
435.42/435.57	c #Conflicts:      38000 | #Learnt:       9563 | 0.000
435.42/435.57	c total clause space: 545.701MB
435.42/435.57	c total #watches: 2694404
458.82/458.96	c total #propagations: 15352628 / total #impl: 177223946 (eff. 0.087)
458.82/458.96	c GC COLLECT
458.82/458.96	c #Conflicts:      39000 | #Learnt:       5895 | 0.000
458.82/458.96	c total clause space: 545.701MB
458.82/458.96	c total #watches: 1967189
472.62/472.70	c total #propagations: 15780423 / total #impl: 181813130 (eff. 0.087)
472.62/472.70	c #Conflicts:      40000 | #Learnt:       6895 | 0.000
472.62/472.70	c total clause space: 545.701MB
472.62/472.70	c total #watches: 2099515
487.01/487.16	c total #propagations: 15887904 / total #impl: 185660154 (eff. 0.086)
487.01/487.16	c #Conflicts:      41000 | #Learnt:       7895 | 0.000
487.01/487.16	c total clause space: 545.701MB
487.01/487.16	c total #watches: 2237400
504.82/505.00	c total #propagations: 16012103 / total #impl: 189771937 (eff. 0.084)
504.82/505.00	c #Conflicts:      42000 | #Learnt:       8895 | 0.000
504.82/505.00	c total clause space: 545.701MB
504.82/505.00	c total #watches: 2366711
523.31/523.41	c total #propagations: 16137417 / total #impl: 193890038 (eff. 0.083)
523.31/523.41	c #Conflicts:      43000 | #Learnt:       9895 | 0.000
523.31/523.41	c total clause space: 545.701MB
523.31/523.41	c total #watches: 2497744
543.20/543.34	c total #propagations: 16260490 / total #impl: 198167587 (eff. 0.082)
543.20/543.34	c GC COLLECT
543.20/543.34	c #Conflicts:      44000 | #Learnt:       5910 | 0.000
543.20/543.34	c total clause space: 545.701MB
543.20/543.34	c total #watches: 1647834
558.20/558.33	c total #propagations: 16387654 / total #impl: 202158267 (eff. 0.081)
558.20/558.33	c #Conflicts:      45000 | #Learnt:       6911 | 0.000
558.20/558.33	c total clause space: 545.701MB
558.20/558.33	c total #watches: 1805485
585.79/585.96	c total #propagations: 16510150 / total #impl: 206504350 (eff. 0.080)
585.79/585.96	c #Conflicts:      46000 | #Learnt:       7915 | 0.000
585.79/585.96	c total clause space: 545.701MB
585.79/585.96	c total #watches: 2013201
608.79/608.91	c total #propagations: 17069958 / total #impl: 210696134 (eff. 0.081)
608.79/608.91	c #Conflicts:      47000 | #Learnt:       8915 | 0.000
608.79/608.91	c total clause space: 545.701MB
608.79/608.91	c total #watches: 2151871
620.39/620.55	c total #propagations: 17456251 / total #impl: 213522775 (eff. 0.082)
620.39/620.55	c #Conflicts:      48000 | #Learnt:       9915 | 0.000
620.39/620.55	c total clause space: 545.701MB
620.39/620.55	c total #watches: 2275943
630.89/631.06	c total #propagations: 18125985 / total #impl: 216757384 (eff. 0.084)
630.89/631.06	c #Conflicts:      49000 | #Learnt:      10915 | 0.000
630.89/631.06	c total clause space: 545.701MB
630.89/631.06	c total #watches: 2472389
636.90/637.06	c total #propagations: 18481880 / total #impl: 219462938 (eff. 0.084)
636.90/637.06	c GC COLLECT
636.90/637.06	c #Conflicts:      50000 | #Learnt:       6618 | 0.000
636.90/637.06	c total clause space: 545.701MB
636.90/637.06	c total #watches: 1687466
642.69/642.89	c total #propagations: 18765237 / total #impl: 223010158 (eff. 0.084)
642.69/642.89	c #Conflicts:      51000 | #Learnt:       7618 | 0.000
642.69/642.89	c total clause space: 545.701MB
642.69/642.89	c total #watches: 1781998
650.39/650.55	c total #propagations: 18927870 / total #impl: 225527546 (eff. 0.084)
650.39/650.55	c #Conflicts:      52000 | #Learnt:       8618 | 0.000
650.39/650.55	c total clause space: 545.701MB
650.39/650.55	c total #watches: 1899738
662.19/662.31	c total #propagations: 19120208 / total #impl: 231596371 (eff. 0.083)
662.19/662.31	c #Conflicts:      53000 | #Learnt:       9618 | 0.000
662.19/662.31	c total clause space: 545.701MB
662.19/662.31	c total #watches: 2010557
676.49/676.63	c total #propagations: 19385011 / total #impl: 238481555 (eff. 0.081)
676.49/676.63	c #Conflicts:      54000 | #Learnt:      10618 | 0.000
676.49/676.63	c total clause space: 545.701MB
676.49/676.63	c total #watches: 2127041
694.48/694.66	c total #propagations: 19888669 / total #impl: 243956359 (eff. 0.082)
694.48/694.66	c #Conflicts:      55000 | #Learnt:      11618 | 0.000
694.48/694.66	c total clause space: 545.701MB
694.48/694.66	c total #watches: 2230832
706.97/707.19	c total #propagations: 20468075 / total #impl: 250554204 (eff. 0.082)
706.97/707.19	c GC COLLECT
706.97/707.19	c #Conflicts:      56000 | #Learnt:       7026 | 0.000
706.97/707.19	c total clause space: 545.701MB
706.97/707.19	c total #watches: 1551853
719.57/719.77	c total #propagations: 21140843 / total #impl: 254727367 (eff. 0.083)
719.57/719.77	c #Conflicts:      57000 | #Learnt:       8026 | 0.000
719.57/719.77	c total clause space: 545.701MB
719.57/719.77	c total #watches: 1674237
729.07/729.21	c total #propagations: 21560960 / total #impl: 258708930 (eff. 0.083)
729.07/729.21	c #Conflicts:      58000 | #Learnt:       9026 | 0.000
729.07/729.21	c total clause space: 545.701MB
729.07/729.21	c total #watches: 1783344
736.37/736.57	c total #propagations: 21909395 / total #impl: 264218960 (eff. 0.083)
736.37/736.57	c #Conflicts:      59000 | #Learnt:      10026 | 0.000
736.37/736.57	c total clause space: 545.701MB
736.37/736.57	c total #watches: 1914340
743.07/743.23	c total #propagations: 22313096 / total #impl: 267181995 (eff. 0.084)
743.07/743.23	c #Conflicts:      60000 | #Learnt:      11026 | 0.000
743.07/743.23	c total clause space: 545.701MB
743.07/743.23	c total #watches: 2037324
750.36/750.55	c total #propagations: 22610537 / total #impl: 269663949 (eff. 0.084)
750.36/750.55	c #Conflicts:      61000 | #Learnt:      12026 | 0.000
750.36/750.55	c total clause space: 545.701MB
750.36/750.55	c total #watches: 2165303
757.78/757.91	c total #propagations: 23054714 / total #impl: 273242004 (eff. 0.084)
757.78/757.91	c GC COLLECT
757.78/757.91	c #Conflicts:      62000 | #Learnt:       7129 | 0.000
757.78/757.91	c total clause space: 545.701MB
757.78/757.91	c total #watches: 1571035
763.87/764.02	c total #propagations: 23740555 / total #impl: 277384973 (eff. 0.086)
763.87/764.02	c #Conflicts:      63000 | #Learnt:       8129 | 0.000
763.87/764.02	c total clause space: 545.701MB
763.87/764.02	c total #watches: 1691695
770.98/771.10	c total #propagations: 24425803 / total #impl: 282592796 (eff. 0.086)
770.98/771.10	c #Conflicts:      64000 | #Learnt:       9129 | 0.000
770.98/771.10	c total clause space: 545.701MB
770.98/771.10	c total #watches: 1807962
783.96/784.19	c total #propagations: 25099759 / total #impl: 287661102 (eff. 0.087)
783.96/784.19	c #Conflicts:      65000 | #Learnt:      10129 | 0.000
783.96/784.19	c total clause space: 545.701MB
783.96/784.19	c total #watches: 1922496
792.76/792.94	c total #propagations: 25627945 / total #impl: 291423023 (eff. 0.088)
792.76/792.94	c #Conflicts:      66000 | #Learnt:      11129 | 0.000
792.76/792.94	c total clause space: 545.701MB
792.76/792.94	c total #watches: 2050971
797.06/797.22	c total #propagations: 25946841 / total #impl: 294092780 (eff. 0.088)
797.06/797.22	c #Conflicts:      67000 | #Learnt:      12129 | 0.000
797.06/797.22	c total clause space: 545.701MB
797.06/797.22	c total #watches: 2182376
804.26/804.44	c total #propagations: 26514235 / total #impl: 296844064 (eff. 0.089)
804.26/804.44	c #Conflicts:      68000 | #Learnt:      13129 | 0.000
804.26/804.44	c total clause space: 545.701MB
804.26/804.44	c total #watches: 2305430
810.06/810.23	c total #propagations: 26976437 / total #impl: 300570875 (eff. 0.090)
810.06/810.23	c GC COLLECT
810.06/810.23	c #Conflicts:      69000 | #Learnt:       7930 | 0.000
810.06/810.23	c total clause space: 545.701MB
810.06/810.23	c total #watches: 1705410
816.26/816.48	c total #propagations: 27328947 / total #impl: 304337697 (eff. 0.090)
816.26/816.48	c #Conflicts:      70000 | #Learnt:       8930 | 0.000
816.26/816.48	c total clause space: 545.701MB
816.26/816.48	c total #watches: 1807703
822.96/823.10	c total #propagations: 27718735 / total #impl: 307809718 (eff. 0.090)
822.96/823.10	c #Conflicts:      71000 | #Learnt:       9930 | 0.000
822.96/823.10	c total clause space: 545.701MB
822.96/823.10	c total #watches: 1920622
830.65/830.88	c total #propagations: 28128284 / total #impl: 312620867 (eff. 0.090)
830.65/830.88	c #Conflicts:      72000 | #Learnt:      10930 | 0.000
830.65/830.88	c total clause space: 545.701MB
830.65/830.88	c total #watches: 2037784
841.65/841.85	c total #propagations: 28260117 / total #impl: 316547006 (eff. 0.089)
841.65/841.85	c #Conflicts:      73000 | #Learnt:      11930 | 0.000
841.65/841.85	c total clause space: 545.701MB
841.65/841.85	c total #watches: 2147514
850.35/850.56	c total #propagations: 28670018 / total #impl: 321540402 (eff. 0.089)
850.35/850.56	c #Conflicts:      74000 | #Learnt:      12930 | 0.000
850.35/850.56	c total clause space: 545.701MB
850.35/850.56	c total #watches: 2287990
855.56/855.78	c total #propagations: 29062461 / total #impl: 324676244 (eff. 0.090)
855.56/855.78	c GC COLLECT
855.56/855.78	c #Conflicts:      75000 | #Learnt:       7431 | 0.000
855.56/855.78	c total clause space: 545.701MB
855.56/855.78	c total #watches: 1615133
863.46/863.69	c total #propagations: 29727730 / total #impl: 328334548 (eff. 0.091)
863.46/863.69	c #Conflicts:      76000 | #Learnt:       8431 | 0.000
863.46/863.69	c total clause space: 545.701MB
863.46/863.69	c total #watches: 1757386
869.15/869.38	c total #propagations: 30115897 / total #impl: 332165259 (eff. 0.091)
869.15/869.38	c #Conflicts:      77000 | #Learnt:       9431 | 0.000
869.15/869.38	c total clause space: 545.701MB
869.15/869.38	c total #watches: 1949954
875.46/875.62	c total #propagations: 30615824 / total #impl: 335898629 (eff. 0.091)
875.46/875.62	c #Conflicts:      78000 | #Learnt:      10431 | 0.000
875.46/875.62	c total clause space: 545.701MB
875.46/875.62	c total #watches: 2167145
882.85/883.05	c total #propagations: 31045158 / total #impl: 338463942 (eff. 0.092)
882.85/883.05	c #Conflicts:      79000 | #Learnt:      11431 | 0.000
882.85/883.05	c total clause space: 545.701MB
882.85/883.05	c total #watches: 2348099
889.95/890.15	c total #propagations: 31321566 / total #impl: 341318959 (eff. 0.092)
889.95/890.15	c #Conflicts:      80000 | #Learnt:      12431 | 0.000
889.95/890.15	c total clause space: 545.701MB
889.95/890.15	c total #watches: 2526934
900.25/900.48	c total #propagations: 31855263 / total #impl: 344266301 (eff. 0.093)
900.25/900.48	c #Conflicts:      81000 | #Learnt:      13431 | 0.000
900.25/900.48	c total clause space: 545.701MB
900.25/900.48	c total #watches: 2696573
909.25/909.45	c total #propagations: 32489990 / total #impl: 347681726 (eff. 0.093)
909.25/909.45	c GC COLLECT
909.25/909.45	c #Conflicts:      82000 | #Learnt:       7631 | 0.000
909.25/909.45	c total clause space: 886.764MB
909.25/909.45	c total #watches: 2042251
919.35/919.60	c total #propagations: 33128424 / total #impl: 351822357 (eff. 0.094)
919.35/919.60	c #Conflicts:      83000 | #Learnt:       8631 | 0.000
919.35/919.60	c total clause space: 886.764MB
919.35/919.60	c total #watches: 2193374
936.74/936.91	c total #propagations: 33752677 / total #impl: 355869875 (eff. 0.095)
936.74/936.91	c #Conflicts:      84000 | #Learnt:       9631 | 0.000
936.74/936.91	c total clause space: 886.764MB
936.74/936.91	c total #watches: 2348668
957.74/957.90	c total #propagations: 34114262 / total #impl: 359197796 (eff. 0.095)
957.74/957.90	c #Conflicts:      85000 | #Learnt:      10631 | 0.000
957.74/957.90	c total clause space: 886.764MB
957.74/957.90	c total #watches: 2519105
978.63/978.83	c total #propagations: 34266178 / total #impl: 362268160 (eff. 0.095)
978.63/978.83	c #Conflicts:      86000 | #Learnt:      11631 | 0.000
978.63/978.83	c total clause space: 886.764MB
978.63/978.83	c total #watches: 2684362
1002.93/1003.10	c total #propagations: 34411029 / total #impl: 367032926 (eff. 0.094)
1002.93/1003.10	c #Conflicts:      87000 | #Learnt:      12631 | 0.000
1002.93/1003.10	c total clause space: 886.764MB
1002.93/1003.10	c total #watches: 2850271
1038.93/1039.15	c total #propagations: 34571726 / total #impl: 370621830 (eff. 0.093)
1038.93/1039.15	c #Conflicts:      88000 | #Learnt:      13631 | 0.000
1038.93/1039.15	c total clause space: 886.764MB
1038.93/1039.15	c total #watches: 3014265
1072.62/1072.80	c total #propagations: 34737125 / total #impl: 374078548 (eff. 0.093)
1072.62/1072.80	c #Conflicts:      89000 | #Learnt:      14631 | 0.000
1072.62/1072.80	c total clause space: 886.764MB
1072.62/1072.80	c total #watches: 3179960
1096.42/1096.67	c total #propagations: 34874427 / total #impl: 376397148 (eff. 0.093)
1096.42/1096.67	c GC COLLECT
1096.42/1096.67	c #Conflicts:      90000 | #Learnt:       8535 | 0.000
1096.42/1096.67	c total clause space: 886.764MB
1096.42/1096.67	c total #watches: 2078050
1113.31/1113.57	c total #propagations: 34996019 / total #impl: 379074783 (eff. 0.092)
1113.31/1113.57	c #Conflicts:      91000 | #Learnt:       9535 | 0.000
1113.31/1113.57	c total clause space: 886.764MB
1113.31/1113.57	c total #watches: 2291027
1136.12/1136.38	c total #propagations: 35110418 / total #impl: 381947907 (eff. 0.092)
1136.12/1136.38	c #Conflicts:      92000 | #Learnt:      10535 | 0.000
1136.12/1136.38	c total clause space: 886.764MB
1136.12/1136.38	c total #watches: 2459246
1178.50/1178.77	c total #propagations: 35287842 / total #impl: 384380629 (eff. 0.092)
1178.50/1178.77	c #Conflicts:      93000 | #Learnt:      11535 | 0.000
1178.50/1178.77	c total clause space: 886.764MB
1178.50/1178.77	c total #watches: 2637559
1215.50/1215.74	c total #propagations: 35467787 / total #impl: 386540213 (eff. 0.092)
1215.50/1215.74	c #Conflicts:      94000 | #Learnt:      12535 | 0.000
1215.50/1215.74	c total clause space: 886.764MB
1215.50/1215.74	c total #watches: 2817606
1259.49/1259.77	c total #propagations: 35631023 / total #impl: 388679883 (eff. 0.092)
1259.49/1259.77	c #Conflicts:      95000 | #Learnt:      13535 | 0.000
1259.49/1259.77	c total clause space: 886.764MB
1259.49/1259.77	c total #watches: 3000660
1302.88/1303.15	c total #propagations: 35816313 / total #impl: 390892041 (eff. 0.092)
1302.88/1303.15	c #Conflicts:      96000 | #Learnt:      14535 | 0.000
1302.88/1303.15	c total clause space: 886.764MB
1302.88/1303.15	c total #watches: 3172491
1351.58/1351.89	c total #propagations: 35982831 / total #impl: 392994803 (eff. 0.092)
1351.58/1351.89	c #Conflicts:      97000 | #Learnt:      15535 | 0.000
1351.58/1351.89	c total clause space: 886.764MB
1351.58/1351.89	c total #watches: 3342294
1369.28/1369.57	c total #propagations: 36155038 / total #impl: 395106071 (eff. 0.092)
1369.28/1369.57	c GC COLLECT
1369.28/1369.57	c #Conflicts:      98000 | #Learnt:       9134 | 0.000
1369.28/1369.57	c total clause space: 886.764MB
1369.28/1369.57	c total #watches: 2285422
1386.47/1386.79	c total #propagations: 36320633 / total #impl: 397232627 (eff. 0.091)
1386.47/1386.79	c #Conflicts:      99000 | #Learnt:      10134 | 0.000
1386.47/1386.79	c total clause space: 886.764MB
1386.47/1386.79	c total #watches: 2462206
1406.27/1406.52	c total #propagations: 36486087 / total #impl: 399312231 (eff. 0.091)
1406.27/1406.52	c #Conflicts:     100000 | #Learnt:      11134 | 0.000
1406.27/1406.52	c total clause space: 886.764MB
1406.27/1406.52	c total #watches: 2636745
1426.77/1427.01	c total #propagations: 36658174 / total #impl: 401427207 (eff. 0.091)
1426.77/1427.01	c #Conflicts:     101000 | #Learnt:      12134 | 0.000
1426.77/1427.01	c total clause space: 886.764MB
1426.77/1427.01	c total #watches: 2809944
1447.76/1448.09	c total #propagations: 36835913 / total #impl: 403717127 (eff. 0.091)
1447.76/1448.09	c #Conflicts:     102000 | #Learnt:      13134 | 0.000
1447.76/1448.09	c total clause space: 886.764MB
1447.76/1448.09	c total #watches: 2981873
1481.26/1481.51	c total #propagations: 36999410 / total #impl: 405897876 (eff. 0.091)
1481.26/1481.51	c #Conflicts:     103000 | #Learnt:      14134 | 0.000
1481.26/1481.51	c total clause space: 886.764MB
1481.26/1481.51	c total #watches: 3179737
1521.85/1522.11	c total #propagations: 37298238 / total #impl: 408311652 (eff. 0.091)
1521.85/1522.11	c #Conflicts:     104000 | #Learnt:      15134 | 0.000
1521.85/1522.11	c total clause space: 886.764MB
1521.85/1522.11	c total #watches: 3348909
1535.05/1535.30	c total #propagations: 37708589 / total #impl: 410926822 (eff. 0.092)
1535.05/1535.30	c #Conflicts:     105000 | #Learnt:      16134 | 0.000
1535.05/1535.30	c total clause space: 886.764MB
1535.05/1535.30	c total #watches: 3579058
1541.45/1541.70	c total #propagations: 38014402 / total #impl: 414588774 (eff. 0.092)
1541.45/1541.70	c GC COLLECT
1541.45/1541.70	c #Conflicts:     106000 | #Learnt:       9433 | 0.000
1541.45/1541.70	c total clause space: 886.764MB
1541.45/1541.70	c total #watches: 2363402
1548.85/1549.16	c total #propagations: 38629653 / total #impl: 418506629 (eff. 0.092)
1548.85/1549.16	c #Conflicts:     107000 | #Learnt:      10433 | 0.000
1548.85/1549.16	c total clause space: 886.764MB
1548.85/1549.16	c total #watches: 2524047
1562.24/1562.54	c total #propagations: 39129325 / total #impl: 421233809 (eff. 0.093)
1562.24/1562.54	c #Conflicts:     108000 | #Learnt:      11433 | 0.000
1562.24/1562.54	c total clause space: 886.764MB
1562.24/1562.54	c total #watches: 2680071
1582.84/1583.18	c total #propagations: 39485062 / total #impl: 425893416 (eff. 0.093)
1582.84/1583.18	c #Conflicts:     109000 | #Learnt:      12433 | 0.000
1582.84/1583.18	c total clause space: 886.764MB
1582.84/1583.18	c total #watches: 2814156
1602.54/1602.83	c total #propagations: 40122555 / total #impl: 436284557 (eff. 0.092)
1602.54/1602.83	c #Conflicts:     110000 | #Learnt:      13433 | 0.000
1602.54/1602.83	c total clause space: 886.764MB
1602.54/1602.83	c total #watches: 2952894
1626.03/1626.38	c total #propagations: 40663907 / total #impl: 451233533 (eff. 0.090)
1626.03/1626.38	c #Conflicts:     111000 | #Learnt:      14433 | 0.000
1626.03/1626.38	c total clause space: 886.764MB
1626.03/1626.38	c total #watches: 3094294
1654.13/1654.41	c total #propagations: 41155075 / total #impl: 467221093 (eff. 0.088)
1654.13/1654.41	c #Conflicts:     112000 | #Learnt:      15433 | 0.000
1654.13/1654.41	c total clause space: 886.764MB
1654.13/1654.41	c total #watches: 3258896
1677.83/1678.19	c total #propagations: 41638888 / total #impl: 480645349 (eff. 0.087)
1677.83/1678.19	c #Conflicts:     113000 | #Learnt:      16433 | 0.000
1677.83/1678.19	c total clause space: 886.764MB
1677.83/1678.19	c total #watches: 3439552
1698.43/1698.78	c total #propagations: 41732855 / total #impl: 486627020 (eff. 0.086)
1698.43/1698.78	c GC COLLECT
1698.43/1698.78	c #Conflicts:     114000 | #Learnt:       9430 | 0.000
1698.43/1698.78	c total clause space: 886.764MB
1698.43/1698.78	c total #watches: 2252185
1716.83/1717.15	c total #propagations: 41825122 / total #impl: 492634061 (eff. 0.085)
1716.83/1717.15	c #Conflicts:     115000 | #Learnt:      10430 | 0.000
1716.83/1717.15	c total clause space: 886.764MB
1716.83/1717.15	c total #watches: 2638958
1747.63/1747.94	c total #propagations: 41902960 / total #impl: 504598570 (eff. 0.083)
1747.63/1747.94	c #Conflicts:     116000 | #Learnt:      11430 | 0.000
1747.63/1747.94	c total clause space: 886.764MB
1747.63/1747.94	c total #watches: 2873906
1771.31/1771.64	c total #propagations: 42129033 / total #impl: 509331763 (eff. 0.083)
1771.31/1771.64	c #Conflicts:     117000 | #Learnt:      12430 | 0.000
1771.31/1771.64	c total clause space: 886.764MB
1771.31/1771.64	c total #watches: 3085999
1795.11/1795.40	c total #propagations: 42209212 / total #impl: 513436306 (eff. 0.082)
1795.11/1795.40	c #Conflicts:     118000 | #Learnt:      13430 | 0.000
1795.11/1795.40	c total clause space: 886.764MB
1795.11/1795.40	c total #watches: 3261570

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-4118428-1467221121/watcher-4118428-1467221121 -o /tmp/evaluation-result-4118428-1467221121/solver-4118428-1467221121 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467210315-2002 --watchdog 1960 --input HOME/instance-4118428-1467221121.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=3047
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 3050
/proc/meminfo: memFree=31065576/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 1143490 29810688 5268 33554432000 4194304 6201397 140734559017200 140736867298024 4211056 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 7278 5268 130 491 0 6777 0

[startup+0.100163 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 3050
/proc/meminfo: memFree=31065576/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=34432 CPUtime=0.09 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 1002 0 0 0 9 0 0 0 20 0 1 0 1143490 35258368 7350 33554432000 4194304 6201397 140734559017200 140736867298024 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 8608 7350 146 491 0 8107 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34432

[startup+0.200299 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 3050
/proc/meminfo: memFree=31065576/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=37668 CPUtime=0.19 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 1315 0 0 0 19 0 0 0 20 0 1 0 1143490 38572032 7638 33554432000 4194304 6201397 140734559017200 140736867298024 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 9417 7638 147 491 0 8916 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37668

[startup+0.300217 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 3050
/proc/meminfo: memFree=31065576/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=42988 CPUtime=0.29 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 1684 0 0 0 29 0 0 0 20 0 1 0 1143490 44019712 8500 33554432000 4194304 6201397 140734559017200 140736867298024 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 10747 8500 147 491 0 10246 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42988

[startup+0.700258 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 3050
/proc/meminfo: memFree=31065576/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=63688 CPUtime=0.69 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 2505 0 0 0 69 0 0 0 20 0 1 0 1143490 65216512 12344 33554432000 4194304 6201397 140734559017200 140736867298024 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 15922 12344 147 491 0 15421 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63688

[startup+1.50029 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3097
/proc/meminfo: memFree=31531456/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=117484 CPUtime=1.48 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 3691 0 0 0 148 0 0 0 20 0 1 0 1143490 120303616 19639 33554432000 4194304 6201397 140734559017200 140734559016040 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 29371 19639 147 491 0 28870 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 117484

[startup+3.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3097
/proc/meminfo: memFree=31483684/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=175640 CPUtime=3.09 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 5901 0 0 0 308 1 0 0 20 0 1 0 1143490 179855360 30514 33554432000 4194304 6201397 140734559017200 140734559016232 4213192 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 43910 30514 147 491 0 43409 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 175640

[startup+6.30031 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3097
/proc/meminfo: memFree=31394168/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=273292 CPUtime=6.28 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 9716 0 0 0 626 2 0 0 20 0 1 0 1143490 279851008 45545 33554432000 4194304 6201397 140734559017200 140734559016232 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 68323 45545 160 491 0 67822 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 273292

[startup+12.7003 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 3097
/proc/meminfo: memFree=31315748/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=274664 CPUtime=12.69 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 13356 0 0 0 1266 3 0 0 20 0 1 0 1143490 281255936 59917 33554432000 4194304 6201397 140734559017200 140734559015912 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 68666 59917 160 491 0 68165 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 274664

[startup+25.5004 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 3097
/proc/meminfo: memFree=31253116/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=408836 CPUtime=25.48 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 14183 0 0 0 2544 4 0 0 20 0 1 0 1143490 418648064 71941 33554432000 4194304 6201397 140734559017200 140734559015976 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 102209 71941 166 491 0 101708 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 408836

[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3097
/proc/meminfo: memFree=31193220/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=414916 CPUtime=51.08 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 16268 0 0 0 5103 5 0 0 20 0 1 0 1143490 424873984 80429 33554432000 4194304 6201397 140734559017200 140734559015896 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 103729 80429 166 491 0 103228 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 414916

[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3098
/proc/meminfo: memFree=31126140/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=426380 CPUtime=102.27 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 18759 0 0 0 10220 7 0 0 20 0 1 0 1143490 436613120 93979 33554432000 4194304 6201397 140734559017200 140734559016328 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 106595 93979 166 491 0 106094 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 426380

[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 3099
/proc/meminfo: memFree=31097588/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=432700 CPUtime=162.26 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 20164 0 0 0 16218 8 0 0 20 0 1 0 1143490 443084800 95895 33554432000 4194304 6201397 140734559017200 140734559015864 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 108175 95895 166 491 0 107674 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 432700

[startup+222.307 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 3101
/proc/meminfo: memFree=31048388/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=450884 CPUtime=222.26 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 23759 0 0 0 22217 9 0 0 20 0 1 0 1143490 461705216 103067 33554432000 4194304 6201397 140734559017200 140734559015864 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 112721 103067 166 491 0 112220 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 450884

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 4/178 3105
/proc/meminfo: memFree=31005436/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=453028 CPUtime=282.25 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 24262 0 0 0 28215 10 0 0 20 0 1 0 1143490 463900672 110213 33554432000 4194304 6201397 140734559017200 140734559016328 4213170 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 113257 110213 166 491 0 112756 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 453028

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3106
/proc/meminfo: memFree=30960516/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=674992 CPUtime=342.23 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 26358 0 0 0 34212 11 0 0 20 0 1 0 1143490 691191808 118061 33554432000 4194304 6201397 140734559017200 140734559016328 4221999 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 168748 118061 166 491 0 168247 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 674992

[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 3107
/proc/meminfo: memFree=30908536/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=676948 CPUtime=402.23 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 26865 0 0 0 40211 12 0 0 20 0 1 0 1143490 693194752 128277 33554432000 4194304 6201397 140734559017200 140734559015864 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 169237 128277 166 491 0 168736 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 676948

[startup+462.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 3108
/proc/meminfo: memFree=30873972/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=688244 CPUtime=462.22 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 28745 0 0 0 46209 13 0 0 20 0 1 0 1143490 704761856 136800 33554432000 4194304 6201397 140734559017200 140734559016328 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 172061 136800 166 491 0 171560 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 688244

[startup+522.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 3110
/proc/meminfo: memFree=30865720/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=689756 CPUtime=522.21 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 29216 0 0 0 52208 13 0 0 20 0 1 0 1143490 706310144 137271 33554432000 4194304 6201397 140734559017200 140734559015912 4214931 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 172439 137271 166 491 0 171938 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 689756

[startup+582.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/176 3111
/proc/meminfo: memFree=30834924/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=711480 CPUtime=582.2 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 33959 0 0 0 58206 14 0 0 20 0 1 0 1143490 728555520 144569 33554432000 4194304 6201397 140734559017200 140734559015864 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 177870 144569 166 491 0 177369 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 711480


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


[startup+942.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 3122
/proc/meminfo: memFree=30655012/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1080480 CPUtime=942.14 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 38490 0 0 0 94196 18 0 0 20 0 1 0 1143490 1106411520 183816 33554432000 4194304 6201397 140734559017200 140734559016328 4213249 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 270120 183816 166 491 0 269619 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1080480

[startup+1002.3 s]
/proc/loadavg: 2.07 2.04 2.00 4/177 3123
/proc/meminfo: memFree=30644472/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1082856 CPUtime=1002.13 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 38943 0 0 0 100195 18 0 0 20 0 1 0 1143490 1108844544 184269 33554432000 4194304 6201397 140734559017200 140734559015864 4222241 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 270714 184269 166 491 0 270213 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1082856

[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 3124
/proc/meminfo: memFree=30636156/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1087080 CPUtime=1062.12 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 39833 0 0 0 106193 19 0 0 20 0 1 0 1143490 1113169920 186179 33554432000 4194304 6201397 140734559017200 140734559015912 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 271770 186179 166 491 0 271269 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1087080

[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 3126
/proc/meminfo: memFree=30596752/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1093488 CPUtime=1122.11 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 41274 0 0 0 112191 20 0 0 20 0 1 0 1143490 1119731712 193746 33554432000 4194304 6201397 140734559017200 140734559016328 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 273372 193746 166 491 0 272871 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1093488

[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/177 3127
/proc/meminfo: memFree=30593272/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1096524 CPUtime=1182.1 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 41708 0 0 0 118190 20 0 0 20 0 1 0 1143490 1122840576 194180 33554432000 4194304 6201397 140734559017200 140734559016328 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 274131 194180 166 491 0 273630 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1096524

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3128
/proc/meminfo: memFree=30589924/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1098240 CPUtime=1242.09 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 42010 0 0 0 124189 20 0 0 20 0 1 0 1143490 1124597760 194482 33554432000 4194304 6201397 140734559017200 140734559015912 4213170 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 274560 194482 166 491 0 274059 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1098240

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3129
/proc/meminfo: memFree=30580152/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1098504 CPUtime=1302.08 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 42240 0 0 0 130188 20 0 0 20 0 1 0 1143490 1124868096 194712 33554432000 4194304 6201397 140734559017200 140734559015864 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 274626 194712 166 491 0 274125 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1098504

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 3130
/proc/meminfo: memFree=30556328/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1098768 CPUtime=1362.08 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 42403 0 0 0 136187 21 0 0 20 0 1 0 1143490 1125138432 200496 33554432000 4194304 6201397 140734559017200 140734559016328 4216020 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 274692 200496 166 491 0 274191 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1098768

[startup+1422.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 3131
/proc/meminfo: memFree=30554532/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1102200 CPUtime=1422.08 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 42908 0 0 0 142187 21 0 0 20 0 1 0 1143490 1128652800 201001 33554432000 4194304 6201397 140734559017200 140734559015912 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 275550 201001 166 491 0 275049 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1102200

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 3136
/proc/meminfo: memFree=30523856/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1146816 CPUtime=1482.06 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 50459 0 0 0 148183 23 0 0 20 0 1 0 1143490 1174339584 208552 33554432000 4194304 6201397 140734559017200 140734559016328 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 286704 208552 166 491 0 286203 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1146816

[startup+1542.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 3137
/proc/meminfo: memFree=30485280/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1156584 CPUtime=1542.05 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 52335 0 0 0 154181 24 0 0 20 0 1 0 1143490 1184342016 218093 33554432000 4194304 6201397 140734559017200 140734559016328 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 289146 218093 166 491 0 288645 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1156584

[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 3138
/proc/meminfo: memFree=30481052/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1156584 CPUtime=1602.04 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 52335 0 0 0 160180 24 0 0 20 0 1 0 1143490 1184342016 218093 33554432000 4194304 6201397 140734559017200 140734559016328 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 289146 218093 166 491 0 288645 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1156584

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 3139
/proc/meminfo: memFree=30459592/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1156584 CPUtime=1662.02 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 52369 0 0 0 166178 24 0 0 20 0 1 0 1143490 1184342016 223431 33554432000 4194304 6201397 140734559017200 140734559016328 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 289146 223431 166 491 0 288645 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1156584

[startup+1722.3 s]
/proc/loadavg: 2.17 2.06 2.01 4/177 3140
/proc/meminfo: memFree=30435940/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1156584 CPUtime=1722.02 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 52379 0 0 0 172177 25 0 0 20 0 1 0 1143490 1184342016 228739 33554432000 4194304 6201397 140734559017200 140734559016328 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 289146 228739 166 491 0 288645 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1156584

[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 3142
/proc/meminfo: memFree=30434692/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1157376 CPUtime=1782.01 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 52481 0 0 0 178176 25 0 0 20 0 1 0 1143490 1185153024 228841 33554432000 4194304 6201397 140734559017200 140734559016328 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 289344 228841 166 491 0 288843 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1157376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 3142
/proc/meminfo: memFree=30435064/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1157376 CPUtime=1800.01 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 52483 0 0 0 179976 25 0 0 20 0 1 0 1143490 1185153024 228843 33554432000 4194304 6201397 140734559017200 140734559016328 4213110 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 289344 228843 166 491 0 288843 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1157376

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

[startup+1800.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 3142
/proc/meminfo: memFree=30435064/32872528 swapFree=170020/176152
[pid=3050] ppid=3047 vsize=1157376 CPUtime=1800.01 cores=1,3,5,7
/proc/3050/stat : 3050 (cdcl-cuttingpla) R 3047 3050 1985 0 -1 4202496 52483 0 0 0 179976 25 0 0 20 0 1 0 1143490 1185153024 228843 33554432000 4194304 6201397 140734559017200 140734559016328 4213110 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3050/statm: 289344 228843 166 491 0 288843 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1157376

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.76
CPU system time (s): 0.25796
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 1157376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.25796
maximum resident set size= 915372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52483
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= 14
involuntary context switches= 1977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42833 second user time and 7.03793 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-29 19:25:22
IDJOB=4118428
IDBENCH=111492
IDSOLVER=2550
FILE ID=node105/4118428-1467221121
RUNJOBID= node105-1467210315-2002
PBS_JOBID= 19997600
Free space on /tmp= 71736 MiB

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

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

MD5SUM BENCH= 79ba3292e41e8cd575854fc91abd48c3
RANDOM SEED=1887490633

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.487
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:        31066748 kB
Buffers:           54548 kB
Cached:           282480 kB
SwapCached:            0 kB
Active:           653228 kB
Inactive:         266440 kB
Active(anon):     585332 kB
Inactive(anon):        4 kB
Active(file):      67896 kB
Inactive(file):   266436 kB
Unevictable:      176152 kB
Mlocked:          170020 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2364 kB
Writeback:             4 kB
AnonPages:        762840 kB
Mapped:            14628 kB
Shmem:               204 kB
Slab:             576696 kB
SReclaimable:      21016 kB
SUnreclaim:       555680 kB
KernelStack:        1440 kB
PageTables:         5180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     911296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    569344 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= 71736 MiB
End job on node105 at 2016-06-29 19:55:22