Trace number 4101072

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/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fffff800.opb
MD5SUMf2e3e708ab88850fd5a3cdf379c0e388
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25620
Total number of constraints524
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 constraints524
Minimum length of a constraint30
Maximum length of a constraint7530
Number of terms in the objective function 240
Biggest coefficient in the objective function 32769
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524520
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 530865
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= 25620 #constraint= 524
23.99/24.05	c #Conflicts:       1000 | #Learnt:        998 | 1.627
23.99/24.05	c total clause space: 18.2382MB
23.99/24.05	c total #watches: 310704
51.18/51.29	c total #propagations: 975085 / total #impl: 109449296 (eff. 0.009)
51.18/51.29	c #Conflicts:       2000 | #Learnt:       1998 | 0.841
51.18/51.29	c total clause space: 18.2382MB
51.18/51.29	c total #watches: 380744
60.68/60.74	c total #propagations: 1967845 / total #impl: 194037830 (eff. 0.010)
60.68/60.74	c GC COLLECT
60.68/60.74	c #Conflicts:       3000 | #Learnt:       2014 | 0.589
60.68/60.74	c total clause space: 18.2382MB
60.68/60.74	c total #watches: 398981
97.18/97.27	c total #propagations: 2423301 / total #impl: 237424620 (eff. 0.010)
97.18/97.27	c #Conflicts:       4000 | #Learnt:       3014 | 0.453
97.18/97.27	c total clause space: 18.2382MB
97.18/97.27	c total #watches: 475005
110.67/110.70	c total #propagations: 3405129 / total #impl: 364269394 (eff. 0.009)
110.67/110.70	c GC COLLECT
110.67/110.70	c #Conflicts:       5000 | #Learnt:       2361 | 0.505
110.67/110.70	c total clause space: 18.2382MB
110.67/110.70	c total #watches: 438506
130.17/130.24	c total #propagations: 3963257 / total #impl: 414945532 (eff. 0.010)
130.17/130.24	c #Conflicts:       6000 | #Learnt:       3361 | 0.432
130.17/130.24	c total clause space: 18.2382MB
130.17/130.24	c total #watches: 510202
142.27/142.33	c total #propagations: 4792546 / total #impl: 466683871 (eff. 0.010)
142.27/142.33	c GC COLLECT
142.27/142.33	c #Conflicts:       7000 | #Learnt:       2261 | 0.370
142.27/142.33	c total clause space: 29.637MB
142.27/142.33	c total #watches: 394434
155.57/155.62	c total #propagations: 5563426 / total #impl: 505730210 (eff. 0.011)
155.57/155.62	c #Conflicts:       8000 | #Learnt:       3261 | 0.326
155.57/155.62	c total clause space: 29.637MB
155.57/155.62	c total #watches: 465975
167.17/167.29	c total #propagations: 6197347 / total #impl: 581602915 (eff. 0.011)
167.17/167.29	c #Conflicts:       9000 | #Learnt:       4261 | 0.290
167.17/167.29	c total clause space: 29.637MB
167.17/167.29	c total #watches: 531165
175.97/176.04	c total #propagations: 6824031 / total #impl: 662712172 (eff. 0.010)
175.97/176.04	c GC COLLECT
175.97/176.04	c #Conflicts:      10000 | #Learnt:       2727 | 0.271
175.97/176.04	c total clause space: 29.637MB
175.97/176.04	c total #watches: 418368
197.76/197.84	c total #propagations: 7570355 / total #impl: 730094492 (eff. 0.010)
197.76/197.84	c #Conflicts:      11000 | #Learnt:       3727 | 0.253
197.76/197.84	c total clause space: 29.637MB
197.76/197.84	c total #watches: 499513
211.66/211.73	c total #propagations: 8681311 / total #impl: 827022642 (eff. 0.010)
211.66/211.73	c #Conflicts:      12000 | #Learnt:       4726 | 0.255
211.66/211.73	c total clause space: 29.637MB
211.66/211.73	c total #watches: 572590
219.15/219.20	c total #propagations: 9463840 / total #impl: 907876301 (eff. 0.010)
219.15/219.20	c #Conflicts:      13000 | #Learnt:       5726 | 0.249
219.15/219.20	c total clause space: 29.637MB
219.15/219.20	c total #watches: 642555
236.95/237.05	c total #propagations: 9915161 / total #impl: 929999431 (eff. 0.011)
236.95/237.05	c GC COLLECT
236.95/237.05	c #Conflicts:      14000 | #Learnt:       3889 | 0.232
236.95/237.05	c total clause space: 29.637MB
236.95/237.05	c total #watches: 527134
247.46/247.51	c total #propagations: 10676994 / total #impl: 986350855 (eff. 0.011)
247.46/247.51	c #Conflicts:      15000 | #Learnt:       4889 | 0.217
247.46/247.51	c total clause space: 29.637MB
247.46/247.51	c total #watches: 649708
262.95/263.09	c total #propagations: 11098058 / total #impl: 1070839424 (eff. 0.010)
262.95/263.09	c #Conflicts:      16000 | #Learnt:       5889 | 0.208
262.95/263.09	c total clause space: 29.637MB
262.95/263.09	c total #watches: 769572
288.04/288.13	c total #propagations: 11632091 / total #impl: 1209300757 (eff. 0.010)
288.04/288.13	c GC COLLECT
288.04/288.13	c #Conflicts:      17000 | #Learnt:       3703 | 0.196
288.04/288.13	c total clause space: 29.637MB
288.04/288.13	c total #watches: 578837
301.04/301.10	c total #propagations: 12245887 / total #impl: 1331003058 (eff. 0.009)
301.04/301.10	c #Conflicts:      18000 | #Learnt:       4703 | 0.185
301.04/301.10	c total clause space: 29.637MB
301.04/301.10	c total #watches: 659521
316.04/316.16	c total #propagations: 12716002 / total #impl: 1449766499 (eff. 0.009)
316.04/316.16	c #Conflicts:      19000 | #Learnt:       5703 | 0.176
316.04/316.16	c total clause space: 29.637MB
316.04/316.16	c total #watches: 728047
339.13/339.23	c total #propagations: 13244805 / total #impl: 1571191131 (eff. 0.008)
339.13/339.23	c #Conflicts:      20000 | #Learnt:       6703 | 0.206
339.13/339.23	c total clause space: 29.637MB
339.13/339.23	c total #watches: 815279
357.63/357.72	c total #propagations: 13790725 / total #impl: 1690740355 (eff. 0.008)
357.63/357.72	c GC COLLECT
357.63/357.72	c #Conflicts:      21000 | #Learnt:       4220 | 0.225
357.63/357.72	c total clause space: 29.637MB
357.63/357.72	c total #watches: 551143
389.33/389.46	c total #propagations: 14499235 / total #impl: 1759853510 (eff. 0.008)
389.33/389.46	c #Conflicts:      22000 | #Learnt:       5220 | 0.238
389.33/389.46	c total clause space: 29.637MB
389.33/389.46	c total #watches: 634433
427.22/427.34	c total #propagations: 15183517 / total #impl: 1850724683 (eff. 0.008)
427.22/427.34	c #Conflicts:      23000 | #Learnt:       6220 | 0.227
427.22/427.34	c total clause space: 29.637MB
427.22/427.34	c total #watches: 709391
443.52/443.61	c total #propagations: 16122771 / total #impl: 1969043317 (eff. 0.008)
443.52/443.61	c #Conflicts:      24000 | #Learnt:       7220 | 0.233
443.52/443.61	c total clause space: 29.637MB
443.52/443.61	c total #watches: 776418
464.41/464.50	c total #propagations: 16683830 / total #impl: 2023588732 (eff. 0.008)
464.41/464.50	c GC COLLECT
464.41/464.50	c #Conflicts:      25000 | #Learnt:       4406 | 0.233
464.41/464.50	c total clause space: 29.637MB
464.41/464.50	c total #watches: 570268
472.41/472.56	c total #propagations: 17448820 / total #impl: 2075792480 (eff. 0.008)
472.41/472.56	c #Conflicts:      26000 | #Learnt:       5406 | 0.224
472.41/472.56	c total clause space: 29.637MB
472.41/472.56	c total #watches: 633723
479.41/479.51	c total #propagations: 17922392 / total #impl: 2101077491 (eff. 0.009)
479.41/479.51	c #Conflicts:      27000 | #Learnt:       6406 | 0.216
479.41/479.51	c total clause space: 29.637MB
479.41/479.51	c total #watches: 675138
500.11/500.25	c total #propagations: 18380505 / total #impl: 2121215072 (eff. 0.009)
500.11/500.25	c #Conflicts:      28000 | #Learnt:       7406 | 0.209
500.11/500.25	c total clause space: 29.637MB
500.11/500.25	c total #watches: 740814
515.51/515.66	c total #propagations: 19012756 / total #impl: 2175716538 (eff. 0.009)
515.51/515.66	c GC COLLECT
515.51/515.66	c #Conflicts:      29000 | #Learnt:       4299 | 0.203
515.51/515.66	c total clause space: 48.1602MB
515.51/515.66	c total #watches: 507853
537.51/537.62	c total #propagations: 19461066 / total #impl: 2220411515 (eff. 0.009)
537.51/537.62	c #Conflicts:      30000 | #Learnt:       5299 | 0.196
537.51/537.62	c total clause space: 48.1602MB
537.51/537.62	c total #watches: 587618
568.71/568.85	c total #propagations: 20082734 / total #impl: 2282519723 (eff. 0.009)
568.71/568.85	c #Conflicts:      31000 | #Learnt:       6299 | 0.190
568.71/568.85	c total clause space: 48.1602MB
568.71/568.85	c total #watches: 655172
587.60/587.79	c total #propagations: 20931773 / total #impl: 2374894658 (eff. 0.009)
587.60/587.79	c #Conflicts:      32000 | #Learnt:       7299 | 0.184
587.60/587.79	c total clause space: 48.1602MB
587.60/587.79	c total #watches: 708900
601.50/601.69	c total #propagations: 21490089 / total #impl: 2427713790 (eff. 0.009)
601.50/601.69	c #Conflicts:      33000 | #Learnt:       8299 | 0.179
601.50/601.69	c total clause space: 48.1602MB
601.50/601.69	c total #watches: 811831
620.59/620.70	c total #propagations: 21916216 / total #impl: 2462025498 (eff. 0.009)
620.59/620.70	c GC COLLECT
620.59/620.70	c #Conflicts:      34000 | #Learnt:       4897 | 0.174
620.59/620.70	c total clause space: 48.1602MB
620.59/620.70	c total #watches: 628605
649.39/649.52	c total #propagations: 22530326 / total #impl: 2519784902 (eff. 0.009)
649.39/649.52	c #Conflicts:      35000 | #Learnt:       5897 | 0.169
649.39/649.52	c total clause space: 48.1602MB
649.39/649.52	c total #watches: 747338
673.19/673.33	c total #propagations: 23310925 / total #impl: 2622402125 (eff. 0.009)
673.19/673.33	c #Conflicts:      36000 | #Learnt:       6897 | 0.164
673.19/673.33	c total clause space: 48.1602MB
673.19/673.33	c total #watches: 869343
689.28/689.45	c total #propagations: 23878939 / total #impl: 2722873774 (eff. 0.009)
689.28/689.45	c #Conflicts:      37000 | #Learnt:       7897 | 0.160
689.28/689.45	c total clause space: 48.1602MB
689.28/689.45	c total #watches: 987848
717.58/717.75	c total #propagations: 24375217 / total #impl: 2816920004 (eff. 0.009)
717.58/717.75	c #Conflicts:      38000 | #Learnt:       8897 | 0.155
717.58/717.75	c total clause space: 48.1602MB
717.58/717.75	c total #watches: 1071743
736.57/736.78	c total #propagations: 25004452 / total #impl: 2915053535 (eff. 0.009)
736.57/736.78	c GC COLLECT
736.57/736.78	c #Conflicts:      39000 | #Learnt:       5210 | 0.154
736.57/736.78	c total clause space: 48.1602MB
736.57/736.78	c total #watches: 791501
785.67/785.81	c total #propagations: 25431473 / total #impl: 3014496408 (eff. 0.008)
785.67/785.81	c #Conflicts:      40000 | #Learnt:       6210 | 0.151
785.67/785.81	c total clause space: 48.1602MB
785.67/785.81	c total #watches: 909696
799.86/800.02	c total #propagations: 25955398 / total #impl: 3246580781 (eff. 0.008)
799.86/800.02	c #Conflicts:      41000 | #Learnt:       7210 | 0.148
799.86/800.02	c total clause space: 48.1602MB
799.86/800.02	c total #watches: 1009443
825.26/825.40	c total #propagations: 26199377 / total #impl: 3314151225 (eff. 0.008)
825.26/825.40	c #Conflicts:      42000 | #Learnt:       8210 | 0.151
825.26/825.40	c total clause space: 48.1602MB
825.26/825.40	c total #watches: 1100325
838.96/839.13	c total #propagations: 26497608 / total #impl: 3446181624 (eff. 0.008)
838.96/839.13	c #Conflicts:      43000 | #Learnt:       9210 | 0.148
838.96/839.13	c total clause space: 48.1602MB
838.96/839.13	c total #watches: 1195127
863.56/863.75	c total #propagations: 26674761 / total #impl: 3569570804 (eff. 0.007)
863.56/863.75	c GC COLLECT
863.56/863.75	c #Conflicts:      44000 | #Learnt:       5224 | 0.150
863.56/863.75	c total clause space: 78.2603MB
863.56/863.75	c total #watches: 748849
871.86/872.03	c total #propagations: 26962180 / total #impl: 3704206175 (eff. 0.007)
871.86/872.03	c #Conflicts:      45000 | #Learnt:       6224 | 0.161
871.86/872.03	c total clause space: 78.2603MB
871.86/872.03	c total #watches: 845528
885.46/885.66	c total #propagations: 27207173 / total #impl: 3808031454 (eff. 0.007)
885.46/885.66	c #Conflicts:      46000 | #Learnt:       7224 | 0.162
885.46/885.66	c total clause space: 78.2603MB
885.46/885.66	c total #watches: 924287
900.46/900.67	c total #propagations: 27629917 / total #impl: 3891487214 (eff. 0.007)
900.46/900.67	c #Conflicts:      47000 | #Learnt:       8224 | 0.169
900.46/900.67	c total clause space: 78.2603MB
900.46/900.67	c total #watches: 992822
916.05/916.24	c total #propagations: 28042894 / total #impl: 3953121254 (eff. 0.007)
916.05/916.24	c #Conflicts:      48000 | #Learnt:       9224 | 0.165
916.05/916.24	c total clause space: 78.2603MB
916.05/916.24	c total #watches: 1087572
940.75/940.90	c total #propagations: 28468208 / total #impl: 4038679148 (eff. 0.007)
940.75/940.90	c #Conflicts:      49000 | #Learnt:      10224 | 0.164
940.75/940.90	c total clause space: 78.2603MB
940.75/940.90	c total #watches: 1149623
963.04/963.25	c total #propagations: 29014988 / total #impl: 4104725156 (eff. 0.007)
963.04/963.25	c GC COLLECT
963.04/963.25	c #Conflicts:      50000 | #Learnt:       5908 | 0.161
963.04/963.25	c total clause space: 78.2603MB
963.04/963.25	c total #watches: 718834
982.25/982.43	c total #propagations: 29474289 / total #impl: 4150369520 (eff. 0.007)
982.25/982.43	c #Conflicts:      51000 | #Learnt:       6908 | 0.158
982.25/982.43	c total clause space: 78.2603MB
982.25/982.43	c total #watches: 807429
1005.84/1006.03	c total #propagations: 29958464 / total #impl: 4199874468 (eff. 0.007)
1005.84/1006.03	c #Conflicts:      52000 | #Learnt:       7908 | 0.156
1005.84/1006.03	c total clause space: 78.2603MB
1005.84/1006.03	c total #watches: 882284
1053.13/1053.39	c total #propagations: 30517571 / total #impl: 4254295012 (eff. 0.007)
1053.13/1053.39	c #Conflicts:      53000 | #Learnt:       8908 | 0.153
1053.13/1053.39	c total clause space: 78.2603MB
1053.13/1053.39	c total #watches: 958578
1067.63/1067.82	c total #propagations: 31163576 / total #impl: 4364783091 (eff. 0.007)
1067.63/1067.82	c #Conflicts:      54000 | #Learnt:       9908 | 0.151
1067.63/1067.82	c total clause space: 78.2603MB
1067.63/1067.82	c total #watches: 1028976
1081.42/1081.60	c total #propagations: 31556928 / total #impl: 4394699035 (eff. 0.007)
1081.42/1081.60	c #Conflicts:      55000 | #Learnt:      10908 | 0.148
1081.42/1081.60	c total clause space: 78.2603MB
1081.42/1081.60	c total #watches: 1109163
1097.22/1097.48	c total #propagations: 31930720 / total #impl: 4430154793 (eff. 0.007)
1097.22/1097.48	c GC COLLECT
1097.22/1097.48	c #Conflicts:      56000 | #Learnt:       6302 | 0.146
1097.22/1097.48	c total clause space: 78.2603MB
1097.22/1097.48	c total #watches: 709120
1105.92/1106.17	c total #propagations: 32354774 / total #impl: 4487116380 (eff. 0.007)
1105.92/1106.17	c #Conflicts:      57000 | #Learnt:       7302 | 0.143
1105.92/1106.17	c total clause space: 78.2603MB
1105.92/1106.17	c total #watches: 776862
1123.02/1123.22	c total #propagations: 32650436 / total #impl: 4514632627 (eff. 0.007)
1123.02/1123.22	c #Conflicts:      58000 | #Learnt:       8302 | 0.141
1123.02/1123.22	c total clause space: 78.2603MB
1123.02/1123.22	c total #watches: 853412
1151.62/1151.82	c total #propagations: 33110671 / total #impl: 4554916496 (eff. 0.007)
1151.62/1151.82	c #Conflicts:      59000 | #Learnt:       9302 | 0.139
1151.62/1151.82	c total clause space: 78.2603MB
1151.62/1151.82	c total #watches: 907004
1183.21/1183.47	c total #propagations: 33709268 / total #impl: 4613119971 (eff. 0.007)
1183.21/1183.47	c #Conflicts:      60000 | #Learnt:      10302 | 0.136
1183.21/1183.47	c total clause space: 78.2603MB
1183.21/1183.47	c total #watches: 961006
1232.80/1233.02	c total #propagations: 34400718 / total #impl: 4676406804 (eff. 0.007)
1232.80/1233.02	c #Conflicts:      61000 | #Learnt:      11302 | 0.134
1232.80/1233.02	c total clause space: 78.2603MB
1232.80/1233.02	c total #watches: 1039080
1263.39/1263.68	c total #propagations: 35302014 / total #impl: 4777056678 (eff. 0.007)
1263.39/1263.68	c GC COLLECT
1263.39/1263.68	c #Conflicts:      62000 | #Learnt:       6408 | 0.132
1263.39/1263.68	c total clause space: 78.2603MB
1263.39/1263.68	c total #watches: 671706
1282.19/1282.44	c total #propagations: 36048574 / total #impl: 4861842947 (eff. 0.007)
1282.19/1282.44	c #Conflicts:      63000 | #Learnt:       7408 | 0.130
1282.19/1282.44	c total clause space: 78.2603MB
1282.19/1282.44	c total #watches: 762002
1297.99/1298.29	c total #propagations: 36663782 / total #impl: 4938337672 (eff. 0.007)
1297.99/1298.29	c #Conflicts:      64000 | #Learnt:       8408 | 0.135
1297.99/1298.29	c total clause space: 78.2603MB
1297.99/1298.29	c total #watches: 849864
1309.59/1309.88	c total #propagations: 37061413 / total #impl: 5003889748 (eff. 0.007)
1309.59/1309.88	c #Conflicts:      65000 | #Learnt:       9408 | 0.133
1309.59/1309.88	c total clause space: 78.2603MB
1309.59/1309.88	c total #watches: 932192
1338.98/1339.23	c total #propagations: 37433797 / total #impl: 5033803704 (eff. 0.007)
1338.98/1339.23	c #Conflicts:      66000 | #Learnt:      10408 | 0.132
1338.98/1339.23	c total clause space: 78.2603MB
1338.98/1339.23	c total #watches: 1012158
1351.98/1352.23	c total #propagations: 38058119 / total #impl: 5111422748 (eff. 0.007)
1351.98/1352.23	c #Conflicts:      67000 | #Learnt:      11408 | 0.132
1351.98/1352.23	c total clause space: 78.2603MB
1351.98/1352.23	c total #watches: 1095359
1369.68/1369.98	c total #propagations: 38434173 / total #impl: 5136112427 (eff. 0.007)
1369.68/1369.98	c #Conflicts:      68000 | #Learnt:      12408 | 0.130
1369.68/1369.98	c total clause space: 78.2603MB
1369.68/1369.98	c total #watches: 1216776
1392.88/1393.19	c total #propagations: 38894934 / total #impl: 5170348558 (eff. 0.008)
1392.88/1393.19	c GC COLLECT
1392.88/1393.19	c #Conflicts:      69000 | #Learnt:       7197 | 0.128
1392.88/1393.19	c total clause space: 78.2603MB
1392.88/1393.19	c total #watches: 843362
1412.97/1413.27	c total #propagations: 39475694 / total #impl: 5219228475 (eff. 0.008)
1412.97/1413.27	c #Conflicts:      70000 | #Learnt:       8197 | 0.131
1412.97/1413.27	c total clause space: 78.2603MB
1412.97/1413.27	c total #watches: 922590
1422.47/1422.74	c total #propagations: 40265803 / total #impl: 5265960728 (eff. 0.008)
1422.47/1422.74	c #Conflicts:      71000 | #Learnt:       9197 | 0.131
1422.47/1422.74	c total clause space: 78.2603MB
1422.47/1422.74	c total #watches: 1001430
1433.57/1433.86	c total #propagations: 41071880 / total #impl: 5296409089 (eff. 0.008)
1433.57/1433.86	c #Conflicts:      72000 | #Learnt:      10197 | 0.129
1433.57/1433.86	c total clause space: 78.2603MB
1433.57/1433.86	c total #watches: 1069280
1449.17/1449.40	c total #propagations: 41513899 / total #impl: 5328971412 (eff. 0.008)
1449.17/1449.40	c #Conflicts:      73000 | #Learnt:      11197 | 0.128
1449.17/1449.40	c total clause space: 78.2603MB
1449.17/1449.40	c total #watches: 1154739
1466.07/1466.37	c total #propagations: 42047600 / total #impl: 5368645316 (eff. 0.008)
1466.07/1466.37	c #Conflicts:      74000 | #Learnt:      12197 | 0.126
1466.07/1466.37	c total clause space: 78.2603MB
1466.07/1466.37	c total #watches: 1248731
1479.56/1479.87	c total #propagations: 42538752 / total #impl: 5414459556 (eff. 0.008)
1479.56/1479.87	c GC COLLECT
1479.56/1479.87	c #Conflicts:      75000 | #Learnt:       6713 | 0.124
1479.56/1479.87	c total clause space: 78.2603MB
1479.56/1479.87	c total #watches: 815318
1498.16/1498.48	c total #propagations: 42943585 / total #impl: 5449926799 (eff. 0.008)
1498.16/1498.48	c #Conflicts:      76000 | #Learnt:       7713 | 0.123
1498.16/1498.48	c total clause space: 78.2603MB
1498.16/1498.48	c total #watches: 894929
1520.25/1520.52	c total #propagations: 43474355 / total #impl: 5503493526 (eff. 0.008)
1520.25/1520.52	c #Conflicts:      77000 | #Learnt:       8713 | 0.124
1520.25/1520.52	c total clause space: 78.2603MB
1520.25/1520.52	c total #watches: 980737
1536.85/1537.16	c total #propagations: 44020374 / total #impl: 5576757782 (eff. 0.008)
1536.85/1537.16	c #Conflicts:      78000 | #Learnt:       9713 | 0.123
1536.85/1537.16	c total clause space: 78.2603MB
1536.85/1537.16	c total #watches: 1076342
1553.06/1553.37	c total #propagations: 44420887 / total #impl: 5616572259 (eff. 0.008)
1553.06/1553.37	c #Conflicts:      79000 | #Learnt:      10713 | 0.121
1553.06/1553.37	c total clause space: 78.2603MB
1553.06/1553.37	c total #watches: 1161462
1567.65/1567.99	c total #propagations: 44878362 / total #impl: 5662259590 (eff. 0.008)
1567.65/1567.99	c #Conflicts:      80000 | #Learnt:      11713 | 0.120
1567.65/1567.99	c total clause space: 78.2603MB
1567.65/1567.99	c total #watches: 1226530
1588.15/1588.46	c total #propagations: 45280804 / total #impl: 5698895105 (eff. 0.008)
1588.15/1588.46	c #Conflicts:      81000 | #Learnt:      12713 | 0.118
1588.15/1588.46	c total clause space: 78.2603MB
1588.15/1588.46	c total #watches: 1313561
1602.55/1602.86	c total #propagations: 45774918 / total #impl: 5768070573 (eff. 0.008)
1602.55/1602.86	c GC COLLECT
1602.55/1602.86	c #Conflicts:      82000 | #Learnt:       6913 | 0.119
1602.55/1602.86	c total clause space: 78.2603MB
1602.55/1602.86	c total #watches: 842732
1614.34/1614.64	c total #propagations: 46237912 / total #impl: 5831977156 (eff. 0.008)
1614.34/1614.64	c #Conflicts:      83000 | #Learnt:       7913 | 0.117
1614.34/1614.64	c total clause space: 78.2603MB
1614.34/1614.64	c total #watches: 934858
1630.44/1630.75	c total #propagations: 46724143 / total #impl: 5884482413 (eff. 0.008)
1630.44/1630.75	c #Conflicts:      84000 | #Learnt:       8913 | 0.116
1630.44/1630.75	c total clause space: 78.2603MB
1630.44/1630.75	c total #watches: 1036211
1639.44/1639.70	c total #propagations: 47251521 / total #impl: 5953936567 (eff. 0.008)
1639.44/1639.70	c #Conflicts:      85000 | #Learnt:       9913 | 0.115
1639.44/1639.70	c total clause space: 78.2603MB
1639.44/1639.70	c total #watches: 1150939
1648.13/1648.43	c total #propagations: 47531628 / total #impl: 5989242564 (eff. 0.008)
1648.13/1648.43	c #Conflicts:      86000 | #Learnt:      10913 | 0.114
1648.13/1648.43	c total clause space: 78.2603MB
1648.13/1648.43	c total #watches: 1228669
1665.33/1665.67	c total #propagations: 47769637 / total #impl: 6039001227 (eff. 0.008)
1665.33/1665.67	c #Conflicts:      87000 | #Learnt:      11913 | 0.113
1665.33/1665.67	c total clause space: 78.2603MB
1665.33/1665.67	c total #watches: 1307485
1683.73/1684.07	c total #propagations: 48167701 / total #impl: 6153713123 (eff. 0.008)
1683.73/1684.07	c #Conflicts:      88000 | #Learnt:      12913 | 0.113
1683.73/1684.07	c total clause space: 78.2603MB
1683.73/1684.07	c total #watches: 1419620
1707.52/1707.83	c total #propagations: 48565576 / total #impl: 6228476297 (eff. 0.008)
1707.52/1707.83	c #Conflicts:      89000 | #Learnt:      13913 | 0.111
1707.52/1707.83	c total clause space: 78.2603MB
1707.52/1707.83	c total #watches: 1498591
1728.82/1729.11	c total #propagations: 49145034 / total #impl: 6304988695 (eff. 0.008)
1728.82/1729.11	c GC COLLECT
1728.82/1729.11	c #Conflicts:      90000 | #Learnt:       7821 | 0.110
1728.82/1729.11	c total clause space: 78.2603MB
1728.82/1729.11	c total #watches: 977085
1743.82/1744.18	c total #propagations: 49640403 / total #impl: 6421919837 (eff. 0.008)
1743.82/1744.18	c #Conflicts:      91000 | #Learnt:       8821 | 0.109
1743.82/1744.18	c total clause space: 78.2603MB
1743.82/1744.18	c total #watches: 1037257
1760.12/1760.48	c total #propagations: 50060378 / total #impl: 6481260968 (eff. 0.008)
1760.12/1760.48	c #Conflicts:      92000 | #Learnt:       9821 | 0.108
1760.12/1760.48	c total clause space: 78.2603MB
1760.12/1760.48	c total #watches: 1094668
1780.51/1780.88	c total #propagations: 50467144 / total #impl: 6530873739 (eff. 0.008)
1780.51/1780.88	c #Conflicts:      93000 | #Learnt:      10821 | 0.107
1780.51/1780.88	c total clause space: 78.2603MB
1780.51/1780.88	c total #watches: 1145895
1797.12/1797.45	c total #propagations: 50855425 / total #impl: 6590034293 (eff. 0.008)
1797.12/1797.45	c #Conflicts:      94000 | #Learnt:      11821 | 0.106
1797.12/1797.45	c total clause space: 78.2603MB
1797.12/1797.45	c total #watches: 1192250

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-4101072-1466247084/watcher-4101072-1466247084 -o /tmp/evaluation-result-4101072-1466247084/solver-4101072-1466247084 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466241681-3934 --watchdog 1960 --input HOME/instance-4101072-1466247084.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=4392
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.18 2.22 2.18 4/176 4395
/proc/meminfo: memFree=30347648/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 278 0 0 0 0 0 0 0 20 0 1 0 26754889 29810688 5269 33554432000 4194304 6201397 140733939629712 140734034963112 4211056 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 7278 5269 130 491 0 6777 0

