Trace number 4100719

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-etamacro.opb
MD5SUMe211111a6c1a3c27b5e79e770c101730
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark1800.64
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 40
Optimality of the best value was proved NO
Number of variables15742
Total number of constraints530
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 constraints530
Minimum length of a constraint10
Maximum length of a constraint522
Number of terms in the objective function 1442
Biggest coefficient in the objective function 62322
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 525467
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 525467
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c OPTIONS:
0.00/0.01	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.03	c * #variable= 15742 #constraint= 530
0.00/0.06	c * #variable= 15742 #constraint= 530
0.88/0.92	c S1->S2
0.88/0.92	c S2->S1
0.88/0.92	c S2->S1
0.88/0.92	c S2->S1
0.88/0.92	c S2->S1
0.88/0.92	c S2->S1
0.88/0.92	c S2->S1
0.88/0.92	c S2->S1
0.88/0.92	c S2->S1
0.88/0.92	c S2->S1
0.88/0.92	c #Conflicts:       1000 | #Learnt:        925 | 6.501
0.88/0.92	c total clause space: 48.1602MB
0.88/0.92	c total #watches: 660801
1.09/1.19	c total #propagations: 204736 / total #impl: 10934144 (eff. 0.019)
1.09/1.19	c #Conflicts:       2000 | #Learnt:       1911 | 3.781
1.09/1.19	c total clause space: 48.1602MB
1.09/1.19	c total #watches: 629511
1.38/1.46	c total #propagations: 331436 / total #impl: 13370765 (eff. 0.025)
1.38/1.46	c GC COLLECT
1.38/1.46	c #Conflicts:       3000 | #Learnt:       1900 | 2.535
1.38/1.46	c total clause space: 48.1602MB
1.38/1.46	c total #watches: 87958
1.58/1.69	c total #propagations: 487041 / total #impl: 13931131 (eff. 0.035)
1.58/1.69	c #Conflicts:       4000 | #Learnt:       2896 | 1.915
1.58/1.69	c total clause space: 48.1602MB
1.58/1.69	c total #watches: 109424
2.20/2.29	c total #propagations: 665620 / total #impl: 14308226 (eff. 0.047)
2.20/2.29	c GC COLLECT
2.20/2.29	c #Conflicts:       5000 | #Learnt:       2301 | 1.561
2.20/2.29	c total clause space: 48.1602MB
2.20/2.29	c total #watches: 103704
2.79/2.82	c total #propagations: 1006423 / total #impl: 16161423 (eff. 0.062)
2.79/2.82	c S2->S1
2.79/2.82	c #Conflicts:       6000 | #Learnt:       1040 | 1.568
2.79/2.82	c total clause space: 48.1602MB
2.79/2.82	c total #watches: 172174
3.49/3.50	c total #propagations: 1239917 / total #impl: 18455385 (eff. 0.067)
3.49/3.50	c GC COLLECT
3.49/3.50	c #Conflicts:       7000 | #Learnt:       1132 | 1.586
3.49/3.50	c total clause space: 48.1602MB
3.49/3.50	c total #watches: 126874
4.39/4.43	c total #propagations: 1395660 / total #impl: 26229831 (eff. 0.053)
4.39/4.43	c #Conflicts:       8000 | #Learnt:       2132 | 1.572
4.39/4.43	c total clause space: 48.1602MB
4.39/4.43	c total #watches: 215244
5.88/5.99	c total #propagations: 1560449 / total #impl: 29966895 (eff. 0.052)
5.88/5.99	c #Conflicts:       9000 | #Learnt:       3121 | 1.486
5.88/5.99	c total clause space: 48.1602MB
5.88/5.99	c total #watches: 271696
6.98/7.02	c total #propagations: 1800017 / total #impl: 31377283 (eff. 0.057)
6.98/7.02	c GC COLLECT
6.98/7.02	c #Conflicts:      10000 | #Learnt:       2168 | 1.366
6.98/7.02	c total clause space: 48.1602MB
6.98/7.02	c total #watches: 170837
7.98/8.08	c total #propagations: 1964700 / total #impl: 32522385 (eff. 0.060)
7.98/8.08	c #Conflicts:      11000 | #Learnt:       3167 | 1.246
7.98/8.08	c total clause space: 48.1602MB
7.98/8.08	c total #watches: 212799
10.29/10.33	c total #propagations: 2121588 / total #impl: 34080222 (eff. 0.062)
10.29/10.33	c #Conflicts:      12000 | #Learnt:       4163 | 1.242
10.29/10.33	c total clause space: 78.2603MB
10.29/10.33	c total #watches: 280645
14.18/14.23	c total #propagations: 2321650 / total #impl: 38945320 (eff. 0.060)
14.18/14.23	c #Conflicts:      13000 | #Learnt:       5161 | 1.325
14.18/14.23	c total clause space: 78.2603MB
14.18/14.23	c total #watches: 368523
16.68/16.79	c total #propagations: 2571284 / total #impl: 42264756 (eff. 0.061)
16.68/16.79	c GC COLLECT
16.68/16.79	c #Conflicts:      14000 | #Learnt:       3592 | 1.233
16.68/16.79	c total clause space: 78.2603MB
16.68/16.79	c total #watches: 336416
18.58/18.62	c total #propagations: 2772697 / total #impl: 44876888 (eff. 0.062)
18.58/18.62	c #Conflicts:      15000 | #Learnt:       4588 | 1.291
18.58/18.62	c total clause space: 78.2603MB
18.58/18.62	c total #watches: 412330
19.79/19.87	c total #propagations: 3005963 / total #impl: 50286025 (eff. 0.060)
19.79/19.87	c #Conflicts:      16000 | #Learnt:       5588 | 1.210
19.79/19.87	c total clause space: 127.173MB
19.79/19.87	c total #watches: 431181
20.89/20.95	c total #propagations: 3058531 / total #impl: 50697144 (eff. 0.060)
20.89/20.95	c GC COLLECT
20.89/20.95	c #Conflicts:      17000 | #Learnt:       3561 | 1.139
20.89/20.95	c total clause space: 127.173MB
20.89/20.95	c total #watches: 286777
21.58/21.67	c total #propagations: 3110708 / total #impl: 51068536 (eff. 0.061)
21.58/21.67	c #Conflicts:      18000 | #Learnt:       4561 | 1.076
21.58/21.67	c total clause space: 127.173MB
21.58/21.67	c total #watches: 296085
22.88/22.99	c total #propagations: 3137653 / total #impl: 51297138 (eff. 0.061)
22.88/22.99	c #Conflicts:      19000 | #Learnt:       5560 | 1.019
22.88/22.99	c total clause space: 127.173MB
22.88/22.99	c total #watches: 307144
25.08/25.13	c total #propagations: 3349748 / total #impl: 52209047 (eff. 0.064)
25.08/25.13	c #Conflicts:      20000 | #Learnt:       6558 | 0.989
25.08/25.13	c total clause space: 127.173MB
25.08/25.13	c total #watches: 336817
26.88/26.92	c total #propagations: 3549530 / total #impl: 53475427 (eff. 0.066)
26.88/26.92	c GC COLLECT
26.88/26.92	c #Conflicts:      21000 | #Learnt:       4127 | 0.992
26.88/26.92	c total clause space: 127.173MB
26.88/26.92	c total #watches: 219092
29.88/29.92	c total #propagations: 3865860 / total #impl: 55247516 (eff. 0.070)
29.88/29.92	c #Conflicts:      22000 | #Learnt:       5127 | 1.054
29.88/29.92	c total clause space: 127.173MB
29.88/29.92	c total #watches: 515425
40.78/40.86	c total #propagations: 4109243 / total #impl: 60280970 (eff. 0.068)
40.78/40.86	c #Conflicts:      23000 | #Learnt:       6127 | 1.141
40.78/40.86	c total clause space: 127.173MB
40.78/40.86	c total #watches: 885264
50.38/50.43	c total #propagations: 4334575 / total #impl: 78624917 (eff. 0.055)
50.38/50.43	c #Conflicts:      24000 | #Learnt:       7127 | 1.111
50.38/50.43	c total clause space: 127.173MB
50.38/50.43	c total #watches: 1086989
60.07/60.19	c total #propagations: 4506252 / total #impl: 90796950 (eff. 0.050)
60.07/60.19	c GC COLLECT
60.07/60.19	c #Conflicts:      25000 | #Learnt:       4372 | 1.080
60.07/60.19	c total clause space: 127.173MB
60.07/60.19	c total #watches: 1130318
66.98/67.09	c total #propagations: 4628062 / total #impl: 100041789 (eff. 0.046)
66.98/67.09	c #Conflicts:      26000 | #Learnt:       5372 | 1.046
66.98/67.09	c total clause space: 127.173MB
66.98/67.09	c total #watches: 1284752
76.57/76.66	c total #propagations: 4713681 / total #impl: 112850075 (eff. 0.042)
76.57/76.66	c #Conflicts:      27000 | #Learnt:       6372 | 1.008
76.57/76.66	c total clause space: 127.173MB
76.57/76.66	c total #watches: 1448646
96.87/96.99	c total #propagations: 4849413 / total #impl: 133968456 (eff. 0.036)
96.87/96.99	c #Conflicts:      28000 | #Learnt:       7372 | 0.987
96.87/96.99	c total clause space: 127.173MB
96.87/96.99	c total #watches: 1635006
113.46/113.50	c total #propagations: 4955389 / total #impl: 154307582 (eff. 0.032)
113.46/113.50	c GC COLLECT
113.46/113.50	c #Conflicts:      29000 | #Learnt:       4296 | 0.994
113.46/113.50	c total clause space: 127.173MB
113.46/113.50	c total #watches: 931097
120.36/120.46	c total #propagations: 5231787 / total #impl: 162982877 (eff. 0.032)
120.36/120.46	c #Conflicts:      30000 | #Learnt:       5293 | 0.985
120.36/120.46	c total clause space: 127.173MB
120.36/120.46	c total #watches: 1197407
123.06/123.11	c total #propagations: 5549885 / total #impl: 168007043 (eff. 0.033)
123.06/123.11	c #Conflicts:      31000 | #Learnt:       6293 | 0.963
123.06/123.11	c total clause space: 127.173MB
123.06/123.11	c total #watches: 1267620
124.26/124.36	c total #propagations: 5632120 / total #impl: 169136906 (eff. 0.033)
124.26/124.36	c #Conflicts:      32000 | #Learnt:       7292 | 1.004
124.26/124.36	c total clause space: 127.173MB
124.26/124.36	c total #watches: 1345545
132.95/133.09	c total #propagations: 5946455 / total #impl: 174641887 (eff. 0.034)
132.95/133.09	c #Conflicts:      33000 | #Learnt:       8291 | 0.981
132.95/133.09	c total clause space: 127.173MB
132.95/133.09	c total #watches: 1401034
138.66/138.74	c total #propagations: 6211104 / total #impl: 176806265 (eff. 0.035)
138.66/138.74	c GC COLLECT
138.66/138.74	c #Conflicts:      34000 | #Learnt:       4900 | 0.952
138.66/138.74	c total clause space: 127.173MB
138.66/138.74	c total #watches: 679021
141.35/141.48	c total #propagations: 6635726 / total #impl: 178592010 (eff. 0.037)
141.35/141.48	c #Conflicts:      35000 | #Learnt:       5900 | 0.925
141.35/141.48	c total clause space: 127.173MB
141.35/141.48	c total #watches: 724570
144.85/144.93	c total #propagations: 7108640 / total #impl: 183157157 (eff. 0.039)
144.85/144.93	c #Conflicts:      36000 | #Learnt:       6900 | 0.909
144.85/144.93	c total clause space: 127.173MB
144.85/144.93	c total #watches: 762430
147.46/147.51	c total #propagations: 7276862 / total #impl: 184501666 (eff. 0.039)
147.46/147.51	c #Conflicts:      37000 | #Learnt:       7900 | 0.884
147.46/147.51	c total clause space: 127.173MB
147.46/147.51	c total #watches: 877928
150.25/150.34	c total #propagations: 7477754 / total #impl: 186343725 (eff. 0.040)
150.25/150.34	c #Conflicts:      38000 | #Learnt:       8900 | 0.861
150.25/150.34	c total clause space: 127.173MB
150.25/150.34	c total #watches: 941118
154.25/154.30	c total #propagations: 7720114 / total #impl: 188641895 (eff. 0.041)
154.25/154.30	c GC COLLECT
154.25/154.30	c #Conflicts:      39000 | #Learnt:       5204 | 0.841
154.25/154.30	c total clause space: 127.173MB
154.25/154.30	c total #watches: 398925
156.05/156.12	c total #propagations: 7839561 / total #impl: 191007486 (eff. 0.041)
156.05/156.12	c #Conflicts:      40000 | #Learnt:       6203 | 0.821
156.05/156.12	c total clause space: 127.173MB
156.05/156.12	c total #watches: 417010
158.45/158.58	c total #propagations: 7986969 / total #impl: 191947837 (eff. 0.042)
158.45/158.58	c #Conflicts:      41000 | #Learnt:       7203 | 0.802
158.45/158.58	c total clause space: 127.173MB
158.45/158.58	c total #watches: 445217
161.25/161.33	c total #propagations: 8261545 / total #impl: 194025023 (eff. 0.043)
161.25/161.33	c #Conflicts:      42000 | #Learnt:       8203 | 0.785
161.25/161.33	c total clause space: 127.173MB
161.25/161.33	c total #watches: 491612
163.45/163.50	c total #propagations: 8693086 / total #impl: 196770481 (eff. 0.044)
163.45/163.50	c #Conflicts:      43000 | #Learnt:       9203 | 0.767
163.45/163.50	c total clause space: 206.656MB
163.45/163.50	c total #watches: 525139
165.55/165.68	c total #propagations: 9005034 / total #impl: 199110062 (eff. 0.045)
165.55/165.68	c GC COLLECT
165.55/165.68	c #Conflicts:      44000 | #Learnt:       5207 | 0.752
165.55/165.68	c total clause space: 206.656MB
165.55/165.68	c total #watches: 255750
167.75/167.88	c total #propagations: 9469274 / total #impl: 201504888 (eff. 0.047)
167.75/167.88	c #Conflicts:      45000 | #Learnt:       6207 | 0.735
167.75/167.88	c total clause space: 206.656MB
167.75/167.88	c total #watches: 297048
171.35/171.40	c total #propagations: 9863833 / total #impl: 203751722 (eff. 0.048)
171.35/171.40	c #Conflicts:      46000 | #Learnt:       7207 | 0.733
171.35/171.40	c total clause space: 206.656MB
171.35/171.40	c total #watches: 379046
175.14/175.29	c total #propagations: 10156024 / total #impl: 206170559 (eff. 0.049)
175.14/175.29	c #Conflicts:      47000 | #Learnt:       8207 | 0.731
175.14/175.29	c total clause space: 206.656MB
175.14/175.29	c total #watches: 455884
176.44/176.53	c total #propagations: 10388180 / total #impl: 209868939 (eff. 0.049)
176.44/176.53	c #Conflicts:      48000 | #Learnt:       9206 | 0.744
176.44/176.53	c total clause space: 206.656MB
176.44/176.53	c total #watches: 528756
180.24/180.31	c total #propagations: 10526223 / total #impl: 214906384 (eff. 0.049)
180.24/180.31	c #Conflicts:      49000 | #Learnt:      10205 | 0.741
180.24/180.31	c total clause space: 206.656MB
180.24/180.33	c total #watches: 762839
185.64/185.74	c total #propagations: 10845425 / total #impl: 220756921 (eff. 0.049)
185.64/185.74	c GC COLLECT
185.64/185.74	c #Conflicts:      50000 | #Learnt:       5903 | 0.737
185.64/185.74	c total clause space: 206.656MB
185.64/185.74	c total #watches: 818001
189.54/189.67	c total #propagations: 11207079 / total #impl: 226557357 (eff. 0.049)
189.54/189.67	c #Conflicts:      51000 | #Learnt:       6902 | 0.746
189.54/189.67	c total clause space: 206.656MB
189.54/189.67	c total #watches: 973740
196.35/196.43	c total #propagations: 11470043 / total #impl: 231134043 (eff. 0.050)
196.35/196.43	c #Conflicts:      52000 | #Learnt:       7902 | 0.732
196.35/196.43	c total clause space: 206.656MB
196.35/196.43	c total #watches: 1188429
201.64/201.75	c total #propagations: 11819190 / total #impl: 243904735 (eff. 0.048)
201.64/201.75	c #Conflicts:      53000 | #Learnt:       8902 | 0.718
201.64/201.75	c total clause space: 206.656MB
201.64/201.75	c total #watches: 1371153
207.95/208.02	c total #propagations: 12136113 / total #impl: 252047017 (eff. 0.048)
207.95/208.02	c #Conflicts:      54000 | #Learnt:       9902 | 0.714
207.95/208.02	c total clause space: 206.656MB
207.95/208.02	c total #watches: 1410041
216.84/216.94	c total #propagations: 12240947 / total #impl: 253340780 (eff. 0.048)
216.84/216.94	c #Conflicts:      55000 | #Learnt:      10902 | 0.705
216.84/216.94	c total clause space: 206.656MB
216.84/216.94	c total #watches: 1456618
221.64/221.73	c total #propagations: 12433409 / total #impl: 254978911 (eff. 0.049)
221.64/221.73	c GC COLLECT
221.64/221.73	c #Conflicts:      56000 | #Learnt:       6304 | 0.692
221.64/221.73	c total clause space: 206.656MB
221.64/221.73	c total #watches: 998128
227.04/227.10	c total #propagations: 12479355 / total #impl: 256138201 (eff. 0.049)
227.04/227.10	c #Conflicts:      57000 | #Learnt:       7302 | 0.715
227.04/227.10	c total clause space: 206.656MB
227.04/227.10	c total #watches: 1081829
233.04/233.10	c total #propagations: 12671913 / total #impl: 261369219 (eff. 0.048)
233.04/233.10	c #Conflicts:      58000 | #Learnt:       8300 | 0.713
233.04/233.10	c total clause space: 206.656MB
233.04/233.10	c total #watches: 1183732
239.24/239.30	c total #propagations: 12793409 / total #impl: 264378112 (eff. 0.048)
239.24/239.30	c #Conflicts:      59000 | #Learnt:       9300 | 0.716
239.24/239.30	c total clause space: 206.656MB
239.24/239.30	c total #watches: 1385948
244.14/244.22	c total #propagations: 13171426 / total #impl: 268158921 (eff. 0.049)
244.14/244.22	c #Conflicts:      60000 | #Learnt:      10299 | 0.752
244.14/244.22	c total clause space: 206.656MB
244.14/244.22	c total #watches: 1456271
251.33/251.41	c total #propagations: 13497791 / total #impl: 270535514 (eff. 0.050)
251.33/251.41	c #Conflicts:      61000 | #Learnt:      11299 | 0.748
251.33/251.41	c total clause space: 206.656MB
251.33/251.41	c total #watches: 1537119
256.63/256.75	c total #propagations: 13663523 / total #impl: 273653022 (eff. 0.050)
256.63/256.75	c GC COLLECT
256.63/256.75	c #Conflicts:      62000 | #Learnt:       6407 | 0.737
256.63/256.75	c total clause space: 206.656MB
256.63/256.75	c total #watches: 760903
261.84/261.96	c total #propagations: 14099544 / total #impl: 278955346 (eff. 0.051)
261.84/261.96	c #Conflicts:      63000 | #Learnt:       7407 | 0.725
261.84/261.96	c total clause space: 206.656MB
261.84/261.96	c total #watches: 826392
267.93/268.00	c total #propagations: 14323813 / total #impl: 285361351 (eff. 0.050)
267.93/268.00	c #Conflicts:      64000 | #Learnt:       8407 | 0.716
267.93/268.00	c total clause space: 206.656MB
267.93/268.00	c total #watches: 920866
279.03/279.16	c total #propagations: 14695058 / total #impl: 292846632 (eff. 0.050)
279.03/279.16	c #Conflicts:      65000 | #Learnt:       9407 | 0.713
279.03/279.16	c total clause space: 206.656MB
279.03/279.16	c total #watches: 1061141
291.03/291.13	c total #propagations: 15140473 / total #impl: 300918360 (eff. 0.050)
291.03/291.13	c #Conflicts:      66000 | #Learnt:      10407 | 0.712
291.03/291.13	c total clause space: 206.656MB
291.03/291.13	c total #watches: 1148745
298.52/298.65	c total #propagations: 15372788 / total #impl: 308947354 (eff. 0.050)
298.52/298.65	c #Conflicts:      67000 | #Learnt:      11407 | 0.702
298.52/298.65	c total clause space: 206.656MB
298.52/298.65	c total #watches: 1251901
312.92/313.07	c total #propagations: 15576183 / total #impl: 316928151 (eff. 0.049)
312.92/313.07	c #Conflicts:      68000 | #Learnt:      12407 | 0.700
312.92/313.07	c total clause space: 206.656MB
312.92/313.07	c total #watches: 1548605
324.62/324.76	c total #propagations: 16007670 / total #impl: 347278835 (eff. 0.046)
324.62/324.76	c GC COLLECT
324.62/324.76	c #Conflicts:      69000 | #Learnt:       7241 | 0.690
324.62/324.76	c total clause space: 206.656MB
324.62/324.76	c total #watches: 1202528
338.73/338.88	c total #propagations: 16630769 / total #impl: 363624026 (eff. 0.046)
338.73/338.88	c #Conflicts:      70000 | #Learnt:       8240 | 0.687
338.73/338.88	c total clause space: 206.656MB
338.73/338.88	c total #watches: 1582231
353.72/353.82	c total #propagations: 16978069 / total #impl: 382981808 (eff. 0.044)
353.72/353.82	c #Conflicts:      71000 | #Learnt:       9240 | 0.684
353.72/353.82	c total clause space: 206.656MB
353.72/353.82	c total #watches: 1914604
369.82/369.97	c total #propagations: 17479399 / total #impl: 422670452 (eff. 0.041)
369.82/369.97	c #Conflicts:      72000 | #Learnt:      10240 | 0.677
369.82/369.97	c total clause space: 206.656MB
369.82/369.97	c total #watches: 2067330
395.22/395.32	c total #propagations: 17871111 / total #impl: 475505445 (eff. 0.038)
395.22/395.32	c #Conflicts:      73000 | #Learnt:      11239 | 0.672
395.22/395.32	c total clause space: 206.656MB
395.22/395.32	c total #watches: 2275219
419.51/419.60	c total #propagations: 18135415 / total #impl: 502600367 (eff. 0.036)
419.51/419.60	c #Conflicts:      74000 | #Learnt:      12237 | 0.710
419.51/419.60	c total clause space: 206.656MB
419.51/419.60	c total #watches: 2512809
430.91/431.05	c total #propagations: 18561916 / total #impl: 522175616 (eff. 0.036)
430.91/431.05	c GC COLLECT
430.91/431.05	c #Conflicts:      75000 | #Learnt:       6720 | 0.705
430.91/431.05	c total clause space: 206.656MB
430.91/431.05	c total #watches: 1811966
435.31/435.47	c total #propagations: 18912290 / total #impl: 530321226 (eff. 0.036)
435.31/435.47	c #Conflicts:      76000 | #Learnt:       7719 | 0.699
435.31/435.47	c total clause space: 206.656MB
435.31/435.47	c total #watches: 1885364
442.31/442.47	c total #propagations: 19185319 / total #impl: 539178567 (eff. 0.036)
442.31/442.47	c #Conflicts:      77000 | #Learnt:       8719 | 0.708
442.31/442.47	c total clause space: 206.656MB
442.31/442.47	c total #watches: 2030707
450.60/450.74	c total #propagations: 19413548 / total #impl: 552524824 (eff. 0.035)
450.60/450.74	c #Conflicts:      78000 | #Learnt:       9719 | 0.700
450.60/450.74	c total clause space: 206.656MB
450.60/450.74	c total #watches: 2121684
459.50/459.62	c total #propagations: 19613545 / total #impl: 577517446 (eff. 0.034)
459.50/459.62	c #Conflicts:      79000 | #Learnt:      10719 | 0.693
459.50/459.62	c total clause space: 206.656MB
459.50/459.62	c total #watches: 2223775
474.40/474.56	c total #propagations: 19815180 / total #impl: 602849961 (eff. 0.033)
474.40/474.56	c #Conflicts:      80000 | #Learnt:      11719 | 0.687
474.40/474.56	c total clause space: 206.656MB
474.40/474.56	c total #watches: 2373166
495.70/495.87	c total #propagations: 20145598 / total #impl: 658284343 (eff. 0.031)
495.70/495.87	c #Conflicts:      81000 | #Learnt:      12719 | 0.681
495.70/495.87	c total clause space: 206.656MB
495.70/495.87	c total #watches: 2504755
517.40/517.50	c total #propagations: 20393484 / total #impl: 717744649 (eff. 0.028)
517.40/517.50	c GC COLLECT
517.40/517.50	c #Conflicts:      82000 | #Learnt:       6939 | 0.672
517.40/517.50	c total clause space: 206.656MB
517.40/517.50	c total #watches: 858180
529.19/529.32	c total #propagations: 20648580 / total #impl: 766532130 (eff. 0.027)
529.19/529.32	c #Conflicts:      83000 | #Learnt:       7939 | 0.664
529.19/529.32	c total clause space: 206.656MB
529.19/529.32	c total #watches: 940574
550.29/550.46	c total #propagations: 20965099 / total #impl: 809540819 (eff. 0.026)
550.29/550.46	c #Conflicts:      84000 | #Learnt:       8939 | 0.726
550.29/550.46	c total clause space: 206.656MB
550.29/550.46	c total #watches: 1008092
565.49/565.61	c total #propagations: 21234402 / total #impl: 870491134 (eff. 0.024)
565.49/565.61	c #Conflicts:      85000 | #Learnt:       9939 | 0.766
565.49/565.61	c total clause space: 206.656MB
565.49/565.61	c total #watches: 1037447
571.69/571.81	c total #propagations: 21643436 / total #impl: 910887313 (eff. 0.024)
571.69/571.81	c #Conflicts:      86000 | #Learnt:      10939 | 0.758
571.69/571.81	c total clause space: 206.656MB
571.69/571.81	c total #watches: 1110832
586.30/586.47	c total #propagations: 21984237 / total #impl: 925544434 (eff. 0.024)
586.30/586.47	c #Conflicts:      87000 | #Learnt:      11939 | 0.777
586.30/586.47	c total clause space: 206.656MB
586.30/586.47	c total #watches: 1178938
608.09/608.20	c total #propagations: 22379268 / total #impl: 969401659 (eff. 0.023)
608.09/608.20	c #Conflicts:      88000 | #Learnt:      12939 | 0.768
608.09/608.20	c total clause space: 206.656MB
608.09/608.20	c total #watches: 1315217
633.68/633.82	c total #propagations: 22716900 / total #impl: 1038080610 (eff. 0.022)
633.68/633.82	c #Conflicts:      89000 | #Learnt:      13939 | 0.760
633.68/633.82	c total clause space: 206.656MB
633.68/633.82	c total #watches: 1406731
647.67/647.89	c total #propagations: 23017533 / total #impl: 1121549082 (eff. 0.021)
647.67/647.89	c GC COLLECT
647.67/647.89	c #Conflicts:      90000 | #Learnt:       7847 | 0.752
647.67/647.89	c total clause space: 206.656MB
647.67/647.89	c total #watches: 752517
661.37/661.57	c total #propagations: 23280214 / total #impl: 1165806713 (eff. 0.020)
661.37/661.57	c #Conflicts:      91000 | #Learnt:       8847 | 0.744
661.37/661.57	c total clause space: 206.656MB
661.37/661.57	c total #watches: 950961
664.77/664.95	c total #propagations: 23633630 / total #impl: 1218264783 (eff. 0.019)
664.77/664.95	c #Conflicts:      92000 | #Learnt:       9847 | 0.746
664.77/664.95	c total clause space: 206.656MB
664.77/664.95	c total #watches: 1094411
666.37/666.58	c total #propagations: 23891511 / total #impl: 1230977648 (eff. 0.019)
666.37/666.58	c #Conflicts:      93000 | #Learnt:      10844 | 0.751
666.37/666.58	c total clause space: 206.656MB
666.37/666.58	c total #watches: 1239624
668.97/669.10	c total #propagations: 24012756 / total #impl: 1234495967 (eff. 0.019)
668.97/669.10	c #Conflicts:      94000 | #Learnt:      11844 | 0.744
668.97/669.10	c total clause space: 206.656MB
668.97/669.10	c total #watches: 1498078
672.97/673.14	c total #propagations: 24248348 / total #impl: 1236853775 (eff. 0.020)
672.97/673.14	c #Conflicts:      95000 | #Learnt:      12844 | 0.738
672.97/673.14	c total clause space: 206.656MB
672.97/673.14	c total #watches: 1674328
676.97/677.18	c total #propagations: 24546546 / total #impl: 1241352659 (eff. 0.020)
676.97/677.18	c #Conflicts:      96000 | #Learnt:      13844 | 0.731
676.97/677.18	c total clause space: 206.656MB
676.97/677.18	c total #watches: 1826346
682.67/682.82	c total #propagations: 24770337 / total #impl: 1246699086 (eff. 0.020)
682.67/682.82	c #Conflicts:      97000 | #Learnt:      14844 | 0.724
682.67/682.82	c total clause space: 206.656MB
682.67/682.82	c total #watches: 2036701
687.67/687.82	c total #propagations: 25019750 / total #impl: 1253473937 (eff. 0.020)
687.67/687.82	c GC COLLECT
687.67/687.82	c #Conflicts:      98000 | #Learnt:       8470 | 0.718
687.67/687.82	c total clause space: 206.656MB
687.67/687.82	c total #watches: 1588702
693.57/693.76	c total #propagations: 25242792 / total #impl: 1258842769 (eff. 0.020)
693.57/693.76	c #Conflicts:      99000 | #Learnt:       9470 | 0.711
693.57/693.76	c total clause space: 206.656MB
693.57/693.76	c total #watches: 1928427
702.46/702.66	c total #propagations: 25477764 / total #impl: 1266372028 (eff. 0.020)
702.46/702.66	c #Conflicts:     100000 | #Learnt:      10470 | 0.705
702.46/702.66	c total clause space: 335.816MB
702.46/702.66	c total #watches: 2220756
711.67/711.85	c total #propagations: 25675366 / total #impl: 1280709761 (eff. 0.020)
711.67/711.85	c #Conflicts:     101000 | #Learnt:      11470 | 0.698
711.67/711.85	c total clause space: 335.816MB
711.67/711.85	c total #watches: 2391855
722.07/722.29	c total #propagations: 25905334 / total #impl: 1298719464 (eff. 0.020)
722.07/722.29	c #Conflicts:     102000 | #Learnt:      12470 | 0.691
722.07/722.29	c total clause space: 335.816MB
722.07/722.29	c total #watches: 2674029
744.47/744.70	c total #propagations: 26053611 / total #impl: 1316017553 (eff. 0.020)
744.47/744.70	c #Conflicts:     103000 | #Learnt:      13469 | 0.693
744.47/744.70	c total clause space: 335.816MB
744.47/744.70	c total #watches: 2832136
794.05/794.29	c total #propagations: 26276508 / total #impl: 1331383238 (eff. 0.020)
794.05/794.29	c #Conflicts:     104000 | #Learnt:      14466 | 0.710
794.05/794.29	c total clause space: 335.816MB
794.05/794.29	c total #watches: 3075893
804.95/805.14	c total #propagations: 26511923 / total #impl: 1340991679 (eff. 0.020)
804.95/805.14	c #Conflicts:     105000 | #Learnt:      15465 | 0.709
804.95/805.14	c total clause space: 335.816MB
804.95/805.14	c total #watches: 3222840
810.05/810.28	c total #propagations: 26702261 / total #impl: 1368084001 (eff. 0.020)
810.05/810.28	c GC COLLECT
810.05/810.28	c #Conflicts:     106000 | #Learnt:       8752 | 0.707
810.05/810.28	c total clause space: 335.816MB
810.05/810.28	c total #watches: 1987315
816.55/816.70	c total #propagations: 26985526 / total #impl: 1391511271 (eff. 0.019)
816.55/816.70	c #Conflicts:     107000 | #Learnt:       9752 | 0.703
816.55/816.70	c total clause space: 335.816MB
816.55/816.70	c total #watches: 2089711
823.76/824.00	c total #propagations: 27264861 / total #impl: 1415491688 (eff. 0.019)
823.76/824.00	c #Conflicts:     108000 | #Learnt:      10752 | 0.699
823.76/824.00	c total clause space: 335.816MB
823.76/824.00	c total #watches: 2229488
834.76/834.94	c total #propagations: 27555052 / total #impl: 1432076871 (eff. 0.019)
834.76/834.94	c #Conflicts:     109000 | #Learnt:      11752 | 0.695
834.76/834.94	c total clause space: 335.816MB
834.76/834.94	c total #watches: 2359842
845.05/845.20	c total #propagations: 27852645 / total #impl: 1454977077 (eff. 0.019)
845.05/845.20	c #Conflicts:     110000 | #Learnt:      12751 | 0.689
845.05/845.20	c total clause space: 335.816MB
845.05/845.20	c total #watches: 2514009
854.35/854.55	c total #propagations: 28090458 / total #impl: 1475120588 (eff. 0.019)
854.35/854.55	c #Conflicts:     111000 | #Learnt:      13751 | 0.689
854.35/854.55	c total clause space: 335.816MB
854.35/854.55	c total #watches: 2667848
873.14/873.33	c total #propagations: 28341622 / total #impl: 1496359481 (eff. 0.019)
873.14/873.33	c #Conflicts:     112000 | #Learnt:      14751 | 0.684
873.14/873.33	c total clause space: 335.816MB
873.14/873.33	c total #watches: 2763042
896.34/896.57	c total #propagations: 28637522 / total #impl: 1522268870 (eff. 0.019)
896.34/896.57	c #Conflicts:     113000 | #Learnt:      15751 | 0.679
896.34/896.57	c total clause space: 335.816MB
896.34/896.57	c total #watches: 2877240
910.64/910.88	c total #propagations: 28956397 / total #impl: 1562763944 (eff. 0.019)
910.64/910.88	c GC COLLECT
910.64/910.88	c #Conflicts:     114000 | #Learnt:       8726 | 0.673
910.64/910.88	c total clause space: 335.816MB
910.64/910.88	c total #watches: 1213107
926.63/926.82	c total #propagations: 29187399 / total #impl: 1588070017 (eff. 0.018)
926.63/926.82	c #Conflicts:     115000 | #Learnt:       9726 | 0.669
926.63/926.82	c total clause space: 335.816MB
926.63/926.82	c total #watches: 1347426
940.93/941.15	c total #propagations: 29424045 / total #impl: 1617482731 (eff. 0.018)
940.93/941.15	c #Conflicts:     116000 | #Learnt:      10726 | 0.666
940.93/941.15	c total clause space: 335.816MB
940.93/941.15	c total #watches: 1480455
965.03/965.23	c total #propagations: 29701315 / total #impl: 1636730846 (eff. 0.018)
965.03/965.23	c #Conflicts:     117000 | #Learnt:      11726 | 0.661
965.03/965.23	c total clause space: 335.816MB
965.03/965.23	c total #watches: 1588546
1013.92/1014.10	c total #propagations: 30040202 / total #impl: 1658675131 (eff. 0.018)
1013.92/1014.10	c #Conflicts:     118000 | #Learnt:      12726 | 0.656
1013.92/1014.10	c total clause space: 335.816MB
1013.92/1014.10	c total #watches: 1689386
1062.11/1062.32	c total #propagations: 30397009 / total #impl: 1739474027 (eff. 0.017)
1062.11/1062.32	c #Conflicts:     119000 | #Learnt:      13726 | 0.651
1062.11/1062.32	c total clause space: 335.816MB
1062.11/1062.32	c total #watches: 1815094
1075.31/1075.50	c total #propagations: 30756979 / total #impl: 1838959142 (eff. 0.017)
1075.31/1075.50	c #Conflicts:     120000 | #Learnt:      14726 | 0.646
1075.31/1075.50	c total clause space: 335.816MB
1075.31/1075.50	c total #watches: 1919486
1096.00/1096.21	c total #propagations: 31128835 / total #impl: 1858361972 (eff. 0.017)
1096.00/1096.21	c #Conflicts:     121000 | #Learnt:      15726 | 0.641
1096.00/1096.21	c total clause space: 335.816MB
1096.00/1096.21	c total #watches: 2019118
1129.30/1129.52	c total #propagations: 31520753 / total #impl: 1888330763 (eff. 0.017)
1129.30/1129.52	c GC COLLECT
1129.30/1129.52	c #Conflicts:     122000 | #Learnt:       8414 | 0.636
1129.30/1129.52	c total clause space: 335.816MB
1129.30/1129.52	c total #watches: 1088402
1154.30/1154.58	c total #propagations: 32007226 / total #impl: 1927259534 (eff. 0.017)
1154.30/1154.58	c #Conflicts:     123000 | #Learnt:       9414 | 0.645
1154.30/1154.58	c total clause space: 335.816MB
1154.30/1154.58	c total #watches: 1210361
1172.59/1172.81	c total #propagations: 32296699 / total #impl: 2019169698 (eff. 0.016)
1172.59/1172.81	c #Conflicts:     124000 | #Learnt:      10414 | 0.640
1172.59/1172.81	c total clause space: 335.816MB
1172.59/1172.81	c total #watches: 1370747
1200.69/1200.97	c total #propagations: 32553920 / total #impl: 2048342431 (eff. 0.016)
1200.69/1200.97	c #Conflicts:     125000 | #Learnt:      11414 | 0.635
1200.69/1200.97	c total clause space: 335.816MB
1200.69/1200.97	c total #watches: 1485016
1229.59/1229.82	c total #propagations: 32835294 / total #impl: 2080872032 (eff. 0.016)
1229.59/1229.82	c #Conflicts:     126000 | #Learnt:      12414 | 0.632
1229.59/1229.82	c total clause space: 335.816MB
1229.59/1229.82	c total #watches: 1608961
1257.28/1257.56	c total #propagations: 33084424 / total #impl: 2128738734 (eff. 0.016)
1257.28/1257.56	c #Conflicts:     127000 | #Learnt:      13414 | 0.628
1257.28/1257.56	c total clause space: 335.816MB
1257.28/1257.56	c total #watches: 1722650
1275.98/1276.24	c total #propagations: 33393322 / total #impl: 2169961758 (eff. 0.015)
1275.98/1276.24	c #Conflicts:     128000 | #Learnt:      14414 | 0.624
1275.98/1276.24	c total clause space: 335.816MB
1275.98/1276.24	c total #watches: 1860169
1291.27/1291.54	c total #propagations: 33646539 / total #impl: 2197954272 (eff. 0.015)
1291.27/1291.54	c #Conflicts:     129000 | #Learnt:      15414 | 0.619
1291.27/1291.54	c total clause space: 335.816MB
1291.27/1291.54	c total #watches: 1998176
1314.45/1314.72	c total #propagations: 33872400 / total #impl: 2231022393 (eff. 0.015)
1314.45/1314.72	c #Conflicts:     130000 | #Learnt:      16414 | 0.614
1314.45/1314.72	c total clause space: 335.816MB
1314.45/1314.72	c total #watches: 2125537
1352.44/1352.72	c total #propagations: 34103536 / total #impl: 2278695418 (eff. 0.015)
1352.44/1352.72	c GC COLLECT
1352.44/1352.72	c #Conflicts:     131000 | #Learnt:       8819 | 0.609
1352.44/1352.72	c total clause space: 335.816MB
1352.44/1352.72	c total #watches: 1304626
1380.43/1380.72	c total #propagations: 34412151 / total #impl: 2339053465 (eff. 0.015)
1380.43/1380.72	c #Conflicts:     132000 | #Learnt:       9819 | 0.608
1380.43/1380.72	c total clause space: 335.816MB
1380.43/1380.72	c total #watches: 1439771
1412.83/1413.17	c total #propagations: 34726394 / total #impl: 2387412794 (eff. 0.015)
1412.83/1413.17	c #Conflicts:     133000 | #Learnt:      10819 | 0.606
1412.83/1413.17	c total clause space: 335.816MB
1412.83/1413.17	c total #watches: 1554440
1443.83/1444.12	c total #propagations: 35120192 / total #impl: 2435239243 (eff. 0.014)
1443.83/1444.12	c #Conflicts:     134000 | #Learnt:      11819 | 0.602
1443.83/1444.12	c total clause space: 335.816MB
1443.83/1444.12	c total #watches: 1670127
1467.52/1467.82	c total #propagations: 35447452 / total #impl: 2484515641 (eff. 0.014)
1467.52/1467.82	c #Conflicts:     135000 | #Learnt:      12819 | 0.598
1467.52/1467.82	c total clause space: 335.816MB
1467.52/1467.82	c total #watches: 1794497
1499.22/1499.56	c total #propagations: 35791581 / total #impl: 2512150428 (eff. 0.014)
1499.22/1499.56	c #Conflicts:     136000 | #Learnt:      13819 | 0.593
1499.22/1499.56	c total clause space: 335.816MB
1499.22/1499.56	c total #watches: 1895065
1541.21/1541.55	c total #propagations: 36140196 / total #impl: 2563568574 (eff. 0.014)
1541.21/1541.55	c #Conflicts:     137000 | #Learnt:      14819 | 0.589
1541.21/1541.55	c total clause space: 335.816MB
1541.21/1541.55	c total #watches: 1974923
1573.91/1574.25	c total #propagations: 36505243 / total #impl: 2626582971 (eff. 0.014)
1573.91/1574.25	c #Conflicts:     138000 | #Learnt:      15819 | 0.585
1573.91/1574.25	c total clause space: 335.816MB
1573.91/1574.25	c total #watches: 2070405
1616.29/1616.65	c total #propagations: 36895167 / total #impl: 2675312965 (eff. 0.014)
1616.29/1616.65	c #Conflicts:     139000 | #Learnt:      16819 | 0.581
1616.29/1616.65	c total clause space: 335.816MB
1616.29/1616.65	c total #watches: 2178474
1676.20/1676.56	c total #propagations: 37317068 / total #impl: 2733993047 (eff. 0.014)
1676.20/1676.56	c #Conflicts:     140000 | #Learnt:      17819 | 0.577
1676.20/1676.56	c total clause space: 335.816MB
1676.20/1676.56	c total #watches: 2297041
1697.19/1697.55	c total #propagations: 37753261 / total #impl: 2802311273 (eff. 0.013)
1697.19/1697.55	c GC COLLECT
1697.19/1697.55	c #Conflicts:     141000 | #Learnt:       9699 | 0.573
1697.19/1697.55	c total clause space: 335.816MB
1697.19/1697.55	c total #watches: 1220022
1711.58/1711.94	c total #propagations: 38129432 / total #impl: 2854087668 (eff. 0.013)
1711.58/1711.94	c #Conflicts:     142000 | #Learnt:      10699 | 0.570
1711.58/1711.94	c total clause space: 335.816MB
1711.58/1711.94	c total #watches: 1360775
1732.78/1733.10	c total #propagations: 38415562 / total #impl: 2887526977 (eff. 0.013)
1732.78/1733.10	c #Conflicts:     143000 | #Learnt:      11699 | 0.566
1732.78/1733.10	c total clause space: 335.816MB
1732.78/1733.10	c total #watches: 1508073
1746.58/1746.98	c total #propagations: 38820136 / total #impl: 2945029935 (eff. 0.013)
1746.58/1746.98	c #Conflicts:     144000 | #Learnt:      12699 | 0.562
1746.58/1746.98	c total clause space: 335.816MB
1746.58/1746.98	c total #watches: 1612961
1762.27/1762.67	c total #propagations: 39139653 / total #impl: 2979379717 (eff. 0.013)
1762.27/1762.67	c #Conflicts:     145000 | #Learnt:      13699 | 0.559
1762.27/1762.67	c total clause space: 335.816MB
1762.27/1762.67	c total #watches: 1721259
1787.27/1787.65	c total #propagations: 39438160 / total #impl: 3017372722 (eff. 0.013)
1787.27/1787.65	c #Conflicts:     146000 | #Learnt:      14699 | 0.555
1787.27/1787.65	c total clause space: 335.816MB
1787.27/1787.65	c total #watches: 1815989

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-4100719-1466245018/watcher-4100719-1466245018 -o /tmp/evaluation-result-4100719-1466245018/solver-4100719-1466245018 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466241415-14234 --watchdog 1960 --input HOME/instance-4100719-1466245018.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=14637
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.04 2.00 3/172 14640
/proc/meminfo: memFree=31556532/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 236 0 0 0 0 0 0 0 20 0 1 0 26548396 57319424 2672 33554432000 4194304 6211289 140736021892640 140733720538936 4206551 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 13994 2672 97 493 0 13491 0

