Trace number 4100160

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-nug08.opb
MD5SUM6120923c090ddeb6029c79f9e1b7777e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark6.15506
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved NO
Number of variables32640
Total number of constraints912
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 constraints912
Minimum length of a constraint160
Maximum length of a constraint160
Number of terms in the objective function 20160
Biggest coefficient in the objective function 1216
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 537736
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 32769
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 537736
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.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 32640 #constraint= 912
12.38/12.44	c #Conflicts:       1000 | #Learnt:        993 | 0.403
12.38/12.44	c total clause space: 29.637MB
12.38/12.44	c total #watches: 589695
16.50/16.55	c total #propagations: 1207371 / total #impl: 62881695 (eff. 0.019)
16.50/16.55	c #Conflicts:       2000 | #Learnt:       1988 | 0.240
16.50/16.55	c total clause space: 48.1602MB
16.50/16.55	c total #watches: 688939
19.99/20.03	c total #propagations: 1301267 / total #impl: 81707193 (eff. 0.016)
19.99/20.03	c GC COLLECT
19.99/20.03	c #Conflicts:       3000 | #Learnt:       2002 | 0.242
19.99/20.03	c total clause space: 48.1602MB
19.99/20.03	c total #watches: 639308
25.08/25.17	c total #propagations: 1349884 / total #impl: 99038950 (eff. 0.014)
25.08/25.17	c #Conflicts:       4000 | #Learnt:       3001 | 0.293
25.08/25.17	c total clause space: 78.2603MB
25.08/25.17	c total #watches: 796956
30.98/31.09	c total #propagations: 1459173 / total #impl: 121439999 (eff. 0.012)
30.98/31.09	c GC COLLECT
30.98/31.09	c #Conflicts:       5000 | #Learnt:       2368 | 0.239
30.98/31.09	c total clause space: 78.2603MB
30.98/31.09	c total #watches: 673687
37.18/37.29	c total #propagations: 1635740 / total #impl: 147668542 (eff. 0.011)
37.18/37.29	c #Conflicts:       6000 | #Learnt:       3364 | 0.218
37.18/37.29	c total clause space: 78.2603MB
37.18/37.29	c total #watches: 904729
41.98/42.05	c total #propagations: 1741822 / total #impl: 169883544 (eff. 0.010)
41.98/42.05	c GC COLLECT
41.98/42.05	c #Conflicts:       7000 | #Learnt:       2248 | 0.187
41.98/42.05	c total clause space: 78.2603MB
41.98/42.05	c total #watches: 747412
45.99/46.05	c total #propagations: 1764967 / total #impl: 180759948 (eff. 0.010)
45.99/46.05	c #Conflicts:       8000 | #Learnt:       3248 | 0.164
45.99/46.05	c total clause space: 78.2603MB
45.99/46.05	c total #watches: 813136
55.28/55.31	c total #propagations: 1779176 / total #impl: 189939683 (eff. 0.009)
55.28/55.31	c #Conflicts:       9000 | #Learnt:       4246 | 0.211
55.28/55.31	c total clause space: 78.2603MB
55.28/55.31	c total #watches: 944530
64.78/64.81	c total #propagations: 2385962 / total #impl: 216679158 (eff. 0.011)
64.78/64.81	c GC COLLECT
64.78/64.81	c #Conflicts:      10000 | #Learnt:       2739 | 0.195
64.78/64.81	c total clause space: 78.2603MB
64.78/64.81	c total #watches: 685868
68.58/68.61	c total #propagations: 3278248 / total #impl: 238682231 (eff. 0.014)
68.58/68.61	c #Conflicts:      11000 | #Learnt:       3738 | 0.179
68.58/68.61	c total clause space: 78.2603MB
68.58/68.61	c total #watches: 769764
72.48/72.56	c total #propagations: 3327398 / total #impl: 253738643 (eff. 0.013)
72.48/72.56	c #Conflicts:      12000 | #Learnt:       4736 | 0.175
72.48/72.56	c total clause space: 78.2603MB
72.48/72.56	c total #watches: 863841
78.48/78.53	c total #propagations: 3427238 / total #impl: 269294838 (eff. 0.013)
78.48/78.53	c #Conflicts:      13000 | #Learnt:       5733 | 0.166
78.48/78.53	c total clause space: 78.2603MB
78.48/78.53	c total #watches: 994763
88.87/88.92	c total #propagations: 3679905 / total #impl: 295029226 (eff. 0.012)
88.87/88.92	c GC COLLECT
88.87/88.92	c #Conflicts:      14000 | #Learnt:       3870 | 0.165
88.87/88.92	c total clause space: 78.2603MB
88.87/88.92	c total #watches: 1153618
94.67/94.76	c total #propagations: 6221233 / total #impl: 336537050 (eff. 0.018)
94.67/94.76	c #Conflicts:      15000 | #Learnt:       4870 | 0.155
94.67/94.76	c total clause space: 78.2603MB
94.67/94.76	c total #watches: 1233165
100.47/100.53	c total #propagations: 6243251 / total #impl: 368616641 (eff. 0.017)
100.47/100.53	c #Conflicts:      16000 | #Learnt:       5870 | 0.146
100.47/100.53	c total clause space: 127.173MB
100.47/100.53	c total #watches: 1238733
106.27/106.36	c total #propagations: 6253292 / total #impl: 396300887 (eff. 0.016)
106.27/106.36	c #Conflicts:      17000 | #Learnt:       3703 | 0.138
106.27/106.36	c total clause space: 127.173MB
106.27/106.36	c total #watches: 1631460
112.46/112.55	c total #propagations: 6301245 / total #impl: 415449066 (eff. 0.015)
112.46/112.55	c #Conflicts:      18000 | #Learnt:       4703 | 0.133
112.46/112.55	c total clause space: 206.656MB
112.46/112.55	c total #watches: 2033319
122.26/122.30	c total #propagations: 6319977 / total #impl: 434614485 (eff. 0.015)
122.26/122.30	c #Conflicts:      19000 | #Learnt:       5703 | 0.129
122.26/122.30	c total clause space: 206.656MB
122.26/122.30	c total #watches: 2303333
165.95/166.04	c total #propagations: 6360012 / total #impl: 452043980 (eff. 0.014)
165.95/166.04	c #Conflicts:      20000 | #Learnt:       6696 | 0.125
165.95/166.04	c total clause space: 206.656MB
165.95/166.04	c total #watches: 2666886
188.96/189.03	c total #propagations: 6628928 / total #impl: 495972983 (eff. 0.013)
188.96/189.03	c GC COLLECT
188.96/189.03	c #Conflicts:      21000 | #Learnt:       4209 | 0.121
188.96/189.03	c total clause space: 206.656MB
188.96/189.03	c total #watches: 1950323
204.25/204.35	c total #propagations: 7489095 / total #impl: 545849179 (eff. 0.014)
204.25/204.35	c #Conflicts:      22000 | #Learnt:       5204 | 0.143
204.25/204.35	c total clause space: 206.656MB
204.25/204.35	c total #watches: 2066681
229.86/229.95	c total #propagations: 8976094 / total #impl: 570481706 (eff. 0.016)
229.86/229.95	c #Conflicts:      23000 | #Learnt:       6201 | 0.157
229.86/229.95	c total clause space: 206.656MB
229.86/229.95	c total #watches: 2145101
250.55/250.69	c total #propagations: 10388825 / total #impl: 600837167 (eff. 0.017)
250.55/250.69	c #Conflicts:      24000 | #Learnt:       7201 | 0.151
250.55/250.69	c total clause space: 206.656MB
250.55/250.69	c total #watches: 2289531
262.95/263.03	c total #propagations: 10503923 / total #impl: 621064556 (eff. 0.017)
262.95/263.03	c GC COLLECT
262.95/263.03	c #Conflicts:      25000 | #Learnt:       4415 | 0.159
262.95/263.03	c total clause space: 206.656MB
262.95/263.03	c total #watches: 1154106
267.54/267.69	c total #propagations: 10592535 / total #impl: 640394186 (eff. 0.017)
267.54/267.69	c #Conflicts:      26000 | #Learnt:       5413 | 0.154
267.54/267.69	c total clause space: 206.656MB
267.54/267.69	c total #watches: 1253520
272.34/272.49	c total #propagations: 10622925 / total #impl: 650821723 (eff. 0.016)
272.34/272.49	c #Conflicts:      27000 | #Learnt:       6413 | 0.149
272.34/272.49	c total clause space: 206.656MB
272.34/272.49	c total #watches: 1325462
285.24/285.39	c total #propagations: 10646092 / total #impl: 660182936 (eff. 0.016)
285.24/285.39	c #Conflicts:      28000 | #Learnt:       7410 | 0.149
285.24/285.39	c total clause space: 206.656MB
285.24/285.39	c total #watches: 1546051
295.04/295.16	c total #propagations: 11059838 / total #impl: 688754648 (eff. 0.016)
295.04/295.16	c GC COLLECT
295.04/295.16	c #Conflicts:      29000 | #Learnt:       4325 | 0.146
295.04/295.16	c total clause space: 206.656MB
295.04/295.16	c total #watches: 1018258
299.44/299.58	c total #propagations: 11150945 / total #impl: 706730511 (eff. 0.016)
299.44/299.58	c #Conflicts:      30000 | #Learnt:       5324 | 0.142
299.44/299.58	c total clause space: 206.656MB
299.44/299.58	c total #watches: 1064315
304.64/304.71	c total #propagations: 11195668 / total #impl: 718006766 (eff. 0.016)
304.64/304.71	c #Conflicts:      31000 | #Learnt:       6324 | 0.138
304.64/304.71	c total clause space: 206.656MB
304.64/304.71	c total #watches: 1124579
311.34/311.47	c total #propagations: 11253897 / total #impl: 730922084 (eff. 0.015)
311.34/311.47	c #Conflicts:      32000 | #Learnt:       7323 | 0.135
311.34/311.47	c total clause space: 206.656MB
311.34/311.47	c total #watches: 1289789
318.83/318.94	c total #propagations: 11323910 / total #impl: 750947195 (eff. 0.015)
318.83/318.94	c #Conflicts:      33000 | #Learnt:       8321 | 0.136
318.83/318.94	c total clause space: 206.656MB
318.83/318.94	c total #watches: 1437286
325.43/325.55	c total #propagations: 11401014 / total #impl: 767407445 (eff. 0.015)
325.43/325.55	c GC COLLECT
325.43/325.55	c #Conflicts:      34000 | #Learnt:       4932 | 0.132
325.43/325.55	c total clause space: 206.656MB
325.43/325.55	c total #watches: 953887
328.84/328.98	c total #propagations: 11440712 / total #impl: 778398857 (eff. 0.015)
328.84/328.98	c #Conflicts:      35000 | #Learnt:       5932 | 0.129
328.84/328.98	c total clause space: 206.656MB
328.84/328.98	c total #watches: 1023897
333.83/333.97	c total #propagations: 11454372 / total #impl: 785141905 (eff. 0.015)
333.83/333.97	c #Conflicts:      36000 | #Learnt:       6932 | 0.127
333.83/333.97	c total clause space: 206.656MB
333.83/333.97	c total #watches: 1374255
339.33/339.48	c total #propagations: 11477939 / total #impl: 802905445 (eff. 0.014)
339.33/339.48	c #Conflicts:      37000 | #Learnt:       7932 | 0.123
339.33/339.48	c total clause space: 206.656MB
339.33/339.48	c total #watches: 1852036
346.13/346.27	c total #propagations: 11482790 / total #impl: 837864094 (eff. 0.014)
346.13/346.27	c #Conflicts:      38000 | #Learnt:       8932 | 0.120
346.13/346.27	c total clause space: 206.656MB
346.13/346.27	c total #watches: 2259645
355.62/355.71	c total #propagations: 11489477 / total #impl: 866220430 (eff. 0.013)
355.62/355.71	c GC COLLECT
355.62/355.71	c #Conflicts:      39000 | #Learnt:       5227 | 0.117
355.62/355.71	c total clause space: 206.656MB
355.62/355.71	c total #watches: 2135648
359.64/359.74	c total #propagations: 11519326 / total #impl: 883109179 (eff. 0.013)
359.64/359.74	c #Conflicts:      40000 | #Learnt:       6227 | 0.115
359.64/359.74	c total clause space: 206.656MB
359.64/359.74	c total #watches: 2584747
364.73/364.80	c total #propagations: 11525837 / total #impl: 907913627 (eff. 0.013)
364.73/364.80	c #Conflicts:      41000 | #Learnt:       7227 | 0.112
364.73/364.80	c total clause space: 206.656MB
364.73/364.80	c total #watches: 3013474
370.82/370.96	c total #propagations: 11532571 / total #impl: 942067750 (eff. 0.012)
370.82/370.96	c #Conflicts:      42000 | #Learnt:       8227 | 0.109
370.82/370.96	c total clause space: 206.656MB
370.82/370.96	c total #watches: 3438979
378.03/378.16	c total #propagations: 11539873 / total #impl: 987821641 (eff. 0.012)
378.03/378.16	c #Conflicts:      43000 | #Learnt:       9227 | 0.107
378.03/378.16	c total clause space: 335.816MB
378.03/378.16	c total #watches: 3916337
391.82/391.99	c total #propagations: 11548588 / total #impl: 1028898509 (eff. 0.011)
391.82/391.99	c GC COLLECT
391.82/391.99	c #Conflicts:      44000 | #Learnt:       5219 | 0.104
391.82/391.99	c total clause space: 335.816MB
391.82/391.99	c total #watches: 2647769
408.02/408.17	c total #propagations: 11566050 / total #impl: 1080869503 (eff. 0.011)
408.02/408.17	c #Conflicts:      45000 | #Learnt:       6218 | 0.102
408.02/408.17	c total clause space: 335.816MB
408.02/408.17	c total #watches: 3072170
445.31/445.42	c total #propagations: 11602917 / total #impl: 1112238591 (eff. 0.010)
445.31/445.42	c #Conflicts:      46000 | #Learnt:       7215 | 0.103
445.31/445.42	c total clause space: 335.816MB
445.31/445.42	c total #watches: 3457517
513.71/513.82	c total #propagations: 11708005 / total #impl: 1132884596 (eff. 0.010)
513.71/513.82	c #Conflicts:      47000 | #Learnt:       8209 | 0.102
513.71/513.82	c total clause space: 335.816MB
513.71/513.82	c total #watches: 3781805
524.20/524.39	c total #propagations: 11854581 / total #impl: 1158203063 (eff. 0.010)
524.20/524.39	c #Conflicts:      48000 | #Learnt:       9209 | 0.100
524.20/524.39	c total clause space: 335.816MB
524.20/524.39	c total #watches: 3999061
563.70/563.85	c total #propagations: 11876695 / total #impl: 1169674046 (eff. 0.010)
563.70/563.85	c #Conflicts:      49000 | #Learnt:      10209 | 0.098
563.70/563.85	c total clause space: 335.816MB
563.70/563.85	c total #watches: 4263441
592.39/592.53	c total #propagations: 11956060 / total #impl: 1189201288 (eff. 0.010)
592.39/592.53	c GC COLLECT
592.39/592.53	c #Conflicts:      50000 | #Learnt:       5907 | 0.126
592.39/592.53	c total clause space: 335.816MB
592.39/592.53	c total #watches: 2174833
610.09/610.25	c total #propagations: 12071230 / total #impl: 1210242268 (eff. 0.010)
610.09/610.25	c #Conflicts:      51000 | #Learnt:       6906 | 0.124
610.09/610.25	c total clause space: 335.816MB
610.09/610.25	c total #watches: 2559581
620.08/620.20	c total #propagations: 12122285 / total #impl: 1233030576 (eff. 0.010)
620.08/620.20	c #Conflicts:      52000 | #Learnt:       7906 | 0.122
620.08/620.20	c total clause space: 335.816MB
620.08/620.20	c total #watches: 2817365
631.78/631.97	c total #propagations: 12142812 / total #impl: 1243358068 (eff. 0.010)
631.78/631.97	c #Conflicts:      53000 | #Learnt:       8906 | 0.120
631.78/631.97	c total clause space: 335.816MB
631.78/631.97	c total #watches: 2947199
682.58/682.73	c total #propagations: 12169299 / total #impl: 1252776251 (eff. 0.010)
682.58/682.73	c #Conflicts:      54000 | #Learnt:       9898 | 0.125
682.58/682.73	c total clause space: 335.816MB
682.58/682.73	c total #watches: 3257472
724.67/724.88	c total #propagations: 12317198 / total #impl: 1278417832 (eff. 0.010)
724.67/724.88	c #Conflicts:      55000 | #Learnt:      10893 | 0.124
724.67/724.88	c total clause space: 335.816MB
724.67/724.88	c total #watches: 3514912
734.27/734.40	c total #propagations: 12430820 / total #impl: 1299719030 (eff. 0.010)
734.27/734.40	c GC COLLECT
734.27/734.40	c #Conflicts:      56000 | #Learnt:       6302 | 0.122
734.27/734.40	c total clause space: 335.816MB
734.27/734.40	c total #watches: 2028116
750.57/750.77	c total #propagations: 12457581 / total #impl: 1308522492 (eff. 0.010)
750.57/750.77	c #Conflicts:      57000 | #Learnt:       7302 | 0.120
750.57/750.77	c total clause space: 335.816MB
750.57/750.77	c total #watches: 2124817
767.97/768.14	c total #propagations: 12521214 / total #impl: 1323548701 (eff. 0.009)
767.97/768.14	c #Conflicts:      58000 | #Learnt:       8302 | 0.118
767.97/768.14	c total clause space: 335.816MB
767.97/768.14	c total #watches: 2237462
793.76/793.93	c total #propagations: 12580228 / total #impl: 1338436082 (eff. 0.009)
793.76/793.93	c #Conflicts:      59000 | #Learnt:       9299 | 0.117
793.76/793.93	c total clause space: 335.816MB
793.76/793.93	c total #watches: 2601352
818.26/818.47	c total #propagations: 12645446 / total #impl: 1354013299 (eff. 0.009)
818.26/818.47	c #Conflicts:      60000 | #Learnt:      10295 | 0.118
818.26/818.47	c total clause space: 335.816MB
818.26/818.47	c total #watches: 3122914
829.45/829.68	c total #propagations: 12705006 / total #impl: 1372738429 (eff. 0.009)
829.45/829.68	c #Conflicts:      61000 | #Learnt:      11295 | 0.116
829.45/829.68	c total clause space: 335.816MB
829.45/829.68	c total #watches: 3541219
836.46/836.67	c total #propagations: 12720712 / total #impl: 1395354702 (eff. 0.009)
836.46/836.67	c GC COLLECT
836.46/836.67	c #Conflicts:      62000 | #Learnt:       6409 | 0.114
836.46/836.67	c total clause space: 335.816MB
836.46/836.67	c total #watches: 2323145
852.76/852.94	c total #propagations: 12728387 / total #impl: 1404726973 (eff. 0.009)
852.76/852.94	c #Conflicts:      63000 | #Learnt:       7409 | 0.113
852.76/852.94	c total clause space: 335.816MB
852.76/852.94	c total #watches: 2580460
871.85/872.07	c total #propagations: 12748495 / total #impl: 1420341018 (eff. 0.009)
871.85/872.07	c #Conflicts:      64000 | #Learnt:       8408 | 0.111
871.85/872.07	c total clause space: 335.816MB
871.85/872.07	c total #watches: 2780154
939.04/939.20	c total #propagations: 12772069 / total #impl: 1434296797 (eff. 0.009)
939.04/939.20	c #Conflicts:      65000 | #Learnt:       9404 | 0.110
939.04/939.20	c total clause space: 335.816MB
939.04/939.20	c total #watches: 3100743
976.24/976.40	c total #propagations: 12922051 / total #impl: 1462597087 (eff. 0.009)
976.24/976.40	c #Conflicts:      66000 | #Learnt:      10403 | 0.111
976.24/976.40	c total clause space: 335.816MB
976.24/976.40	c total #watches: 3400093
991.93/992.13	c total #propagations: 13008569 / total #impl: 1481661924 (eff. 0.009)
991.93/992.13	c #Conflicts:      67000 | #Learnt:      11403 | 0.110
991.93/992.13	c total clause space: 335.816MB
991.93/992.13	c total #watches: 3737861
1054.32/1054.54	c total #propagations: 13045558 / total #impl: 1500556195 (eff. 0.009)
1054.32/1054.54	c #Conflicts:      68000 | #Learnt:      12399 | 0.111
1054.32/1054.54	c total clause space: 545.701MB
1054.32/1054.54	c total #watches: 4076558
1095.72/1095.97	c total #propagations: 13162403 / total #impl: 1526867339 (eff. 0.009)
1095.72/1095.97	c GC COLLECT
1095.72/1095.97	c #Conflicts:      69000 | #Learnt:       7212 | 0.111
1095.72/1095.97	c total clause space: 545.701MB
1095.72/1095.97	c total #watches: 2641079
1132.01/1132.29	c total #propagations: 13315598 / total #impl: 1551042533 (eff. 0.009)
1132.01/1132.29	c #Conflicts:      70000 | #Learnt:       8208 | 0.110
1132.01/1132.29	c total clause space: 545.701MB
1132.01/1132.29	c total #watches: 2918208
1144.71/1144.94	c total #propagations: 13407945 / total #impl: 1569755687 (eff. 0.009)
1144.71/1144.94	c #Conflicts:      71000 | #Learnt:       9208 | 0.111
1144.71/1144.94	c total clause space: 545.701MB
1144.71/1144.94	c total #watches: 3188005
1151.01/1151.20	c total #propagations: 13438696 / total #impl: 1583263858 (eff. 0.008)
1151.01/1151.20	c #Conflicts:      72000 | #Learnt:      10208 | 0.110
1151.01/1151.20	c total clause space: 545.701MB
1151.01/1151.20	c total #watches: 3364814
1189.01/1189.22	c total #propagations: 13444336 / total #impl: 1597184377 (eff. 0.008)
1189.01/1189.22	c #Conflicts:      73000 | #Learnt:      11206 | 0.109
1189.01/1189.22	c total clause space: 545.701MB
1189.01/1189.22	c total #watches: 3568349
1220.80/1221.05	c total #propagations: 13538510 / total #impl: 1616881774 (eff. 0.008)
1220.80/1221.05	c #Conflicts:      74000 | #Learnt:      12204 | 0.108
1220.80/1221.05	c total clause space: 545.701MB
1220.80/1221.05	c total #watches: 3668161
1240.49/1240.77	c total #propagations: 13618924 / total #impl: 1632549636 (eff. 0.008)
1240.49/1240.77	c GC COLLECT
1240.49/1240.77	c #Conflicts:      75000 | #Learnt:       6715 | 0.107
1240.49/1240.77	c total clause space: 545.701MB
1240.49/1240.77	c total #watches: 2271152
1270.39/1270.61	c total #propagations: 13668672 / total #impl: 1649952905 (eff. 0.008)
1270.39/1270.61	c #Conflicts:      76000 | #Learnt:       7715 | 0.107
1270.39/1270.61	c total clause space: 545.701MB
1270.39/1270.61	c total #watches: 2608198
1292.18/1292.44	c total #propagations: 13750920 / total #impl: 1672147056 (eff. 0.008)
1292.18/1292.44	c #Conflicts:      77000 | #Learnt:       8713 | 0.112
1292.18/1292.44	c total clause space: 545.701MB
1292.18/1292.44	c total #watches: 2773664
1306.69/1306.91	c total #propagations: 13818468 / total #impl: 1687979185 (eff. 0.008)
1306.69/1306.91	c #Conflicts:      78000 | #Learnt:       9713 | 0.111
1306.69/1306.91	c total clause space: 545.701MB
1306.69/1306.91	c total #watches: 2900596
1318.48/1318.71	c total #propagations: 13862023 / total #impl: 1703559661 (eff. 0.008)
1318.48/1318.71	c #Conflicts:      79000 | #Learnt:      10711 | 0.109
1318.48/1318.71	c total clause space: 545.701MB
1318.48/1318.71	c total #watches: 3128946
1323.68/1323.91	c total #propagations: 13897111 / total #impl: 1718388121 (eff. 0.008)
1323.68/1323.91	c #Conflicts:      80000 | #Learnt:      11711 | 0.108
1323.68/1323.91	c total clause space: 545.701MB
1323.68/1323.91	c total #watches: 3271010
1336.87/1337.19	c total #propagations: 13911587 / total #impl: 1726161131 (eff. 0.008)
1336.87/1337.19	c #Conflicts:      81000 | #Learnt:      12710 | 0.107
1336.87/1337.19	c total clause space: 545.701MB
1336.87/1337.19	c total #watches: 3382751
1344.08/1344.34	c total #propagations: 13953360 / total #impl: 1737290400 (eff. 0.008)
1344.08/1344.34	c GC COLLECT
1344.08/1344.34	c #Conflicts:      82000 | #Learnt:       6934 | 0.105
1344.08/1344.34	c total clause space: 545.701MB
1344.08/1344.34	c total #watches: 1618696
1349.67/1349.96	c total #propagations: 13967637 / total #impl: 1750583370 (eff. 0.008)
1349.67/1349.96	c #Conflicts:      83000 | #Learnt:       7934 | 0.104
1349.67/1349.96	c total clause space: 545.701MB
1349.67/1349.96	c total #watches: 1727352
1357.18/1357.50	c total #propagations: 13981592 / total #impl: 1767633645 (eff. 0.008)
1357.18/1357.50	c #Conflicts:      84000 | #Learnt:       8933 | 0.104
1357.18/1357.50	c total clause space: 545.701MB
1357.18/1357.50	c total #watches: 1839739
1361.78/1362.03	c total #propagations: 14000740 / total #impl: 1777357742 (eff. 0.008)
1361.78/1362.03	c #Conflicts:      85000 | #Learnt:       9933 | 0.102
1361.78/1362.03	c total clause space: 545.701MB
1361.78/1362.03	c total #watches: 1945549
1367.18/1367.46	c total #propagations: 14005872 / total #impl: 1790540147 (eff. 0.008)
1367.18/1367.46	c #Conflicts:      86000 | #Learnt:      10933 | 0.101
1367.18/1367.46	c total clause space: 545.701MB
1367.18/1367.46	c total #watches: 2057710
1373.38/1373.64	c total #propagations: 14011155 / total #impl: 1808889618 (eff. 0.008)
1373.38/1373.64	c #Conflicts:      87000 | #Learnt:      11933 | 0.100
1373.38/1373.64	c total clause space: 545.701MB
1373.38/1373.64	c total #watches: 2171849
1380.28/1380.50	c total #propagations: 14017250 / total #impl: 1830778730 (eff. 0.008)
1380.28/1380.50	c #Conflicts:      88000 | #Learnt:      12933 | 0.099
1380.28/1380.50	c total clause space: 545.701MB
1380.28/1380.51	c total #watches: 2284467
1387.77/1388.09	c total #propagations: 14022453 / total #impl: 1858217222 (eff. 0.008)
1387.77/1388.09	c #Conflicts:      89000 | #Learnt:      13933 | 0.098
1387.77/1388.09	c total clause space: 545.701MB
1387.77/1388.09	c total #watches: 2392565
1395.07/1395.35	c total #propagations: 14027342 / total #impl: 1886753907 (eff. 0.007)
1395.07/1395.35	c GC COLLECT
1395.07/1395.35	c #Conflicts:      90000 | #Learnt:       7834 | 0.097
1395.07/1395.35	c total clause space: 545.701MB
1395.07/1395.35	c total #watches: 1203392
1398.37/1398.64	c total #propagations: 14048033 / total #impl: 1912815594 (eff. 0.007)
1398.37/1398.64	c #Conflicts:      91000 | #Learnt:       8834 | 0.096
1398.37/1398.64	c total clause space: 545.701MB
1398.37/1398.64	c total #watches: 1400092
1402.17/1402.43	c total #propagations: 14063985 / total #impl: 1920130267 (eff. 0.007)
1402.17/1402.43	c #Conflicts:      92000 | #Learnt:       9834 | 0.095
1402.17/1402.43	c total clause space: 545.701MB
1402.17/1402.43	c total #watches: 1607717
1405.97/1406.29	c total #propagations: 14086066 / total #impl: 1931037873 (eff. 0.007)
1405.97/1406.29	c #Conflicts:      93000 | #Learnt:      10834 | 0.094
1405.97/1406.29	c total clause space: 545.701MB
1405.97/1406.29	c total #watches: 1823948
1410.17/1410.47	c total #propagations: 14108112 / total #impl: 1945352479 (eff. 0.007)
1410.17/1410.47	c #Conflicts:      94000 | #Learnt:      11834 | 0.093
1410.17/1410.47	c total clause space: 545.701MB
1410.17/1410.47	c total #watches: 2007999
1424.46/1424.74	c total #propagations: 14130336 / total #impl: 1959795361 (eff. 0.007)
1424.46/1424.74	c #Conflicts:      95000 | #Learnt:      12833 | 0.092
1424.46/1424.74	c total clause space: 545.701MB
1424.46/1424.74	c total #watches: 2206957
1434.27/1434.55	c total #propagations: 14234215 / total #impl: 1986646775 (eff. 0.007)
1434.27/1434.55	c #Conflicts:      96000 | #Learnt:      13833 | 0.091
1434.27/1434.55	c total clause space: 545.701MB
1434.27/1434.55	c total #watches: 2430330
1441.46/1441.77	c total #propagations: 14258266 / total #impl: 1998961988 (eff. 0.007)
1441.46/1441.77	c #Conflicts:      97000 | #Learnt:      14833 | 0.090
1441.46/1441.77	c total clause space: 545.701MB
1441.46/1441.77	c total #watches: 2678648
1450.36/1450.67	c total #propagations: 14278007 / total #impl: 2015733590 (eff. 0.007)
1450.36/1450.67	c GC COLLECT
1450.36/1450.67	c #Conflicts:      98000 | #Learnt:       8437 | 0.090
1450.36/1450.67	c total clause space: 545.701MB
1450.36/1450.67	c total #watches: 1977549
1455.46/1455.79	c total #propagations: 14299495 / total #impl: 2032379740 (eff. 0.007)
1455.46/1455.79	c #Conflicts:      99000 | #Learnt:       9437 | 0.089
1455.46/1455.79	c total clause space: 545.701MB
1455.46/1455.79	c total #watches: 2221091
1461.67/1461.93	c total #propagations: 14311911 / total #impl: 2045272452 (eff. 0.007)
1461.67/1461.93	c #Conflicts:     100000 | #Learnt:      10437 | 0.088
1461.67/1461.93	c total clause space: 545.701MB
1461.67/1461.93	c total #watches: 2438663
1468.56/1468.87	c total #propagations: 14322971 / total #impl: 2057392348 (eff. 0.007)
1468.56/1468.87	c #Conflicts:     101000 | #Learnt:      11437 | 0.087
1468.56/1468.87	c total clause space: 545.701MB
1468.56/1468.87	c total #watches: 2684821
1476.66/1476.98	c total #propagations: 14335309 / total #impl: 2072222890 (eff. 0.007)
1476.66/1476.98	c #Conflicts:     102000 | #Learnt:      12437 | 0.086
1476.66/1476.98	c total clause space: 545.701MB
1476.66/1476.98	c total #watches: 2930589
1527.85/1528.10	c total #propagations: 14347563 / total #impl: 2091821223 (eff. 0.007)
1527.85/1528.10	c #Conflicts:     103000 | #Learnt:      13434 | 0.088
1527.85/1528.10	c total clause space: 545.701MB
1527.85/1528.10	c total #watches: 3274096
1568.94/1569.27	c total #propagations: 14430739 / total #impl: 2116305089 (eff. 0.007)
1568.94/1569.27	c #Conflicts:     104000 | #Learnt:      14431 | 0.089
1568.94/1569.27	c total clause space: 545.701MB
1568.94/1569.27	c total #watches: 3462890
1593.84/1594.14	c total #propagations: 14519329 / total #impl: 2134378800 (eff. 0.007)
1593.84/1594.14	c #Conflicts:     105000 | #Learnt:      15431 | 0.088
1593.84/1594.14	c total clause space: 545.701MB
1593.84/1594.14	c total #watches: 3659854
1610.74/1611.01	c total #propagations: 14566994 / total #impl: 2147752738 (eff. 0.007)
1610.74/1611.01	c GC COLLECT
1610.74/1611.01	c #Conflicts:     106000 | #Learnt:       8723 | 0.089
1610.74/1611.01	c total clause space: 545.701MB
1610.74/1611.01	c total #watches: 2306156
1626.64/1626.97	c total #propagations: 14627044 / total #impl: 2173359212 (eff. 0.007)
1626.64/1626.97	c #Conflicts:     107000 | #Learnt:       9723 | 0.088
1626.64/1626.97	c total clause space: 545.701MB
1626.64/1626.97	c total #watches: 2490586
1661.13/1661.48	c total #propagations: 14676969 / total #impl: 2188390217 (eff. 0.007)
1661.13/1661.48	c #Conflicts:     108000 | #Learnt:      10719 | 0.088
1661.13/1661.48	c total clause space: 545.701MB
1661.13/1661.48	c total #watches: 2730178
1682.52/1682.85	c total #propagations: 14785661 / total #impl: 2208039214 (eff. 0.007)
1682.52/1682.85	c #Conflicts:     109000 | #Learnt:      11716 | 0.087
1682.52/1682.85	c total clause space: 545.701MB
1682.52/1682.85	c total #watches: 2948443
1686.82/1687.16	c total #propagations: 14845504 / total #impl: 2220981124 (eff. 0.007)
1686.82/1687.16	c #Conflicts:     110000 | #Learnt:      12716 | 0.086
1686.82/1687.16	c total clause space: 545.701MB
1686.82/1687.16	c total #watches: 3301642
1714.02/1714.31	c total #propagations: 14853488 / total #impl: 2234098788 (eff. 0.007)
1714.02/1714.31	c #Conflicts:     111000 | #Learnt:      13715 | 0.086
1714.02/1714.31	c total clause space: 545.701MB
1714.02/1714.31	c total #watches: 3579063
1766.42/1766.76	c total #propagations: 14907787 / total #impl: 2249308675 (eff. 0.007)
1766.42/1766.76	c #Conflicts:     112000 | #Learnt:      14710 | 0.086
1766.42/1766.76	c total clause space: 545.701MB
1766.42/1766.76	c total #watches: 3906830
1798.01/1798.37	c total #propagations: 15015593 / total #impl: 2270322702 (eff. 0.007)
1798.01/1798.37	c #Conflicts:     113000 | #Learnt:      15710 | 0.086
1798.01/1798.37	c total clause space: 545.701MB
1798.01/1798.37	c total #watches: 4044136

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-4100160-1466232718/watcher-4100160-1466232718 -o /tmp/evaluation-result-4100160-1466232718/solver-4100160-1466232718 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466230914-17340 --watchdog 1960 --input HOME/instance-4100160-1466232718.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=17733
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.33 2.23 2.16 4/178 17736
/proc/meminfo: memFree=30079300/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 25317727 29810688 5268 33554432000 4194304 6201397 140733233393984 140736896405576 5194153 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 7278 5268 130 491 0 6777 0

