Trace number 4087850

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-methanosarcina.opb
MD5SUMa612d4a0a9bac3d87b66260854e735cd
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3124
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7930
Total number of constraints14604
Number of constraints which are clauses14604
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 7302
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7302
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7302
Number of bits of the biggest sum of numbers13
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.03	c * #variable= 7930 #constraint= 14604
0.00/0.07	c * #variable= 7930 #constraint= 14604
2.99/3.01	c S1->S2
2.99/3.01	c #Conflicts:       1000 | #Learnt:       1000 | 0.000
2.99/3.01	c total clause space: 127.173MB
2.99/3.01	c total #watches: 536543
7.39/7.40	c total #propagations: 1012572 / total #impl: 2225729 (eff. 0.455)
7.39/7.40	c #Conflicts:       2000 | #Learnt:       2000 | 0.000
7.39/7.40	c total clause space: 335.816MB
7.39/7.40	c total #watches: 1315578
11.79/11.83	c total #propagations: 2191334 / total #impl: 4692561 (eff. 0.467)
11.79/11.83	c GC COLLECT
11.79/11.83	c #Conflicts:       3000 | #Learnt:       2002 | 0.000
11.79/11.83	c total clause space: 335.816MB
11.79/11.83	c total #watches: 1768026
18.79/18.84	c total #propagations: 3309910 / total #impl: 7608381 (eff. 0.435)
18.79/18.84	c #Conflicts:       4000 | #Learnt:       3002 | 0.000
18.79/18.84	c total clause space: 545.701MB
18.79/18.84	c total #watches: 2151116
30.09/30.14	c total #propagations: 4676625 / total #impl: 13774591 (eff. 0.340)
30.09/30.14	c GC COLLECT
30.09/30.14	c #Conflicts:       5000 | #Learnt:       2354 | 0.000
30.09/30.14	c total clause space: 545.701MB
30.09/30.14	c total #watches: 1636566
41.68/41.78	c total #propagations: 5766506 / total #impl: 17727873 (eff. 0.325)
41.68/41.78	c #Conflicts:       6000 | #Learnt:       3354 | 0.000
41.68/41.78	c total clause space: 545.701MB
41.68/41.78	c total #watches: 2184305
56.68/56.77	c total #propagations: 7303915 / total #impl: 20736150 (eff. 0.352)
56.68/56.77	c GC COLLECT
56.68/56.77	c #Conflicts:       7000 | #Learnt:       2229 | 0.000
56.68/56.77	c total clause space: 545.701MB
56.68/56.77	c total #watches: 1534157
65.99/66.03	c total #propagations: 8192342 / total #impl: 22237067 (eff. 0.368)
65.99/66.03	c #Conflicts:       8000 | #Learnt:       3229 | 0.000
65.99/66.03	c total clause space: 545.701MB
65.99/66.03	c total #watches: 1896356
79.19/79.22	c total #propagations: 9184897 / total #impl: 24143081 (eff. 0.380)
79.19/79.22	c S1->S2
79.19/79.22	c #Conflicts:       9000 | #Learnt:       4230 | 0.000
79.19/79.22	c total clause space: 545.701MB
79.19/79.22	c total #watches: 2599778
85.07/85.15	c total #propagations: 9971976 / total #impl: 26365413 (eff. 0.378)
85.07/85.15	c GC COLLECT
85.07/85.15	c #Conflicts:      10000 | #Learnt:       2717 | 0.000
85.07/85.15	c total clause space: 545.701MB
85.07/85.15	c total #watches: 1975003
89.47/89.57	c total #propagations: 10829631 / total #impl: 28185295 (eff. 0.384)
89.47/89.57	c #Conflicts:      11000 | #Learnt:       3717 | 0.000
89.47/89.57	c total clause space: 545.701MB
89.47/89.57	c total #watches: 2239413
93.87/93.98	c total #propagations: 11493555 / total #impl: 29477282 (eff. 0.390)
93.87/93.98	c #Conflicts:      12000 | #Learnt:       4717 | 0.000
93.87/93.98	c total clause space: 545.701MB
93.87/93.98	c total #watches: 3148750
101.77/101.82	c total #propagations: 12332851 / total #impl: 31663291 (eff. 0.389)
101.77/101.82	c #Conflicts:      13000 | #Learnt:       5717 | 0.000
101.77/101.82	c total clause space: 545.701MB
101.77/101.82	c total #watches: 4029997
111.08/111.15	c total #propagations: 13276903 / total #impl: 33294676 (eff. 0.399)
111.08/111.15	c GC COLLECT
111.08/111.15	c #Conflicts:      14000 | #Learnt:       3865 | 0.000
111.08/111.15	c total clause space: 545.701MB
111.08/111.15	c total #watches: 3364435
123.17/123.24	c total #propagations: 13887092 / total #impl: 34341662 (eff. 0.404)
123.17/123.24	c #Conflicts:      15000 | #Learnt:       4865 | 0.000
123.17/123.24	c total clause space: 545.701MB
123.17/123.24	c total #watches: 3951537
138.67/138.77	c total #propagations: 14566586 / total #impl: 36784887 (eff. 0.396)
138.67/138.77	c #Conflicts:      16000 | #Learnt:       5865 | 0.000
138.67/138.77	c total clause space: 545.701MB
138.67/138.77	c total #watches: 3953545
146.27/146.39	c total #propagations: 15821179 / total #impl: 41910208 (eff. 0.378)
146.27/146.39	c GC COLLECT
146.27/146.39	c #Conflicts:      17000 | #Learnt:       3690 | 0.000
146.27/146.39	c total clause space: 545.701MB
146.27/146.39	c total #watches: 3302135
152.97/153.03	c total #propagations: 16555585 / total #impl: 43293376 (eff. 0.382)
152.97/153.03	c #Conflicts:      18000 | #Learnt:       4690 | 0.000
152.97/153.03	c total clause space: 545.701MB
152.97/153.03	c total #watches: 3679011
157.37/157.48	c total #propagations: 16934254 / total #impl: 44423145 (eff. 0.381)
157.37/157.48	c #Conflicts:      19000 | #Learnt:       5690 | 0.000
157.37/157.48	c total clause space: 545.701MB
157.37/157.48	c total #watches: 4109838
205.15/205.24	c total #propagations: 18434996 / total #impl: 47889836 (eff. 0.385)
205.15/205.24	c #Conflicts:      20000 | #Learnt:       6690 | 0.000
205.15/205.24	c total clause space: 545.701MB
205.15/205.24	c total #watches: 4727982
239.75/239.82	c total #propagations: 19472851 / total #impl: 50028171 (eff. 0.389)
239.75/239.82	c GC COLLECT
239.75/239.82	c #Conflicts:      21000 | #Learnt:       4199 | 0.000
239.75/239.82	c total clause space: 545.701MB
239.75/239.82	c total #watches: 3520716
283.34/283.45	c total #propagations: 20403891 / total #impl: 51322580 (eff. 0.398)
283.34/283.45	c #Conflicts:      22000 | #Learnt:       5199 | 0.000
283.34/283.45	c total clause space: 545.701MB
283.34/283.45	c total #watches: 4328202
314.44/314.50	c total #propagations: 21089843 / total #impl: 53105944 (eff. 0.397)
314.44/314.50	c #Conflicts:      23000 | #Learnt:       6199 | 0.000
314.44/314.50	c total clause space: 545.701MB
314.44/314.50	c total #watches: 4939645
362.73/362.84	c total #propagations: 21800173 / total #impl: 55886920 (eff. 0.390)
362.73/362.84	c #Conflicts:      24000 | #Learnt:       7199 | 0.000
362.73/362.84	c total clause space: 545.701MB
362.73/362.84	c total #watches: 5679544
392.22/392.31	c total #propagations: 22734811 / total #impl: 57808932 (eff. 0.393)
392.22/392.31	c GC COLLECT
392.22/392.31	c #Conflicts:      25000 | #Learnt:       4406 | 0.000
392.22/392.31	c total clause space: 545.701MB
392.22/392.31	c total #watches: 3852807
404.12/404.28	c total #propagations: 23483937 / total #impl: 59877537 (eff. 0.392)
404.12/404.28	c #Conflicts:      26000 | #Learnt:       5406 | 0.000
404.12/404.28	c total clause space: 545.701MB
404.12/404.28	c total #watches: 4163914
412.32/412.43	c total #propagations: 24018015 / total #impl: 61502288 (eff. 0.391)
412.32/412.43	c #Conflicts:      27000 | #Learnt:       6406 | 0.000
412.32/412.43	c total clause space: 545.701MB
412.32/412.43	c total #watches: 4166594
428.22/428.34	c total #propagations: 24538308 / total #impl: 64276351 (eff. 0.382)
428.22/428.34	c #Conflicts:      28000 | #Learnt:       7406 | 0.000
428.22/428.34	c total clause space: 545.701MB
428.22/428.34	c total #watches: 4537667
436.41/436.58	c total #propagations: 25097216 / total #impl: 66237786 (eff. 0.379)
436.41/436.58	c GC COLLECT
436.41/436.58	c #Conflicts:      29000 | #Learnt:       4304 | 0.000
436.41/436.58	c total clause space: 545.701MB
436.41/436.58	c total #watches: 2595859
465.81/465.99	c total #propagations: 25908236 / total #impl: 68270477 (eff. 0.379)
465.81/465.99	c #Conflicts:      30000 | #Learnt:       5304 | 0.000
465.81/465.99	c total clause space: 545.701MB
465.81/465.99	c total #watches: 4594817
486.71/486.85	c total #propagations: 26489424 / total #impl: 69122736 (eff. 0.383)
486.71/486.85	c #Conflicts:      31000 | #Learnt:       6304 | 0.000
486.71/486.85	c total clause space: 545.701MB
486.71/486.85	c total #watches: 5263343
522.70/522.85	c total #propagations: 27020126 / total #impl: 70170299 (eff. 0.385)
522.70/522.85	c #Conflicts:      32000 | #Learnt:       7304 | 0.000
522.70/522.85	c total clause space: 545.701MB
522.70/522.85	c total #watches: 5588290
569.59/569.76	c total #propagations: 27858071 / total #impl: 71897669 (eff. 0.387)
569.59/569.76	c #Conflicts:      33000 | #Learnt:       8304 | 0.000
569.59/569.76	c total clause space: 545.701MB
569.59/569.76	c total #watches: 6057507
609.49/609.62	c total #propagations: 28679819 / total #impl: 73684367 (eff. 0.389)
609.49/609.62	c GC COLLECT
609.49/609.62	c #Conflicts:      34000 | #Learnt:       4903 | 0.000
609.49/609.62	c total clause space: 545.701MB
609.49/609.62	c total #watches: 4896429
644.59/644.79	c total #propagations: 29053611 / total #impl: 74680100 (eff. 0.389)
644.59/644.79	c #Conflicts:      35000 | #Learnt:       5903 | 0.000
644.59/644.79	c total clause space: 545.701MB
644.59/644.79	c total #watches: 5683094
670.57/670.73	c total #propagations: 29590621 / total #impl: 76746984 (eff. 0.386)
670.57/670.73	c #Conflicts:      36000 | #Learnt:       6903 | 0.000
670.57/670.73	c total clause space: 545.701MB
670.57/670.73	c total #watches: 5845173
710.96/711.15	c total #propagations: 30935895 / total #impl: 84866100 (eff. 0.365)
710.96/711.15	c #Conflicts:      37000 | #Learnt:       7903 | 0.000
710.96/711.15	c total clause space: 545.701MB
710.96/711.15	c total #watches: 5877656
756.36/756.59	c total #propagations: 32537188 / total #impl: 92015696 (eff. 0.354)
756.36/756.59	c #Conflicts:      38000 | #Learnt:       8903 | 0.000
756.36/756.59	c total clause space: 545.701MB
756.36/756.59	c total #watches: 5879704
792.35/792.53	c total #propagations: 33950570 / total #impl: 98276088 (eff. 0.345)
792.35/792.53	c GC COLLECT
792.35/792.53	c #Conflicts:      39000 | #Learnt:       5209 | 0.000
792.35/792.53	c total clause space: 545.701MB
792.35/792.53	c total #watches: 1693354
801.76/801.95	c total #propagations: 35355190 / total #impl: 104229854 (eff. 0.339)
801.76/801.95	c #Conflicts:      40000 | #Learnt:       6209 | 0.000
801.76/801.95	c total clause space: 545.701MB
801.76/801.95	c total #watches: 2134841
812.55/812.78	c total #propagations: 35781419 / total #impl: 104838742 (eff. 0.341)
812.55/812.78	c #Conflicts:      41000 | #Learnt:       7209 | 0.000
812.55/812.78	c total clause space: 545.701MB
812.55/812.78	c total #watches: 2392830
822.15/822.36	c total #propagations: 36060825 / total #impl: 105279206 (eff. 0.343)
822.15/822.36	c #Conflicts:      42000 | #Learnt:       8209 | 0.000
822.15/822.36	c total clause space: 545.701MB
822.15/822.36	c total #watches: 2524954
831.84/832.07	c total #propagations: 36301871 / total #impl: 105775229 (eff. 0.343)
831.84/832.07	c #Conflicts:      43000 | #Learnt:       9209 | 0.000
831.84/832.07	c total clause space: 545.701MB
831.84/832.07	c total #watches: 2574117
841.74/841.99	c total #propagations: 36466976 / total #impl: 106139199 (eff. 0.344)
841.74/841.99	c GC COLLECT
841.74/841.99	c #Conflicts:      44000 | #Learnt:       5207 | 0.000
841.74/841.99	c total clause space: 545.701MB
841.74/841.99	c total #watches: 1898818
848.64/848.86	c total #propagations: 36767706 / total #impl: 106560499 (eff. 0.345)
848.64/848.86	c #Conflicts:      45000 | #Learnt:       6207 | 0.000
848.64/848.86	c total clause space: 545.701MB
848.64/848.86	c total #watches: 2074981
860.84/861.04	c total #propagations: 37013861 / total #impl: 106830730 (eff. 0.346)
860.84/861.04	c #Conflicts:      46000 | #Learnt:       7207 | 0.000
860.84/861.04	c total clause space: 545.701MB
860.84/861.04	c total #watches: 3335133
876.34/876.55	c total #propagations: 37493480 / total #impl: 107810128 (eff. 0.348)
876.34/876.55	c #Conflicts:      47000 | #Learnt:       8207 | 0.000
876.34/876.55	c total clause space: 545.701MB
876.34/876.55	c total #watches: 3554863
891.03/891.23	c total #propagations: 38307173 / total #impl: 109259749 (eff. 0.351)
891.03/891.23	c #Conflicts:      48000 | #Learnt:       9207 | 0.000
891.03/891.23	c total clause space: 545.701MB
891.03/891.23	c total #watches: 4683464
901.13/901.39	c total #propagations: 39101465 / total #impl: 111075945 (eff. 0.352)
901.13/901.39	c #Conflicts:      49000 | #Learnt:      10207 | 0.000
901.13/901.39	c total clause space: 545.701MB
901.13/901.39	c total #watches: 4949088
919.44/919.67	c total #propagations: 39439902 / total #impl: 112524890 (eff. 0.350)
919.44/919.67	c GC COLLECT
919.44/919.67	c #Conflicts:      50000 | #Learnt:       5902 | 0.000
919.44/919.67	c total clause space: 545.701MB
919.44/919.67	c total #watches: 2294033
931.13/931.31	c total #propagations: 39949831 / total #impl: 114251675 (eff. 0.350)
931.13/931.31	c #Conflicts:      51000 | #Learnt:       6902 | 0.000
931.13/931.31	c total clause space: 545.701MB
931.13/931.31	c total #watches: 3006285
943.23/943.48	c total #propagations: 40714793 / total #impl: 115746852 (eff. 0.352)
943.23/943.48	c #Conflicts:      52000 | #Learnt:       7902 | 0.000
943.23/943.48	c total clause space: 545.701MB
943.23/943.48	c total #watches: 3753226
949.62/949.81	c total #propagations: 41422385 / total #impl: 117638630 (eff. 0.352)
949.62/949.81	c #Conflicts:      53000 | #Learnt:       8902 | 0.000
949.62/949.81	c total clause space: 545.701MB
949.62/949.81	c total #watches: 5001136
984.43/984.65	c total #propagations: 42575292 / total #impl: 119348263 (eff. 0.357)
984.43/984.65	c #Conflicts:      54000 | #Learnt:       9902 | 0.000
984.43/984.65	c total clause space: 545.701MB
984.43/984.65	c total #watches: 5455836
1035.71/1035.91	c total #propagations: 44660576 / total #impl: 126885026 (eff. 0.352)
1035.71/1035.91	c #Conflicts:      55000 | #Learnt:      10902 | 0.000
1035.71/1035.91	c total clause space: 545.701MB
1035.71/1035.91	c total #watches: 5543239
1055.81/1056.03	c total #propagations: 45822198 / total #impl: 132725797 (eff. 0.345)
1055.81/1056.03	c GC COLLECT
1055.81/1056.03	c #Conflicts:      56000 | #Learnt:       6298 | 0.000
1055.81/1056.03	c total clause space: 886.764MB
1055.81/1056.03	c total #watches: 2396488
1065.81/1066.01	c total #propagations: 46631617 / total #impl: 134713596 (eff. 0.346)
1065.81/1066.01	c #Conflicts:      57000 | #Learnt:       7298 | 0.000
1065.81/1066.01	c total clause space: 886.764MB
1065.81/1066.01	c total #watches: 2736909
1081.60/1081.87	c total #propagations: 47599301 / total #impl: 136236128 (eff. 0.349)
1081.60/1081.87	c #Conflicts:      58000 | #Learnt:       8298 | 0.000
1081.60/1081.87	c total clause space: 886.764MB
1081.60/1081.87	c total #watches: 3052305
1093.80/1094.03	c total #propagations: 48493279 / total #impl: 137642442 (eff. 0.352)
1093.80/1094.03	c #Conflicts:      59000 | #Learnt:       9298 | 0.000
1093.80/1094.03	c total clause space: 886.764MB
1093.80/1094.03	c total #watches: 3991943
1104.50/1104.78	c total #propagations: 49320445 / total #impl: 139303290 (eff. 0.354)
1104.50/1104.78	c #Conflicts:      60000 | #Learnt:      10298 | 0.000
1104.50/1104.78	c total clause space: 886.764MB
1104.50/1104.78	c total #watches: 4581653
1109.90/1110.11	c total #propagations: 50446563 / total #impl: 141685595 (eff. 0.356)
1109.90/1110.11	c #Conflicts:      61000 | #Learnt:      11298 | 0.000
1109.90/1110.11	c total clause space: 886.764MB
1109.90/1110.11	c total #watches: 6531606
1119.30/1119.52	c total #propagations: 51623180 / total #impl: 147915286 (eff. 0.349)
1119.30/1119.52	c GC COLLECT
1119.30/1119.52	c #Conflicts:      62000 | #Learnt:       6392 | 0.000
1119.30/1119.52	c total clause space: 886.764MB
1119.30/1119.52	c total #watches: 2528835
1125.90/1126.14	c total #propagations: 53924231 / total #impl: 153907381 (eff. 0.350)
1125.90/1126.14	c #Conflicts:      63000 | #Learnt:       7392 | 0.000
1125.90/1126.14	c total clause space: 886.764MB
1125.90/1126.14	c total #watches: 3041071
1129.80/1130.06	c total #propagations: 54277761 / total #impl: 154791496 (eff. 0.351)
1129.80/1130.06	c #Conflicts:      64000 | #Learnt:       8392 | 0.000
1129.80/1130.06	c total clause space: 886.764MB
1129.80/1130.06	c total #watches: 3593729
1145.10/1145.33	c total #propagations: 54628464 / total #impl: 155498121 (eff. 0.351)
1145.10/1145.33	c #Conflicts:      65000 | #Learnt:       9392 | 0.000
1145.10/1145.33	c total clause space: 886.764MB
1145.10/1145.33	c total #watches: 4574389
1175.70/1175.99	c total #propagations: 55006676 / total #impl: 159429617 (eff. 0.345)
1175.70/1175.99	c #Conflicts:      66000 | #Learnt:      10392 | 0.000
1175.70/1175.99	c total clause space: 886.764MB
1175.70/1175.99	c total #watches: 5847932
1212.88/1213.15	c total #propagations: 55711508 / total #impl: 160867632 (eff. 0.346)
1212.88/1213.15	c #Conflicts:      67000 | #Learnt:      11392 | 0.000
1212.88/1213.15	c total clause space: 886.764MB
1212.88/1213.15	c total #watches: 6326672
1233.48/1233.78	c total #propagations: 56609559 / total #impl: 163099912 (eff. 0.347)
1233.48/1233.78	c #Conflicts:      68000 | #Learnt:      12392 | 0.000
1233.48/1233.78	c total clause space: 886.764MB
1233.48/1233.78	c total #watches: 6382368
1246.08/1246.38	c total #propagations: 57022922 / total #impl: 164955318 (eff. 0.346)
1246.08/1246.38	c GC COLLECT
1246.08/1246.38	c #Conflicts:      69000 | #Learnt:       7181 | 0.000
1246.08/1246.38	c total clause space: 886.764MB
1246.08/1246.38	c total #watches: 3195518
1259.57/1259.82	c total #propagations: 57475876 / total #impl: 165705789 (eff. 0.347)
1259.57/1259.82	c #Conflicts:      70000 | #Learnt:       8181 | 0.000
1259.57/1259.82	c total clause space: 886.764MB
1259.57/1259.82	c total #watches: 4570149
1273.97/1274.25	c total #propagations: 58204524 / total #impl: 166990318 (eff. 0.349)
1273.97/1274.25	c #Conflicts:      71000 | #Learnt:       9181 | 0.000
1273.97/1274.25	c total clause space: 886.764MB
1273.97/1274.25	c total #watches: 6246616
1308.17/1308.48	c total #propagations: 59253570 / total #impl: 168451909 (eff. 0.352)
1308.17/1308.48	c #Conflicts:      72000 | #Learnt:      10181 | 0.000
1308.17/1308.48	c total clause space: 886.764MB
1308.17/1308.48	c total #watches: 9516523
1341.36/1341.69	c total #propagations: 59656499 / total #impl: 169783929 (eff. 0.351)
1341.36/1341.69	c #Conflicts:      73000 | #Learnt:      11181 | 0.000
1341.36/1341.69	c total clause space: 886.764MB
1341.36/1341.69	c total #watches: 10631958
1432.45/1432.75	c total #propagations: 61064486 / total #impl: 172241067 (eff. 0.355)
1432.45/1432.75	c #Conflicts:      74000 | #Learnt:      12181 | 0.000
1432.45/1432.75	c total clause space: 886.764MB
1432.45/1432.75	c total #watches: 11238948
1532.14/1532.48	c total #propagations: 62266542 / total #impl: 175905733 (eff. 0.354)
1532.14/1532.48	c GC COLLECT
1532.14/1532.48	c #Conflicts:      75000 | #Learnt:       6673 | 0.000
1532.14/1532.48	c total clause space: 886.764MB
1532.14/1532.48	c total #watches: 2791669
1540.03/1540.32	c total #propagations: 63223871 / total #impl: 178151820 (eff. 0.355)
1540.03/1540.32	c #Conflicts:      76000 | #Learnt:       7673 | 0.000
1540.03/1540.32	c total clause space: 886.764MB
1540.03/1540.32	c total #watches: 3601271
1551.13/1551.49	c total #propagations: 63890827 / total #impl: 179853700 (eff. 0.355)
1551.13/1551.49	c #Conflicts:      77000 | #Learnt:       8673 | 0.000
1551.13/1551.49	c total clause space: 886.764MB
1551.13/1551.49	c total #watches: 4858524
1566.72/1567.06	c total #propagations: 64731894 / total #impl: 183169952 (eff. 0.353)
1566.72/1567.06	c #Conflicts:      78000 | #Learnt:       9673 | 0.000
1566.72/1567.06	c total clause space: 886.764MB
1566.72/1567.06	c total #watches: 5677995
1595.33/1595.62	c total #propagations: 65704961 / total #impl: 184646161 (eff. 0.356)
1595.33/1595.62	c #Conflicts:      79000 | #Learnt:      10673 | 0.000
1595.33/1595.62	c total clause space: 886.764MB
1595.33/1595.62	c total #watches: 6365477
1622.52/1622.84	c total #propagations: 66650460 / total #impl: 186704085 (eff. 0.357)
1622.52/1622.84	c #Conflicts:      80000 | #Learnt:      11673 | 0.000
1622.52/1622.84	c total clause space: 886.764MB
1622.52/1622.84	c total #watches: 6840802
1637.63/1637.98	c total #propagations: 67266543 / total #impl: 187612091 (eff. 0.359)
1637.63/1637.98	c #Conflicts:      81000 | #Learnt:      12673 | 0.000
1637.63/1637.98	c total clause space: 886.764MB
1637.63/1637.98	c total #watches: 7276802
1670.22/1670.50	c total #propagations: 67706669 / total #impl: 188425208 (eff. 0.359)
1670.22/1670.50	c GC COLLECT
1670.22/1670.50	c #Conflicts:      82000 | #Learnt:       6872 | 0.000
1670.22/1670.50	c total clause space: 886.764MB
1670.22/1670.50	c total #watches: 3000160
1681.91/1682.27	c total #propagations: 68406621 / total #impl: 189592360 (eff. 0.361)
1681.91/1682.27	c #Conflicts:      83000 | #Learnt:       7872 | 0.000
1681.91/1682.27	c total clause space: 886.764MB
1681.91/1682.27	c total #watches: 3410825
1692.01/1692.34	c total #propagations: 68795461 / total #impl: 190014164 (eff. 0.362)
1692.01/1692.34	c #Conflicts:      84000 | #Learnt:       8872 | 0.000
1692.01/1692.34	c total clause space: 886.764MB
1692.01/1692.34	c total #watches: 3717107
1700.91/1701.25	c total #propagations: 69229267 / total #impl: 190512308 (eff. 0.363)
1700.91/1701.25	c #Conflicts:      85000 | #Learnt:       9872 | 0.000
1700.91/1701.25	c total clause space: 886.764MB
1700.91/1701.25	c total #watches: 4374085
1720.91/1721.24	c total #propagations: 69991929 / total #impl: 191585141 (eff. 0.365)
1720.91/1721.24	c #Conflicts:      86000 | #Learnt:      10872 | 0.000
1720.91/1721.24	c total clause space: 886.764MB
1720.91/1721.24	c total #watches: 4560809
1734.41/1734.79	c total #propagations: 70236147 / total #impl: 192126977 (eff. 0.366)
1734.41/1734.79	c #Conflicts:      87000 | #Learnt:      11872 | 0.000
1734.41/1734.79	c total clause space: 886.764MB
1734.41/1734.79	c total #watches: 4871192
1745.20/1745.50	c total #propagations: 70435587 / total #impl: 192674023 (eff. 0.366)
1745.20/1745.50	c #Conflicts:      88000 | #Learnt:      12872 | 0.000
1745.20/1745.50	c total clause space: 886.764MB
1745.20/1745.50	c total #watches: 5490174
1756.20/1756.50	c total #propagations: 71084677 / total #impl: 194644935 (eff. 0.365)
1756.20/1756.50	c #Conflicts:      89000 | #Learnt:      13872 | 0.000
1756.20/1756.50	c total clause space: 886.764MB
1756.20/1756.50	c total #watches: 5602132
1768.70/1769.08	c total #propagations: 71343088 / total #impl: 197609526 (eff. 0.361)
1768.70/1769.08	c GC COLLECT
1768.70/1769.08	c #Conflicts:      90000 | #Learnt:       7770 | 0.000
1768.70/1769.08	c total clause space: 886.764MB
1768.70/1769.08	c total #watches: 3628063
1783.70/1784.03	c total #propagations: 71905774 / total #impl: 199040965 (eff. 0.361)
1783.70/1784.03	c #Conflicts:      91000 | #Learnt:       8770 | 0.000
1783.70/1784.03	c total clause space: 886.764MB
1783.70/1784.03	c total #watches: 4040876
1789.70/1790.09	c total #propagations: 72327672 / total #impl: 199848043 (eff. 0.362)
1789.70/1790.09	c #Conflicts:      92000 | #Learnt:       9770 | 0.000
1789.70/1790.09	c total clause space: 886.764MB
1789.70/1790.09	c total #watches: 4719839
1795.00/1795.39	c total #propagations: 73144038 / total #impl: 201697927 (eff. 0.363)
1795.00/1795.39	c #Conflicts:      93000 | #Learnt:      10770 | 0.000
1795.00/1795.39	c total clause space: 886.764MB
1795.00/1795.39	c total #watches: 5175030

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-4087850-1465438117/watcher-4087850-1465438117 -o /tmp/evaluation-result-4087850-1465438117/solver-4087850-1465438117 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1465427064-8949 --watchdog 1960 --input HOME/instance-4087850-1465438117.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.12 2.09 3/176 10670
/proc/meminfo: memFree=29370236/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 255 0 0 0 0 0 0 0 20 0 1 0 125745878 57319424 6780 33554432000 4194304 6211289 140736203702192 140733825958824 4206563 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 13994 7292 98 493 0 13491 0