[startup+0.100127 s]
/proc/loadavg: 2.18 2.22 2.18 4/176 4395
/proc/meminfo: memFree=30347648/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=35344 CPUtime=0.09 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 1248 0 0 0 9 0 0 0 20 0 1 0 26754889 36192256 7598 33554432000 4194304 6201397 140733939629712 140734034963112 4207987 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 8836 7598 142 491 0 8335 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35344

[startup+0.200344 s]
/proc/loadavg: 2.18 2.22 2.18 4/176 4395
/proc/meminfo: memFree=30347648/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=43820 CPUtime=0.18 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 2187 0 0 0 18 0 0 0 20 0 1 0 26754889 44871680 8855 33554432000 4194304 6201397 140733939629712 140734034963112 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 10955 8855 146 491 0 10454 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 43820

[startup+0.300331 s]
/proc/loadavg: 2.18 2.22 2.18 4/176 4395
/proc/meminfo: memFree=30347648/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=43820 CPUtime=0.28 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 2188 0 0 0 28 0 0 0 20 0 1 0 26754889 44871680 8856 33554432000 4194304 6201397 140733939629712 140734034963112 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 10955 8856 147 491 0 10454 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 43820

[startup+0.700221 s]
/proc/loadavg: 2.18 2.22 2.18 4/176 4395
/proc/meminfo: memFree=30347648/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=43940 CPUtime=0.68 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 2218 0 0 0 68 0 0 0 20 0 1 0 26754889 44994560 8886 33554432000 4194304 6201397 140733939629712 140734034963112 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 10985 8886 147 491 0 10484 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 43940