[startup+0.100164 s]
/proc/loadavg: 2.33 2.23 2.16 4/178 17736
/proc/meminfo: memFree=30079300/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=38928 CPUtime=0.08 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 2457 0 0 0 8 0 0 0 20 0 1 0 25317727 39862272 8314 33554432000 4194304 6201397 140733233393984 140736896405576 4207987 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 9732 8314 143 491 0 9231 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 38928

[startup+0.200361 s]
/proc/loadavg: 2.33 2.23 2.16 4/178 17736
/proc/meminfo: memFree=30079300/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=44552 CPUtime=0.19 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 3774 0 0 0 18 1 0 0 20 0 1 0 25317727 45621248 9699 33554432000 4194304 6201397 140733233393984 140736896405576 4213110 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 11138 9699 143 491 0 10637 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 44552

[startup+0.300364 s]
/proc/loadavg: 2.33 2.23 2.16 4/178 17736
/proc/meminfo: memFree=30079300/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=44832 CPUtime=0.29 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 3912 0 0 0 28 1 0 0 20 0 1 0 25317727 45907968 9787 33554432000 4194304 6201397 140733233393984 140736896405576 4222297 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 11208 9787 147 491 0 10707 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44832

[startup+0.700254 s]
/proc/loadavg: 2.33 2.23 2.16 4/178 17736
/proc/meminfo: memFree=30079300/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=44832 CPUtime=0.69 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 4024 0 0 0 68 1 0 0 20 0 1 0 25317727 45907968 9853 33554432000 4194304 6201397 140733233393984 140733233392552 4214937 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 11208 9853 147 491 0 10707 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44832

