Trace number 4087870

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-queens-30.opb
MD5SUMac9944a86f58bd3c1af4c4c4a209f399
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables900
Total number of constraints960
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints960
Minimum length of a constraint88
Maximum length of a constraint116
Number of terms in the objective function 900
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 900
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
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.01	c OPTIONS:
0.00/0.01	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.04	c * #variable= 900 #constraint= 960
0.00/0.07	c * #variable= 900 #constraint= 960
0.89/0.93	c S1->S2
0.89/0.93	c S2->S1
0.89/0.93	c S2->S1
0.89/0.93	c #Conflicts:       1000 | #Learnt:        915 | 1.021
0.89/0.93	c total clause space: 11.2235MB
0.89/0.93	c total #watches: 182395
3.30/3.32	c total #propagations: 143685 / total #impl: 1206430 (eff. 0.119)
3.30/3.32	c #Conflicts:       2000 | #Learnt:       1915 | 0.735
3.30/3.32	c total clause space: 18.2382MB
3.30/3.32	c total #watches: 281333
6.19/6.24	c total #propagations: 335857 / total #impl: 5040288 (eff. 0.067)
6.19/6.24	c GC COLLECT
6.19/6.24	c #Conflicts:       3000 | #Learnt:       1951 | 0.752
6.19/6.24	c total clause space: 18.2382MB
6.19/6.24	c total #watches: 334720
7.39/7.49	c total #propagations: 643841 / total #impl: 10659696 (eff. 0.060)
7.39/7.49	c S2->S1
7.39/7.49	c #Conflicts:       4000 | #Learnt:        944 | 0.601
7.39/7.49	c total clause space: 29.637MB
7.39/7.49	c total #watches: 294897
9.90/9.95	c total #propagations: 710408 / total #impl: 11999623 (eff. 0.059)
9.90/9.95	c GC COLLECT
9.90/9.95	c #Conflicts:       5000 | #Learnt:       1326 | 0.527
9.90/9.95	c total clause space: 48.1602MB
9.90/9.95	c total #watches: 150982
12.09/12.20	c total #propagations: 790906 / total #impl: 13165998 (eff. 0.060)
12.09/12.20	c #Conflicts:       6000 | #Learnt:       2326 | 0.456
12.09/12.20	c total clause space: 48.1602MB
12.09/12.20	c total #watches: 190176
16.19/16.27	c total #propagations: 863400 / total #impl: 14094682 (eff. 0.061)
16.19/16.27	c GC COLLECT
16.19/16.27	c #Conflicts:       7000 | #Learnt:       1714 | 0.394
16.19/16.27	c total clause space: 48.1602MB
16.19/16.27	c total #watches: 191134
19.49/19.55	c total #propagations: 907938 / total #impl: 15884722 (eff. 0.057)
19.49/19.55	c #Conflicts:       8000 | #Learnt:       2714 | 0.354
19.49/19.55	c total clause space: 48.1602MB
19.49/19.55	c total #watches: 228132
25.79/25.84	c total #propagations: 966560 / total #impl: 17707567 (eff. 0.055)
25.79/25.84	c #Conflicts:       9000 | #Learnt:       3714 | 0.335
25.79/25.84	c total clause space: 48.1602MB
25.79/25.84	c total #watches: 278611
32.89/32.98	c total #propagations: 1037404 / total #impl: 19665163 (eff. 0.053)
32.89/32.98	c GC COLLECT
32.89/32.98	c #Conflicts:      10000 | #Learnt:       2459 | 0.312
32.89/32.98	c total clause space: 48.1602MB
32.89/32.98	c total #watches: 224616
35.69/35.70	c total #propagations: 1121825 / total #impl: 21809672 (eff. 0.051)
35.69/35.70	c #Conflicts:      11000 | #Learnt:       3459 | 0.284
35.69/35.70	c total clause space: 48.1602MB
35.69/35.70	c total #watches: 278866
40.79/40.85	c total #propagations: 1158423 / total #impl: 23068392 (eff. 0.050)
40.79/40.85	c #Conflicts:      12000 | #Learnt:       4459 | 0.267
40.79/40.85	c total clause space: 78.2603MB
40.79/40.85	c total #watches: 313304
44.99/45.06	c total #propagations: 1212658 / total #impl: 23812681 (eff. 0.051)
44.99/45.06	c #Conflicts:      13000 | #Learnt:       5459 | 0.252
44.99/45.06	c total clause space: 78.2603MB
44.99/45.06	c total #watches: 341063
50.29/50.33	c total #propagations: 1255450 / total #impl: 24404836 (eff. 0.051)
50.29/50.33	c GC COLLECT
50.29/50.33	c #Conflicts:      14000 | #Learnt:       3731 | 0.237
50.29/50.33	c total clause space: 78.2603MB
50.29/50.33	c total #watches: 257104
58.29/58.32	c total #propagations: 1329102 / total #impl: 25661723 (eff. 0.052)
58.29/58.32	c #Conflicts:      15000 | #Learnt:       4731 | 0.225
58.29/58.32	c total clause space: 127.173MB
58.29/58.32	c total #watches: 320578
68.19/68.29	c total #propagations: 1398986 / total #impl: 28625206 (eff. 0.049)
68.19/68.29	c #Conflicts:      16000 | #Learnt:       5731 | 0.211
68.19/68.29	c total clause space: 127.173MB
68.19/68.29	c total #watches: 388322
73.58/73.70	c total #propagations: 1438765 / total #impl: 36504921 (eff. 0.039)
73.58/73.70	c GC COLLECT
73.58/73.70	c #Conflicts:      17000 | #Learnt:       3618 | 0.200
73.58/73.70	c total clause space: 127.173MB
73.58/73.70	c total #watches: 304031
77.48/77.53	c total #propagations: 1470966 / total #impl: 38656847 (eff. 0.038)
77.48/77.53	c #Conflicts:      18000 | #Learnt:       4618 | 0.189
77.48/77.53	c total clause space: 127.173MB
77.48/77.53	c total #watches: 357524
83.38/83.43	c total #propagations: 1505971 / total #impl: 40685156 (eff. 0.037)
83.38/83.43	c #Conflicts:      19000 | #Learnt:       5618 | 0.179
83.38/83.43	c total clause space: 127.173MB
83.38/83.43	c total #watches: 409760
96.17/96.28	c total #propagations: 1550375 / total #impl: 43203884 (eff. 0.036)
96.17/96.28	c #Conflicts:      20000 | #Learnt:       6618 | 0.173
96.17/96.28	c total clause space: 127.173MB
96.17/96.28	c total #watches: 477646
110.37/110.41	c total #propagations: 1627583 / total #impl: 46025534 (eff. 0.035)
110.37/110.41	c GC COLLECT
110.37/110.41	c #Conflicts:      21000 | #Learnt:       4164 | 0.170
110.37/110.41	c total clause space: 127.173MB
110.37/110.41	c total #watches: 342283
118.07/118.18	c total #propagations: 1702911 / total #impl: 47214759 (eff. 0.036)
118.07/118.18	c #Conflicts:      22000 | #Learnt:       5164 | 0.167
118.07/118.18	c total clause space: 127.173MB
118.07/118.18	c total #watches: 383655
128.97/129.03	c total #propagations: 1742812 / total #impl: 48145680 (eff. 0.036)
128.97/129.03	c #Conflicts:      23000 | #Learnt:       6164 | 0.165
128.97/129.03	c total clause space: 127.173MB
128.97/129.03	c total #watches: 420131
143.97/144.10	c total #propagations: 1802636 / total #impl: 49125361 (eff. 0.037)
143.97/144.10	c #Conflicts:      24000 | #Learnt:       7164 | 0.159
143.97/144.10	c total clause space: 127.173MB
143.97/144.10	c total #watches: 466604
152.06/152.15	c total #propagations: 1866615 / total #impl: 51089090 (eff. 0.037)
152.06/152.15	c GC COLLECT
152.06/152.15	c #Conflicts:      25000 | #Learnt:       4383 | 0.157
152.06/152.15	c total clause space: 127.173MB
152.06/152.15	c total #watches: 312986
160.16/160.21	c total #propagations: 1964195 / total #impl: 51896565 (eff. 0.038)
160.16/160.21	c #Conflicts:      26000 | #Learnt:       5383 | 0.154
160.16/160.21	c total clause space: 127.173MB
160.16/160.21	c total #watches: 350239
171.26/171.38	c total #propagations: 2070019 / total #impl: 53363669 (eff. 0.039)
171.26/171.38	c #Conflicts:      27000 | #Learnt:       6383 | 0.152
171.26/171.38	c total clause space: 127.173MB
171.26/171.38	c total #watches: 407195
182.58/182.64	c total #propagations: 2176289 / total #impl: 56543890 (eff. 0.038)
182.58/182.64	c #Conflicts:      28000 | #Learnt:       7383 | 0.149
182.58/182.64	c total clause space: 127.173MB
182.58/182.64	c total #watches: 461051
194.86/194.98	c total #propagations: 2238158 / total #impl: 58469741 (eff. 0.038)
194.86/194.98	c GC COLLECT
194.86/194.98	c #Conflicts:      29000 | #Learnt:       4294 | 0.159
194.86/194.98	c total clause space: 127.173MB
194.86/194.98	c total #watches: 323189
201.76/201.84	c total #propagations: 2327485 / total #impl: 59443403 (eff. 0.039)
201.76/201.84	c #Conflicts:      30000 | #Learnt:       5294 | 0.161
201.76/201.84	c total clause space: 127.173MB
201.76/201.84	c total #watches: 352548
208.66/208.74	c total #propagations: 2412761 / total #impl: 60752979 (eff. 0.040)
208.66/208.74	c #Conflicts:      31000 | #Learnt:       6294 | 0.158
208.66/208.74	c total clause space: 127.173MB
208.66/208.74	c total #watches: 381358
216.77/216.83	c total #propagations: 2462152 / total #impl: 62079131 (eff. 0.040)
216.77/216.83	c #Conflicts:      32000 | #Learnt:       7294 | 0.154
216.77/216.83	c total clause space: 127.173MB
216.77/216.83	c total #watches: 414698
228.77/228.88	c total #propagations: 2519503 / total #impl: 62887612 (eff. 0.040)
228.77/228.88	c #Conflicts:      33000 | #Learnt:       8294 | 0.151
228.77/228.88	c total clause space: 127.173MB
228.77/228.88	c total #watches: 451525
236.47/236.54	c total #propagations: 2599630 / total #impl: 64214619 (eff. 0.040)
236.47/236.54	c GC COLLECT
236.47/236.54	c #Conflicts:      34000 | #Learnt:       4899 | 0.149
236.47/236.54	c total clause space: 127.173MB
236.47/236.54	c total #watches: 303385
242.07/242.11	c total #propagations: 2656737 / total #impl: 66073261 (eff. 0.040)
242.07/242.11	c #Conflicts:      35000 | #Learnt:       5899 | 0.145
242.07/242.11	c total clause space: 127.173MB
242.07/242.11	c total #watches: 336961
250.25/250.38	c total #propagations: 2725491 / total #impl: 67697336 (eff. 0.040)
250.25/250.38	c #Conflicts:      36000 | #Learnt:       6899 | 0.141
250.25/250.38	c total clause space: 127.173MB
250.25/250.38	c total #watches: 367932
259.75/259.81	c total #propagations: 2787269 / total #impl: 69270823 (eff. 0.040)
259.75/259.81	c #Conflicts:      37000 | #Learnt:       7899 | 0.138
259.75/259.81	c total clause space: 127.173MB
259.75/259.81	c total #watches: 404403
269.35/269.42	c total #propagations: 2867460 / total #impl: 71185166 (eff. 0.040)
269.35/269.42	c #Conflicts:      38000 | #Learnt:       8899 | 0.134
269.35/269.42	c total clause space: 127.173MB
269.35/269.42	c total #watches: 427429
275.65/275.79	c total #propagations: 2950484 / total #impl: 73323035 (eff. 0.040)
275.65/275.79	c GC COLLECT
275.65/275.79	c #Conflicts:      39000 | #Learnt:       5205 | 0.131
275.65/275.79	c total clause space: 127.173MB
275.65/275.79	c total #watches: 283535
279.36/279.43	c total #propagations: 3007020 / total #impl: 74784811 (eff. 0.040)
279.36/279.43	c #Conflicts:      40000 | #Learnt:       6205 | 0.127
279.36/279.43	c total clause space: 127.173MB
279.36/279.43	c total #watches: 316412
284.86/284.95	c total #propagations: 3060410 / total #impl: 76107025 (eff. 0.040)
284.86/284.95	c #Conflicts:      41000 | #Learnt:       7205 | 0.124
284.86/284.95	c total clause space: 127.173MB
284.86/284.95	c total #watches: 357465
291.46/291.53	c total #propagations: 3116733 / total #impl: 78100469 (eff. 0.040)
291.46/291.53	c #Conflicts:      42000 | #Learnt:       8205 | 0.121
291.46/291.53	c total clause space: 127.173MB
291.46/291.53	c total #watches: 393957
298.75/298.89	c total #propagations: 3177946 / total #impl: 80295590 (eff. 0.040)
298.75/298.89	c #Conflicts:      43000 | #Learnt:       9205 | 0.119
298.75/298.89	c total clause space: 127.173MB
298.75/298.89	c total #watches: 435839
307.05/307.11	c total #propagations: 3233741 / total #impl: 82707237 (eff. 0.039)
307.05/307.11	c GC COLLECT
307.05/307.11	c #Conflicts:      44000 | #Learnt:       5203 | 0.117
307.05/307.11	c total clause space: 127.173MB
307.05/307.11	c total #watches: 307607
312.74/312.88	c total #propagations: 3291479 / total #impl: 85372227 (eff. 0.039)
312.74/312.88	c #Conflicts:      45000 | #Learnt:       6203 | 0.114
312.74/312.88	c total clause space: 127.173MB
312.74/312.88	c total #watches: 340574
322.13/322.20	c total #propagations: 3355208 / total #impl: 87836027 (eff. 0.038)
322.13/322.20	c #Conflicts:      46000 | #Learnt:       7203 | 0.115
322.13/322.20	c total clause space: 127.173MB
322.13/322.20	c total #watches: 378339
330.92/331.02	c total #propagations: 3433610 / total #impl: 88865844 (eff. 0.039)
330.92/331.02	c #Conflicts:      47000 | #Learnt:       8203 | 0.113
330.92/331.02	c total clause space: 127.173MB
330.92/331.02	c total #watches: 410302
344.92/345.04	c total #propagations: 3507544 / total #impl: 89636068 (eff. 0.039)
344.92/345.04	c #Conflicts:      48000 | #Learnt:       9203 | 0.114
344.92/345.04	c total clause space: 127.173MB
344.92/345.04	c total #watches: 457304
357.61/357.78	c total #propagations: 3652759 / total #impl: 91596810 (eff. 0.040)
357.61/357.78	c #Conflicts:      49000 | #Learnt:      10203 | 0.114
357.61/357.78	c total clause space: 127.173MB
357.61/357.78	c total #watches: 494601
366.60/366.72	c total #propagations: 3716391 / total #impl: 92826337 (eff. 0.040)
366.60/366.72	c GC COLLECT
366.60/366.72	c #Conflicts:      50000 | #Learnt:       5902 | 0.112
366.60/366.72	c total clause space: 206.656MB
366.60/366.72	c total #watches: 339278
375.99/376.17	c total #propagations: 3776855 / total #impl: 94227866 (eff. 0.040)
375.99/376.17	c #Conflicts:      51000 | #Learnt:       6902 | 0.113
375.99/376.17	c total clause space: 206.656MB
375.99/376.17	c total #watches: 376460
383.29/383.47	c total #propagations: 3865813 / total #impl: 95619370 (eff. 0.040)
383.29/383.47	c #Conflicts:      52000 | #Learnt:       7902 | 0.111
383.29/383.47	c total clause space: 206.656MB
383.29/383.47	c total #watches: 411059
389.89/390.00	c total #propagations: 3923937 / total #impl: 96960356 (eff. 0.040)
389.89/390.00	c #Conflicts:      53000 | #Learnt:       8902 | 0.109
389.89/390.00	c total clause space: 206.656MB
389.89/390.00	c total #watches: 450363
407.28/407.46	c total #propagations: 3964167 / total #impl: 97728199 (eff. 0.041)
407.28/407.46	c #Conflicts:      54000 | #Learnt:       9902 | 0.108
407.28/407.46	c total clause space: 206.656MB
407.28/407.46	c total #watches: 498510
418.09/418.23	c total #propagations: 4047150 / total #impl: 99060061 (eff. 0.041)
418.09/418.23	c #Conflicts:      55000 | #Learnt:      10902 | 0.107
418.09/418.23	c total clause space: 206.656MB
418.09/418.23	c total #watches: 537951
431.39/431.59	c total #propagations: 4111840 / total #impl: 99949408 (eff. 0.041)
431.39/431.59	c GC COLLECT
431.39/431.59	c #Conflicts:      56000 | #Learnt:       6304 | 0.107
431.39/431.59	c total clause space: 206.656MB
431.39/431.59	c total #watches: 369483
443.20/443.40	c total #propagations: 4220321 / total #impl: 101060980 (eff. 0.042)
443.20/443.40	c #Conflicts:      57000 | #Learnt:       7304 | 0.108
443.20/443.40	c total clause space: 206.656MB
443.20/443.40	c total #watches: 419446
457.88/458.09	c total #propagations: 4304620 / total #impl: 102417025 (eff. 0.042)
457.88/458.09	c #Conflicts:      58000 | #Learnt:       8304 | 0.112
457.88/458.09	c total clause space: 206.656MB
457.88/458.09	c total #watches: 471444
476.38/476.53	c total #propagations: 4405547 / total #impl: 103592347 (eff. 0.043)
476.38/476.53	c #Conflicts:      59000 | #Learnt:       9304 | 0.117
476.38/476.53	c total clause space: 206.656MB
476.38/476.53	c total #watches: 508446
495.18/495.36	c total #propagations: 4483557 / total #impl: 104693797 (eff. 0.043)
495.18/495.36	c #Conflicts:      60000 | #Learnt:      10304 | 0.116
495.18/495.36	c total clause space: 206.656MB
495.18/495.36	c total #watches: 547312
513.47/513.67	c total #propagations: 4550464 / total #impl: 106294832 (eff. 0.043)
513.47/513.67	c #Conflicts:      61000 | #Learnt:      11304 | 0.115
513.47/513.67	c total clause space: 206.656MB
513.47/513.67	c total #watches: 586254
530.18/530.33	c total #propagations: 4604396 / total #impl: 108928622 (eff. 0.042)
530.18/530.33	c GC COLLECT
530.18/530.33	c #Conflicts:      62000 | #Learnt:       6406 | 0.113
530.18/530.33	c total clause space: 206.656MB
530.18/530.33	c total #watches: 398005
541.97/542.10	c total #propagations: 4645796 / total #impl: 110865242 (eff. 0.042)
541.97/542.10	c #Conflicts:      63000 | #Learnt:       7406 | 0.112
541.97/542.10	c total clause space: 206.656MB
541.97/542.10	c total #watches: 470817
554.28/554.50	c total #propagations: 4686821 / total #impl: 113636397 (eff. 0.041)
554.28/554.50	c #Conflicts:      64000 | #Learnt:       8406 | 0.110
554.28/554.50	c total clause space: 206.656MB
554.28/554.50	c total #watches: 541655
573.96/574.15	c total #propagations: 4722913 / total #impl: 116574193 (eff. 0.041)
573.96/574.15	c #Conflicts:      65000 | #Learnt:       9406 | 0.111
573.96/574.15	c total clause space: 206.656MB
573.96/574.15	c total #watches: 610927
598.96/599.15	c total #propagations: 4778216 / total #impl: 118728345 (eff. 0.040)
598.96/599.15	c #Conflicts:      66000 | #Learnt:      10406 | 0.110
598.96/599.15	c total clause space: 206.656MB
598.96/599.15	c total #watches: 700411
620.85/621.02	c total #propagations: 4836856 / total #impl: 122310813 (eff. 0.040)
620.85/621.02	c #Conflicts:      67000 | #Learnt:      11406 | 0.109
620.85/621.02	c total clause space: 206.656MB
620.85/621.02	c total #watches: 742031
651.75/651.96	c total #propagations: 4872389 / total #impl: 123273115 (eff. 0.040)
651.75/651.96	c #Conflicts:      68000 | #Learnt:      12406 | 0.108
651.75/651.96	c total clause space: 206.656MB
651.75/651.96	c total #watches: 789009
673.06/673.28	c total #propagations: 4926919 / total #impl: 124839986 (eff. 0.039)
673.06/673.28	c GC COLLECT
673.06/673.28	c #Conflicts:      69000 | #Learnt:       7200 | 0.108
673.06/673.28	c total clause space: 206.656MB
673.06/673.28	c total #watches: 542281
696.84/697.07	c total #propagations: 5007245 / total #impl: 126139790 (eff. 0.040)
696.84/697.07	c #Conflicts:      70000 | #Learnt:       8200 | 0.107
696.84/697.07	c total clause space: 206.656MB
696.84/697.07	c total #watches: 591052
728.24/728.48	c total #propagations: 5093671 / total #impl: 127311120 (eff. 0.040)
728.24/728.48	c #Conflicts:      71000 | #Learnt:       9200 | 0.106
728.24/728.48	c total clause space: 206.656MB
728.24/728.48	c total #watches: 647633
753.73/753.96	c total #propagations: 5198961 / total #impl: 129645399 (eff. 0.040)
753.73/753.96	c #Conflicts:      72000 | #Learnt:      10200 | 0.104
753.73/753.96	c total clause space: 206.656MB
753.73/753.96	c total #watches: 700518
784.83/785.03	c total #propagations: 5248656 / total #impl: 133157441 (eff. 0.039)
784.83/785.03	c #Conflicts:      73000 | #Learnt:      11200 | 0.104
784.83/785.03	c total clause space: 206.656MB
784.83/785.03	c total #watches: 758234
812.52/812.70	c total #propagations: 5325238 / total #impl: 135925036 (eff. 0.039)
812.52/812.70	c #Conflicts:      74000 | #Learnt:      12200 | 0.103
812.52/812.70	c total clause space: 206.656MB
812.52/812.70	c total #watches: 797177
830.33/830.53	c total #propagations: 5373869 / total #impl: 137004764 (eff. 0.039)
830.33/830.53	c GC COLLECT
830.33/830.53	c #Conflicts:      75000 | #Learnt:       6699 | 0.102
830.33/830.53	c total clause space: 206.656MB
830.33/830.53	c total #watches: 422427
839.92/840.10	c total #propagations: 5414039 / total #impl: 137762518 (eff. 0.039)
839.92/840.10	c #Conflicts:      76000 | #Learnt:       7699 | 0.102
839.92/840.10	c total clause space: 206.656MB
839.92/840.10	c total #watches: 454142
850.52/850.76	c total #propagations: 5506564 / total #impl: 138765679 (eff. 0.040)
850.52/850.76	c #Conflicts:      77000 | #Learnt:       8699 | 0.102
850.52/850.76	c total clause space: 206.656MB
850.52/850.76	c total #watches: 490597
866.72/866.95	c total #propagations: 5562874 / total #impl: 139677137 (eff. 0.040)
866.72/866.95	c #Conflicts:      78000 | #Learnt:       9699 | 0.102
866.72/866.95	c total clause space: 206.656MB
866.72/866.95	c total #watches: 553340
879.11/879.30	c total #propagations: 5647250 / total #impl: 143320306 (eff. 0.039)
879.11/879.30	c #Conflicts:      79000 | #Learnt:      10699 | 0.101
879.11/879.30	c total clause space: 206.656MB
879.11/879.30	c total #watches: 595414
901.21/901.42	c total #propagations: 5695574 / total #impl: 144329998 (eff. 0.039)
901.21/901.42	c #Conflicts:      80000 | #Learnt:      11699 | 0.100
901.21/901.42	c total clause space: 206.656MB
901.21/901.42	c total #watches: 636461
928.21/928.45	c total #propagations: 5759312 / total #impl: 146056579 (eff. 0.039)
928.21/928.45	c #Conflicts:      81000 | #Learnt:      12699 | 0.099
928.21/928.45	c total clause space: 206.656MB
928.21/928.45	c total #watches: 706092
958.40/958.62	c total #propagations: 5823533 / total #impl: 148634201 (eff. 0.039)
958.40/958.62	c GC COLLECT
958.40/958.62	c #Conflicts:      82000 | #Learnt:       6907 | 0.098
958.40/958.62	c total clause space: 206.656MB
958.40/958.62	c total #watches: 454780
973.50/973.70	c total #propagations: 5881165 / total #impl: 153062534 (eff. 0.038)
973.50/973.70	c #Conflicts:      83000 | #Learnt:       7907 | 0.097
973.50/973.70	c total clause space: 206.656MB
973.50/973.70	c total #watches: 495303
991.10/991.37	c total #propagations: 5955569 / total #impl: 156899384 (eff. 0.038)
991.10/991.37	c #Conflicts:      84000 | #Learnt:       8907 | 0.096
991.10/991.37	c total clause space: 206.656MB
991.10/991.37	c total #watches: 537840
1008.19/1008.44	c total #propagations: 6021566 / total #impl: 159683590 (eff. 0.038)
1008.19/1008.44	c #Conflicts:      85000 | #Learnt:       9907 | 0.095
1008.19/1008.44	c total clause space: 206.656MB
1008.19/1008.44	c total #watches: 600576
1031.80/1032.00	c total #propagations: 6065958 / total #impl: 162298894 (eff. 0.037)
1031.80/1032.00	c #Conflicts:      86000 | #Learnt:      10907 | 0.094
1031.80/1032.00	c total clause space: 206.656MB
1031.80/1032.00	c total #watches: 679943
1055.69/1055.95	c total #propagations: 6122379 / total #impl: 166939940 (eff. 0.037)
1055.69/1055.95	c #Conflicts:      87000 | #Learnt:      11907 | 0.093
1055.69/1055.95	c total clause space: 206.656MB
1055.69/1055.95	c total #watches: 761978
1078.29/1078.58	c total #propagations: 6175857 / total #impl: 173556136 (eff. 0.036)
1078.29/1078.58	c #Conflicts:      88000 | #Learnt:      12907 | 0.092
1078.29/1078.58	c total clause space: 206.656MB
1078.29/1078.58	c total #watches: 829858
1106.68/1106.93	c total #propagations: 6221992 / total #impl: 178197010 (eff. 0.035)
1106.68/1106.93	c #Conflicts:      89000 | #Learnt:      13907 | 0.091
1106.68/1106.93	c total clause space: 206.656MB
1106.68/1106.93	c total #watches: 888707
1126.38/1126.68	c total #propagations: 6275213 / total #impl: 183330814 (eff. 0.034)
1126.38/1126.68	c GC COLLECT
1126.38/1126.68	c #Conflicts:      90000 | #Learnt:       7806 | 0.090
1126.38/1126.68	c total clause space: 206.656MB
1126.38/1126.68	c total #watches: 578800
1141.88/1142.13	c total #propagations: 6322175 / total #impl: 188009960 (eff. 0.034)
1141.88/1142.13	c #Conflicts:      91000 | #Learnt:       8806 | 0.089
1141.88/1142.13	c total clause space: 206.656MB
1141.88/1142.13	c total #watches: 644533
1159.87/1160.15	c total #propagations: 6364932 / total #impl: 191615078 (eff. 0.033)
1159.87/1160.15	c #Conflicts:      92000 | #Learnt:       9806 | 0.088
1159.87/1160.15	c total clause space: 206.656MB
1159.87/1160.15	c total #watches: 712459
1180.27/1180.59	c total #propagations: 6410910 / total #impl: 194437820 (eff. 0.033)
1180.27/1180.59	c #Conflicts:      93000 | #Learnt:      10806 | 0.087
1180.27/1180.59	c total clause space: 206.656MB
1180.27/1180.59	c total #watches: 753965
1202.47/1202.78	c total #propagations: 6465090 / total #impl: 197013522 (eff. 0.033)
1202.47/1202.78	c #Conflicts:      94000 | #Learnt:      11806 | 0.086
1202.47/1202.78	c total clause space: 206.656MB
1202.47/1202.78	c total #watches: 801038
1230.77/1231.07	c total #propagations: 6516471 / total #impl: 200125926 (eff. 0.033)
1230.77/1231.07	c #Conflicts:      95000 | #Learnt:      12806 | 0.086
1230.77/1231.07	c total clause space: 206.656MB
1230.77/1231.07	c total #watches: 851195
1262.06/1262.38	c total #propagations: 6572576 / total #impl: 205238237 (eff. 0.032)
1262.06/1262.38	c #Conflicts:      96000 | #Learnt:      13806 | 0.085
1262.06/1262.38	c total clause space: 206.656MB
1262.06/1262.38	c total #watches: 900077
1288.55/1288.81	c total #propagations: 6628038 / total #impl: 210539937 (eff. 0.031)
1288.55/1288.81	c #Conflicts:      97000 | #Learnt:      14806 | 0.084
1288.55/1288.81	c total clause space: 206.656MB
1288.55/1288.81	c total #watches: 945779
1301.65/1301.99	c total #propagations: 6680381 / total #impl: 215348838 (eff. 0.031)
1301.65/1301.99	c GC COLLECT
1301.65/1301.99	c #Conflicts:      98000 | #Learnt:       8403 | 0.083
1301.65/1301.99	c total clause space: 206.656MB
1301.65/1301.99	c total #watches: 560331
1314.75/1315.01	c total #propagations: 6741054 / total #impl: 220846098 (eff. 0.031)
1314.75/1315.01	c #Conflicts:      99000 | #Learnt:       9403 | 0.082
1314.75/1315.01	c total clause space: 206.656MB
1314.75/1315.01	c total #watches: 614266
1329.45/1329.73	c total #propagations: 6802027 / total #impl: 226978151 (eff. 0.030)
1329.45/1329.73	c #Conflicts:     100000 | #Learnt:      10403 | 0.082
1329.45/1329.73	c total clause space: 206.656MB
1329.45/1329.73	c total #watches: 660517
1343.55/1343.84	c total #propagations: 6862613 / total #impl: 232401330 (eff. 0.030)
1343.55/1343.84	c #Conflicts:     101000 | #Learnt:      11403 | 0.081
1343.55/1343.84	c total clause space: 206.656MB
1343.55/1343.84	c total #watches: 703380
1359.64/1359.93	c total #propagations: 6926341 / total #impl: 237371355 (eff. 0.029)
1359.64/1359.93	c #Conflicts:     102000 | #Learnt:      12403 | 0.080
1359.64/1359.93	c total clause space: 206.656MB
1359.64/1359.93	c total #watches: 731802
1377.44/1377.77	c total #propagations: 6994212 / total #impl: 242160152 (eff. 0.029)
1377.44/1377.77	c #Conflicts:     103000 | #Learnt:      13403 | 0.079
1377.44/1377.77	c total clause space: 206.656MB
1377.44/1377.77	c total #watches: 790225
1401.64/1402.00	c total #propagations: 7050355 / total #impl: 248823861 (eff. 0.028)
1401.64/1402.00	c #Conflicts:     104000 | #Learnt:      14403 | 0.079
1401.64/1402.00	c total clause space: 206.656MB
1401.64/1402.00	c total #watches: 847851
1437.63/1438.00	c total #propagations: 7111769 / total #impl: 251300080 (eff. 0.028)
1437.63/1438.00	c #Conflicts:     105000 | #Learnt:      15403 | 0.078
1437.63/1438.00	c total clause space: 206.656MB
1437.63/1438.00	c total #watches: 899343
1454.04/1454.35	c total #propagations: 7187554 / total #impl: 254275894 (eff. 0.028)
1454.04/1454.35	c GC COLLECT
1454.04/1454.35	c #Conflicts:     106000 | #Learnt:       8697 | 0.078
1454.04/1454.35	c total clause space: 206.656MB
1454.04/1454.35	c total #watches: 550154
1470.73/1471.02	c total #propagations: 7276034 / total #impl: 258622419 (eff. 0.028)
1470.73/1471.02	c #Conflicts:     107000 | #Learnt:       9697 | 0.078
1470.73/1471.02	c total clause space: 206.656MB
1470.73/1471.02	c total #watches: 631232
1489.02/1489.38	c total #propagations: 7347187 / total #impl: 262943957 (eff. 0.028)
1489.02/1489.38	c #Conflicts:     108000 | #Learnt:      10697 | 0.078
1489.02/1489.38	c total clause space: 206.656MB
1489.02/1489.38	c total #watches: 687430
1508.82/1509.17	c total #propagations: 7415081 / total #impl: 264464527 (eff. 0.028)
1508.82/1509.17	c #Conflicts:     109000 | #Learnt:      11697 | 0.077
1508.82/1509.17	c total clause space: 206.656MB
1508.82/1509.17	c total #watches: 752466
1532.42/1532.74	c total #propagations: 7480402 / total #impl: 266155374 (eff. 0.028)
1532.42/1532.74	c #Conflicts:     110000 | #Learnt:      12697 | 0.078
1532.42/1532.74	c total clause space: 206.656MB
1532.42/1532.74	c total #watches: 848315
1561.51/1561.87	c total #propagations: 7544204 / total #impl: 268725682 (eff. 0.028)
1561.51/1561.87	c #Conflicts:     111000 | #Learnt:      13697 | 0.079
1561.51/1561.87	c total clause space: 206.656MB
1561.51/1561.87	c total #watches: 931591
1593.81/1594.18	c total #propagations: 7624074 / total #impl: 271512934 (eff. 0.028)
1593.81/1594.18	c #Conflicts:     112000 | #Learnt:      14697 | 0.078
1593.81/1594.18	c total clause space: 206.656MB
1593.81/1594.18	c total #watches: 978531
1634.10/1634.44	c total #propagations: 7689369 / total #impl: 272778459 (eff. 0.028)
1634.10/1634.44	c #Conflicts:     113000 | #Learnt:      15697 | 0.080
1634.10/1634.44	c total clause space: 206.656MB
1634.10/1634.44	c total #watches: 1014408
1657.80/1658.18	c total #propagations: 7780217 / total #impl: 273916113 (eff. 0.028)
1657.80/1658.18	c GC COLLECT
1657.80/1658.18	c #Conflicts:     114000 | #Learnt:       8695 | 0.079
1657.80/1658.18	c total clause space: 206.656MB
1657.80/1658.18	c total #watches: 659359
1676.40/1676.78	c total #propagations: 7832597 / total #impl: 275524068 (eff. 0.028)
1676.40/1676.78	c #Conflicts:     115000 | #Learnt:       9695 | 0.081
1676.40/1676.78	c total clause space: 206.656MB
1676.40/1676.78	c total #watches: 697638
1702.50/1702.88	c total #propagations: 7907043 / total #impl: 276553541 (eff. 0.029)
1702.50/1702.88	c #Conflicts:     116000 | #Learnt:      10695 | 0.081
1702.50/1702.88	c total clause space: 206.656MB
1702.50/1702.88	c total #watches: 748045
1721.89/1722.27	c total #propagations: 7984170 / total #impl: 278186144 (eff. 0.029)
1721.89/1722.27	c #Conflicts:     117000 | #Learnt:      11695 | 0.080
1721.89/1722.27	c total clause space: 206.656MB
1721.89/1722.27	c total #watches: 798648
1740.68/1741.05	c total #propagations: 8035550 / total #impl: 279659899 (eff. 0.029)
1740.68/1741.05	c #Conflicts:     118000 | #Learnt:      12695 | 0.080
1740.68/1741.05	c total clause space: 206.656MB
1740.68/1741.05	c total #watches: 876109
1761.99/1762.33	c total #propagations: 8074002 / total #impl: 281802804 (eff. 0.029)
1761.99/1762.33	c #Conflicts:     119000 | #Learnt:      13695 | 0.079
1761.99/1762.33	c total clause space: 206.656MB
1761.99/1762.33	c total #watches: 961351
1783.58/1783.97	c total #propagations: 8115551 / total #impl: 285359273 (eff. 0.028)
1783.58/1783.97	c #Conflicts:     120000 | #Learnt:      14695 | 0.078
1783.58/1783.97	c total clause space: 206.656MB
1783.58/1783.97	c total #watches: 1009512

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-4087870-1465439840/watcher-4087870-1465439840 -o /tmp/evaluation-result-4087870-1465439840/solver-4087870-1465439840 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465427020-23743 --watchdog 1960 --input HOME/instance-4087870-1465439840.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=25690
running on 8 cores: 0-3,8-11

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.04 2.02 2.00 3/258 25693
/proc/meminfo: memFree=30416476/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=55976 CPUtime=0 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 125825576 57319424 10909 33554432000 4194304 6211289 140734267698288 140735587668008 5418912 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 13994 10909 120 493 0 13491 0