[startup+1.50023 s]
/proc/loadavg: 2.18 2.22 2.18 4/177 4396
/proc/meminfo: memFree=30312644/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=44068 CPUtime=1.48 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 2236 0 0 0 148 0 0 0 20 0 1 0 26754889 45125632 8904 33554432000 4194304 6201397 140733939629712 140733939628664 4213328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 11017 8904 147 491 0 10516 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44068

[startup+3.10023 s]
/proc/loadavg: 2.18 2.22 2.18 3/177 4396
/proc/meminfo: memFree=30312032/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=44468 CPUtime=3.08 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 2346 0 0 0 308 0 0 0 20 0 1 0 26754889 45535232 9014 33554432000 4194304 6201397 140733939629712 140733939628168 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 11117 9014 147 491 0 10616 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 44468

[startup+6.30023 s]
/proc/loadavg: 2.24 2.23 2.18 3/177 4396
/proc/meminfo: memFree=30310568/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=44840 CPUtime=6.29 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 2852 0 0 0 628 1 0 0 20 0 1 0 26754889 45916160 9339 33554432000 4194304 6201397 140733939629712 140733939628344 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 11210 9339 147 491 0 10709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44840

[startup+12.7002 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 4396
/proc/meminfo: memFree=30309500/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=44840 CPUtime=12.69 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 3068 0 0 0 1268 1 0 0 20 0 1 0 26754889 45916160 9477 33554432000 4194304 6201397 140733939629712 140733939628504 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 11210 9477 147 491 0 10709 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44840

[startup+25.5003 s]
/proc/loadavg: 2.17 2.22 2.18 3/177 4396
/proc/meminfo: memFree=30306724/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=52280 CPUtime=25.49 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 3405 0 0 0 2548 1 0 0 20 0 1 0 26754889 53534720 10212 33554432000 4194304 6201397 140733939629712 140733939628840 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 13070 10212 160 491 0 12569 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52280

[startup+51.1003 s]
/proc/loadavg: 2.32 2.25 2.19 4/177 4396
/proc/meminfo: memFree=30303936/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=53224 CPUtime=51.08 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 3611 0 0 0 5107 1 0 0 20 0 1 0 26754889 54501376 10929 33554432000 4194304 6201397 140733939629712 140733939628424 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 13306 10929 160 491 0 12805 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 53224

[startup+102.3 s]
/proc/loadavg: 2.40 2.27 2.20 3/177 4398
/proc/meminfo: memFree=30296312/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=55000 CPUtime=102.28 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 4097 0 0 0 10227 1 0 0 20 0 1 0 26754889 56320000 12384 33554432000 4194304 6201397 140733939629712 140733939628376 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 13750 12384 166 491 0 13249 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 55000

[startup+162.3 s]
/proc/loadavg: 2.28 2.25 2.19 4/177 4399
/proc/meminfo: memFree=30288804/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=68580 CPUtime=162.27 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 5429 0 0 0 16226 1 0 0 20 0 1 0 26754889 70225920 13856 33554432000 4194304 6201397 140733939629712 140733939628168 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 17145 13856 166 491 0 16644 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 68580

[startup+222.307 s]
/proc/loadavg: 2.14 2.22 2.18 3/177 4400
/proc/meminfo: memFree=30284268/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=70776 CPUtime=222.26 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 5880 0 0 0 22225 1 0 0 20 0 1 0 26754889 72474624 14817 33554432000 4194304 6201397 140733939629712 140733939628840 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 17694 14817 166 491 0 17193 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 70776

[startup+282.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/177 4401
/proc/meminfo: memFree=30275028/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=73128 CPUtime=282.24 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 6411 0 0 0 28223 1 0 0 20 0 1 0 26754889 74883072 16881 33554432000 4194304 6201397 140733939629712 140733939628424 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 18282 16881 166 491 0 17781 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 73128

[startup+342.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/177 4540
/proc/meminfo: memFree=30356644/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=74176 CPUtime=342.23 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 6646 0 0 0 34222 1 0 0 20 0 1 0 26754889 75956224 17116 33554432000 4194304 6201397 140733939629712 140733939628840 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 18544 17116 166 491 0 18043 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 74176

[startup+402.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/177 4542
/proc/meminfo: memFree=30356548/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=74592 CPUtime=402.22 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 6765 0 0 0 40221 1 0 0 20 0 1 0 26754889 76382208 17235 33554432000 4194304 6201397 140733939629712 140733939628424 4213328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 18648 17235 166 491 0 18147 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 74592

[startup+462.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/177 4543
/proc/meminfo: memFree=30354116/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=75348 CPUtime=462.21 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 6930 0 0 0 46220 1 0 0 20 0 1 0 26754889 77156352 17400 33554432000 4194304 6201397 140733939629712 140733939628376 4213348 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 18837 17400 166 491 0 18336 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 75348

[startup+522.3 s]
/proc/loadavg: 2.35 2.26 2.20 3/178 4547
/proc/meminfo: memFree=30338700/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=95932 CPUtime=522.21 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 8138 0 0 0 52219 2 0 0 20 0 1 0 26754889 98234368 18250 33554432000 4194304 6201397 140733939629712 140733939628840 4213371 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 23983 18250 166 491 0 23482 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 95932

[startup+582.3 s]
/proc/loadavg: 2.21 2.24 2.19 3/178 4571
/proc/meminfo: memFree=30339128/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=96212 CPUtime=582.2 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 8196 0 0 0 58218 2 0 0 20 0 1 0 26754889 98521088 18308 33554432000 4194304 6201397 140733939629712 140733939628840 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 24053 18308 166 491 0 23552 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 96212


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


[startup+942.3 s]
/proc/loadavg: 2.10 2.19 2.17 3/177 4578
/proc/meminfo: memFree=30253064/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=134908 CPUtime=942.15 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 10764 0 0 0 94212 3 0 0 20 0 1 0 26754889 138145792 24906 33554432000 4194304 6201397 140733939629712 140733939628840 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 33727 24906 166 491 0 33226 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 134908

[startup+1002.3 s]
/proc/loadavg: 2.11 2.17 2.17 3/177 4579
/proc/meminfo: memFree=30252332/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=135052 CPUtime=1002.14 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 10768 0 0 0 100211 3 0 0 20 0 1 0 26754889 138293248 24910 33554432000 4194304 6201397 140733939629712 140733939628376 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 33763 24910 166 491 0 33262 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 135052

[startup+1062.3 s]
/proc/loadavg: 2.19 2.18 2.17 3/177 4581
/proc/meminfo: memFree=30252460/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=135212 CPUtime=1062.13 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 10812 0 0 0 106210 3 0 0 20 0 1 0 26754889 138457088 24954 33554432000 4194304 6201397 140733939629712 140733939628376 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 33803 24954 166 491 0 33302 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 135212

[startup+1122.3 s]
/proc/loadavg: 2.14 2.16 2.16 3/178 4585
/proc/meminfo: memFree=30251796/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=135820 CPUtime=1122.12 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 10939 0 0 0 112209 3 0 0 20 0 1 0 26754889 139079680 25081 33554432000 4194304 6201397 140733939629712 140733939628424 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 33955 25081 166 491 0 33454 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 135820

[startup+1182.3 s]
/proc/loadavg: 2.34 2.21 2.18 3/177 4586
/proc/meminfo: memFree=30182216/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=135980 CPUtime=1182.11 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 10950 0 0 0 118208 3 0 0 20 0 1 0 26754889 139243520 25092 33554432000 4194304 6201397 140733939629712 140733939628840 4213149 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 33995 25092 166 491 0 33494 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 135980

[startup+1242.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 4587
/proc/meminfo: memFree=30177380/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=136668 CPUtime=1242.1 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 11054 0 0 0 124207 3 0 0 20 0 1 0 26754889 139948032 25196 33554432000 4194304 6201397 140733939629712 140733939628424 4213367 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 34167 25196 166 491 0 33666 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 136668

[startup+1302.3 s]
/proc/loadavg: 2.35 2.24 2.19 3/177 4588
/proc/meminfo: memFree=30177128/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=136668 CPUtime=1302.09 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 11076 0 0 0 130206 3 0 0 20 0 1 0 26754889 139948032 25218 33554432000 4194304 6201397 140733939629712 140733939628840 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 34167 25218 166 491 0 33666 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 136668

[startup+1362.3 s]
/proc/loadavg: 2.41 2.27 2.20 3/177 4590
/proc/meminfo: memFree=30172968/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=137488 CPUtime=1362.08 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 11207 0 0 0 136205 3 0 0 20 0 1 0 26754889 140787712 25349 33554432000 4194304 6201397 140733939629712 140733939628424 4213168 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 34372 25349 166 491 0 33871 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 137488

[startup+1422.3 s]
/proc/loadavg: 2.42 2.29 2.21 3/177 4591
/proc/meminfo: memFree=30171608/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=138684 CPUtime=1422.08 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 11384 0 0 0 142205 3 0 0 20 0 1 0 26754889 142012416 25526 33554432000 4194304 6201397 140733939629712 140733939628376 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 34671 25526 166 491 0 34170 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 138684

[startup+1482.3 s]
/proc/loadavg: 2.31 2.28 2.21 3/177 4592
/proc/meminfo: memFree=30167948/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=140116 CPUtime=1482.06 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 11786 0 0 0 148203 3 0 0 20 0 1 0 26754889 143478784 26413 33554432000 4194304 6201397 140733939629712 140733939628840 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 35029 26413 166 491 0 34528 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 140116

[startup+1542.31 s]
/proc/loadavg: 2.22 2.26 2.20 4/177 4593
/proc/meminfo: memFree=30167580/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=140276 CPUtime=1542.06 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 11808 0 0 0 154203 3 0 0 20 0 1 0 26754889 143642624 26435 33554432000 4194304 6201397 140733939629712 140733939628840 4213367 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 35069 26435 166 491 0 34568 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 140276

[startup+1602.3 s]
/proc/loadavg: 2.22 2.25 2.20 3/177 4594
/proc/meminfo: memFree=30161996/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=142300 CPUtime=1602.04 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 12133 0 0 0 160201 3 0 0 20 0 1 0 26754889 145715200 27782 33554432000 4194304 6201397 140733939629712 140733939628424 4213367 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 35575 27782 166 491 0 35074 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 142300

[startup+1662.3 s]
/proc/loadavg: 2.20 2.24 2.19 4/177 4596
/proc/meminfo: memFree=30161008/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=142812 CPUtime=1662.03 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 12265 0 0 0 166200 3 0 0 20 0 1 0 26754889 146239488 27914 33554432000 4194304 6201397 140733939629712 140733939628424 4213365 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 35703 27914 166 491 0 35202 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 142812

[startup+1722.3 s]
/proc/loadavg: 2.18 2.22 2.19 4/178 4600
/proc/meminfo: memFree=30154904/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=144416 CPUtime=1722.02 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 12582 0 0 0 172199 3 0 0 20 0 1 0 26754889 147881984 29253 33554432000 4194304 6201397 140733939629712 140733939628424 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 36104 29253 166 491 0 35603 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 144416

[startup+1782.3 s]
/proc/loadavg: 2.24 2.22 2.19 3/177 4601
/proc/meminfo: memFree=30155332/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=144608 CPUtime=1782.01 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 12621 0 0 0 178198 3 0 0 20 0 1 0 26754889 148078592 29292 33554432000 4194304 6201397 140733939629712 140733939628840 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 36152 29292 166 491 0 35651 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 144608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.19 2.21 2.18 4/177 4601
/proc/meminfo: memFree=30155332/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=144608 CPUtime=1800.01 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 12646 0 0 0 179998 3 0 0 20 0 1 0 26754889 148078592 29317 33554432000 4194304 6201397 140733939629712 140733939628840 4213110 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 36152 29317 166 491 0 35651 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 144608

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

[startup+1800.3 s]
/proc/loadavg: 2.19 2.21 2.18 4/177 4601
/proc/meminfo: memFree=30155332/32872528 swapFree=1200228/1314692
[pid=4395] ppid=4392 vsize=144608 CPUtime=1800.01 cores=0,2,4,6
/proc/4395/stat : 4395 (cdcl-cuttingpla) R 4392 4395 3918 0 -1 4202496 12646 0 0 0 179998 3 0 0 20 0 1 0 26754889 148078592 29317 33554432000 4194304 6201397 140733939629712 140733939628840 4213110 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 36152 29317 166 491 0 35651 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 144608

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.99
CPU system time (s): 0.037994
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 144608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.037994
maximum resident set size= 117268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12646
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= 11
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.94579 second user time and 8.00278 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 12:51:24
IDJOB=4101072
IDBENCH=1696
IDSOLVER=2550
FILE ID=node131/4101072-1466247084
RUNJOBID= node131-1466241681-3934
PBS_JOBID= 19918210
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/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fffff800.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101072-1466247084/watcher-4101072-1466247084 -o /tmp/evaluation-result-4101072-1466247084/solver-4101072-1466247084 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466241681-3934 --watchdog 1960 --input HOME/instance-4101072-1466247084.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= f2e3e708ab88850fd5a3cdf379c0e388
RANDOM SEED=1228460371

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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.752
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.57
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.752
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:        30347556 kB
Buffers:          129080 kB
Cached:           143352 kB
SwapCached:         1460 kB
Active:           278644 kB
Inactive:         196476 kB
Active(anon):     202384 kB
Inactive(anon):     2920 kB
Active(file):      76260 kB
Inactive(file):   193556 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:              4312 kB
Writeback:             0 kB
AnonPages:       1516640 kB
Mapped:             7780 kB
Shmem:                 0 kB
Slab:             602264 kB
SReclaimable:      46336 kB
SUnreclaim:       555928 kB
KernelStack:        1424 kB
PageTables:         6948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1651920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    307200 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= 71684 MiB
End job on node131 at 2016-06-18 13:21:24