[startup+1.50026 s]
/proc/loadavg: 2.33 2.23 2.16 4/179 17737
/proc/meminfo: memFree=30038948/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=45020 CPUtime=1.49 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 4158 0 0 0 148 1 0 0 20 0 1 0 25317727 46100480 9946 33554432000 4194304 6201397 140733233393984 140733233392696 4240264 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 11255 9946 147 491 0 10754 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45020

[startup+3.10027 s]
/proc/loadavg: 2.33 2.23 2.16 3/179 17737
/proc/meminfo: memFree=30034968/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=45284 CPUtime=3.09 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 4282 0 0 0 308 1 0 0 20 0 1 0 25317727 46370816 10060 33554432000 4194304 6201397 140733233393984 140733233392696 4216049 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 11321 10060 147 491 0 10820 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45284

[startup+6.30033 s]
/proc/loadavg: 2.31 2.23 2.16 3/179 17737
/proc/meminfo: memFree=30030952/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=45432 CPUtime=6.29 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 4365 0 0 0 628 1 0 0 20 0 1 0 25317727 46522368 10123 33554432000 4194304 6201397 140733233393984 140733233392696 4214919 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 11358 10123 147 491 0 10857 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45432

[startup+12.7002 s]
/proc/loadavg: 2.28 2.22 2.16 3/179 17737
/proc/meminfo: memFree=30011008/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=67880 CPUtime=12.68 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 5806 0 0 0 1267 1 0 0 20 0 1 0 25317727 69509120 14974 33554432000 4194304 6201397 140733233393984 140733233392264 4213168 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 16970 14974 160 491 0 16469 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 67880