[startup+0.100199 s]
/proc/loadavg: 2.04 2.02 2.00 3/258 25693
/proc/meminfo: memFree=30416476/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=67864 CPUtime=0.09 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 2232 0 0 0 8 1 0 0 20 0 1 0 125825576 69492736 14510 33554432000 4194304 6211289 140734267698288 140735587668008 4228081 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 16966 14510 144 493 0 16463 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67864

[startup+0.200382 s]
/proc/loadavg: 2.04 2.02 2.00 3/258 25693
/proc/meminfo: memFree=30416476/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=71112 CPUtime=0.19 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 2696 0 0 0 18 1 0 0 20 0 1 0 125825576 72818688 15905 33554432000 4194304 6211289 140734267698288 140735587668008 4205577 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 17778 15905 204 493 0 17275 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 71112

[startup+0.300309 s]
/proc/loadavg: 2.04 2.02 2.00 3/258 25693
/proc/meminfo: memFree=30416476/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=75532 CPUtime=0.29 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 3000 0 0 0 28 1 0 0 20 0 1 0 125825576 77344768 16604 33554432000 4194304 6211289 140734267698288 140735587668008 5146383 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 18883 16604 204 493 0 18380 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75532

[startup+0.700232 s]
/proc/loadavg: 2.04 2.02 2.00 3/258 25693
/proc/meminfo: memFree=30416476/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=76192 CPUtime=0.69 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 3141 0 0 0 68 1 0 0 20 0 1 0 125825576 78020608 16745 33554432000 4194304 6211289 140734267698288 140735587668008 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 19048 16745 204 493 0 18545 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76192