[startup+0.100167 s]
/proc/loadavg: 2.15 2.12 2.09 3/176 10670
/proc/meminfo: memFree=29370236/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=67084 CPUtime=0.09 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 1692 0 0 0 8 1 0 0 20 0 1 0 125745878 68694016 14531 33554432000 4194304 6211289 140736203702192 140733825958824 5161098 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 16771 14531 144 493 0 16268 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67084

[startup+0.200372 s]
/proc/loadavg: 2.15 2.12 2.09 3/176 10670
/proc/meminfo: memFree=29370236/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=75100 CPUtime=0.19 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 2303 0 0 0 18 1 0 0 20 0 1 0 125745878 76902400 15614 33554432000 4194304 6211289 140736203702192 140733825958824 4239348 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 18775 15614 204 493 0 18272 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 75100

[startup+0.300356 s]
/proc/loadavg: 2.15 2.12 2.09 3/176 10670
/proc/meminfo: memFree=29370236/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=82544 CPUtime=0.29 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 2407 0 0 0 28 1 0 0 20 0 1 0 125745878 84525056 17249 33554432000 4194304 6211289 140736203702192 140733825958824 4215203 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 20636 17249 204 493 0 20133 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 82544

[startup+0.700291 s]
/proc/loadavg: 2.15 2.12 2.09 3/176 10670
/proc/meminfo: memFree=29370236/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=115204 CPUtime=0.68 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 3230 0 0 0 67 1 0 0 20 0 1 0 125745878 117968896 23148 33554432000 4194304 6211289 140736203702192 140733825958824 4206438 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 28801 23148 204 493 0 28298 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 115204