[startup+25.5004 s]
/proc/loadavg: 2.22 2.21 2.16 3/179 17737
/proc/meminfo: memFree=29945880/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=128684 CPUtime=25.48 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 10116 0 0 0 2546 2 0 0 20 0 1 0 25317727 131772416 26211 33554432000 4194304 6201397 140733233393984 140733233392648 4213244 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 32171 26211 166 491 0 31670 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 128684

[startup+51.1004 s]
/proc/loadavg: 2.22 2.21 2.16 3/179 17737
/proc/meminfo: memFree=29922616/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=139028 CPUtime=51.09 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 13207 0 0 0 5106 3 0 0 20 0 1 0 25317727 142364672 30059 33554432000 4194304 6201397 140733233393984 140733233392648 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 34757 30059 166 491 0 34256 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 139028

[startup+102.3 s]
/proc/loadavg: 2.20 2.21 2.16 3/179 17738
/proc/meminfo: memFree=29825268/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=201436 CPUtime=102.27 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 16668 0 0 0 10223 4 0 0 20 0 1 0 25317727 206270464 40480 33554432000 4194304 6201397 140733233393984 140733233392264 4214931 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 50359 40480 166 491 0 49858 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 201436

[startup+162.3 s]
/proc/loadavg: 2.21 2.21 2.16 3/178 17739
/proc/meminfo: memFree=29684028/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=305024 CPUtime=162.26 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 22157 0 0 0 16219 7 0 0 20 0 1 0 25317727 312344576 68150 33554432000 4194304 6201397 140733233393984 140733233392600 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 76256 68150 166 491 0 75755 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 305024