[startup+1.50023 s]
/proc/loadavg: 2.04 2.02 2.00 3/259 25694
/proc/meminfo: memFree=30345396/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=84432 CPUtime=1.49 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 4148 0 0 0 148 1 0 0 20 0 1 0 125825576 86458368 17973 33554432000 4194304 6211289 140734267698288 140734267696280 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 21108 17973 214 493 0 20605 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84432

[startup+3.10024 s]
/proc/loadavg: 2.04 2.02 2.00 3/259 25694
/proc/meminfo: memFree=30344160/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=85228 CPUtime=3.09 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 4338 0 0 0 308 1 0 0 20 0 1 0 125825576 87273472 18674 33554432000 4194304 6211289 140734267698288 140734267696280 4241570 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 21307 18674 214 493 0 20804 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85228

[startup+6.30023 s]
/proc/loadavg: 2.04 2.02 2.00 3/259 25694
/proc/meminfo: memFree=30339400/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=86556 CPUtime=6.29 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 5146 0 0 0 628 1 0 0 20 0 1 0 125825576 88633344 19332 33554432000 4194304 6211289 140734267698288 140734267696200 4209388 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 21639 19332 219 493 0 21136 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86556

[startup+12.7003 s]
/proc/loadavg: 2.03 2.02 2.00 3/259 25694
/proc/meminfo: memFree=30319100/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=119072 CPUtime=12.68 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 7146 0 0 0 1267 1 0 0 20 0 1 0 125825576 121929728 24276 33554432000 4194304 6211289 140734267698288 140734267696152 4209244 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 29768 24276 219 493 0 29265 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 119072