[startup+1.50029 s]
/proc/loadavg: 2.15 2.12 2.09 3/177 10671
/proc/meminfo: memFree=29261180/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=148860 CPUtime=1.49 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 4106 0 0 0 147 2 0 0 20 0 1 0 125745878 152432640 30141 33554432000 4194304 6211289 140736203702192 140736203700424 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 37215 30141 204 493 0 36712 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 148860

[startup+3.10025 s]
/proc/loadavg: 2.15 2.12 2.09 3/177 10671
/proc/meminfo: memFree=29226884/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=199840 CPUtime=3.09 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 4458 0 0 0 306 3 0 0 20 0 1 0 125745878 204636160 42748 33554432000 4194304 6211289 140736203702192 140736203700104 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 49960 42748 214 493 0 49457 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 199840

[startup+6.30029 s]
/proc/loadavg: 2.14 2.12 2.09 3/177 10671
/proc/meminfo: memFree=29126352/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=286688 CPUtime=6.28 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 6014 0 0 0 624 4 0 0 20 0 1 0 125745878 293568512 64728 33554432000 4194304 6211289 140736203702192 140736203700104 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 71672 64728 214 493 0 71169 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 286688

[startup+12.7003 s]
/proc/loadavg: 2.13 2.11 2.09 3/177 10671
/proc/meminfo: memFree=29031288/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=429668 CPUtime=12.69 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 13070 0 0 0 1262 7 0 0 20 0 1 0 125745878 439980032 89355 33554432000 4194304 6211289 140736203702192 140736203700536 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 107417 89355 219 493 0 106914 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 429668