[startup+222.307 s]
/proc/loadavg: 2.36 2.25 2.18 4/179 17742
/proc/meminfo: memFree=29660856/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=309052 CPUtime=222.26 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 23273 0 0 0 22218 8 0 0 20 0 1 0 25317727 316469248 73160 33554432000 4194304 6201397 140733233393984 140733233392264 4219282 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 77263 73160 166 491 0 76762 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 309052

[startup+282.3 s]
/proc/loadavg: 2.31 2.25 2.18 3/179 17743
/proc/meminfo: memFree=29650816/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=316380 CPUtime=282.24 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 25060 0 0 0 28216 8 0 0 20 0 1 0 25317727 323973120 74947 33554432000 4194304 6201397 140733233393984 140733233392600 4240315 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 79095 74947 166 491 0 78594 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 316380

[startup+342.3 s]
/proc/loadavg: 2.20 2.23 2.18 4/179 17744
/proc/meminfo: memFree=29634704/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=330552 CPUtime=342.23 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 28334 0 0 0 34215 8 0 0 20 0 1 0 25317727 338485248 78221 33554432000 4194304 6201397 140733233393984 140733233392264 4213367 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 82638 78221 166 491 0 82137 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 330552

[startup+402.3 s]
/proc/loadavg: 2.32 2.26 2.19 4/179 17745
/proc/meminfo: memFree=29532408/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=500644 CPUtime=402.22 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 37447 0 0 0 40211 11 0 0 20 0 1 0 25317727 512659456 98192 33554432000 4194304 6201397 140733233393984 140733233392648 4213178 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 125161 98192 166 491 0 124660 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 500644