[startup+0.100175 s]
/proc/loadavg: 2.06 2.04 2.00 3/172 14640
/proc/meminfo: memFree=31556532/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=67792 CPUtime=0.08 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 1917 0 0 0 8 0 0 0 20 0 1 0 26548396 69419008 14777 33554432000 4194304 6211289 140736021892640 140733720538936 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 16948 14777 150 493 0 16445 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 67792

[startup+0.200383 s]
/proc/loadavg: 2.06 2.04 2.00 3/172 14640
/proc/meminfo: memFree=31556532/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=67792 CPUtime=0.18 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 1917 0 0 0 18 0 0 0 20 0 1 0 26548396 69419008 14777 33554432000 4194304 6211289 140736021892640 140733720538936 4248012 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 16948 14777 150 493 0 16445 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 67792

[startup+0.300214 s]
/proc/loadavg: 2.06 2.04 2.00 3/172 14640
/proc/meminfo: memFree=31556532/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=67792 CPUtime=0.28 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 1917 0 0 0 28 0 0 0 20 0 1 0 26548396 69419008 14777 33554432000 4194304 6211289 140736021892640 140733720538936 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 16948 14777 150 493 0 16445 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 67792

[startup+0.700209 s]
/proc/loadavg: 2.06 2.04 2.00 3/172 14640
/proc/meminfo: memFree=31556532/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=71040 CPUtime=0.68 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 2663 0 0 0 68 0 0 0 20 0 1 0 26548396 72744960 15279 33554432000 4194304 6211289 140736021892640 140733720538936 4209501 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 17760 15279 150 493 0 17257 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 71040