[startup+25.5004 s]
/proc/loadavg: 2.10 2.11 2.09 3/177 10671
/proc/meminfo: memFree=28881572/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=664360 CPUtime=25.48 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 18772 0 0 0 2539 9 0 0 20 0 1 0 125745878 680304640 122279 33554432000 4194304 6211289 140736203702192 140736203700184 4201944 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 166090 122279 219 493 0 165587 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 664360

[startup+51.1004 s]
/proc/loadavg: 2.06 2.10 2.09 3/177 10672
/proc/meminfo: memFree=28790608/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=677108 CPUtime=51.08 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 22022 0 0 0 5096 12 0 0 20 0 1 0 125745878 693358592 145455 33554432000 4194304 6211289 140736203702192 140736203700104 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 169277 145455 219 493 0 168774 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 677108

[startup+102.3 s]
/proc/loadavg: 2.03 2.08 2.08 3/178 10676
/proc/meminfo: memFree=28239096/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1270240 CPUtime=102.28 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 34060 0 0 0 10205 23 0 0 20 0 1 0 125745878 1300725760 282478 33554432000 4194304 6211289 140736203702192 140736203700536 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 317560 282478 219 493 0 317057 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1270240

[startup+162.3 s]
/proc/loadavg: 2.01 2.06 2.08 4/177 10677
/proc/meminfo: memFree=28233744/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1275108 CPUtime=162.26 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 35355 0 0 0 16203 23 0 0 20 0 1 0 125745878 1305710592 283773 33554432000 4194304 6211289 140736203702192 140736203700536 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 318777 283773 219 493 0 318274 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1275108