[startup+462.3 s]
/proc/loadavg: 2.33 2.28 2.20 3/179 17746
/proc/meminfo: memFree=29505360/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=503140 CPUtime=462.21 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 38054 0 0 0 46210 11 0 0 20 0 1 0 25317727 515215360 98799 33554432000 4194304 6201397 140733233393984 140733233393112 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 125785 98799 166 491 0 125284 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 503140

[startup+522.3 s]
/proc/loadavg: 2.17 2.24 2.19 3/180 17751
/proc/meminfo: memFree=29499832/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=503716 CPUtime=522.2 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 38340 0 0 0 52209 11 0 0 20 0 1 0 25317727 515805184 99085 33554432000 4194304 6201397 140733233393984 140733233393112 4220361 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 125929 99085 166 491 0 125428 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 503716

[startup+582.3 s]
/proc/loadavg: 2.27 2.26 2.19 4/180 17775
/proc/meminfo: memFree=29468884/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=511676 CPUtime=582.19 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 40203 0 0 0 58207 12 0 0 20 0 1 0 25317727 523956224 106565 33554432000 4194304 6201397 140733233393984 140733233392648 4213178 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 127919 106565 166 491 0 127418 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 511676


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


[startup+942.3 s]
/proc/loadavg: 2.22 2.25 2.19 4/179 17782
/proc/meminfo: memFree=29313904/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=561112 CPUtime=942.13 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 51083 0 0 0 94197 16 0 0 20 0 1 0 25317727 574578688 132264 33554432000 4194304 6201397 140733233393984 140733233392648 4213178 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 140278 132264 166 491 0 139777 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 561112