[startup+1.50021 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 14652
/proc/meminfo: memFree=31371216/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=124624 CPUtime=1.48 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 7906 0 0 0 147 1 0 0 20 0 1 0 26548396 127614976 24929 33554432000 4194304 6211289 140736021892640 140736021888920 4240865 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 31156 24929 219 493 0 30653 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 124624

[startup+3.10021 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 14652
/proc/meminfo: memFree=31353968/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=125160 CPUtime=3.09 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 8488 0 0 0 307 2 0 0 20 0 1 0 26548396 128163840 25322 33554432000 4194304 6211289 140736021892640 140736021890984 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 31290 25322 219 493 0 30787 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 125160

[startup+6.30022 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 14652
/proc/meminfo: memFree=31313876/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=127404 CPUtime=6.28 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 9127 0 0 0 626 2 0 0 20 0 1 0 26548396 130461696 26445 33554432000 4194304 6211289 140736021892640 140736021890552 4209503 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 31851 26445 219 493 0 31348 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 127404

[startup+12.7002 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 14652
/proc/meminfo: memFree=31222644/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=161440 CPUtime=12.68 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 10573 0 0 0 1265 3 0 0 20 0 1 0 26548396 165314560 35312 33554432000 4194304 6211289 140736021892640 140736021890632 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 40360 35312 219 493 0 39857 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 161440

[startup+25.5003 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 14652
/proc/meminfo: memFree=31145040/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=213624 CPUtime=25.48 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 11831 0 0 0 2544 4 0 0 20 0 1 0 26548396 218750976 44880 33554432000 4194304 6211289 140736021892640 140736021890984 4215254 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 53406 44880 219 493 0 52903 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 213624

[startup+51.1004 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 14652
/proc/meminfo: memFree=31102416/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=225292 CPUtime=51.08 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 14414 0 0 0 5102 6 0 0 20 0 1 0 26548396 230699008 49494 33554432000 4194304 6211289 140736021892640 140736021890984 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 56323 49494 219 493 0 55820 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 225292

[startup+102.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 14653
/proc/meminfo: memFree=31020636/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=244464 CPUtime=102.27 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 18247 0 0 0 10218 9 0 0 20 0 1 0 26548396 250331136 54673 33554432000 4194304 6211289 140736021892640 140736021890504 4240095 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 61116 54673 219 493 0 60613 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 244464

[startup+162.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 14654
/proc/meminfo: memFree=30937932/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=246208 CPUtime=162.25 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 18718 0 0 0 16216 9 0 0 20 0 1 0 26548396 252116992 57423 33554432000 4194304 6211289 140736021892640 140736021890984 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 61552 57423 219 493 0 61049 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 246208

[startup+222.307 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 14658
/proc/meminfo: memFree=30893612/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=332192 CPUtime=222.25 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 20555 0 0 0 22215 10 0 0 20 0 1 0 26548396 340164608 64008 33554432000 4194304 6211289 140736021892640 140736021890984 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 83048 64008 219 493 0 82545 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 332192

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 14660
/proc/meminfo: memFree=30088228/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=334596 CPUtime=282.23 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 21139 0 0 0 28213 10 0 0 20 0 1 0 26548396 342626304 64592 33554432000 4194304 6211289 140736021892640 140736021890984 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 83649 64592 219 493 0 83146 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 334596

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14662
/proc/meminfo: memFree=30000200/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=337664 CPUtime=342.23 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 21856 0 0 0 34211 12 0 0 20 0 1 0 26548396 345767936 69908 33554432000 4194304 6211289 140736021892640 140736021890552 4209515 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 84416 69908 219 493 0 83913 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 337664

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14663
/proc/meminfo: memFree=29920400/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=347268 CPUtime=402.22 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 23615 0 0 0 40209 13 0 0 20 0 1 0 26548396 355602432 71667 33554432000 4194304 6211289 140736021892640 140736021890984 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 86817 71667 219 493 0 86314 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 347268

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14664
/proc/meminfo: memFree=29854804/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=352208 CPUtime=462.2 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 24894 0 0 0 46207 13 0 0 20 0 1 0 26548396 360660992 75501 33554432000 4194304 6211289 140736021892640 140736021890632 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 88052 75501 219 493 0 87549 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 352208

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14665
/proc/meminfo: memFree=29829000/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=356760 CPUtime=522.2 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 25956 0 0 0 52206 14 0 0 20 0 1 0 26548396 365322240 76563 33554432000 4194304 6211289 140736021892640 140736021890984 4209501 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 89190 76563 219 493 0 88687 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 356760

[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 14666
/proc/meminfo: memFree=29801440/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=360928 CPUtime=582.19 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 26841 0 0 0 58204 15 0 0 20 0 1 0 26548396 369590272 77448 33554432000 4194304 6211289 140736021892640 140736021890552 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 90232 77448 219 493 0 89729 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 360928


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


[startup+882.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 14675
/proc/meminfo: memFree=29510524/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=529356 CPUtime=882.15 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 35418 0 0 0 88192 23 0 0 20 0 1 0 26548396 542060544 120442 33554432000 4194304 6211289 140736021892640 140736021890504 4209484 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 132339 120442 219 493 0 131836 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 529356

[startup+942.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 14677
/proc/meminfo: memFree=29465416/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=531628 CPUtime=942.13 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 35946 0 0 0 94190 23 0 0 20 0 1 0 26548396 544387072 120969 33554432000 4194304 6211289 140736021892640 140736021890984 4209484 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 132907 120969 219 493 0 132404 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 531628

[startup+1002.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 14678
/proc/meminfo: memFree=29456612/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=532908 CPUtime=1002.12 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 36178 0 0 0 100188 24 0 0 20 0 1 0 26548396 545697792 121201 33554432000 4194304 6211289 140736021892640 140736021890504 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 133227 121201 219 493 0 132724 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 532908

[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 14679
/proc/meminfo: memFree=29436284/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=534252 CPUtime=1062.11 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 36474 0 0 0 106187 24 0 0 20 0 1 0 26548396 547074048 121497 33554432000 4194304 6211289 140736021892640 140736021890552 4209507 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 133563 121497 219 493 0 133060 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 534252

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14680
/proc/meminfo: memFree=29424752/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=537228 CPUtime=1122.1 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 37058 0 0 0 112186 24 0 0 20 0 1 0 26548396 550121472 122081 33554432000 4194304 6211289 140736021892640 140736021890616 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 134307 122081 219 493 0 133804 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 537228

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14681
/proc/meminfo: memFree=29417436/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=539436 CPUtime=1182.09 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 37502 0 0 0 118185 24 0 0 20 0 1 0 26548396 552382464 122525 33554432000 4194304 6211289 140736021892640 140736021890984 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 134859 122525 219 493 0 134356 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 539436

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14683
/proc/meminfo: memFree=29396356/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=540396 CPUtime=1242.08 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 37692 0 0 0 124184 24 0 0 20 0 1 0 26548396 553365504 124427 33554432000 4194304 6211289 140736021892640 140736021890504 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 135099 124427 219 493 0 134596 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 540396

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14684
/proc/meminfo: memFree=29321732/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=541360 CPUtime=1302.06 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 37876 0 0 0 130182 24 0 0 20 0 1 0 26548396 554352640 126772 33554432000 4194304 6211289 140736021892640 140736021890984 4209497 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 135340 126772 219 493 0 134837 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 541360

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14685
/proc/meminfo: memFree=29286316/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=544208 CPUtime=1362.03 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 38363 0 0 0 136178 25 0 0 20 0 1 0 26548396 557268992 127231 33554432000 4194304 6211289 140736021892640 140736021890984 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 136052 127231 219 493 0 135549 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 544208

[startup+1422.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 14689
/proc/meminfo: memFree=29286692/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=544208 CPUtime=1422.04 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 38363 0 0 0 142178 26 0 0 20 0 1 0 26548396 557268992 127231 33554432000 4194304 6211289 140736021892640 140736021890984 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 136052 127231 219 493 0 135549 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 544208

[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 14691
/proc/meminfo: memFree=29282600/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=544208 CPUtime=1482.02 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 38365 0 0 0 148176 26 0 0 20 0 1 0 26548396 557268992 127233 33554432000 4194304 6211289 140736021892640 140736021890984 4209380 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 136052 127233 219 493 0 135549 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 544208

[startup+1542.31 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 14693
/proc/meminfo: memFree=29276288/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=544400 CPUtime=1542.01 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 38385 0 0 0 154175 26 0 0 20 0 1 0 26548396 557465600 127253 33554432000 4194304 6211289 140736021892640 140736021890984 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 136100 127253 219 493 0 135597 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 544400

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14694
/proc/meminfo: memFree=29223220/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=545264 CPUtime=1602 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 38542 0 0 0 160174 26 0 0 20 0 1 0 26548396 558350336 127410 33554432000 4194304 6211289 140736021892640 140736021890984 4209380 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 136316 127410 219 493 0 135813 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 545264

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 14695
/proc/meminfo: memFree=29177756/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=545648 CPUtime=1661.99 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 38607 0 0 0 166172 27 0 0 20 0 1 0 26548396 558743552 127475 33554432000 4194304 6211289 140736021892640 140736021890504 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 136412 127475 219 493 0 135909 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 545648

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14696
/proc/meminfo: memFree=29169596/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=546000 CPUtime=1721.98 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 38674 0 0 0 172171 27 0 0 20 0 1 0 26548396 559104000 127542 33554432000 4194304 6211289 140736021892640 140736021890984 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 136500 127542 219 493 0 135997 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 546000

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 14697
/proc/meminfo: memFree=29156640/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=546736 CPUtime=1781.97 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 38835 0 0 0 178170 27 0 0 20 0 1 0 26548396 559857664 127703 33554432000 4194304 6211289 140736021892640 140736021890984 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 136684 127703 219 493 0 136181 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 546736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14697
/proc/meminfo: memFree=29155996/32872528 swapFree=303544/319896
[pid=14640] ppid=14637 vsize=547168 CPUtime=1800.07 cores=1,3,5,7
/proc/14640/stat : 14640 (cdcl-cuttingpla) R 14637 14640 14217 0 -1 4202496 38911 0 0 0 179979 28 0 0 20 0 1 0 26548396 560300032 127779 33554432000 4194304 6211289 140736021892640 140736021890552 4209380 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 136792 127779 219 493 0 136289 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 547168

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 14640 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.08
CPU user time (s): 1799.8
CPU system time (s): 0.282956
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 547168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.282956
maximum resident set size= 511116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38911
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= 78
involuntary context switches= 2085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50631 second user time and 7.01793 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-18 12:16:58
IDJOB=4100719
IDBENCH=1652
IDSOLVER=2549
FILE ID=node128/4100719-1466245018
RUNJOBID= node128-1466241415-14234
PBS_JOBID= 19918208
Free space on /tmp= 71708 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-etamacro.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100719-1466245018/watcher-4100719-1466245018 -o /tmp/evaluation-result-4100719-1466245018/solver-4100719-1466245018 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466241415-14234 --watchdog 1960 --input HOME/instance-4100719-1466245018.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= e211111a6c1a3c27b5e79e770c101730
RANDOM SEED=1996591092

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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:        31558564 kB
Buffers:          110628 kB
Cached:           132584 kB
SwapCached:         2708 kB
Active:            76696 kB
Inactive:         174356 kB
Active(anon):       7616 kB
Inactive(anon):     2684 kB
Active(file):      69080 kB
Inactive(file):   171672 kB
Unevictable:      319896 kB
Mlocked:          303544 kB
SwapTotal:      67108856 kB
SwapFree:       67099180 kB
Dirty:              4332 kB
Writeback:             4 kB
AnonPages:        324452 kB
Mapped:             8644 kB
Shmem:                 0 kB
Slab:             612328 kB
SReclaimable:      55528 kB
SUnreclaim:       556800 kB
KernelStack:        1472 kB
PageTables:         4216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     420656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71700 MiB
End job on node128 at 2016-06-18 12:46:58