[startup+222.307 s]
/proc/loadavg: 2.07 2.08 2.08 3/177 10723
/proc/meminfo: memFree=27314208/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1275524 CPUtime=222.25 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 35472 0 0 0 22202 23 0 0 20 0 1 0 125745878 1306136576 283883 33554432000 4194304 6211289 140736203702192 140736203700104 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 318881 283883 219 493 0 318378 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1275524

[startup+282.3 s]
/proc/loadavg: 2.13 2.09 2.09 3/177 10724
/proc/meminfo: memFree=26853600/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1275524 CPUtime=282.24 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 35472 0 0 0 28201 23 0 0 20 0 1 0 125745878 1306136576 285514 33554432000 4194304 6211289 140736203702192 140736203700536 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 318881 285514 219 493 0 318378 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1275524

[startup+342.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/177 10725
/proc/meminfo: memFree=26787520/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1275656 CPUtime=342.24 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 35522 0 0 0 34200 24 0 0 20 0 1 0 125745878 1306271744 286352 33554432000 4194304 6211289 140736203702192 140736203700184 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 318914 286352 219 493 0 318411 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1275656

[startup+402.3 s]
/proc/loadavg: 2.05 2.08 2.08 3/177 10727
/proc/meminfo: memFree=26740772/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1323192 CPUtime=402.22 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 44649 0 0 0 40197 25 0 0 20 0 1 0 125745878 1354948608 296339 33554432000 4194304 6211289 140736203702192 140736203700536 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 330798 296339 219 493 0 330295 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1323192

[startup+462.3 s]
/proc/loadavg: 2.02 2.06 2.08 3/177 10728
/proc/meminfo: memFree=26732324/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1323352 CPUtime=462.21 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 44679 0 0 0 46196 25 0 0 20 0 1 0 125745878 1355112448 296369 33554432000 4194304 6211289 140736203702192 140736203700536 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 330838 296369 219 493 0 330335 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1323352

[startup+522.3 s]
/proc/loadavg: 2.10 2.08 2.08 3/177 10729
/proc/meminfo: memFree=26718308/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1323352 CPUtime=522.2 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 44694 0 0 0 52195 25 0 0 20 0 1 0 125745878 1355112448 296690 33554432000 4194304 6211289 140736203702192 140736203700536 4244924 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 330838 296690 219 493 0 330335 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1323352

[startup+582.3 s]
/proc/loadavg: 2.14 2.09 2.09 3/177 10730
/proc/meminfo: memFree=26699912/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1335676 CPUtime=582.2 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 47420 0 0 0 58194 26 0 0 20 0 1 0 125745878 1367732224 299416 33554432000 4194304 6211289 140736203702192 140736203700104 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 333919 299416 219 493 0 333416 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1335676


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


[startup+942.3 s]
/proc/loadavg: 2.11 2.08 2.08 3/177 10740
/proc/meminfo: memFree=26658976/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1335836 CPUtime=942.13 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 47489 0 0 0 94187 26 0 0 20 0 1 0 125745878 1367896064 301503 33554432000 4194304 6211289 140736203702192 140736203700536 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 333959 301503 219 493 0 333456 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 1335836

[startup+1002.3 s]
/proc/loadavg: 2.11 2.08 2.08 4/177 10742
/proc/meminfo: memFree=26657384/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1335836 CPUtime=1002.12 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 47489 0 0 0 100186 26 0 0 20 0 1 0 125745878 1367896064 301503 33554432000 4194304 6211289 140736203702192 140736203700536 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 333959 301503 219 493 0 333456 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1335836

[startup+1062.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/177 10743
/proc/meminfo: memFree=26631200/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1685084 CPUtime=1062.11 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 47674 0 0 0 106181 30 0 0 20 0 1 0 125745878 1725526016 307291 33554432000 4194304 6211289 140736203702192 140736203700536 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 421271 307291 219 493 0 420768 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1685084

[startup+1122.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/177 10744
/proc/meminfo: memFree=26574484/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1689556 CPUtime=1122.1 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 49095 0 0 0 112179 31 0 0 20 0 1 0 125745878 1730105344 320967 33554432000 4194304 6211289 140736203702192 140736203700536 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 422389 320967 219 493 0 421886 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1689556

[startup+1182.3 s]
/proc/loadavg: 2.13 2.09 2.09 3/177 10745
/proc/meminfo: memFree=26573356/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1689556 CPUtime=1182.09 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 49095 0 0 0 118178 31 0 0 20 0 1 0 125745878 1730105344 320967 33554432000 4194304 6211289 140736203702192 140736203700536 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 422389 320967 219 493 0 421886 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1689556

[startup+1242.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/177 10746
/proc/meminfo: memFree=26545236/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1690268 CPUtime=1242.08 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 49336 0 0 0 124177 31 0 0 20 0 1 0 125745878 1730834432 323247 33554432000 4194304 6211289 140736203702192 140736203700536 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 422567 323247 219 493 0 422064 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1690268

[startup+1302.3 s]
/proc/loadavg: 2.20 2.13 2.10 3/178 10751
/proc/meminfo: memFree=26412576/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1691044 CPUtime=1302.07 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 51941 0 0 0 130175 32 0 0 20 0 1 0 125745878 1731629056 326354 33554432000 4194304 6211289 140736203702192 140736203700184 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 422761 326354 219 493 0 422258 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1691044

[startup+1362.3 s]
/proc/loadavg: 2.22 2.15 2.10 4/177 10752
/proc/meminfo: memFree=26195692/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1691204 CPUtime=1362.06 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 52256 0 0 0 136172 34 0 0 20 0 1 0 125745878 1731792896 347109 33554432000 4194304 6211289 140736203702192 140736203700536 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 422801 347109 219 493 0 422298 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1691204

[startup+1422.3 s]
/proc/loadavg: 2.11 2.13 2.10 3/177 10753
/proc/meminfo: memFree=26160984/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1691520 CPUtime=1422.06 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 52446 0 0 0 142172 34 0 0 20 0 1 0 125745878 1732116480 354453 33554432000 4194304 6211289 140736203702192 140736203700184 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 422880 354453 219 493 0 422377 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1691520

[startup+1482.3 s]
/proc/loadavg: 2.17 2.15 2.10 3/177 10754
/proc/meminfo: memFree=26124564/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1695876 CPUtime=1482.04 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 53412 0 0 0 148169 35 0 0 20 0 1 0 125745878 1736577024 363595 33554432000 4194304 6211289 140736203702192 140736203700184 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 423969 363595 219 493 0 423466 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1695876

[startup+1542.31 s]
/proc/loadavg: 2.06 2.12 2.09 3/177 10755
/proc/meminfo: memFree=25991112/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1758496 CPUtime=1542.03 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 63394 0 0 0 154167 36 0 0 20 0 1 0 125745878 1800699904 377154 33554432000 4194304 6211289 140736203702192 140736203700536 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 439624 377154 219 493 0 439121 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1758496

[startup+1602.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/177 10757
/proc/meminfo: memFree=25859784/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1758496 CPUtime=1602.03 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 63490 0 0 0 160166 37 0 0 20 0 1 0 125745878 1800699904 377234 33554432000 4194304 6211289 140736203702192 140736203700536 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 439624 377234 219 493 0 439121 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1758496

[startup+1662.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/177 10758
/proc/meminfo: memFree=25722020/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1758496 CPUtime=1662.02 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 63512 0 0 0 166165 37 0 0 20 0 1 0 125745878 1800699904 377256 33554432000 4194304 6211289 140736203702192 140736203700536 4209316 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 439624 377256 219 493 0 439121 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1758496

[startup+1722.3 s]
/proc/loadavg: 2.22 2.15 2.10 3/177 10759
/proc/meminfo: memFree=25630880/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1758496 CPUtime=1722.01 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 63517 0 0 0 172164 37 0 0 20 0 1 0 125745878 1800699904 377261 33554432000 4194304 6211289 140736203702192 140736203700536 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 439624 377261 219 493 0 439121 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1758496

[startup+1782.3 s]
/proc/loadavg: 2.15 2.15 2.10 3/177 10760
/proc/meminfo: memFree=25610668/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1758496 CPUtime=1782 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 63575 0 0 0 178163 37 0 0 20 0 1 0 125745878 1800699904 377306 33554432000 4194304 6211289 140736203702192 140736203700536 4209895 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 439624 377306 219 493 0 439121 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1758496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.19 2.15 2.10 3/177 10761
/proc/meminfo: memFree=25605828/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1758496 CPUtime=1800 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 63629 0 0 0 179963 37 0 0 20 0 1 0 125745878 1800699904 377348 33554432000 4194304 6211289 140736203702192 140736203700536 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 439624 377348 219 493 0 439121 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1758496

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

[startup+1800.3 s]
/proc/loadavg: 2.19 2.15 2.10 3/177 10761
/proc/meminfo: memFree=25605828/32872528 swapFree=14548/942524
[pid=10670] ppid=10667 vsize=1758496 CPUtime=1800 cores=1,3,5,7
/proc/10670/stat : 10670 (cdcl-cuttingpla) R 10667 10670 8932 0 -1 4202496 63629 0 0 0 179963 37 0 0 20 0 1 0 125745878 1800699904 377348 33554432000 4194304 6211289 140736203702192 140736203700536 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10670/statm: 439624 377348 219 493 0 439121 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1758496

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.34
CPU time (s): 1800.04
CPU user time (s): 1799.63
CPU system time (s): 0.412937
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 1758496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.412937
maximum resident set size= 1509392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63629
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= 37
involuntary context switches= 1964

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6323 second user time and 6.87995 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-09 04:08:37
IDJOB=4087850
IDBENCH=89827
IDSOLVER=2549
FILE ID=node113/4087850-1465438117
RUNJOBID= node113-1465427064-8949
PBS_JOBID= 19859794
Free space on /tmp= 71732 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-methanosarcina.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087850-1465438117/watcher-4087850-1465438117 -o /tmp/evaluation-result-4087850-1465438117/solver-4087850-1465438117 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1465427064-8949 --watchdog 1960 --input HOME/instance-4087850-1465438117.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= a612d4a0a9bac3d87b66260854e735cd
RANDOM SEED=1600946372

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
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:        29370996 kB
Buffers:          190924 kB
Cached:          1224232 kB
SwapCached:         1688 kB
Active:           798524 kB
Inactive:         992424 kB
Active(anon):     376076 kB
Inactive(anon):     1856 kB
Active(file):     422448 kB
Inactive(file):   990568 kB
Unevictable:      942524 kB
Mlocked:           14548 kB
SwapTotal:      67108856 kB
SwapFree:       67098780 kB
Dirty:              2748 kB
Writeback:             0 kB
AnonPages:       1317524 kB
Mapped:             7988 kB
Shmem:                 0 kB
Slab:             635820 kB
SReclaimable:      79280 kB
SUnreclaim:       556540 kB
KernelStack:        1424 kB
PageTables:         6624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1506584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1292288 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= 71728 MiB
End job on node113 at 2016-06-09 04:38:38