[startup+1002.3 s]
/proc/loadavg: 2.22 2.25 2.19 3/179 17783
/proc/meminfo: memFree=29297564/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=568472 CPUtime=1002.13 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 52474 0 0 0 100196 17 0 0 20 0 1 0 25317727 582115328 136210 33554432000 4194304 6201397 140733233393984 140733233392648 4213110 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 142118 136210 166 491 0 141617 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 568472

[startup+1062.3 s]
/proc/loadavg: 2.31 2.26 2.19 3/179 17784
/proc/meminfo: memFree=29268912/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=799144 CPUtime=1062.12 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 55714 0 0 0 106193 19 0 0 20 0 1 0 25317727 818323456 143182 33554432000 4194304 6201397 140733233393984 140733233393112 4213170 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 199786 143182 166 491 0 199285 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 799144

[startup+1122.3 s]
/proc/loadavg: 2.29 2.27 2.20 4/180 17788
/proc/meminfo: memFree=29268392/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=799144 CPUtime=1122.11 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 55714 0 0 0 112192 19 0 0 20 0 1 0 25317727 818323456 143182 33554432000 4194304 6201397 140733233393984 140733233393112 4240264 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 199786 143182 166 491 0 199285 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 799144

[startup+1182.3 s]
/proc/loadavg: 2.25 2.26 2.19 3/179 17790
/proc/meminfo: memFree=29265672/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=801076 CPUtime=1182.1 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 56152 0 0 0 118191 19 0 0 20 0 1 0 25317727 820301824 143620 33554432000 4194304 6201397 140733233393984 140733233392264 4213168 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 200269 143620 166 491 0 199768 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 801076