[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.00 3/259 25694
/proc/meminfo: memFree=30305260/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=122040 CPUtime=25.49 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 8061 0 0 0 2547 2 0 0 20 0 1 0 125825576 124968960 28232 33554432000 4194304 6211289 140734267698288 140734267696200 4209392 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 30510 28232 219 493 0 30007 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 122040

[startup+51.1004 s]
/proc/loadavg: 2.02 2.02 2.00 3/259 25694
/proc/meminfo: memFree=30270256/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=155164 CPUtime=51.09 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 9479 0 0 0 5106 3 0 0 20 0 1 0 125825576 158887936 36450 33554432000 4194304 6211289 140734267698288 140734267696632 4209314 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 38791 36450 219 493 0 38288 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 155164

[startup+102.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/259 25695
/proc/meminfo: memFree=30229032/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=212036 CPUtime=102.28 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 11393 0 0 0 10224 4 0 0 20 0 1 0 125825576 217124864 46327 33554432000 4194304 6211289 140734267698288 140734267696152 4209306 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 53009 46327 219 493 0 52506 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 212036

[startup+162.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/260 25700
/proc/meminfo: memFree=30224648/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=214596 CPUtime=162.26 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 11914 0 0 0 16222 4 0 0 20 0 1 0 125825576 219746304 47355 33554432000 4194304 6211289 140734267698288 140734267696632 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 53649 47355 219 493 0 53146 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 214596

[startup+222.311 s]
/proc/loadavg: 2.04 2.04 2.00 3/259 25701
/proc/meminfo: memFree=30221388/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=218712 CPUtime=222.27 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 12796 0 0 0 22222 5 0 0 20 0 1 0 125825576 223961088 48237 33554432000 4194304 6211289 140734267698288 140734267696152 4209388 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 54678 48237 219 493 0 54175 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 218712

[startup+282.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/259 25748
/proc/meminfo: memFree=29999132/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=220024 CPUtime=282.25 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 13083 0 0 0 28220 5 0 0 20 0 1 0 125825576 225304576 48524 33554432000 4194304 6211289 140734267698288 140734267696632 4209328 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 55006 48524 219 493 0 54503 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 220024

[startup+342.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/259 25749
/proc/meminfo: memFree=29689544/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=223096 CPUtime=342.22 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 13756 0 0 0 34217 5 0 0 20 0 1 0 125825576 228450304 51952 33554432000 4194304 6211289 140734267698288 140734267696152 4209322 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 55774 51952 219 493 0 55271 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 223096

[startup+402.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/259 25750
/proc/meminfo: memFree=29678120/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=307364 CPUtime=402.19 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 14909 0 0 0 40214 5 0 0 20 0 1 0 125825576 314740736 54757 33554432000 4194304 6211289 140734267698288 140734267696152 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 76841 54757 219 493 0 76338 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 307364

[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/259 25752
/proc/meminfo: memFree=29100852/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=308036 CPUtime=462.18 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 15245 0 0 0 46212 6 0 0 20 0 1 0 125825576 315428864 61206 33554432000 4194304 6211289 140734267698288 140734267696632 4209304 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 77009 61206 219 493 0 76506 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 308036

[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/259 25753
/proc/meminfo: memFree=29015416/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=309956 CPUtime=522.17 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 15666 0 0 0 52211 6 0 0 20 0 1 0 125825576 317394944 63670 33554432000 4194304 6211289 140734267698288 140734267696152 4209388 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 77489 63670 219 493 0 76986 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 309956

[startup+582.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/259 25754
/proc/meminfo: memFree=28954008/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=312392 CPUtime=582.16 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 16074 0 0 0 58210 6 0 0 20 0 1 0 125825576 319889408 64588 33554432000 4194304 6211289 140734267698288 140734267696152 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 78098 64588 219 493 0 77595 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 312392


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


[startup+882.311 s]
/proc/loadavg: 2.14 2.08 2.01 3/259 25763
/proc/meminfo: memFree=28918492/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=321224 CPUtime=882.12 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 17631 0 0 0 88206 6 0 0 20 0 1 0 125825576 328933376 67678 33554432000 4194304 6211289 140734267698288 140734267696632 4209403 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 80306 67678 219 493 0 79803 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 321224

[startup+942.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/259 25764
/proc/meminfo: memFree=28916780/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=322184 CPUtime=942.1 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 17823 0 0 0 94204 6 0 0 20 0 1 0 125825576 329916416 67870 33554432000 4194304 6211289 140734267698288 140734267696632 4209304 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 80546 67870 219 493 0 80043 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 322184

[startup+1002.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/259 25765
/proc/meminfo: memFree=28917056/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=322568 CPUtime=1002.09 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 17888 0 0 0 100203 6 0 0 20 0 1 0 125825576 330309632 67935 33554432000 4194304 6211289 140734267698288 140734267696632 4209322 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 80642 67935 219 493 0 80139 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 322568

[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/259 25766
/proc/meminfo: memFree=28916256/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=322952 CPUtime=1062.09 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 17971 0 0 0 106202 7 0 0 20 0 1 0 125825576 330702848 68018 33554432000 4194304 6211289 140734267698288 140734267696632 4209380 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 80738 68018 219 493 0 80235 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 322952

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/259 25768
/proc/meminfo: memFree=28901792/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=323144 CPUtime=1122.08 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 18042 0 0 0 112201 7 0 0 20 0 1 0 125825576 330899456 71666 33554432000 4194304 6211289 140734267698288 140734267696632 4209314 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 80786 71666 219 493 0 80283 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 323144

[startup+1182.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/259 25769
/proc/meminfo: memFree=28901168/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=323912 CPUtime=1182.07 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 18169 0 0 0 118200 7 0 0 20 0 1 0 125825576 331685888 71793 33554432000 4194304 6211289 140734267698288 140734267696632 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 80978 71793 219 493 0 80475 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 323912

[startup+1242.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/259 25770
/proc/meminfo: memFree=28858020/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=324104 CPUtime=1242.06 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 18246 0 0 0 124199 7 0 0 20 0 1 0 125825576 331882496 71870 33554432000 4194304 6211289 140734267698288 140734267696632 4209304 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 81026 71870 219 493 0 80523 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 324104

[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/259 25771
/proc/meminfo: memFree=28850124/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=324296 CPUtime=1302.05 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 18273 0 0 0 130198 7 0 0 20 0 1 0 125825576 332079104 71897 33554432000 4194304 6211289 140734267698288 140734267696632 4209304 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 81074 71897 219 493 0 80571 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 324296

[startup+1362.3 s]
/proc/loadavg: 2.14 2.08 2.01 3/260 25775
/proc/meminfo: memFree=28823180/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=324296 CPUtime=1362.04 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 18290 0 0 0 136197 7 0 0 20 0 1 0 125825576 332079104 71914 33554432000 4194304 6211289 140734267698288 140734267696632 4209304 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 81074 71914 219 493 0 80571 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 324296

[startup+1422.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/260 25800
/proc/meminfo: memFree=28786576/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=327500 CPUtime=1422.04 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 18976 0 0 0 142196 8 0 0 20 0 1 0 125825576 335360000 72600 33554432000 4194304 6211289 140734267698288 140734267696152 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 81875 72600 219 493 0 81372 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 327500

[startup+1482.3 s]
/proc/loadavg: 2.17 2.10 2.02 3/259 25801
/proc/meminfo: memFree=28776640/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=328268 CPUtime=1482.03 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 19099 0 0 0 148195 8 0 0 20 0 1 0 125825576 336146432 72723 33554432000 4194304 6211289 140734267698288 140734267696152 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 82067 72723 219 493 0 81564 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 328268

[startup+1542.31 s]
/proc/loadavg: 2.11 2.10 2.02 3/259 25802
/proc/meminfo: memFree=28753680/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=328460 CPUtime=1542.03 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 19130 0 0 0 154195 8 0 0 20 0 1 0 125825576 336343040 72754 33554432000 4194304 6211289 140734267698288 140734267696632 4240063 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 82115 72754 219 493 0 81612 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 328460

[startup+1602.3 s]
/proc/loadavg: 2.04 2.08 2.02 3/260 25804
/proc/meminfo: memFree=28733692/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=328652 CPUtime=1602.01 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 19191 0 0 0 160193 8 0 0 20 0 1 0 125825576 336539648 72815 33554432000 4194304 6211289 140734267698288 140734267696632 4209314 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 82163 72815 219 493 0 81660 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 328652

[startup+1662.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/259 25805
/proc/meminfo: memFree=28733328/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=328844 CPUtime=1662 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 19227 0 0 0 166192 8 0 0 20 0 1 0 125825576 336736256 72851 33554432000 4194304 6211289 140734267698288 140734267696632 4209388 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 82211 72851 219 493 0 81708 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 328844

[startup+1722.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/259 25807
/proc/meminfo: memFree=28727224/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=328844 CPUtime=1721.99 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 19233 0 0 0 172191 8 0 0 20 0 1 0 125825576 336736256 74347 33554432000 4194304 6211289 140734267698288 140734267696632 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 82211 74347 219 493 0 81708 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 328844

[startup+1782.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/259 25808
/proc/meminfo: memFree=28726208/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=329036 CPUtime=1781.98 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 19288 0 0 0 178190 8 0 0 20 0 1 0 125825576 336932864 74401 33554432000 4194304 6211289 140734267698288 140734267696632 4201991 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 82259 74401 219 493 0 81756 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 329036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.08 2.08 2.02 3/259 25808
/proc/meminfo: memFree=28727092/32872528 swapFree=9196/9196
[pid=25693] ppid=25690 vsize=329036 CPUtime=1800.07 cores=0-3,8-11
/proc/25693/stat : 25693 (cdcl-cuttingpla) R 25690 25693 23727 0 -1 4202496 19288 0 0 0 179999 8 0 0 20 0 1 0 125825576 336932864 74401 33554432000 4194304 6211289 140734267698288 140734267696632 4209388 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/25693/statm: 82259 74401 219 493 0 81756 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 329036

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 25693 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.09
CPU user time (s): 1800
CPU system time (s): 0.087986
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 329036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.087986
maximum resident set size= 297604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19288
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= 56
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87895 second user time and 10.0605 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-09 04:37:20
IDJOB=4087870
IDBENCH=89874
IDSOLVER=2549
FILE ID=node132/4087870-1465439840
RUNJOBID= node132-1465427020-23743
PBS_JOBID= 19859780
Free space on /tmp= 71740 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-queens-30.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087870-1465439840/watcher-4087870-1465439840 -o /tmp/evaluation-result-4087870-1465439840/solver-4087870-1465439840 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465427020-23743 --watchdog 1960 --input HOME/instance-4087870-1465439840.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= ac9944a86f58bd3c1af4c4c4a209f399
RANDOM SEED=889552339

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30416320 kB
Buffers:          115812 kB
Cached:          1219640 kB
SwapCached:         1420 kB
Active:           810800 kB
Inactive:         861600 kB
Active(anon):     336252 kB
Inactive(anon):     3084 kB
Active(file):     474548 kB
Inactive(file):   858516 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67096368 kB
Dirty:              2924 kB
Writeback:             0 kB
AnonPages:        349612 kB
Mapped:             7980 kB
Shmem:                 0 kB
Slab:             630112 kB
SReclaimable:      69420 kB
SUnreclaim:       560692 kB
KernelStack:        2240 kB
PageTables:         5088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     603172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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 node132 at 2016-06-09 05:07:20