[startup+1242.3 s]
/proc/loadavg: 2.18 2.24 2.19 3/179 17791
/proc/meminfo: memFree=29261904/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=802948 CPUtime=1242.09 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 56656 0 0 0 124190 19 0 0 20 0 1 0 25317727 822218752 144124 33554432000 4194304 6201397 140733233393984 140733233393112 4214919 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 200737 144124 166 491 0 200236 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 802948

[startup+1302.3 s]
/proc/loadavg: 2.28 2.26 2.19 4/179 17792
/proc/meminfo: memFree=29256356/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=804600 CPUtime=1302.08 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 57032 0 0 0 130189 19 0 0 20 0 1 0 25317727 823910400 144500 33554432000 4194304 6201397 140733233393984 140733233392696 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 201150 144500 166 491 0 200649 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 804600

[startup+1362.3 s]
/proc/loadavg: 2.43 2.30 2.21 3/179 17793
/proc/meminfo: memFree=29248056/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=810376 CPUtime=1362.08 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 58217 0 0 0 136188 20 0 0 20 0 1 0 25317727 829825024 145685 33554432000 4194304 6201397 140733233393984 140733233392264 4214472 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 202594 145685 166 491 0 202093 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 810376

[startup+1422.3 s]
/proc/loadavg: 2.32 2.29 2.20 3/179 17794
/proc/meminfo: memFree=29234604/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=821316 CPUtime=1422.07 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 60724 0 0 0 142187 20 0 0 20 0 1 0 25317727 841027584 148192 33554432000 4194304 6201397 140733233393984 140733233392264 4240328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 205329 148192 166 491 0 204828 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 821316

[startup+1482.3 s]
/proc/loadavg: 2.28 2.28 2.20 3/179 17796
/proc/meminfo: memFree=29221844/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=838612 CPUtime=1482.06 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 64267 0 0 0 148184 22 0 0 20 0 1 0 25317727 858738688 151735 33554432000 4194304 6201397 140733233393984 140733233392648 4213738 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 209653 151736 166 491 0 209152 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 838612

[startup+1542.31 s]
/proc/loadavg: 2.27 2.27 2.20 3/179 17797
/proc/meminfo: memFree=29197028/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=852824 CPUtime=1542.06 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 67676 0 0 0 154183 23 0 0 20 0 1 0 25317727 873291776 155513 33554432000 4194304 6201397 140733233393984 140733233392648 4213180 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 213206 155513 166 491 0 212705 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 852824

[startup+1602.3 s]
/proc/loadavg: 2.32 2.28 2.21 3/179 17798
/proc/meminfo: memFree=29179276/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=854616 CPUtime=1602.04 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 68287 0 0 0 160181 23 0 0 20 0 1 0 25317727 875126784 159081 33554432000 4194304 6201397 140733233393984 140733233393112 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 213654 159081 166 491 0 213153 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 854616

[startup+1662.3 s]
/proc/loadavg: 2.24 2.27 2.20 3/179 17799
/proc/meminfo: memFree=29163532/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=857256 CPUtime=1662.03 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 68805 0 0 0 166180 23 0 0 20 0 1 0 25317727 877830144 162502 33554432000 4194304 6201397 140733233393984 140733233392648 4213170 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 214314 162502 166 491 0 213813 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 857256

[startup+1722.3 s]
/proc/loadavg: 2.31 2.28 2.21 3/180 17803
/proc/meminfo: memFree=29154960/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=867148 CPUtime=1722.02 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 70749 0 0 0 172178 24 0 0 20 0 1 0 25317727 887959552 164445 33554432000 4194304 6201397 140733233393984 140733233393112 4213180 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 216787 164445 166 491 0 216286 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 867148

[startup+1782.3 s]
/proc/loadavg: 2.38 2.30 2.22 3/179 17805
/proc/meminfo: memFree=29150940/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=869388 CPUtime=1782.01 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 71365 0 0 0 178177 24 0 0 20 0 1 0 25317727 890253312 165061 33554432000 4194304 6201397 140733233393984 140733233393112 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 217347 165061 166 491 0 216846 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 869388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.35 2.30 2.22 4/179 17851
/proc/meminfo: memFree=29416364/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=870380 CPUtime=1800.01 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 71620 0 0 0 179977 24 0 0 20 0 1 0 25317727 891269120 165316 33554432000 4194304 6201397 140733233393984 140733233393112 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 217595 165316 166 491 0 217094 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 870380

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

[startup+1800.3 s]
/proc/loadavg: 2.35 2.30 2.22 4/179 17851
/proc/meminfo: memFree=29416364/32872528 swapFree=1505436/1685308
[pid=17736] ppid=17733 vsize=870380 CPUtime=1800.01 cores=0,2,4,6
/proc/17736/stat : 17736 (cdcl-cuttingpla) R 17733 17736 17324 0 -1 4202496 71620 0 0 0 179977 24 0 0 20 0 1 0 25317727 891269120 165316 33554432000 4194304 6201397 140733233393984 140733233393112 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17736/statm: 217595 165316 166 491 0 217094 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 870380

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.77
CPU system time (s): 0.244962
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 870380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.244962
maximum resident set size= 661264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71620
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= 24
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.96679 second user time and 9.41357 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-18 08:51:58
IDJOB=4100160
IDBENCH=1580
IDSOLVER=2550
FILE ID=node135/4100160-1466232718
RUNJOBID= node135-1466230914-17340
PBS_JOBID= 19918183
Free space on /tmp= 71700 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-nug08.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100160-1466232718/watcher-4100160-1466232718 -o /tmp/evaluation-result-4100160-1466232718/solver-4100160-1466232718 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466230914-17340 --watchdog 1960 --input HOME/instance-4100160-1466232718.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 6120923c090ddeb6029c79f9e1b7777e
RANDOM SEED=112928091

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.004
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30078952 kB
Buffers:          115720 kB
Cached:           217556 kB
SwapCached:          716 kB
Active:           119356 kB
Inactive:         252768 kB
Active(anon):      40292 kB
Inactive(anon):     1308 kB
Active(file):      79064 kB
Inactive(file):   251460 kB
Unevictable:     1685308 kB
Mlocked:         1505436 kB
SwapTotal:      67108856 kB
SwapFree:       67100444 kB
Dirty:              7644 kB
Writeback:             0 kB
AnonPages:       1725864 kB
Mapped:             7888 kB
Shmem:                 0 kB
Slab:             602892 kB
SReclaimable:      46168 kB
SUnreclaim:       556724 kB
KernelStack:        1456 kB
PageTables:         7472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1841076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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= 71696 MiB
End job on node135 at 2016-06-18 09:21:58